September 6

 1415. Q/A Session of the Student
Mentors.
 1517. Organisation of the Course. Logic in the different
scientific disciplines.
 Homework Set #1:
PDF File (Deadline: September 13th,
2006.)

Lecture Slides #1: PDF
File
 Thomas Hofweber,
Logic and Ontology, in: Edward N. Zalta (ed.),
The Stanford Encyclopedia of Philosophy, Summer 2005
 Volker Peckhaus,
19th century logic between philosophy and mathematics, Bulletin of Symbolic Logic 5 (1999),
p. 433450.


September 13

 1416.
Origins of logic: Greek mathematics (Euclid) and
Greek disputations.
The Square of Oppositions. Aristotelian categories.
 1617. Guest Lecture. Jeroen Bons
(Amsterdam),
TBA.
 Homework Set #2:
PDF File (Deadline: September
20th,
2006.)
 Lecture Slides #2: PDF File

Dmitri Panchenko, Thales
and the
Origin of Theoretical Reasoning, Configurations 1 (1993), p.387414


September 20

 1416.
Aristotelian syllogistics. Aristotelian Modal Logic.
 1617. Guest Lecture.
Sara Uckelman
(Amsterdam),
How does a modern logician work on historical problems? (PDF file of the slides)
 Homework Set #3:
PDF File (Deadline: September
27th,
2006.)
 Lecture Slides #3: PDF File

Fred Richman,
Equivalence of Syllogisms,
Notre Dame Journal of Formal Logic 45 (2004), p.215233;
PDF
File
 The 24 valid moods.


September 27

 1416.
Aristotelian Temporal Logic.
Stoic and
Megarian
Logic. Neoplatonism.
Boëthius.
Logic and Theology in the Middle Ages.
 1617. Guest Lecture.
Marian
Counihan (Amsterdam),
Logic in life: or when logic meets cognition, from the ivory tower.
PDF file of the slides.
 Lecture Slides #4: PDF
File
 Homework Set #4: PDF File
(Deadline: October 4th, 2006.)
 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 4
  1416. Logic and Theology in the Middle Ages (ctd.).
Logic as ars sermocinalis. Trivium and Quadrivium.
Anselm of Canterbury. The early middle ages. Peter Abelard.
The Universities.
 1617. Guest Lecture. Jelle Zuidema
(Amsterdam), Formal Models of the Evolution of Language:
PDF File.

Homework Set #5:
PDF File (Deadline:
October 11th, 2006.)
 Lecture Slides #5: 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


October 11
  1416.
The Universities (ctd).
Logic in the late middle ages (XIIIth and XIVth
century).
Termistic logic. Insolubles.
 1617. Guest Lecture.
JanWillem Romeijn
(Amsterdam), Probability and Logic: PDF
file.
 Homework Set #6:
PDF File (Deadline:
October 18th, 2005.)
 Lecture Slides #6: PDF
File


October 18
  1416.
Some gametheoretic interpretations of logic: Dialogic logic.
Obligationes.
The great changes between 1450 and 1550.
Leibniz ("calculemus").
 1617. Guest Lecture.
Jaap Maat (Amsterdam),
Logic in the XVIIth century: PDF file.
 Homework Set #7:
PDF File (Deadline for Exercises 22,
23, and 24:
November 8th, 2006. Deadline for Exercise 25:
November 15th, 2006)
 Lecture Slides #7: PDF
File


October 25
 No classes (EXAM WEEK).


November 1
 Class Cancelled (MSc Logic Accreditation Visitation).


November 8
  1416. Algebraic approaches to logic in the XIXth
century.
De Morgan. Boole.
Boolean algebras as mathematizations of reasoning.
Geometry as a prototype for abstract mathematics.
 1617. Guest Lecture.
Stephen Read (St. Andrews),
Thomas Bradwardine and a fourteenthcentury solution to the
semantic
paradoxes.
 Homework Set #8:
PDF File (Deadline:
November 15th, 2006).
 Lecture Slides #8: PDF
File


November 15
  1416. Naïve Set Theory as an example for abstract
mathematics.
Firstorder logic: Frege, Hilbert, Gödel.
 1617. Guest Lecture.
Ulle Endriss
(Amsterdam),
Multiagent Resource Allocation: PDF
file.
 Homework Set #9:
PDF File (Deadline:
November 22nd, 2006.)
 Lecture Slides #9: PDF
File


November 22
  1416.
Foundations of Mathematics. The
Grundlagenkrise der Mathematik.
 No Guest Lecture.
 Homework Set #10:
PDF File (Deadline:
November 29th, 2006.)
 Lecture Slides #10: PDF
File


November 29
  1416.
Axiomatization of Set Theory.
Hilbert's Programme.
Gödel's Incompleteness Theorems.
 1617. Guest Lecture.
Eric Pacuit
(Amsterdam),
Logic in games.
 Homework Set #11: PDF File
(Deadline: December 6th,
2006.)
 Lecture Slides #11: 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 6
  1416.
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.
 Homework Set #12:
PDF File (Deadline:
December 13th, 2006.)
 1617. Guest Lecture.
Yde Venema (Amsterdam),
Coalgebra. PDF file.


December 13
  1416.
Applications of Modal Logic: standard translation,
intuitionistic logic, provability logic.
An overview of
recent developments in mathematical logic.
 1617. Guest Lecture.
Johan van Benthem
(Amsterdam), TBA.


December 20
 No classes (EXAM WEEK).

