|
Philosophy 005 | ||
| Formal Logic I | |||
| Tues Thurs 11-12 Stiteler B6 | Spring 1998 | ||
| Syllabus | Systematic
development of the formal systems of classical first order propositional
and predicate logic, including identity, descriptions, definitions, and
functional calculus. Study of syntax and semantics of these systems with
special regards to their consistency, completeness and decidability. Hands-on
application of classical logic to translation and analysis of natural language
arguments, scientific inferences, informal fallacies, and logical puzzles.
Special attention is being paid to the development of basic skills and
techniques, used in formulating and assessing deductive arguments.
|
|
Last Modified: |
|
