Western University Academic Calendar. - 2020ARCHIVE
Philosophy 2254A/B
INTRODUCTION TO LOGIC
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 meta-theoretical concepts and results relevant to those procedures and systems.