Philosophy 12A
Spring 2023
Number | Title | Instructor | Days/time | Room |
---|---|---|---|---|
12A | Introduction to Logic | Mancosu | MWF 9-10 | Physics 1 |
The course will introduce the students to the syntax and semantics of propositional and first-order logic. Both systems of logic will be motivated by the attempt to explicate the informal notion of a valid argument. Intuitively, an argument is valid when the conclusion ‘follows’ from the premises. In order to give an account of this notion we will introduce a deductive system (a natural deduction system), which explicate the intuitive notion of ‘follow’ in terms of derivational rules in a calculus. This will be done in stages, first for propositional reasoning (only connectives such as ‘and’, ‘or’, ‘if… then…’ and later for the full first-order calculus (including expressions such as ‘for all…’ and ‘there exists…’. In addition, we will also develop techniques to show when a claim does not follow from the premises of an argument. This is done by developing the semantics for the propositional and the predicate calculus. We will introduce truth-tables for the propositional connectives and ‘interpretations’ for sentences of first-order logic. At the end of the course, if time allows, we will also cover some metatheoretical issues, such as soundness and completeness of the propositional calculus.
Previously taught: FL22 (Yalcin), SU22D (Klempner), SU22C (Holliday), SU22A (Schwartz), SP22 (Holliday), FL21 (Warren), SU21D (Paris), SU21C (Holliday), SU21A (Khokhar), SP21 (Mancosu), FL20 (Warren), SU20D (Khokhar), SU20C (Holliday), SU20A (Duvalier), SP20 (Yalcin), FL19 (Mancosu), SU19D (Klempner), SU19C (Holliday), SU19A (Khokhar), SP19 (Holliday), FL18 (Mancosu), SU18D (Khokhar), SU18C (Holliday), SP18 (Warren), FL17 (Yalcin), SU17D (Rudolph), SU17A (Lawrence), SP17 (Mancosu), FL16 (Yalcin), SU16D (Jerzak), SU16A (Ahmed-Buehler), SP16 (Yalcin), FL15 (Warren), SU15D (Nowak), SU15A (Kocurek), SP15 (Mancosu), FL14 (Yalcin), SU14D (Nowak), SU14A (Rieppel), SP14 (Warren), FL13 (Yalcin), SU13D (Klempner), SU13A (Bledin), SP13 (Warren), FL12 (Roush), SU12D (Fusco), SU12A (Misenheimer), SP12 (Warren), FL11 (Roush), SU11D (Bledin), SU11A (Rieppel), SP11 (Mancosu), FL10 (Roush), SU10D (Rieppel), SU10A (Fitelson), SP10 (Fitelson), FL09 (Mancosu), SU09D (Beattie), SU09A (Rieppel), SP09 (Warren), FL08 (Fitelson), SU08D (Klempner), SU08A (Fitelson), SP08 (Mancosu), FL07 (Fitelson), SU07A (Fitelson), SP07 (Mancosu), FL06 (Fitelson), SU06A (Rao), SP06 (Warren), FL05 (Mancosu), SU05D (Khatchirian), SP05 (Shapiro), FL04 (Fitelson), SU04D (Khatchirian), SU04A (Warren), SP04 (Warren), FL03 (Mancosu).