Interactive logic in the middle ages

Sara L. Uckelman



Recently logic has shifted emphasis from static systems developed for purely theoretical reasons to dynamic systems designed for application to real world situations. The emphasis on the applied aspects of logic and reasoning means that logic has become a pragmatic tool, to be judged against the backdrop of a particular application. This shift in emphasis is, however, not new. A similar shift towards “interactive logic” occurred in the high Middle Ages. We provide a number of different examples of “interactive logic” in the Middle Ages, all species of the disputation game obligatio. These games display a recognition of the importance of interaction in logical contexts and the way that interactive logic differs from single-agent inference.


disputation; interactive logic; obligatio

Full Text:



Angelelli, Ignacio, “Techniques of disputation in the history of logic. Journal of Philosophy 67, 20 (1970): 800–815.

Aristotle, The Complete Works of Aristotle, Bollingen series, volume 71, no. 1, Princeton University Press, 1984.

Braakhuis, H.A.G., “Obligations in early thirteenth century Paris: the Obligationes of Nicholas of Paris (?)”, Vivarium 36, 2 (1998): 152–233.

Brinkley, Richard, Richard Brinkley’s Obligationes: A Late Fourteenth Century Treatise on the Logic of Disputation, Paul Vincent Spade and Gordon A. Wilson (eds.), Beiträge zur Geschichte der Philosophie und Theologie des Mittelalters, Aschendorff, 1995.

Walter Burley, “Tractatus de obligationibus”, in: An Introduction to the Logical Treatise ‘De Obligationibus’ with Critical Texts of William of Sherwood (?) and Walter Burley, Romuald Green (ed.), Louvain, 1963.

Burley, Walter, “Obligations (selections)”, pages 369–412 in: The Cambridge Translations of Medieval Philosophical Texts, Norman Kretzmann and Eleonore Stump (eds.), Logic and the Philosophy of Language, volume 1, Cambridge University Press, 1988.

de Rijk, L. M., “Some thirteenth century tracts on the game of obligation II”, Vivarium 13, 1 (1975): 22–54.

Dutilh Novaes, Catarina, “Roger Swyneshed’s Obligationes: A logical game of inference recognition?”, Synthese 15 (2006): 125–53.

Dutilh Novaes, Catarina, Formalizing Medieval Logical Theories: Suppositio, Obligationes and Consequentia, Logic, Epistemology and the Unity of Science, volume 7, Springer, 2007.

Ekenberg, Tomas, “Order in obligational disputations”, Disputatio 5 (2002): 23–39.

Fitch, Frederick B., “A logical analysis of some value concepts”, Journal of Symbolic Logic 28, 2 (1963): 135–42.

Hamblin, C. L., Fallacies, Methuen, London, 1970.

Hintikka, Jaakko, and Gabriel Sandu, “Game-theoretical semantics”, pages 361–410 in: Handbook of Logic and Language, Johan van Benthem and Alice ter Meulen (eds.), Elsevier, 1997.

Hodges, Wilfrid, “Logic and games”, in: The Stanford Encyclopedia of Philosophy, Edward N. Zalta (ed.), Spring edition, 2009.

John of Holland, Four Tracts on Logic, E. P. Bos (ed.), Ingenium Publishers, 1985.

Kakkuri-Knuuttila, Marja-Liisa, “Dialogue games in Aristotle”, pages 221–272 in: Text, Interpretation, Argumentation, Martin Kusch and Hartmut Schröder (eds.), Papiere zur Textlinguistik / Papers in Textlinguistics, volume 64, Helmut Buske Verlag, 1989.

Kilvington, Richard, The Sophismata of Richard Kilvington, Norman Kretzmann and Barbara Ensign Kretzmann (eds.), Oxford University Press for the British Academy, 1990.

Kilvington, Richard, The Sophismata of Richard Kilvington, Norman Kretzmann and Barbara Ensign Kretzmann (eds. and trans.), Cambridge University Press, 1990.

King, Peter, “Mediaeval thought-experiments: The metamethodology of mediaeval science”, pages 43–64 in: Thought Experiments in Science and Philosophy, Tamara Horowitz and Gerald J. Massey (eds.), Rowman & Littlefield Publishers, Inc., 1991.

