Metalogicalquestionssoundnesscompletenesscategoricity

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
This is the end of the preview. Sign up to access the rest of the document.

Unformatted text preview: hout fear of grades in a dynamic learning community in which everyone can use their diverse and peculiar interests and insights to enrich the learning experience for all. COURSE CALENDAR Topic I. Review of Propositional Logic and its Metalogic (weeks 1‐3) Reading: Chapters 1‐2 KMM A. The Natural Deduction System for KMM & Semantic Tableaux. B. Reductions of KMM to the Axiomatic Leśniewskiʹs Implicational Calculus C. Metalogical Questions: Soundness, Completeness, Categoricity D. Soundness for L & Independence Proofs with Non‐Standard Truth Tables. E. Completeness Metatheorem for L: Constructive versus Maximal Consistency Proofs. 2 PHI 330 Advanced Symbolic Logic Professor Gary Mar Topic II. Predicate Logic and the Theory of Relations (weeks 4‐5) Reading: Chapters 3‐4 KMM A. The Natural Deduction System for KMM & Semantic Tableaux B. Reductions of KMM to Axiomatic Systems C. Metalogical Questions: Soundness, Completeness, Categoricity D. Various Proofs of the Completeness Metatheorem E. Gödel’s Maximal Consistency Completeness Metatheorem Topic III. Intuitionism, Relevance Logics, and Theories of Description (week 6 – 7) Reading: Chapter 5 KMM A. What is Intuitionism? B. Lewis’s Dilemma, Systems of Strict Implication, and the Relevance Logics C. Attributive Alternatives to Predicate Logic D. Frege’s Puzzle about...
View Full Document

Ask a homework question - tutors are online