-
113Medieval Disputationes de obligationibus as Formal Dialogue SystemsArgumentation 27 (2): 143-166. 2013.Formal dialogue systems model rule-based interaction between agents and as such have multiple applications in multi-agent systems and AI more generally. Their conceptual roots are in formal theories of natural argumentation, of which Hamblin’s formal systems of argumentation in Hamblin (Fallacies. Methuen, London, 1970, Theoria 37:130–135, 1971) are some of the earliest examples. Hamblin cites the medieval theory of obligationes as inspiration for his development of formal argumentation. In an o…Read more
-
67A Quantified Temporal Logic for Ampliation and RestrictionVivarium 51 (1-4): 485-510. 2013.Temporal logic as a modern discipline is separate from classical logic; it is seen as an addition or expansion of the more basic propositional and predicate logics. This approach is in contrast with logic in the Middle Ages, which was primarily intended as a tool for the analysis of natural language. Because all natural language sentences have tensed verbs, medieval logic is inherently a temporal logic. This fact is most clearly exemplified in medieval theories of supposition. As a case study, w…Read more
-
96The logic of categorematic and syncategorematic infinitySynthese 192 (8): 2361-2377. 2015.The medieval distinction between categorematic and syncategorematic words is usually given as the distinction between words which have signification or meaning in isolation from other words and those which have signification only when combined with other words . Some words, however, are classified as both categorematic and syncategorematic. One such word is Latin infinita ‘infinite’. Because infinita can be either categorematic or syncategorematic, it is possible to form sophisms using infinita …Read more
-
31Interactive Logic in the Middle AgesLogic and Logical Philosophy 21 (4): 439-471. 2012.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 …Read more
-
96A Curious Dialogical Logic and its Composition ProblemJournal of Philosophical Logic 43 (6): 1065-1100. 2014.Dialogue semantics for logic are two-player logic games between a Proponent who puts forward a logical formula φ as valid or true and an Opponent who disputes this. An advantage of the dialogical approach is that it is a uniform framework from which different logics can be obtained through only small variations of the basic rules. We introduce the composition problem for dialogue games as the problem of resolving, for a set S of rules for dialogue games, whether the set of S-dialogically valid f…Read more
-
143Prior on an Insolubilium of Jean BuridanSynthese 188 (3): 487-498. 2012.We present Prior's discussion of a puzzle about valditity found in the writings of the fourteenth-century French logician Jean Buridan and show how Prior's study of this puzzle may have provided the conceptual inspiration for his development of hybrid logic
-
120Against Truth-Conditional Theories of Meaning: Three Lessons from the Language(s) of FictionRes Philosophica 93 (2): 441-459. 2016.Fictional discourse and fictional languages provide useful test cases for theories of meaning. In this paper, we argue against truth-conditional accounts of meaning on the basis of problems posed by language(s) of fiction. It is well-known how fictional discourse -- discourse about non-existent objects -- poses a problem for truth-conditional theories of meaning. Less well-considered, however, are the problems posed by fictional languages, which can be created to either be meaningful or not to b…Read more
-
7The ontological argumentIn Michael Bruce & Steven Barbone (eds.), Just the Arguments: 100 of the Most Important Arguments in Western Philosophy, Wiley-blackwell. 2011.
-
110Logic and the Condemnations of 1277Journal of Philosophical Logic 39 (2): 201-227. 2010.The struggle to delineate the relationship between theology and logic flourished in the thirteenth century and culminated in two condemnations in early 1277, one in Paris and the other in Oxford. To see how much and what kind of effect ecclesiastical actions such as condemnations and prohibitions to teach had on the development of logic in the Middle Ages, we investigate the events leading up to the 1277 actions, the condemned propositions, and the parts of these condemnations connected to modal…Read more
-
21
University of Amsterdam
PhD, 2009
Areas of Specialization
Logic and Philosophy of Logic |
Medieval and Renaissance Philosophy |