Apr 20, 2024  
2015-2016 Undergraduate Academic Catalog 
    
Catalog Navigation
  Catalog Home
  Academic Calendar
  University Overview
  Enrollment Management Department
  Academic Regulations and Policies
  Student Accounts, Fees and Financial Aid
  Academic Departments, Undergraduate Degree Programs, Minors and Certificates
  Degree Programs, Minors and Certificates
  Reserve Officer Training Corps (ROTC)
  Course Descriptions
  Board of Regents, Academic Administration, Faculty and Advisory Committees
  Campus Map
  Student Resources
  My Portfolio
HELP
2015-2016 Undergraduate Academic Catalog [ARCHIVED CATALOG]

Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
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 (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


Facebook this Page (opens a new window)
Tweet this Page (opens a new window)
Add to Portfolio (opens a new window)