Welcome to the Courses web

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

Available Information

  • IssuesandMethods

  • MetaethicsGroup

  • MetaPhysics

  • PhilosophyofLanguage

  • PhilosophyofMathematics

  • PhilosophyofMathematics2006

  • PhilosophyofMathematics2005

  • PhilosophyofScience

  • ProSeminar

  • ScienceandInquiry

  • ScienceandInquiryFall2005

  • ScienceandInquiryFall2004

  • SymbolicLogicA

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

  • SymbolicLogicB

  • 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