The Logical Operators

© 2003 by Teed Rockwell

Categorical logic always divides a simple sentence into two parts — a subject and a predicate — and deals with the relationships between them, and between predicates in different sentences. There is another kind of logic which treats a simple subject-predicate sentence as the basic unit (called a proposition) and strings those propositions together by means of certain logical connectors. This form of logic is called propositional logic. In categorical logic, we would translate the sentence “All dogs are mammals” with a separate symbol for the subject (dog) and the…