Feb 23, 2024  
2020-2021 Undergraduate Academic Catalog 
2020-2021 Undergraduate Academic Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

HU 431A - Formal Logic

3 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
  • None

Course Topics
  • Atomic sentences
  • Boolean connectives
  • Proof for Boolean logic
  • Conditionals
  • Quantification
  • Multiple quantifiers
  • Proof for quantification

Dr. Jon Borowicz

Add to Portfolio (opens a new window)