Logic — Formal

For centuries, Western formal logic has rested on three "Laws of Thought" attributed largely to Aristotle: . A thing is what it is. The Law of Non-Contradiction: ¬Alogical not cap A cannot both be true at the same time in the same sense.

Whether "glips" exist is irrelevant. The power of the system lies in its : if the premises are true, the conclusion must be true by virtue of its structure. Formal logic treats arguments like mathematical equations, where variables can be swapped, but the underlying balance remains constant. 2. The Language of Precision formal logic

Despite its power, formal logic is not a "truth machine" for the real world. In the 20th century, logicians like proved that within any sufficiently complex formal system, there are truths that cannot be proven using the rules of that system (Incompleteness Theorems). For centuries, Western formal logic has rested on

For any proposition, either it is true or its negation is true. There is no third option. Whether "glips" exist is irrelevant