What is the title of Aristotle's treatise that discusses his logical principles?
Organon
How many premises does a syllogism typically have?
Two
What are the four types of categorical propositions based on quantity and quality?
Universal Affirmative, Universal Negative, Particular Affirmative, Particular Negative
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
Aristotle is often referred to as the "Father of..." what field of study?
Formal Logic
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.
Provide an example of an affirmative universal proposition.
All birds can fly.
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.