In what follows, I analyze Ralph Strode's treatise on obligations. I have used a hitherto unpublished edition of the text (based on 14 manuscripts) made by Prof. E.J. Ashworth. I first give a brief description of Strode's text, which is all the more necessary given that it is not available to the average reader; I also offer a reconstruction of the rules proposed by Strode, following the style of reconstruction used in my analysis of Burley's and Swyneshed's rules elsewhere—that is, (...) essentially based on the idea that obligationes can be viewed as logical games. In the second part, I address Strode's explicit arguments contra Swyneshed. In the third part, I discuss Strode's epistemic and pragmatic approach to obligationes. (shrink)

In [Dutilh Novaes, Medieval-obligations as logical Games of Consistency maintenance, synthese, (2004)], I proposed a reconstruction of Walter Burley’s theory of obligationes, based on the idea that Burley’s theory of obligationes could be seen as a logical game of consistency maintenance. In the present paper, I intend to test the game hypothesis on another important theory of obligationes, namely Roger Swyneshed’s theory. In his treatise on obligationes [edited by P.V. Spade, cf. Spade History and philosophy of Logic 3(1982) 1-32], Swyneshed (...) introduced significant modifications to the general framework of obligationes. To compare the two theories, I apply the same formal apparatus used in the previous paper. It will become patent that Swyneshed’s theory is considerably different from Burley’s, among other reasons because the dynamic aspects that play a major role in the latter are simply not present in the former. My conclusion is that Swyneshed’s version of obligationes is not directed towards consistency maintenance, but rather towards inference recognition, and that it is, from a game-theoretical perspective, less interesting a theory than Burley’s. (shrink)

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed (...) with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games. For this reason, this is perhaps the first time that these medieval logical theories are made fully accessible to the modern philosopher and logician who wishes to obtain a better grasp of them, but who has always been held back by the lack of appropriate ‘translations' into modern terms.Moreover, the book offers a reflection on the very nature of logic, a reflection that is prompted by the comparisons between medieval and modern logic, their similarities and dissimilarities. It is thus a contribution not only to the history of logic, but also to the philosophy of logic, the philosophy of language and semantics.The analysis of medieval logic is also relevant for the modern philosopher and logician in that, being the unifying methodology used across all disciplines at that time, logic really provided unity to science. It thus presents a unified model of scientific investigation, where logic plays the aggregating role. (shrink)

This thesis is on the history and philosophy of logic and semantics. Logic can be described as the ‘science of reasoning’, as it deals primarily with correct patterns of reasoning. However, logic as a discipline has undergone dramatic changes in the last two centuries: while for ancient and medieval philosophers it belonged essentially to the realm of language studies, it has currently become a sub-branch of mathematics. This thesis attempts to establish a dialogue between the modern and the medieval traditions (...) in logic, by means of ‘translations’ of the medieval logical theories into the modern framework of symbolic logic, i.e. formalizations. One of its conclusions is that, when properly understood within their own framework, the interest of medieval logical theories for modern investigations go beyond mere historical interest, but that a thorough conceptual analysis of such theories must be undertaken in order to avoid conceptual misprojections. While such translations of medieval into modern logic have been attempted before, the approach presented here is innovative in that attention is paid to the similarities as well as to the dissimilarities between the two traditions, and to what can be learned from the medieval masters for modern investigations in logic and semantics. (shrink)