|
Course ID: | PHIL 2500. 3 hours. 2 hours lecture and 1 hours lab per week. | Course Title: | Symbolic Logic | Course Description: | The methods and principles used to distinguish correct from incorrect deductive arguments, with emphasis on contemporary techniques of analysis. | Oasis Title: | Symbolic Logic | Duplicate Credit: | Not open to students with credit in PHIL 2500H, PHIL 2500E | Semester Course Offered: | Offered fall, spring and summer semester every year. | Grading System: | A-F (Traditional) |
| Course Objectives: | Students are expected to be able to do the following: a) symbolize arguments in the
notation of truth-functional logic; b) evaluate arguments symbolized in truth-
functional notation using truth tables; c) use a proof system for sentential logic
to construct derivations for truth-functionally valid arguments; d) symbolize
arguments using the notation of predicate logic; e) formulate counterexamples for
invalid arguments symbolized in the notation of predicate logic; and f) use a proof
system for predicate logic to construct derivations for arguments which are valid in
predicate logic. Communicating effectively through speech, relevant use of the
computer, and critical thinking are all stressed. During the course the student
should be improving in each of these skill areas. | Topical Outline: | Topics may include:
I. Symbolization in truth-functional logic
II. Truth tables
III. Derivations in truth-functional logic
IV. Symbolization in predicate logic
V. Invalidity in predicate logic
VI. Derivations in predicate logic | |
Syllabus:
|