logic

The time you enjoy wasting is not wasted time – Bertrand Russell, Logician and Pacifist

The time you enjoy wasting is not wasted time – Bertrand Russell, Logician and Pacifist

On July 11, 1906, mathematician and philosopher Bertrand Russell was suspended from Trinity College, Cambridge due to his engagement in pacifist activities. The remarkable Bertrand Russell, a philosopher, logician, mathematician, historian, and social critic was best known for the famous ‘Principia Mathematica‘, which he published along with Alfred North Whitehead between 1910 and 1913. “Pure mathematics consists entirely of assertions to the effect that, if such and such a proposition is true of…
Read more
Lewis Carroll – Mathematician and Creator of the Wonderland

Lewis Carroll – Mathematician and Creator of the Wonderland

On January 27, 1832, British mathematician, photographer, and children’s book author Charles Lutwidge Dodgson, better known under his pen name Lewis Carroll, creator of the stories about ‘Alice in Wonderland‘, was born. With his ability for pun, logic and fantasy he managed to captivate a wide audience. His works, known as nonsense literature, have remained popular to this day and have influenced not only children’s literature, but also writers such as James Joyce, surrealists…
Read more
Paul Bernays and the Unified Theory of Mathematics

Paul Bernays and the Unified Theory of Mathematics

On October 17, 1888, Swiss mathematician and logician Paul Isaac Bernays was born. Bernays made significant contributions to mathematical logic, axiomatic set theory, and the philosophy of mathematics. He was an assistant and close collaborator of David Hilbert.[6] Bernays is known for his attempts to develop a unified theory of mathematics. “Enlightened humanity has sought in rational definiteness its liberating refuge from the dominating influence of the merely authoritative. At the present time,…
Read more
Johann Heinrich Lambert – A Swiss Polymath

Johann Heinrich Lambert – A Swiss Polymath

On August 26, 1728, Swiss polymath Johann Heinrich Lambert was born. Lambert provided the first rigorous proof that pi is irrational (i.e. it cannot be expressed as the quotient of two integers). He also was the first to introduce hyperbolic functions into trigonometry as well as the first mathematician to address the general properties of map projections. He also made significant contributions to physics, philosophy, and logic. “We would wish to discover the…
Read more
The Philosophy of Ludwig Wittgenstein

The Philosophy of Ludwig Wittgenstein

On April 26, 1889, Austrian-British philosopher Ludwig Wittgenstein was born. He worked primarily in logic, the philosophy of mathematics, the philosophy of mind, and the philosophy of language. He is considered one of the world‘s most famous philosophers. Wittgenstein‘s influence has been felt in nearly every field of the humanities and social sciences. “My work consists of two parts: of the one which is here, and of everything which I have not…
Read more
Alfred Tarski and the Undefinability of Truth

Alfred Tarski and the Undefinability of Truth

On January 14, 1902, Polish-American mathematician and logician Alfred Tarski was born. A prolific author he is best known for his work on model theory, metamathematics, and algebraic logic, he also contributed to abstract algebra, topology, geometry, measure theory, mathematical logic, set theory, and analytic philosophy. For my annual Semantic Web Technologies lecture series I always introduce my students to model-theoretic semantics as means to enable a formal representation of meaning for…
Read more
Étienne de Condillac and the Importance of Language in Logical Reasoning

Étienne de Condillac and the Importance of Language in Logical Reasoning

Étienne Bonnot de Condillac (1714-1780) On September 30, 1714, French philosopher and epistemologist Étienne Bonnot de Condillac was born. A leading advocate in France of the ideas of John Locke de Condillac further emphasized the importance of language in logical reasoning, stressing the need for a scientifically designed language and for mathematical calculation as its basis. Étienne de Condillac was born at Grenoble as the youngest of three brothers to Gabriel Bonnot, Vicomte de Mably, and…
Read more
Immanuel Kant – Philosopher of the Enlightenment

Immanuel Kant – Philosopher of the Enlightenment

On February 12, 1804, the great German philosopher Immanuel Kant passed away. He is widely considered to be a central figure of modern philosophy. He argued that human concepts and categories structure our view of the world and its laws, and that reason is the source of morality. His thought continues to hold a major influence in contemporary thought, especially in fields such as metaphysics, epistemology, ethics, political philosophy, and aesthetics. The problem…
Read more
Gottlob Frege and the Begriffsschrift

Gottlob Frege and the Begriffsschrift

Gottlob Frege (1848-1925) On November 8, 1848, German mathematician, logician and philosopher Gottlob Frege was born. He is considered as one of the fathers of modern mathematical logic and has developed the Begriffsschrift, an approach to put classical philosophical logic into a formal mathematical language. While he was mainly ignored by the intellectual world when he published his writings, Giuseppe Peano and Bertrand Russell introduced his work to later generations of logicians…
Read more
Giuseppe Peano and the Axiomatization of Mathematics

Giuseppe Peano and the Axiomatization of Mathematics

Giuseppe Peano (1858-1932) On August 27, 1858, Italian mathematician and philosopher Giuseppe Peano was born. He is he author of over 200 books and papers, and is considered the founder of mathematical logic and set theory. The standard axiomatization of the natural numbers is named the Peano axioms in his honor. These axioms have been used nearly unchanged in a number of metamathematical investigations, including research into fundamental questions of consistency and…
Read more
Relation Browser
Timeline
0 Recommended Articles:
0 Recommended Articles: