PHIL 155

Truth and Proof: Introduction to Mathematical Logic.

University of North Carolina at Chapel Hill · UGRD · Fall 2026

1 section

Catalog description

Introduces the theory of deductive reasoning, using a symbolic language to represent and evaluate patterns of reasoning. Covers sentential logic and first-order predicate logic. Honors version available.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 7 hours ago

001

Availability not recently verified

Class #north_carolina_chapel_hill-8195Fall 2026UGRD3 credits

Days & times: No scheduled meeting time
Meeting dates: —
Location: —
Instructor: Staff

Class numbers and section codes come from the registrar.

Spot missing or incorrect course data?