PHIL 3420

Symbolic Logic

University of Wyoming · UGRD · Fall 2026

1 section

Catalog description

Studies both propositional and quantificational logic, concentrating on methods of proof. Takes up such topics as identity, singular terms, intuitive set theory, and translating English sentences into symbolic notation.

Sections

Current meeting, instructor, credit, and enrollment details

Updated 4 hours ago

001

Availability not recently verified

Class #wyoming-4232Fall 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?