September 6



September 13

 1416.
Origins of logic: Greek mathematics (Euclid) and
Greek disputations.
The Square of Oppositions. Aristotelian categories.
 1617. Guest Lecture. Rens Bod
(Amsterdam),
Unifying Models of Language,
Music and Vision.
PDF File.
 Homework Set #2:
PDF File (Deadline: September
20th,
2005.)
 Lecture Slides #2: PDF File


September 20

 1416.
Aristotelian syllogistics. Aristotelian Modal Logic.
 1617. Guest Lecture.
Maricarmen Martínez
(Amsterdam),
Contentdependent reasoning. PDF
File.
 Homework Set #3:
PDF File (Deadline: September
27th,
2005.)
 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 meets psychology. .
PDF
File.
.
 Lecture Slides #4: PDF
File

Homework Set #4:
PDF File (Deadline:
October 4th, 2005.)

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.
 1617. Guest Lecture.
Wolfram Hinzen
(Amsterdam), Philosophy of Language and Mind.

Homework Set #5:
PDF File (Deadline:
October 11th, 2005.)
 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
 Hans Thijssen, Condemnation of
1277, in: Edward N.
Zalta (ed.), The Stanford
Encyclopedia of
Philosophy (Spring 2003 Edition)


October 11
  1416.
The Universities.
Logic in the late middle ages (XIIIth and XIVth
century).
Termistic logic. Insolubles.
 1617. Guest Lecture. Jaap Maat (Amsterdam),
Logic in the XVIIth century.
 Homework Set #6:
PDF File (Deadline:
October 18th, 2005.)
 Lecture Slides #6: PDF
File
 Lynn H. Nelson, The
Avignon Papacy, 13051378, course notes for History 108,
"Introduction to Medieval History" at Kansas University.


October 18
  1416.
Some gametheoretic interpretations of logic: Dialogic logic.
Obligationes.
The great changes between 1450 and 1550.
Leibniz ("calculemus").
 1617. Guest Lecture. Yde Venema (Amsterdam),
Logic and Algebra.
 Homework Set #7:
PDF File (Deadline:
November 1st, 2005.)
 Lecture Slides #7: PDF
File


October 25
 No classes (EXAM WEEK).


November 1
  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. Göran
Sundholm (Leiden).
The Expulsion of the Judging Subject from Logical Paradise:
The History of Logic from Aristotle until the Present Day.
 Homework Set #8:
PDF File (Deadline:
November 8th, 2005).
 Lecture Slides #8: PDF
File


November 8
  1416. Naïve Set Theory as an example for abstract
mathematics.
Firstorder logic: Frege, Hilbert, Gödel.
 1617. Guest Lecture. Eric Pacuit
(Amsterdam),
Games, Puzzles, Logic. PDF
File.
 Homework Set #9:
PDF File (Deadline:
November 15th, 2005.)
 Lecture Slides #9: PDF
File


November 15
  1416.
Foundations of Mathematics. The
Grundlagenkrise der Mathematik.
Axiomatization of Set Theory.
 1617. Guest Lecture. Jelle Zuidema
(Amsterdam), Formal Models of the Evolution of Language:
PDF File.
 Homework Set #10:
PDF File (Deadline:
November 22nd, 2005.)
 Lecture Slides #10: 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.79–94.
 Richard Zach, The practice of
finitism: Epsilon calculus and consistency proofs in Hilbert's
Program,
Synthese 137 (2003), p.211259.


November 22
  1416.
Gödel's Incompleteness Theorems. Proof Theory.
Computability: Turing and the Halting Problem.
The ChurchTuring Thesis.
Recursion Theory. Church and his students.
 1617. Guest Lecture. Khalil Sima'an
(Amsterdam), Language Use and Uncertainty.
PDF File.
 Homework Set #11:
PDF File (Deadline:
November 29th, 2005.)
 Lecture Slides #11: PDF
File
 Robert I. Soare,
Computability and recursion, Bulletin of Symbolic Logic
2 (1996), p.284321 (PSfile)


November 29
  1416.
Model Theory. Tarski. Set Theory.
The modern view of modal logic: Kripke models
and frames.
 Homework Set #12:
PDF File (Deadline:
December 13th, 2005.)
 Lecture Slides #12: PDF
File
 1617. Guest Lecture. Johan van Benthem
(Amsterdam), Logics of Communication and Interaction.


December 6
 Class cancelled.


December 13
  1416.
Applications of Modal Logic: standard translation,
intuitionistic logic, provability logic.
An overview of
recent developments in mathematical logic.
 1617. Guest Lecture. Albert
Visser
(Utrecht): Varieties of arithmetical experience.
(Deadline for summary: December 20th in mailbox S.Bold or by
email to sbold@science.uva.nl.)
 Lecture Slides #13: PDF
File
 Joel D.Hamkins,
A simple maximality principle, Journal of Symbolic Logic,
68 (2003), p.527550: 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 20
 No classes (EXAM WEEK).

