Topic
Logic & Formal Reasoning
How formal reasoning separates truth from consequence, represents arguments symbolically, and eventually extends into modal and non-classical logics.
Start Here
- Logic from Zero: Arguments, Truth and ValidityLogic is mostly not about deciding whether a statement is true. It is about asking:
Go Deeper
- Propositional LogicPropositional logic begins by deliberately throwing away most of what sentences mean.
- Predicate Logic: All, Some and NonePropositional logic hits a wall surprisingly quickly.
- Modal Logic and Kripke WorldsPredicate logic lets us say surprisingly complicated things about the actual situation:
- K, T, S4 and S5: Change the Arrows, Change the LogicThe previous entry gave us worlds and arrows.
- Logic of Time, Knowledge and ObligationKripkestyle worlds and arrows are useful because the word possible can mean different things.
- Beyond Classical Logic“Nonclassical logic” sounds as if there were classical logic on one side and one alternative on the other.