PHIL-P 250 INTRODUCTORY SYMBOLIC LOGIC (3 CR.)
Propositional logic and first-order quantificational logic.
1 classes found
Fall 2024
| Component | Credits | Class | Status | Time | Day | Facility | Instructor |
|---|---|---|---|---|---|---|---|
| LEC | 3 | 2928 | Open | 3:00 p.m.–4:15 p.m. | MW | WY 015 | Berry S; Hyde O |
Regular Academic Session / In Person
LEC 2928: Total Seats: 60 / Available: 2 / Waitlisted: 0
Lecture (LEC)
- COLL (CASE) N&M Breadth of Inq
- IUB GenEd N&M credit
- Above class no credit given for PHIL-P 150 if PHIL-P 250 is taken first or concurrently
- IUB GenEd N&M credit
- COLL (CASE) N&M Breadth of Inquiry credit
How can we tell good arguments from bad ones? This course is an introduction to formal logic: using formal (symbolic) analysis and other formal methods to help answer that question. We will the two best known systems of formal logic: propositional logic (also called truth-functional or sentential logic) and some first-order logic (also called predicate or quantificational logic). Students will learn the language of both systems and how to construct truth-tables, formal proofs, and counterexamples to logical arguments. We will also study how to represent and study natural language arguments within these systems. This course may be of interest to students of philosophy, mathematics, law, and computer science.
The College of Arts