Introduction to Philosophical Logic/Formalisation/Propositional Calculus

From Wikibooks, open books for an open world
Jump to navigation Jump to search

Propositional Calculus[edit | edit source]

Natural languages, such as English, are flawed. One such flaw is ambiguity, another is that they are tedious to write out if they are long. However, sentences can be formalised into a symbolic, logical language that contains neither of these flaws (although, as the discerning reader will discover, natural languages have many advantages over these languages).

The first such language to be considered is the propositional calculus.