Amsterdam, September 2009

Dr Sara L. Uckelman Institute for Logic, Language, & Computation University of Amsterdam P.O. Box 94242 1090 GE Amsterdam The Netherlands Email: S.L.Uckelman@uva.nl Phone: +31 (0)20 525-8281 Fax: +31 (0)20 525-5206 Room: C3.132A, Science Park 904

About me

I am a post-doctoral researcher in the Institute for Logic, Language, and Computation, at the Universiteit van Amsterdam, where I am a member of the ESF-NWO LogICCC project DiFoS (DIalogical FOundations of Semantics). My research focuses on medieval theories of obligationes. I recently completed my dissertation, entitled Modalities in Medieval Logic, which looked at medieval modal and temporal logic, with specific interest on the effects of theology on the development of both. I am a part of the informal working group in Medieval Logic at the ILLC. My CV is available here, and for things other than logic you can visit my personal homepage.

Research

Published and forthcoming works

• Uckelman, Sara L. "Logic and the Condemnations of 1277", forthcoming in Journal of Philosophical Logic.
• Uckelman, Sara L. "The reception of St. Anselm's logic in the 20th and 21st centuries", to appear in G. Gasper & I. Logan, eds., Proceedings of the Saint Anselm of Canterbury and His Legacy Conference, ILLC Preprint PP-2009-28.
• Uckelman, Sara L., Maat, Jaap, and Katherina Rybalko. "The art of doubting in Obligationes Parisienses", to appear in Christoph Kann, Benedikt Löwe, Christian Rode, & Sara L. Uckelman, eds., Modern Views of Medieval Logic, proceedings of the GPMR-LS1 Workshop, ILLC Preprint PP-2008-50.
• Uckelman, Sara L. "Dynamic Logic", to appear in Jon Williamson & Federica Russo, eds., Key Terms in Logic, (Continuum Publishers: 2010).
• Uckelman, Sara L. "Jean Buridan", to appear in Jon Williamson & Federica Russo, eds., Key Terms in Logic (Continuum Publishers, 2010).

• 2009. Uckelman, Sara L. "Reasoning about the trinity: a modern formalization of a medieval system of trinitarian logic", in A. Schumann, ed., Logic in Religious Discourse (Ontos): 216--239, PDF.
• 2009. Uckelman, Sara L. "Anselm's logic of agency", Logical analysis and history of philosophy 12: 248--268, PDF.
• 2009. Uckelman, Sara L. Modalities in Medieval Logic, Ph.D. dissertation, ILLC Dissertation Series DS-2009-04.
• 2008. Uckelman, Sara L. "Three 13th-century views of quantified modal logic", in C. Areces & R. Goldblatt, eds., Advances in Modal Logic, vol. 7: 389--406, ILLC Preprint PP-2008-29.
• 2008. Øhrstrøm, Peter, Schärfe, Henrik, and Sara L. Uckelman. "Jacob Lorhard's ontology: a 17th century hypertext on the reality and temporality of the world of intelligibles", in P. Eklund & O. Haemmerlé, eds., Conceptual structures: knowledge visualization and reasoning Proceedings of the 16th International Conference on Conceptual Structures, ICCS 2008, (LNCS 5113): 74--87, ILLC Preprint PP-2008-20.
• Publications before 2008

Working papers, translations, and books in progress

• "Viger's ontological argument and Russell's antinomy", in submission.
• "Computing with concepts, computing with numbers: Llull, Leibniz, & Boole", invited paper for special session "Reasoning as Computation: From Leibniz to Boole", Computability in Europe 2010, Ponta Delgada (Azores), Portugal, 30 June - 4 July 2010, in submission.
• "A quantified temporal logic for ampliation and restriction", presented at the 17th ESMLS, Leiden, June 2008, in submission.
• "John Buridan's Sophismata and interval temporal semantics", joint work with Spencer Johnston, in submission.
• Modern views of medieval logic, proceedings of the 1st GPMR Workshop on Logic & Semantics, jointly edited with Christoph Kann, Benedikt Löwe, and Christian Rode.
• "Arthur Prior and medieval logic" and "Prior on an insolubilium of Jean Buridan", invited papers for special issue of Synthese on Prior's unpublished works, in submission.

