PHI 204 Symbolic Logic
3 hours
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.
Notes
This course satisfies the Flexible Core: Scientific World area of the Gen Ed Program.