UvA Logo Core Logic
2007/2008; 1st Semester
Institute for Logic, Language & Computation
Universiteit van Amsterdam

Instructor: Dr Benedikt Löwe
Vakcode: MolCL6
Time: Wednesday 15-18
Place: P 0.17
Course language: English
Teaching Assistant: Drs Sara Uckelman (suckelma@illc.uva.nl)
Intended Audience: M.Sc. students of Logic

Prerequisites: Basic knowledge of logic. (If students feel that they don't satisfy this criterion, they should take the course "Basic Logic" in addition to Core Logic.)

Goal of this course. This course is the obligatory course for the M.Sc. Programme in Logic in the first semester. It is the time and place to meet for all of the logic students. In addition to that, the course should give a broad historical overview of logic in general, and with particular emphasis of the areas of research that the ILLC is involved in.

Content of the course: This course will cover the history of logic from Aristotle to the XXIst century. We will discuss the Greeks, the Middle Ages, Enlightenment, Leibniz, the dawn of mathematical logic in the XIXth century, and then the diversification of logic in mathematics, computer science and philosophy in the XXth century. In the second half of the semester we will present relevant modern research areas.

Organization. The course will be organized in Lectures and Colloquia (with invited guest speakers). The grade will be determined by weekly homework (286 points) and written summaries of guest lectures (90 points). Your grade will depend on your total number of points (out of 376). 200 points will be enough to pass the course.

Preliminary course syllabus.

September 5
  • 15-17. Organisation of the Course. Logic in the different scientific disciplines.
  • 17-18. Q/A Session of the Student Mentors.
  • Homework Set #1: PDF File (Deadline: September 12th, 2007)
  • Lecture Slides #1: PDF File
September 12
  • 15-17. Formalizations.
  • 17-18. Exercise session.
  • Homework Set #2: PDF File (Deadline: September 19th, 2007)
  • Lecture Slides #2: PDF File
September 19Class cancelled
September 26
  • 15-17. Formalizations II. Origins of logic: Greek mathematics (Euclid) and Greek disputations. The Square of Oppositions. Aristotelian categories.
  • 17-18. 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.387-414
October 3
  • 15-17. Aristotelian syllogistics. Aristotelian Modal Logic. Aristotelian Temporal Logic.
  • 17-18. 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.215-233; PDF File
October 10
  • 15-17. Stoic and Megarian Logic. Neoplatonism. Boëthius. Logic and Theology in the Middle Ages. Anselm of Canterbury.
  • 17-18. 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. 159-186: PDF File.
  • Christopher J. Martin, The Logic of Negation in Boethius, Phronesis 36 (1991), p. 277-304: PDF File.
October 17
  • 15-17. Trivium and Quadrivium. The early middle ages. Peter Abelard. The Universities.
  • 17-18. Guest Lecture. Martin Stokhof (Amsterdam). Re-thinking 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.49-54; PDF File
  • Hans Thijssen, Condemnation of 1277, in: Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Spring 2003 Edition)
October 24
  • 15-17. Logic in the late middle ages (XIIIth and XIVth century). Termistic logic. Insolubles. Some game-theoretic interpretations of logic: Dialogic logic. Obligationes.
  • 17-18. 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
  • 15-17. The great changes between 1450 and 1550. Leibniz ("calculemus").
  • 17-18. 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
  • 15-16. Guest Lecture. Catarina Dutilh Novaes (Amsterdam). Medieval theories of consequence. PDF file.
  • 16-18. 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. 1-16: JSTOR page
  • George Boolos, Gödel's Second Incompleteness Theorem Explained in Words of One Syllable, Mind 103 (1994), p.1-3: JSTOR page
November 14
  • 15-17. Naïve Set Theory as an example for abstract mathematics. First-order logic: Frege, Hilbert, Gödel.
  • 17-18. 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.127-158. PDF file.
November 21
  • 15-17. Foundations of Mathematics. The Grundlagenkrise der Mathematik.
  • 17-18. Guest Lecture. Jouko Väänänen (Amsterdam). Model-theoretic logics.
  • Homework Set #11: PDF File (Deadline: November 28th, 2007.)
  • Lecture Slides #11: PDF File
November 28
December 5
  • 15-17. Proof Theory. Computability: Turing and the Halting Problem. The Church-Turing Thesis. Recursion Theory. Model Theory. Tarski. Set Theory. The modern view of modal logic: Kripke models and frames.
  • 17-18. 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
  • 15-17. Applications of Modal Logic: standard translation, intuitionistic logic, provability logic. An overview of recent developments in mathematical logic.
  • 17-18. 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.527-550: PDF File.
  • Thomas Bolander, Self-Reference and Logic, Phi News 1 (2002), p.9-44: PDF File.
December 19Exam week. No classes

Last update: 10 December 2007