Introductory Logic. (3-0) 3 Credit Hours.

Catalog description

The course focuses primarily on first-order classical logic, basic logical concepts, and logical languages. The course aims to clarify the semantics and syntax of ideal languages, the notions of logical form, well-formedness (grammaticality), logical consequence, validity, soundness, first-order quantification, and the method of counterexample. Instructors generally foreground obstacles to regimentation (translation of natural language into logical form), such as non-referential discourse (empty terms and predicates), complex natural inference patterns, the role of pragmatics vs. semantics in natural language, the intentionality, ambiguity, vagueness, and inconsistency of natural language. The contrast highlights the complexity of natural languages and underscores the role of ideal languages like first-order logic in illuminating the deep structure of modern modes of communication. The course may also include discussion of probability theory, non-classical logics, and problems in philosophical logic. May be applied toward the Core Curriculum requirement in the Component Area Option. Generally offered: Fall, Spring. Course Fees: LRC1 $12; LRLF $10.27; STLF $18.48; DL01 $75.