Save To Worklist
PHIL 220 Symbolic Logic
Sentential and predicate logic. Translation from natural language; truth tables and interpretations; systems of natural deduction up to relational predicate logic with identity; alternative proof methods. Some sections may use computer-based materials and tests.
|Status||Section||Activity||Term||Interval||Days||Start Time||End Time||Comments|
|PHIL 220 001||Lecture||1||Mon Wed||10:00||13:00||
Instructor: Servaas van der Berg
In this course we will study a formal system of sentential and predicate logic, up to and including relational predicate logic. We will focus on the use of a symbolic languageits syntax and symbolisations, semantic devices like truth tables and models, and a derivation system for the language. While studying the system, we will pause periodically to consider the relevance of formal logic for everyday reasoning, for the practice of philosophy and science, and its relationship to other formal methods in the natural and social sciences.
|PHIL 220 002||Lecture||2||Tue Thu||10:00||13:00|
|PHIL 220 98A||Distance Education||A|