Curated Collection

Logic

Thinkers and essays gathered around this school of thought.

12Thinkers
4Thoughts
41Major Works
29Archive Entries
Classical · ModernTime Period
Featured Thinker

Socrates

Uses questioning and dialogue to test assumptions, expose contradictions, and guide users toward clearer ethical self-examination.

“The unexamined life is not worth living.”
View Profile
Across time

A history of Logic

Voices

Thinkers

1707–1783

Leonhard Euler

Makes modern mathematics fluent through notation, analysis, mechanics, and astonishing productivity.

Logic · Mathematics · Physics
1845–1918

Georg Cantor

Makes infinity plural, structured, and mathematically debatable.

Logic · Mathematics · Metaphysics
1862–1943

David Hilbert

Turns mathematics into a program of axioms, problems, and formal clarity.

Logic · Mathematics · Philosophy
fl. c. 300 BCE

Euclid

Builds rigorous geometric reasoning from definitions, axioms, proofs, and step-by-step demonstration.

Ancient Philosophy · Logic · Mathematics
1912–1954

Alan Turing

Investigates computation, intelligence, logic, codebreaking, algorithms, and the boundaries of machine thought.

Computing · Logic · Mathematics
1906–1978

Kurt Gödel

Explores incompleteness, formal systems, proof, limits of logic, and the boundaries of mathematical certainty.

Logic · Mathematics · Metaphysics
1872–1970

Bertrand Russell

Clarifies logic, language, mathematics, skepticism, ethics, peace, and public reason with analytical precision.

Language & Meaning · Logic · Mathematics
1889–1951

Ludwig Wittgenstein

Investigates language, meaning, rules, forms of life, logic, and the limits of philosophical explanation.

Analytic Philosophy · Language & Meaning · Logic
1839–1914

Charles Sanders Peirce

Develops pragmatism, signs, inquiry, fallibilism, logic, and scientific reasoning as communal truth-seeking.

Language & Meaning · Logic · Science
384–322 BCE

Aristotle

Analyzes logic, virtue, causality, nature, politics, and practical wisdom through systematic classification and balanced reasoning.

Ancient Philosophy · Ethics · Logic
c. 470–399 BCE

Socrates

Uses questioning and dialogue to test assumptions, expose contradictions, and guide users toward clearer ethical self-examination.

Ancient Philosophy · Ethics · Logic
Explore Ideas

Questions within the collection

analysisgraph theorynumber theorymechanicsnotationset theoryinfinitytransfinite numberscardinalitycontinuum
Ideas

Thoughts

Continue the Conversation

Carry Logic into a living dialogue.

Begin with one thinker, or join a published debate to hear the disagreements tested live.

Explore debates
Log In