September 8

 1315. Organisation of the Course. Logic in the different
scientific disciplines.
 1517. MoL Room Committee Elections. Q/A Session of the Student
Mentors.
 Homework Set #1:
PDF File (Deadline: September 15th, 2004.)

Lecture Slides #1: PDF File


September 15

 1315.
Origins of logic: Greek mathematics (Euclid) and
Greek disputations.
The Square of Oppositions. Aristotelian syllogistics.
 1517. Guest Lecture. Jeroen Bons
(Utrecht),
The History of Rhetoric.
 Homework Set #2:
PDF File (Deadline: September 22nd,
2004.)
 Lecture Slides #2: PDF File
 The 24 valid moods.


September 22

 1315.
More on syllogistics. Aristotelian Modal Logic. Stoic and
Megarian
Logic.
Boëthius.
 1517. Practice Session. Syllogistics.

Homework Set #3:
PDF File (Deadline:
September 29th, 2004.)
 Lecture Slides #3: PDF
File


September 29



October 6
  1315. More on Abelard. The Universities.
Logic in the late middle ages (XIIIth and XIVth
century).
Some gametheoretic interpretations of logic: Dialogic logic.
 Practice Session. Games and logic.

Homework Set #5:
PDF File (Deadline:
October 13th, 2004.)
 Lecture Slides #5: PDF
File
 P.V.Spade, Why Don't Mediaeval Logicians Ever Tell Us What
They're Doing? Or,
What Is This, A Conspiracy?, preprint 2000:
PDF File


October 13
  1315. Termistic logic. Insolubles.
Obligationes.
 Guest Lecture. Jaap Maat (Amsterdam),
Logic in the XVIIth century.
 Homework Set #6:
PDF File (Deadline:
October 20th, 2004.)
 Lecture Slides #6: PDF
File
 Guidelines for writing summaries
 Slides of the Guest Lecture "Logic in the XVIIth century": PDFFile


October 20
  1315. The great changes between 1450 and 1550.
Leibniz ("calculemus"). De Morgan. Boole.
Boolean algebras as mathematizations of reasoning.
 Practice Session. Partial orders, lattices, Boolean algebras.
 Homework Set #7:
PDF File (Deadline:
November 3rd, 2004.)
 Lecture Slides #7: PDF
File


October 27
 No classes (EXAM WEEK).


November 3
  1315. Algebraic approaches to logic in the XIXth
century. The birth of modern
logic. Firstorder logic.
 Practice Session. Basics of first order logic.
 Homework Set #8:
PDF File (Deadline:
November 10th, 2004.)
 Lecture Slides #8: PDF
File


November 10
  1315. Foundations of Mathematics. The
Grundlagenkrise der Mathematik.
 Guest Lecture. Yde Venema (Amsterdam),
Algebraic Logic /
Duality.
 Homework Set #9:
PDF File (Deadline:
November 17th, 2004.)
 Lecture Slides #9: PDF
File
 David Hilbert, Mathematische Probleme. Vortrag, gehalten auf
dem
internationalen MathematikerKongreß zu Paris 1900. PDFFile.


November 17



November 24
  1315.
Recursion Theory.
Theoretical Computer Science
and Complexity Theory.
Independence Results in
Set Theory.
 1517. Guest Lecture. Leen Torenvliet
(Amsterdam),
Mathematical Logic and its relation to the P=NP
problem.
 Homework Set #11:
PDF File (Deadline:
December 1st, 2004.)
 Lecture Slides #11: PDF
File
 Robert I. Soare,
Computability and recursion, Bulletin of Symbolic Logic
2 (1996), p.284321 (PSfile)


December 1
  1315.
Proof Theory.
Tarski. Model Theory.
The modern view of modal logic: Kripke models
and frames.
 1517. Guest Lecture. Johan van Benthem
(Amsterdam),
Information Update in Communication.
 Homework Set #12:
PDF File (Deadline:
December 8th, 2004.)
 Lecture Slides #12: PDF
File
 Johan van Benthem, 'One is a lonely number': on the logic
of communication, ILLC Publications PP200307; PDFFile


December 8
  1315. Applications of Modal Logic. An overview of
recent developments in mathematical logic.
 1517. Guest Lecture. Thomas
Müller
(Oxford),
Temporal logic and the logic of agency:
PDFFile
 Homework Set #13:
PDF File (Deadline:
December 15th, 2004.)
 Lecture Slides #13: PDF
File

Sam Buss, Alekos Kechris, Anand Pillay, Richard
Shore, The prospects for mathematical logic in the twentyfirst
century, Bulletin of Symbolic Logic 7 (2001), p.169196
(PSfile)

W. Hugh Woodin,
The continuum hypothesis I,
Notices of the American Mathematical Society 48 (2001),
p.567576:
PDFFile

W. Hugh Woodin,
The continuum hypothesis II,
Notices of the American Mathematical Society
48 (2001), p.681690:
PDFFile


December 15
  1315. Theories and formalisms for truth.
 1517. Guest Lecture.
Maarten de Rijke (Amsterdam).
Search.

Thomas Bolander, SelfReference and Logic, Phi News 1
(2002), p.944: PDF File.


December 22
 No classes (EXAM WEEK).

