TWiki> Courses Web>WebHome (26 Oct 2009, TWikiGuest)EditAttach

Welcome to the Courses web

This web includes course syllabi, class notes and the like for the following courses:

  • TwentiethCenturyPhilosophy

  • IntroductiontothePhilosophyofScience

  • IssuesandMethods

  • MetaethicsGroup

  • MetaPhysics

  • MetaPhysicsSpring2008

  • PhilosophyofLanguage

  • PhilosophyofMathematics

  • PhilosophyofMathematics2007

  • PhilosophyofMathematics2006

  • PhilosophyofMathematics2005

  • PhilosophyofScience

  • ProSeminar

  • ScienceandInquiry

  • ScienceandInquiryFall2005

  • ScienceandInquiryFall2004

  • SpecialTopicsinPhilosophy

  • SymbolicLogicA

    • Soundness and Completeness (using the Henkin proof). Upward and Downward Löwenheim-Skolem-Tarski Theorems

  • SymbolicLogicA2004

    • Soundness and Completeness (using the Henkin proof). Upward and Downward Löwenheim-Skolem-Tarski Theorems

  • SymbolicLogicB2008

  • SymbolicLogicB2005

    • Recursion, representability, the $s$-$ m$-$n$ theorem, the fixed-point theorem Gödel's First and Second Incompleteness theorems, the unsolvability of the Halting Problem, the undefinability of truth. Rice's Theorem and other topics as time permits and depending upon the interests of the class.

    Courses Web Utilities

    Edit | Attach | Print version | History: r18 < r17 < r16 < r15 < r14 | Backlinks | Raw View | More topic actions
    Topic revision: r18 - 26 Oct 2009 - 14:28:03 - TWikiGuest
     
    This site is powered by the TWiki collaboration platformCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
    Ideas, requests, problems regarding TWiki? Send feedback