Philosophy 310 - Intermediate Logic

Spring
2014
01
3.00
Gary Hardegree
TU TH 9:30AM 10:45AM
UMass Amherst
52448
Continuation of PHIL 110. Three new logical systems examined: 1) Function Logic, 2) Identity Logic, 3) Description Logic. Work divided between translating English sentences into symbolic notation and constructing formal derivations. Prerequisite: PHIL 110 or consent of instructor.
Prerequisite: PHIL 110
Permission is required for interchange registration during the add/drop period only.