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-6071 Fax: +31 (0)20 525-5206 Room: C3.137, 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

Publications and accepted papers

• Uckelman, Sara L., "Reasoning about the trinity: a modern formalization of a medieval system of trinitarian logic", invited paper for special issue of Studies in Logic, Grammar, and Rhetoric on Logic in Religous Discourse, to appear.
• 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., "Anselm's logic of agency", Logical analysis and history of philosophy 12.
• 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.
• 2007. Øhrstrøm, Peter, Uckelman, Sara L., & Henrik Schärfe. "Historical and conceptual foundations of diagrammatical ontology", in S. Polovina, R. Hill, & U. Priss, eds., Conceptual structures: knowledge architectures for smart applications, Proceedings of the 15th International Conference on Conceptual Structures, ICCS 2007, (LNCS 4604): 374--386, ILLC Preprint PP-2007-17.
• 2007. Uckelman, Sara L. & Joel Uckelman. "Modal and temporal logics for abstract space-time structures", Studies in the history and philosophy of modern physics 38: 673--681, ILLC Preprint PP-2007-16.

Working papers, translations, and books in progress

• "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 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.
• "Logic and the Condemnations of 1277", in submission.

• "Parisian Obligations", translation & commentary, ILLC Technical Notes X-2008-03.
• The Sum of the Whole Logic of Aristotle, a work-in-progress translation of the Pseudo-Aquinas, Summa totius Logicae Aristotelis.
• 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.
• "Roger Swyneshed's notion of self-falsification and dynamic epistemic logic", joint work with Benedikt Löwe.
• "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.
• "Deontic logic in the Lambeth Fragments of Anselm of Canterbury", RUC-ILLC Workshop on Deontic Logic, Roskilde, 8 - 9 November 2007 -- slides.
• "The Changing Scope of Logic" (with Benedikt Löwe), 12th International SIEPM Congress of Medieval Philosophy, Palermo, 16 - 22 September 2007.
• "The Art and Obligation of Doubting: Dubitatio in the 13th Century", 1st GPMR Workshop on Logic & Semantics: Medieval Logic and Modern Applied Logic, Bonn, 28 - 30 June 2007, joint work with Katherina Rybalko and Jaap Maat (the paper was presented by Jaap Maat) -- slides.
• "Anselm's Logic of Agency", Square of Opposition International Congress, Montreux, 31 May - 03 June 2007 -- slides.
• Presentations before 2007

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.
• Fall 2007: grader for Core Logic, taught by Benedikt Löwe.
• January 2007: Scholarly Writing for Historical Logic, with Benedikt Löwe.
• Courses and projects before 2007

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

• Dialogues and Games: Historical Roots and Contemporary Models, 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.
• 1st GPMR Workshop on Logic & Semantics: Medieval Logic and Modern Applied Logic, 28-30 June 2007, Bonn, Germany.

This page was last updated 19 November 2009.