Logical Analysis of Categorical Propositions
Today’s lecture covers the logical analysis of categorical propositions. Don’t let the name scare you; it’s actually pretty easy, when you get the hang of it.
Our objectives are for you to be able to:
(1) Identify basic kinds of categorical propositions.
(2) Diagram categorical propositions using Venn diagrams.
(3) Recognize the equivalences involved in traditional immediate inferences.
(4) Identify the quantity and quality of propositions.
(5) Distinguish contradiction, contrariety, and subcontrariety in terms of the traditional square of opposition.
(6) Translate sentences expressing categorical propositions into Sommers-Englebretsen notation (term functor transcription).
Some supplementary readings and resources that might interest you if you found today’s class interesting, or wanted to do further research on the subject:
* David E. Kelley, The Art of Reasoning. This introductory textbook has a useful Logic Tutor program online.
* This set of lecture notes for an introductory logic course at Lander University (taught by Lee Archie) is also worth perusing.
Next class we get into even more wonderful things!
