| |
Dec 22, 2024
|
|
|
|
|
HU 431A - Formal Logic3 lecture hours 0 lab hours 3 credits
Course Description
Logic is the theory of argument. Formal logic is principally the study of symbolic systems by which arguments are expressed, and is fundamental to such disciplines as computer science, artificial intelligence, linguistics, and mathematics. The course begins with an examination of the concepts of argument, validity, and soundness. The relation of the notions of semantics and syntax is stressed as elements of formal systems for sentential and quantificational deduction are introduced. Activities emphasize acquiring skill in the translation of English expressions into symbolic notation, and proof construction. (prereq: none)
Course Learning Outcomes
Upon successful completion of this course, the student will be able to:
- Demonstrate understanding of the concepts of argument, validity, soundness, deduction and induction
- Translate sentences from English into the language of first-order-logic
- Prove the validity of truth-functional and quantificational arguments
Prerequisites by Topic
Course Topics
- Atomic sentences (5 classes)
- Boolean connectives (2 classes)
- Proof for Boolean logic (3 classes)
- Conditionals (4 classes)
- Quantification (6 classes)
- Multiple quantifiers (3 classes)
- Proof for quantification (3 classes)
Coordinator
Dr. Jon Borowicz
Add to Portfolio (opens a new window)
|
|
Skip to Main Content
