Formal Logic -

for "there exists") to map the internal properties of those statements. By translating "If it rains, the ground is wet" into

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. formal logic

The defining characteristic of formal logic is its indifference to truth in the empirical sense. Consider this classic syllogism: All glips are glorps. X is a glip. Therefore, X is a glorp. for "there exists") to map the internal properties