PHILOS 135Introduction to Metalogic
Philosophy · 4 units · Undergraduate upper division (100-199)
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.
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 textBruinTree reads · Recommended
confidence 1.00 · from textRequires
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
- MATH 33ALinear Algebra and Applications
- MATH 33BDifferential Equations
- MATH 31BIntegration and Infinite Series
4 direct requisites. Showing 12 courses over 3 levels; the branches marked with a count carry on past it. Every course here opens its own tree.
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
5 courses list this as a requisite. The whole downstream is here — 17 courses over 3 levels. Every course here opens its own tree.