<p>Lecture, four hours; discussion, one hour. Enforced requisite: course 31. Strongly recommended requisite: course 132 (or Mathematics 33A or 33B). 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.</p>

Philosophy

Combining rigorous, inclusive pedagogy with opportunities for co-curricular activities—including research, internships, and community engagement—the College provides students with diverse learning experiences that helps them thrive, become critical thinkers, and transform society.

College of Letters and Science

Philosophy is concerned with the big questions that face us all as conscious, reflective beings.

General Catalog

Introduction to Metalogic

PHILOS 135

4 units