Using Socrates for the Macintosh

When using the application Socrates 0.8.7 for the Macintosh in this course, please follow these directions:

1. Use the "enter conclusion" command to enter a dummy variable: pick a capital letter that will not occur in your argument (like `X') and enter that letter on the conclusion side of the table.
2. Use the "Add Premises" command to enter all premises and the negation of your actual conclusion. These should all appear on the left (Premise) side of the table.
3. Thereafter, simply ignore the right (conclusion) side of the table, and follow the usual rules and directions for completing your analysis.
4. You should simply ignore the following commands and menu choices: "close path by bridged sub-tables", "list unbridged sub-tables", "law of excluded middle", "modal law of excluded middle".

Phl 313Q Home Page | Philosophy Department | UT Austin Web Central | Prof. Koons