Jump to content

Symbolic Logic

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Simon_J_Kissane (talk) at 04:57, 24 July 2001. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.
(diff) ← Previous revision | Latest revision (diff) | Newer revision → (diff)

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



Retrieved from "https://en.wikipedia.org/w/index.php?title=Symbolic_Logic&oldid=281479"