September 5 
 1517. Organisation of the Course. Logic in the different scientific disciplines.
 1718. Q/A Session of the Student Mentors.
 Homework Set #1: PDF File (Deadline: September 12th, 2007)
 Lecture Slides #1: PDF File

September 12 
 1517. Formalizations.
 1718. Exercise session.
 Homework Set #2: PDF File
(Deadline: September 19th, 2007)
 Lecture Slides #2: PDF File

September 19  Class
cancelled 
September 26 
 1517. Formalizations II. Origins of logic: Greek mathematics (Euclid) and Greek disputations. The Square of Oppositions. Aristotelian categories.
 1718. Guest Lecture.
Jeroen Bons (Amsterdam & Utrecht).
Aristotle on Arguments in Rhetoric.
 Homework Set #3: PDF File (Deadline: October 3rd, 2007.)
 Lecture Slides #3: PDF File
 Dmitri Panchenko, Thales and the Origin of Theoretical Reasoning, Configurations 1 (1993), p.387414

October 3 
 1517. Aristotelian syllogistics. Aristotelian Modal Logic.
Aristotelian Temporal Logic.
 1718. Guest Lecture. Rens Bod (Amsterdam &
St.Andrews). A Unifying Approach to Language, Music and Vision.
PDF
file of slides; dated 2005
 Homework Set #4: PDF File (Deadline: October 10th, 2007.)
 Lecture Slides #4: PDF File
 The 24 valid moods.
 Fred Richman, Equivalence of Syllogisms, Notre Dame Journal of Formal Logic 45
(2004), p.215233; PDF File

October 10 
 1517.
Stoic and Megarian Logic. Neoplatonism. Boëthius. Logic and Theology in the Middle Ages.
Anselm of Canterbury.
 1718. Guest Lecture. Michiel van
Lambalgen
(Amsterdam). Logic in a Neuroscience Lab.
 Homework Set #5: PDF File (Deadline: October 17th, 2007.)
 Lecture Slides #5: PDF File
 Alan Code, Aristotle's response to Quine's objections to modal logic, Journal of
Philosophical Logic 5 (1976), p. 159186: PDF File.
 Christopher J. Martin, The Logic of Negation in Boethius, Phronesis 36 (1991), p.
277304: PDF File.

October 17 
 1517. Trivium and Quadrivium.
The early middle ages. Peter Abelard. The Universities.
 1718. Guest Lecture. Martin Stokhof
(Amsterdam). Rethinking formal semantics.
PDF file of slides (note that these are not the
slides of the guest lecture, but slides of a talk in Beijing that Stokhof
used as part of the guest lecture).
 Homework Set #6: PDF File (Deadline: October 24th, 2007.)
 Lecture Slides #6: PDF File
 Paul Vincent Spade, Why Don't Mediaeval Logicians Ever Tell Us What They're Doing? Or, What
Is
This, A Conspiracy?, preprint 2000: PDF File
 Michael A. Covington, Scientia Sermocinalis: Grammar in Medieval Classifications of the Sciences, in: Nicola McLelland, Andrew Linn (eds.), Flores grammaticae: Essays in Memory of Vivien Law, p.4954; PDF File
 Hans Thijssen, Condemnation of 1277, in: Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Spring 2003 Edition)

October 24 
 1517. Logic in the late middle ages (XIIIth and XIVth century). Termistic logic. Insolubles.
Some gametheoretic
interpretations of logic: Dialogic logic.
Obligationes.
 1718. Guest Lecture. Jelle Zuidema
(Amsterdam). Formal Models of the Evolution of Language.
PDF
file of the slides of the 2006 talk.
 Homework Set #7: PDF
File (Deadline: October 31st, 2007.)
 Lecture Slides #7: PDF File

October 31 
 1517.
The great changes between 1450 and 1550. Leibniz ("calculemus").
 1718. Guest Lecture. Jaap Maat (Amsterdam). Logic
in the XVIIth century.
 Homework Set #8: PDF File (Deadline: November 7th, 2007).
 Lecture Slides #8: PDF File
 Peter King, Opposing and Responding: Comments on Paul Spade,
unpublished notes, 2004; PDF
file

November 7 
 1516. Guest Lecture. Catarina
Dutilh Novaes (Amsterdam). Medieval theories of
consequence. PDF file.
 1618. Algebraic approaches to logic in the XIXth century. De
Morgan. Boole. Boolean algebras as mathematizations of reasoning. Geometry as a prototype for abstract mathematics.
 Homework Set #9: PDF File (Deadline: November 14th, 2007.)
 Lecture Slides #9: PDF File
 Wilfrid Hodges, An editor recalls some hopeless papers,
Bulletin of Symbolic Logic 4 (1998), p. 116: JSTOR page
 George Boolos, Gödel's Second Incompleteness Theorem Explained
in Words of One Syllable,
Mind 103 (1994), p.13:
JSTOR
page

November 14 
 1517. Naïve Set Theory as an example for abstract mathematics. Firstorder logic: Frege, Hilbert, Gödel.
 1718. Guest Lecture. Albert Visser
(Utrecht). Provability Logics of Constructive Theories.
PDF file.
 Homework Set #10: PDF File (Deadline: November 21st, 2007.)
 Lecture Slides #10: PDF File
 Leon Henkin, The Discovery of my completeness proof,
Bulletin of Symbolic Logic 2 (1996), p.127158. PDF file.

November 21 
 1517. Foundations of Mathematics. The Grundlagenkrise der Mathematik.
 1718. Guest Lecture. Jouko
Väänänen (Amsterdam). Modeltheoretic
logics.
 Homework Set #11: PDF File (Deadline: November 28th, 2007.)
 Lecture Slides #11: PDF File

November 28 
 1517. Axiomatization of Set Theory. Hilbert's Programme. Gödel's Incompleteness Theorems.

1718. Guest Lecture.
Ulle Endriss
(Amsterdam). Manipulation in
Approval Voting. PDF file.
 Homework Set #12: PDF File (Deadline: December 5th, 2007.)
 Lecture Slides #12: PDF File
 David Hilbert, Mathematische Probleme. Vortrag, gehalten auf dem internationalen
MathematikerKongreß zu Paris 1900. PDFFile.
 Richard Zach, Hilbert's "Verunglückter Beweis," the first epsilon theorem, and consistency proofs, History and Philosophy of Logic 25 (2004), p.7994.
 Richard Zach, The practice of finitism: Epsilon calculus and consistency proofs in Hilbert's Program, Synthese 137 (2003), p.211259.

December 5 
 1517. Proof Theory. Computability: Turing and the Halting Problem. The ChurchTuring Thesis. Recursion Theory. Model Theory. Tarski. Set Theory. The modern view of modal logic: Kripke models and frames.
 1718. Guest Lecture.
Yde Venema
(Amsterdam). Modal Fixpoint Logics. PDF file of slides.
 Homework Set #13: PDF File
(Deadline: December 12th, 2007.)
 Lecture Slides #13: PDF File

December 12 
 1517. Applications of Modal Logic: standard translation, intuitionistic logic, provability logic. An overview of recent developments in mathematical logic.
 1718. Guest Lecture.
Johan van Benthem
(Amsterdam & Stanford). Logic as a theory of intelligent
interaction.
 Lecture Slides #14:
PDF file
 Joel D.Hamkins, A simple maximality principle, Journal of
Symbolic Logic, 68
(2003), p.527550: PDF File.
 Thomas Bolander, SelfReference and Logic, Phi News 1
(2002), p.944:
PDF
File.

December 19  Exam
week. No
classes 