PHILOSOP 2250
1.00 credit · Main, Huron
A study of sentential and predicate logic designed to train students to use procedures and systems (trees, natural deduction, axiomatic systems) for determining logical properties and relations, and to give students an understanding of syntactic and semantic metatheoretical concepts and results relevant to those procedures and systems.
Philosophy 2020, Philosophy 2252W/X, Philosophy 2254A/B.
3 hours.
No reviews yet - be the first.