Save To Worklist
PHIL 220A Symbolic Logic - 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 220A 001||Web-Oriented Course||1||Tue Thu||10:00||13:00|
This is a first course in formal reasoning. You will learn to symbolize and evaluate deductive arguments. Topics include symbolization in sentential logic (SL), predicate logic (PL) and relational predicate logic (RPL); truth tables; and proofs and invalidity in SL, PL and RPL. Course learning objectives: 1) Understand how to symbolize and evaluate arguments using a variety of logical systems and tools; 2) Be able to explain, and apply, key logical concepts such as validity, logical form, and derivability. Please note that although all lectures will be pre-recorded, the course includes multiple synchronous tests (see syllabus for details). You can access the course syllabus on the Department of Philosophy's website: philosophy.ubc.ca.
|PHIL 220A 002||Web-Oriented Course||2||Mon Wed||10:00||13:00|
|PHIL 220A 98A||Distance Education||A|