Prof. Koons: WAG 405, Wed. 3-4; Thurs. 1-2.
You will need the Terlingua
and Platofont
fonts for windows to read homeworks or practice exams on your windows machine.
If you cannot read the logical symbols in homework or practice exam, try to
downlown load this font.
The use of the courseware Plato is highly recommended. Plato is a natural deduction proof editor designed to conform to the rules used in Logic, Sets and Functions. Plato is available in both Windows and Macintosh versions. A second application, Aristotle, is also recommended. Aristotle is available only in a Windows version.
Plato, along with the appropriate fonts, is
also available at the SMF facility on the second floor of the Undergraduate
Library (Flawn Academic Center).
In addition, you must download the three rule sets to get Plato to work:
¬… Basic
¬… Derived
These can be loaded into Plato once Plato has been started. Important note (added Oct. 1, 2002): when running Plato on Windows, you must open the Quantification Rule set before opening any proof file.
There is a user's guide for Plato, contained
in appendix A of Logic, Sets and Functions.
The following text is required:
Bonevac, Asher and Koons, Logic, Sets and Functions (Kendall/Hunt, Dubuque, Iowa, 1999).
Plato examples from Lectures
Week 3: #1;
#2; #3; #4; #5; #6; #7.
More Plato examples:
Proof A,
Proof B,
Proof C.
Predicate Logic
Lecture 6,
Lecture 7,
Lecture 8,
Lecture 9,
Lecture
10.
Set Theory
Lecture 11,
Lecture
12, Lecture
13(corrected version uploaded 10-29-02).
Relations
Functions
Induction
Lecture 16,
Lecture 17, Lecture 18.
Translation practice
To prepare for the second exam, I have created thirty sentences for translation
practice, available in Word for
Mac and PDF
format.
You can download practice exams in either
Adobe PDF or Word for Mac format.
The following Plato files are available.
Exam 1: multiple choice scores; multiple choice key.
Exam 2: multiple choice key, proof solutions.
Exam 3: proof solutions.
Exam 4: multiple choice scores; multiple choice key.
Course grade so far (without optional final).
Final exam: key.
The optional final. Your grade on the optional final will be used to replace either your lowest test score or your homework score (in its entirety). That is, if you have 12 points for homework (equivalent to 60 out of 100), then a grade above 60 on the optional final could be used (by being divided by 5) to replace your homework grade.
What happened to the curve on test 3? The curve on test 3 was ten points. This is equivalent to two points on the semester grade. Rather than adding points, I simply moved the grade cutoffs down two points: 58 for D, 68 for C, 78 for B, 88 for A.
Plato
home page | Aristotle
home page | Philosophy
Department | Prof.
Koons | UT Austin Web Central