# Logic — The Form of Valid Inference

Canonical URL: https://shipslides.com/d/catalog-philosophy-logic
Raw HTML URL: https://content.shipslides.com/d/catalog-philosophy-logic/raw
Category: Philosophy
Slides: 13
Updated: 2026-05-15T22:19:43.415Z
Tags: catalog, philosophy, logic

## Summary

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.

## Slide Outline

1. LOGIC The form of valid inference
2. Aristotle · The Syllogism
3. Stoic Logic · Propositional Connectives
4. Ockham · Theory of Supposition
5. Frege · Begriffsschrift
6. Russell & Whitehead · Principia Mathematica
7. Russell's Paradox
8. Hilbert's Programme
9. Gödel · Incompleteness
10. Turing · The Halting Problem
11. Modal Logic · Necessity & Possibility
12. Modern Currents
13. References & Further Viewing

## Related Decks

- [Logic — Deck 05](https://shipslides.com/d/philosophy-logic)
- [Aesthetics — What Makes a Thing Beautiful?](https://shipslides.com/d/catalog-philosophy-aesthetics)
- [Greek Philosophy — from Thales to the Stoics](https://shipslides.com/d/catalog-philosophy-ancient-greek)
- [Eastern Philosophy — The Long Traditions](https://shipslides.com/d/catalog-philosophy-eastern)