Symbolic Logic ((3))

Catalog description

This course provides an introduction to formal, symbolic systems of deductive logic. Of fundamental importance is the distinction between formal, syntactic systems on the one hand and their various semantic interpretations on the other. Key concepts on the syntactic side include: formal system, well-formed formulas, syntax, derivation, syntactic validity and invalidity. With respect to semantics, key concepts include: interpretation, translation, proposition, natural-language semantics, sparse (Fregean) semantics, semantic validity and invalidity, logical properties of propositions, and logical properties of sets of propositions.