Fundamental concepts and methods of logic; the logistic method, syntax and semantics; the conditional; entailment; consequence; modal logic; problems concerning extensionality and intentionality. Frege's distinction between sense and reference; Russell's theory of definite descriptions; Tarski's definition of truth. Recommended pre-requisite: one of PHIL 220, PHIL 222. PHIL 222 is recommended.
Fundamental concepts and methods of logic; the logistic method, syntax and semantics; the conditional; entailment; consequence; modal logic; problems concerning extensionality and intentionality. Frege's distinction between sense and reference; Russell's theory of definite descriptions; Tarski's definition of truth. Recommended pre-requisite: one of PHIL 220, PHIL 222. PHIL 222 is recommended.