logical calculus

Show Summary Details

Quick Reference

Also called a formal language, and a logistic system. A system in which explicit rules are provided for determining (a) which are the expressions of the system; (b) which sequences of expressions count as well formed (well-formed formulae, or wffs); (c) which sequences of wffs count as proofs. A system may contain axioms, and a wff that terminates a proof will be a theorem. The two most famous calculi are the propositional calculus and the predicate calculus.

Subjects: Philosophy.

Reference entries

Users without a subscription are not able to see the full content. Please, subscribe or login to access all content.