Curated Collection

Logic

Thinkers and essays gathered around this school of thought.

9Thinkers
2Thoughts
34Major Works
11Archive Entries
Ancient · Early ModernTime Period
Featured Thinker

Kurt Gödel

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

“Either mathematics is too big for the human mind.”
View Profile
Across time

A history of Logic

Voices

Thinkers

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

axiomsgeometryproofdeductionmathematical rigormonadspre-established harmonycalculuspossible worldsprinciple of sufficient reason
Ideas

Thoughts

Continue the Conversation

Carry Logic into a living dialogue.

Begin with one thinker, bring several voices into council, or make the disagreements visible in a debate.

Log In