PHIL 20100/30000 Elementary Logic
Course not for field credit. An introduction to the techniques of modern symbolic logic. The focus will be on the syntax and semantics of classical propositional and first-order quantificational logic. The course will introduce methods for determining whether a given argument is valid or invalid. We will discuss how statements and arguments of ordinary discourse can be represented within the formal language of propositional and quantificational logic. There will also be discussion of some important meta-theorems for these logical systems.