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 05:33, 24 July 2001. The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Symbolic logic is divided into propositional calculus, predicate calculus and modal logics.


Propositional caluclus deals with the logic of individual sentences. There are a number of different systems of propositional calculus:

  • classical -- the normal traditional system
  • many-valued -- permits sentences to be more than just true or false, but also have intermediate truth values
  • paraconsistent -- permits inconsistent sentences. Does not have ex contradictione quodlibet (from a contradiction anything follows)
  • infinitary -- permits sentences to be infinitely long
  • intuitionistic --
  • relevant -- has only relevant implication


Predicate calculus deals with the logic of predication and quantification. Systems include:

  • lower-order --
  • higher-order -- permits quantification and predication of predicates


Modal logic -- also deontic logic, temporal logic:

  • various systems: B, T, S4, S5


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