Philosophy 310 - Intermediate Logic
Spring
2025
01
3.00
Gary Hardegree
TU TH 1:00PM 2:15PM
UMass Amherst
49498
South College Room E241
gmh@philos.umass.edu
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