• "A simple semantics for Aristotelian modal syllogistics", joint work with Spencer Johnston.
• "A unified dynamic framework for modeling obligationes".
• "Roger Swyneshed's notion of self-falsification and dynamic epistemic logic", joint work with Benedikt Löwe.
• "The changing scope of logic", joint work with Benedikt Löwe.
• "Parisian Obligations", translation & commentary, ILLC Technical Notes X-2008-03.
• Bibliography of obligationes literature" (maintained continuously).
• The Sum of the Whole Logic of Aristotle, a work-in-progress translation of the Pseudo-Aquinas, Summa totius Logicae Aristotelis.
• "Concerning the mode of predication and syllogistic reasoning in divinity", translation and commentary.
• "On modal propositions", including a translation of De propositionibus modalibus and parts of Summa totius logicae Aristotelis, both sometimes attributed to Thomas Aquinas, but of dubious authorship.
• "Diagraph of metaphysic or ontology", a translation of ch. 8 of Jacob Lorhard's Ogdoas Scholasticas, ILLC Technical Notes X-2008-04. An HTML version is available here.

Presentations

• "Indian logic and medieval western logic: some comparative remarks'', A Day of Indian Logic, Amsterdam, the Netherlands, 2 November 2009 -- slides.
• Informal presentation on the topic of my dissertation as part of my Ph.D. defense, Amsterdam, the Netherlands, 1 September 2009 -- slides.
• "Logic and the condemnations of 1277", International Medieval Congress, Leeds, England, 13 - 16 July 2009 -- handout.
• "John Buridan's Sophismata and interval temporal semantics'', ILLC Logic Tea, Amsterdam, the Netherlands, 19 May 2009 -- slides.
• "Medieval logic: an overview", guest lecture in the course Geschiedenis van de logica, Universiteit Utrecht, Utrecht, the Netherlands, 13 May 2009 -- slides.
• "Anselm's logical writings in the context of recent trends in logic", Saint Anselm of Canterbury and His Legacy, Canterbury, England, 22 - 25 April 2009. (no slides or handouts).
• "Dialogue games before Lorenzen: A brief introduction to obligationes", LogICCC Launch Conference, Prague, Czech Republic, 5 - 7 October 2008 -- slides.
• "Three 13th-century views of quantified modal logic", Advances in Modal Logic, Nancy, France, 9 - 12 September 2008 -- slides.
• "What is the point of obligationes?", Leeds Medieval Congress 2008, Leeds, England, 7 - 10 July 2008 -- slides, handout.
• "Temporal logic in Lambert of Auxerre's De suppositionibus", 17th European Symposium in Medieval Logic and Semantics, Leiden Universiteit, Leiden, 2 - 6 June 2008 -- slides.
• Presentations before 2008

Teaching

Courses and projects

These are all for the Master of Logic programme at the University of Amsterdam unless otherwise noted.

• Spring 2010: Temporal Logic (Thursdays 17-19, Science Park A1.06)
• January 2010: Project on modal syllogistics.
• Fall 2009: Core Logic (Tuesdays 15-18, Science Park A1.10)
• January 2009: individual research project on Buridan and interval semantics for temporal logic.
• Fall 2008: grader for Core Logic, taught by Benedikt Löwe.
• June 2008: Creating an interactive website for obligationes, project for 2nd year AI students, with Jaap Maat.
• January 2008: Formal Models for Sophisms.
• Courses and projects before 2008

Supervision

I have served as a co-supervisor on the following Master of Logic thesis:

• Caroline Foster, The problem of the perfect agent: investigations into determinism, MoL-2008-01, thesis defended 14 April 2008.

Events

• Dialogical Aspects of Obligationes, special session at the International Medieval Congress, 12-15 July 2010, Leeds, England.
• Dialogues and Games: Historical Roots and Contemporary Models, 8-9 February 2010, Lille, France.
• A Day of Indian Logic, 2 November 2009, Amsterdam, The Netherlands.
• Logic & Heresy, two special sessions at the International Medieval Congress, 13-16 July 2009, Leeds, England.
• European Summer School in Logic, Language, and Information 2008, 4-15 August 2008, Hamburg, Germany.
• Events before 2008.

This page was last updated 02 February 2010.