ShaughanLavine - 09 Mar 2010 - 19:26 - 1.26 " class="twikiLink">TWiki> Courses Web>WebHome (18 Jan 2010, ShaughanLavine)EditAttach

Welcome to the Courses web

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

  • PhilosophyofLanguage

  • IntroductiontothePhilosophyofScience

  • IssuesandMethods

  • MetaethicsGroup

  • MetaPhysics

  • MetaPhysicsSpring2008

  • PhilosophyofLanguage2006

  • 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.

  • TwentiethCenturyPhilosophy

    • Courses Web Utilities

    Edit | Attach | Print version | History: r19 < r18 < r17 < r16 < r15 | Backlinks | Raw View | More topic actions
    Topic revision: r19 - 18 Jan 2010 - 19:22:00 - ShaughanLavine
    • ShaughanLavine - 18 Jan 2010 - 19:22 - 1.19 " class="twikiCurrentTopicLink twikiCurrentWebHomeLink twikiLink">web-bg-small Courses

     
    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