Phl 313Q
Logic and Scientific Reasoning

Prof. R. Koons -- Fall 2001
MWF 1-2, RLM 5.104
Unique numbers 40230-40245

Office Hours:

Mon. & Wed., 3-4 PM

Requirements, Syllabus and Homework Assignments


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.

Some lecture notes

Notes on the definition of logic (Sept. 12, 2001).

Lecture transparencies:

Set 1.  Set 2.  Set 3.

Socrates examples (in zipped form) from lectures on defeasible logic (October 5-15, 2001).

Answers to selected exercises from Deductive and Defeasible Reasoning

Click here to download examples of solutions to exercises from Chapters 2, 4, 5 and 7 of Deductive and Defeasible Reasoning.

Practice Exams

Click here to see practice midterm and final exams.

Last updated October 15, 2001
Created by: Robert C. Koons
Send comments to:

Socrates Home Page | Plato Home Page | Aristotle Page | Philosophy Department | Prof. Koons | UT Austin Web Central