Logic — The Form of Valid Inference

About this HTML presentation

This Shipslides page presents Logic — The Form of Valid Inference as an interactive HTML presentation deck in the Philosophy catalog with 13 slides. The share page keeps the uploaded deck sandboxed while exposing readable context, topics, and a slide outline for viewers and search engines.

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.