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 Fri||9:00||10:00|
|PHIL 220 002||Lecture||1||Mon Wed Fri||10:00||11:00|
|PHIL 220 003||Lecture||1||Mon Wed Fri||12:00||13:00|
|PHIL 220 004||Lecture||2||Mon Wed Fri||9:00||10:00|
Course Description: This course is a basic introduction to contemporary formal logic and reasoning. No previous familiarity with either philosophy or logic is required, although previous exposure to an introductory course(s) in logic and critical thinking and/or scientific reasoning, Phil 120, or Phil 125, for example, would be an asset. You will learn how to symbolize and evaluate deductive arguments in sentential and predicate logic. Topics include natural language symbolization techniques; truth tables and interpretations; and systems of natural deduction up to relational predicate logic with identity. The course will be of interest not only to philosophy students, but to all students interested in sharpening their logical skills and exploring the nature of reasoning.
|PHIL 220 005||Lecture||2||Mon Wed Fri||10:00||11:00|
Course Description: An introduction to formal (sentential and predicate) logic. Students will learn to translate natural-language arguments into formal systems and evaluate their logical forms for validity. Emphasis on translation from natural language; truth tables and predicate models; and proof systems up to relational predicate logic with identity. Also introductory metalogic, including proofs of soundness and completeness.
|PHIL 220 006||Lecture||2||Tue Thu||9:30||11:00|
|PHIL 220 99A||Distance Education||A|
|Full||PHIL 220 99C||Distance Education||C|
|Cancelled||PHIL 220 WL1||Waiting List||C|
This is a waitlist for PHIL 220-99C with Dr. Leslie Burkholder. If you're interested in taking this course and do not yet have a seat, please register for this waitlist. Should any seats open up, waitlisted students will be manually registered for the course in the order in which they joined the waitlist.