Here's why:
* Categorical propositions: Categorical logic deals with propositions (statements) that assert or deny a relationship between two categories (or classes). These propositions are typically in the form of subject-predicate sentences.
* Examples:
* "All humans are mortal." (Subject: humans, Predicate: mortal)
* "No dogs are cats." (Subject: dogs, Predicate: cats)
* "Some students are athletes." (Subject: students, Predicate: athletes)
Key features of Categorical Logic:
* Simple structure: The sentences are typically simple, with a subject and a predicate.
* Quantifiers: These sentences often use quantifiers like "all", "no", or "some" to indicate the scope of the statement.
* Four standard forms: Categorical logic has four basic forms of propositions:
* A (Universal affirmative): All S are P.
* E (Universal negative): No S are P.
* I (Particular affirmative): Some S are P.
* O (Particular negative): Some S are not P.
While Aristotelian logic encompasses other areas like syllogistic reasoning, categorical logic forms the foundation and uses this simple subject-predicate structure as its core element.