Philosophy 310 - Intermediate Logic

Spring
2017
01
3.00
Gary Hardegree
TU TH 1:00PM 2:15PM
UMass Amherst
13091
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.