Tag
logic
8 entries tagged logic.
Philosophy
Logic & Formal Reasoning
- Beyond Classical Logic“Nonclassical logic” sounds as if there were classical logic on one side and one alternative on the other.
- K, T, S4 and S5: Change the Arrows, Change the LogicThe previous entry gave us worlds and arrows.
- Logic from Zero: Arguments, Truth and ValidityLogic is mostly not about deciding whether a statement is true. It is about asking:
- Logic of Time, Knowledge and ObligationKripkestyle worlds and arrows are useful because the word possible can mean different things.
- Modal Logic and Kripke WorldsPredicate logic lets us say surprisingly complicated things about the actual situation:
- Predicate Logic: All, Some and NonePropositional logic hits a wall surprisingly quickly.
- Propositional LogicPropositional logic begins by deliberately throwing away most of what sentences mean.
Philosophy
Philosophers
- Ludwig WittgensteinLudwig Wittgenstein (1889–1951) is unusual because his early and later work seem almost like two different philosophical projects — and the later project attacks the temptation to build theories much like the earlier one.