This preview shows page 1. Sign up to view the full content.
Unformatted text preview: Sense and Reference E. Russellian, Fregean and Meinongian Theories of Descriptions MIDTERM TBA Topic IV. Propositional Modal Logic (weeks 7‐10) Reading: Modal Logic KMM Style: Chapter 7: “Might” and “Must” A. Kripke’s “New Theory of Reference” B. Possible World Semantics for Propositional Logic C. Semantics for D, T, B, S4 and S5. D. Natural Deduction KMM Style for T, B, S4 and S5. E. Semantic Tableaux for Propositional Modal Logic Topic V. Gödel’s Incompleteness Theorems (weeks 11‐13) Reading: Gödel, “Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme,” Monatshefte für Mathematik und Physik 38: 173‐98 (1931). A. B. C. D. E. The Semantical and Set –Theoretical Paradoxes Tarski’s Analysis of the Liar in “The Semantic Conception of Truth” Tarski’s Indefinability of Truth Metatheorem in Miniature Gödel’s Incompleteness Theorems: An Incomplete Guide to Their Uses and Abuses Chaos and Fractals in the Semantics of Paradox FINAL EXAMINATION TBA Thought Experiment: Can you find logic diagrams which have these geometric structures? 2-D Square 3-D Cube 4-D Hypercube 3 PHI 330 Advanced Symbolic Logic Professor Gary Mar Some Classical Logical Puzzles “A logical theory ma...
View Full Document
This note was uploaded on 01/27/2011 for the course PHI 330 taught by Professor Mar during the Fall '10 term at SUNY Stony Brook.
- Fall '10