Special Topics in Philosophy:
Is There Any Such Thing as Everything?
| Due Dates |
| The first paper is past due. |
| |
| The second paper is past due. |
| |
Some Useful References
SyntaxofFirstOrderPredicateLogicwithEquality
TarskisTheoryofTruth is a simple, intuitive presentation of the theory with philosophical motivation. For a mathematically complete presentation see the next item.
SemanticsofFirstOrderPredicateLogicwithEquality
SortedSecondOrderPluralandModalLogic
The following reference will be useful for set theory:
Boolean Topoi and Models of ZFC. Its main topic has not even been mentioned in this course, but the first four sections of Chapter 1 do much of what we need, including showing how to make use of classes.
AdditionalReferences
--
ShaughanLavine - 12 Jan 2009