|
Mar 29, 2024
|
|
|
|
PHIL 346 - Deductive Logic(3.00) An introduction to symbolized deductive logic, including the construction of formalized systems for traditional logic, the sentential calculus and first-order predicate calculus. These systems will be constructed semantically (as formalizations of deductive reasoning in natural languages) and syntactically (as uninterpreted systems). The course emphasizes the distinction between mechanical decision procedures and the construction of deductive proofs.
Course ID: 56040 Consent: No Special Consent Required Components: Lecture Prerequisite: One course in Philosophy with a grade of C or better.
Add to Portfolio (opens a new window)
|
|