The study of logical relationships by way of models and procedures in a symbolic system. The concept of proof and the demands of formal proofs. Methods of demonstrating logical relationships, including truth tables, derivations in sentence and predicate logic, and semantic interpretations. The relation between conventional languages and symbolic encodings. A selection of related theoretical topics, including proofs of soundness and consistency of the calculi, and elementary set theory.
PHIL 12A (001) is a 17.5 week in person course that meets on the Ocean campus. Some assignments will require the use of Canvas to access course materials, submit assignments, and/or receive instructor feedback. Students will need access to an internet enabled device.
PREREQ: Intermediate algebra or higher