|
Mar 28, 2024
|
|
|
|
HU 431A - Formal Logic3 lecture hours 0 lab hours 3 credits 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.
Add to Portfolio (opens a new window)
|
|