Symbolic logic

1. A science of the development and representation of logical principles by means of symbols for the purpose of providing an exact canon of deduction based on primitives, postulates, and formation and rules for combining and transforming the primitives. The algebra of logic substitutes symbols for words, propositions, classes of things, or functional systems.

2. Symbolic logic leads to economy in mental effort.

3. Symbolic logic makes possible more complicated forms of reasoning.

4. Symbolic logic demonstrates the undue importance assigned by Aristotelian logic to the supposedly self-evident laws of thought.

5. Symbolic logic reveals form by showing that apparently similar logical forms (relation-structures) are actually dissimilar, and vice versa.