PHILOS 135

Introduction to Metalogic

Philosophy · 4 units · Undergraduate upper division (100-199)

Open the requisite map View official UCLA course listing ↗Find on Bruinwalk ↗

Metatheory sentential logic and first-order logic. Introduction to formal language, formal deductive systems, and models. Compactness and completeness theorems that concern complexity of notion of logical consequences.

P/NP or letter grading.

When it runs

Spring 2026
Spring 2027

Scheduled, not typical — from UCLA’s Schedule of Classes, which publishes Fall 2025 through Spring 2027 and nothing before it.

Checking the Schedule of Classes…

Requisites

Official UCLA wording
Enforced requisite: course 31. Strongly recommended requisite: course 132 (or Mathematics 33A or 33B).

BruinTree reads · Prerequisite

confidence 1.00 · from text

PHILOS 31

BruinTree reads · Recommended

confidence 1.00 · from text

one of

Requires

Everything that has to come before this course, not just the courses named in the requisite above.

PHILOS 135

PHILOS 31Logic, First Course
PHILOS 132Logic, Second Course
- PHILOS 31Logic, First Courseanother path to it
MATH 33ALinear Algebra and Applications
- MATH 3BCalculus for Life Sciences Students

Unlocks

What this course is a requisite for, and what those courses lead to in turn.

PHILOS 135

PHILOS M134Introduction to Set Theory
PHILOS 136Modal Logic
MATH 114CComputability Theory
MATH 114LMathematical Logic
MATH M114SIntroduction to Set Theory
- PHILOS 221A