King, Peter, Opposing and responding: Comments on Paul Spade, 2004.

Kneale, William, and Martha Kneale, The Development of Logic, Clarendon Press, 2nd edition, 1984.

Lorenzen, Paul, and Kuno Lorenz, Dialogische Logik, Wissenschaftliche Buchgesellschaft, 1978.

Marsilius of Inghen, Obligationes, Paris, 1489. Erroneously published under the name Pierre d’Ailly.

Moore, G.E., Commonplace Book 1919–1953, Allen & Unwin, 1962.

Paul of Venice, Logica Magna Part II Fascicule 8, E. J. Ashworth (ed.), Oxford University Press, 1988.

Spade, Paul Vincent, “Roger Swyneshed’s Obligationes: Edition and comments”, Archives d’Histoire Doctrinale et Littéraire du Moyen Âge 44 (1977): 243–285.

Spade, Paul Vincent, “Richard Lavenham’s Obligationes: Edition and comments”, Rivista Critica di Storia della Filosofia 33 (1978): 224–241.

Spade, Paul Vincent, “Three theories of Obligatioens: Burley, Kilvington and Swyneshed on counterfactual reasoning”, History and Philosophy of Logic 3, (1982):1–32.

Spade, Paul Vincent, Three questions by John of Wesel on Obligationes and Insolubilia. 1996. Preprint.

Strobino, Riccardo, Concedere, Negare, Dubitare: Peter of Mantua’s Treatise on Obligations, PhD thesis, Scuola Normale Superiore, 2009.

Stump, Eleonore, “Roger Swyneshed’s theory of obligations”, Historiographia Linguistica 7, (1980):225–248.

Stump, Eleonore, Obligations: From the beginning to the early fourteenth century. pages 315–334 in: Cambridge History of Later Medieval Philosophy, Norman Kretzmann, Anthony Kenny, and Jan Pinborg (eds.), Cambridge University Press, 1982.

Stump, Eleonore, “The logic of disputation in Walter Burley’s treatise on obligations”, Synthese 63, (1985):355–374.

Uckelman, Sara L., “Deceit and indefeasible knowledge: The case of Dubitatio”, Journal of Applied Non-Classical Logics 21, 3/4 (2011):503–519.

Uckelman, Sara L., “A dynamic epistemic logic approach to modeling Obligationes. pages 147–172 in: LIRa Yearbook, Davide Grossi, Stefan Minica, Ben Rodenhäuser, and Sonja Smets (eds.), Institute for Logic, Language & Computation, 2011.

Uckelman, Sara L., Medieval Disputationes de obligationibus as formal dialogue systems, Argumentation, 201X. online first, http://www.spring

Uckelman, Sara L., Jaap Maat, and Katherina Rybalko, “The art of doubting in Obligationes Parisienses”, in Modern Views of Medieval Logic, Christoph Kann, Benedikt Löwe, Christian Rode, and Sara L. Uckelman (eds.), Recherches de Théologie et Philosophie Médiévales–Bibliotheca. Peeters, 201X. Forthcoming.

William of Ockham, Summa Logicae, P. Boehner, Gideon Gál, S. Brown (eds.), Opera Philosophica, volume I, The Franciscan Institute, 1974.

William of Sherwood. “Tractatus de obligationibus”, in: An Introduction to the Logical Treatise ‘De Obligationibus’ with Critical Texts of William of Sherwood (?) and Walter Burley, Romuald Green (ed.), Louvain, 1963.

Yrjönsuuri, Mikko, “Aristotle’s Topics and medieval obligational disputations”, Synthese 96, 1 (1993):59–82.

Yrjönsuuri, Mikko, “The role of casus in some fourteenth century treatises on sophismata and obligations”, pages 301–321 in: Argumentationstheorie. Scholastische Forschungen zu den logischen und semantischen Regelnkorrekten Folgerns, Klaus Jacobi (ed.), Brill, 1993.

ISSN: 1425-3305 (print version)

ISSN: 2300-9802 (electronic version)

Partnerzy platformy czasopism