PHIL 4110

Advanced Logic

University of Missouri-Columbia · UGRD · Fall 2026

1 section

Catalog description

(same as LINGST 4110 ; cross-leveled with PHIL 7110 , LINGST 7110 ). Presents the method of truth trees for sentence and predicate logic. Examines proofs concerning the decidability, soundness, and completeness of formal systems. Emphasizes the theory of formal systems. Credit Hour s : 3 Prerequisites: sophomore standing and PHIL 2700

Sections

Current meeting, instructor, credit, and enrollment details

Updated 7 hours ago

001

Availability not recently verified

Class #missouri_columbia-5113Fall 2026UGRD

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?