Mon. & Wed., 3-4 PM
The use of the courseware applications Socrates, Plato, and Aristotle is highly recommended. Socrates is a semantic table builder, Plato is a natural deduction proof editor, and Aristotle is a translation tool. All three have been designed here at U. T. to accompany Phl 313Q.
Socrates, Plato, and Aristotle, are available on the web . Follow these links for downloading instructions. If you are using a Macintosh computer, follow these instructions for adapting the Macintosh version of Socrates for our class. The Macintosh version of Plato requires no special instructions; unfortunately, Aristotle is not yet available for the Mac.
Click here to download examples of solutions to exercises from Chapters 2, 4, 5 and 7 of Deductive and Defeasible Reasoning.
Click here to see practice midterm and final exams.Last updated October 15, 2001