2025 Summer Session A
6 weeks, May 27 - July 3
PHILOS 12A 001 - LEC 001
Introduction to Logic
Adrian Kristing Ommundsen
Class #:11851
Units: 4
Instruction Mode:
In-Person Instruction
Offered through
Philosophy
Current Enrollment
Total Open Seats:
4
Enrolled: 26
Waitlisted: 1
Capacity: 30
Waitlist Max: 5
No Reserved Seats
Hours & Workload
17.5 hours of outside work hours per week, 7.5 hours of instructor presentation of course materials per week, and 5 hours of the exchange of opinions or questions on course material per week.
Course Catalog Description
Syntax, semantics, and proof theory of sentential and predicate logic.
Class Description
Intended as a first course in logic for students with no previous exposure to the subject, the course treats symbolic logic. Students will learn to formalize reasoning in symbolic languages with precisely defined meanings and rules of inference. Symbolic logic is by nature a mathematical subject, but the course does not presuppose any prior coursework in mathematics—only an openness to mathematical reasoning.
The course concentrates on three systems of symbolic logic: propositional logic (or sentential logic); syllogistic logic; and predicate logic (or first-order logic). Students from philosophy, mathematics, computer science, and linguistics will find important connections between symbolic logic and their other coursework.
Rules & Requirements
Credit Restrictions
Students can remove a deficient grade in PHILOS 12A by passing PHILOS W12A. Students who pass PHILOS W12A receive no credit for passing PHILOS 12A.
Repeat Rules
Course is not repeatable for credit.
Requirements class fulfills
Meets Philosophy & Values, L&S Breadth
Reserved Seats
Current Enrollment
No Reserved Seats