Symbolic Logic: Difference between revisions
Content deleted Content added
Simon_J_Kissane (talk) No edit summary |
(No difference)
|
Revision as of 04:57, 24 July 2001
The three main systems studied in symbolic logic are propositional calculus, predicate calculus and modal logics.
Propositional calculus
Predicate calculus -- First-order, higher-order
Modal Logics -- deal with possibility, various systems: B, T, S4, S5; also deontic logic, temporal logic