PHI 204
Symbolic Logic · 3 credits · Fall 2026
Requirements
Prerequisite: ENG 201
About this course
Logic is the study of the necessary inferential structure of language. As such, it can be used for translating natural language sentences into symbols that yield computationally derivable conclusions, equivalences and relations of coherence and contrariety. It is also the basis for artificial language such as those used in computer programming, and in solving puzzles and games such as Sudoku and chess. This course will first cover propositional logic, and then introduce the quantified predicate logic, which combines the propositional logic with basic elements of set theory.
Seat status as of Oct 3, 5:48 AM ET. Seats can change between refreshes.
Chill Rank compares professors using Rate My Professors reviews, from Chill to Brutal. What each rank means