PHIL 310
Intermediate Logic
Winter 2011

Home
Description
Schedule
Assignments
Links

  

Links

Below are some links to webpages that might be of interest to you.
(If you know other websites that you think should be linked here, please let me know!)

  • Related courses at McGill

  • Phil 210 Deductive Logic
  • Phil 411 Topics in Philosophy of Mathematics and Logic
  • Phil 511 Seminar: Philosophy of Logic and Mathematics

  • Comp 230 Logic and Computability
  • Comp 280 History and Philosophy of Computing
  • Comp 426 Automated Reasoning

  • Math 318 Mathematical Logic
  • Math 338 History and Philosophy of Mathematics
  • Math 591 Mathematical Logic

  • See also the Computation and Logic Group, at the School of Computer Science, McGill.

  • For more on Gödel, check out the April 2006 edition of the Notices of the American Mathematical Society

  • Have a look at The FOM Archives if you want to know what experts on the foundations of mathematics talk about these days.

  • See who are the Mathematicians of the Day.

  • On learning mathematics and proofs. Professor Hodges has a nice short paper Psychologists' tips on how and how not to learn, which you can download from his webpage.

  • More logic:

  • Want to know more systems of logic? Have a look at John Halleck's collection of Logic Systems.

  • Professor Peter Suber's course Logical Systems covers similar ground as does our course. He has extensive notes on topics such as mathematical induction, non-standard logics, and A crash course on the mathematics of infinite sets, which you might find interesting.

    See also his article on the Löwenheim-Skolem Theorem (including Skolem's Paradox).

  • The Standford Encyclopedia of Philosophy has very well-written and comprehensive articles about logic and philosophers we've heard about in this course.

  • Historical texts:

  • The Mathematical Problems of David Hilbert. Contains a link to an English translation of Hilbert's 1900 address in which he formulated his famous 23 problems, as well as to other interesting articles regarding the problems.

  • LaTeX:

  • LaTeX - A document preparation system
  • LaTeX for Logicians (introduction, packages, etc.: all you need, and more!)
  • The Comprehensive TeX Archive Network (CTAN) is the authoritative collection of materials related to the TeX typesetting system.
  • FAQ (in French).

    • Credits

  • In the preparation for the course I made use of lecture notes by Michael Hallett.
  • The style file for these webpages is based on that of Frank Pfenning's homepage.
  • The color scheme was inspired by that of LEO's German-English online dictionary.

    • © Dirk Schlimm   12/26/10   [ Home | Description | Schedule | Assignments | Links ]