Treatment and justification of formal logic from a theoretical point of view: Ideal formal languages developed, and their relationship to natural languages discussed. Syntactic and semantic theories formalized for the analysis of complex deductive arguments. The metatheory of formal logic, relating the syntactic theories and the semantic theories, developed. Topics may include consistency, compactness, soundness and completeness.
- Credit will be granted for only one of PHIL 370, PHIL 304A.