Symbolic Logic

Catalog description

The study of the semantic and syntactic properties of propositional and predicate logics- natural deduction systems of the first order. Some results in meta-logic (such as the soundness and completeness proofs for particular systems) may be addressed, and attention may also be paid to the properties of axiomatic deductive systems in contrast to systems of natural deduction. The usefulness of formal systems for studying the property of validity in natural language arguments will also be addressed, in part by learning techniques for "translating" arguments from one language to the other.