Philosophy 310 - Intermediate Logic

Spring
2023
01
3.00
Gary Hardegree

TU TH 1:00PM 2:15PM

UMass Amherst
66970
South College Room W101
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

Permission is required for interchange registration during the add/drop period only.