shipslides
Philosophy13 slides0 views

Logic — The Form of Valid Inference

From the syllogism to incompleteness: twenty-three centuries of trying to mechanize reasoning, and the discovery that reason itself has limits.

Standalone
Sandboxed deck
Open raw

About this deck

From the syllogism to incompleteness: twenty-three centuries of trying to mechanize reasoning, and the discovery that reason itself has limits. Key sections include: LOGIC The form of valid inference; Aristotle · The Syllogism; Stoic Logic · Propositional Connectives; Ockham · Theory of Supposition; Frege · Begriffsschrift; Russell & Whitehead · Principia Mathematica; Russell's Paradox; Hilbert's Programme; Gödel · Incompleteness; Turing · The Halting Problem.

catalogphilosophylogic

Related decks

Philosophy15 slides

Logic — Deck 05

Philosophy
Aesthetics — What Makes a Thing Beautiful?
Philosophy13 slides

Aesthetics — What Makes a Thing Beautiful?

Philosophy
Greek Philosophy — from Thales to the Stoics
Philosophy13 slides

Greek Philosophy — from Thales to the Stoics

Philosophy
Eastern Philosophy — The Long Traditions
Philosophy13 slides

Eastern Philosophy — The Long Traditions

Slide outline
  1. 01LOGIC The form of valid inference
  2. 02Aristotle · The Syllogism
  3. 03Stoic Logic · Propositional Connectives
  4. 04Ockham · Theory of Supposition
  5. 05Frege · Begriffsschrift
  6. 06Russell & Whitehead · Principia Mathematica
  7. 07Russell's Paradox
  8. 08Hilbert's Programme
  9. 09Gödel · Incompleteness
  10. 10Turing · The Halting Problem
  11. 11Modal Logic · Necessity & Possibility
  12. 12Modern Currents
  13. 13References & Further Viewing
Page data
Canonical
https://shipslides.com/d/catalog-philosophy-logic
Category
Philosophy
Size
27.8 KB
Updated
2026-05-15
LLM text
https://shipslides.com/d/catalog-philosophy-logic/llms.txt
Remove this deck