Aristotle and Formal Logic

Aristotle's Contributions

100

What is the title of Aristotle's treatise that discusses his logical principles?

Organon

200

Aristotle is often referred to as the "Father of..." what field of study?

Formal Logic

Syllogisms

100

How many premises does a syllogism typically have?

Two

200

Give an example of a syllogism using the template: "All [A] are [B]; [C] is [A]; Therefore, [C] is [B]."

All humans are mortal; Socrates is human; Therefore, Socrates is mortal.

Categorical Propositions

100

What are the four types of categorical propositions based on quantity and quality?

Universal Affirmative, Universal Negative, Particular Affirmative, Particular Negative

200

Provide an example of an affirmative universal proposition.

All birds can fly.

Laws of Thought

100

Which law of thought states that a statement cannot be both true and false at the same time in the same respect?

Law of Non-Contradiction

200

Explain the Law of Excluded Middle in formal logic.

This law states that a statement is either true or false; there is no middle ground or third option.