|
Nov 24, 2024
|
|
|
|
PHL 370 - Advanced Symbolic Logic(4) Credits Standard first-order symbolic logic, emphasizing quantification theory and including identity theory and logical semantics. The logical system is approached both as a formal system and as a theoretical analysis of human reasoning. Offered every other year. Prerequisite(s): PHL 102 or PHL 107 or CSE 130 or MTH 062 or equivalent.
Add to Portfolio (opens a new window)
|
|