Tuesday, February 9, 2016

Week 3: Categorical Logic

1. Review/read 4.1-4.7 (you may skip 4.5, since we'll use Venn diagrams to show validity/invalidity in all instances).  Try exercises as necessary. Eventual goal for the week: translate exercises 4.7 into standard form, then test for validity using Venn diagrams.  (See my note on the blog re existential import.)

Goals along the way:
1. Become familiar with the four standard form categorical propositions, their quality, quantity, and the distribution of their terms.
2. Identify and diagram the converse, obverse, and contrapositive of each of the four standard form categorical propositions.
3. Translate ordinary language statements into standard form categorical propositions.
4. Test the validity of categorical inferences using Venn diagrams.