| |
Jan 15, 2025
|
|
|
|
|
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.
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
• No prerequisites by topic appended.
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)
Laboratory Topics
• Frequent in-class exercises immediately following the presentation of new concepts and methods.
• 15-20 homework exercises graded by an on-line grading service provided by the authors and publishers of the text (at Stanford and U. of Indiana). Students may submit an exercise multiple times and submit their grade to the instructor only when they are satisfied with their work.
Coordinator
Jon Borowicz
Add to Portfolio (opens a new window)
|
|
Skip to Main Content
