CRN
30591
Term
Spring 2025
Subject
Course
12A
Section
001
Catalog Description

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.

Section Notes

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.

Requisites

PREREQ: Intermediate algebra or higher

Learning Outcomes