-
142Prior 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
-
109Against 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.
-
108Logic 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
-
15Book Review: Jean Buridan, Treatise on Consequences (review)Studia Logica 104 (6): 1319-1323. 2016.
-
38The ontological argument and Russell's antinomyLogic and Logical Philosophy 18 (3-4): 309-312. 2009.In this short note we respond to the claim made by Christopher Viger in [4] that Anselm’s so-called ontological argument falls prey to Russell’s paradox. We show that Viger’s argument is based on a flawed premise and hence does not in fact demonstrate what he claims it demonstrates
-
78Modal and temporal logics for abstract space–time structuresStudies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 38 (3): 673-681. 2007.In the 4th century BC, the Greek philosopher Diodoros Chronos gave a temporal definition of necessity. Because it connects modality and temporality, this definition is of interest to philosophers working within branching time or branching space-time models. This definition of necessity can be formalized and treated within a logical framework. We give a survey of the several known modal and temporal logics of abstract space-time structures based on the real numbers and the integers, considering t…Read more
-
101Arthur Prior and Medieval LogicSynthese 188 (3): 349-366. 2012.Though Arthur Prior is now best known for his founding of modern temporal logic and hybrid logic, much of his early philosophical career was devoted to history of logic and historical logic. This interest laid the foundations for both of his ground-breaking innovations in the 1950s and 1960s. Because of the important rôle played by Prior's research in ancient and medieval logic in his development of temporal and hybrid logic, any student of Prior, temporal logic, or hybrid logic should be famili…Read more
-
47Sit Verum Obligationes and Counterfactual ReasoningVivarium 53 (1): 90-113. 2015.In the early 1980s, Paul V. Spade advanced the thesis that obligational reasoning was counterfactual reasoning, based upon his interpretation of the obligationes of Walter Burley, Richard Kilvington, and Roger Swyneshed. Eleonore Stump in a series of contemporary papers argued against Spade’s thesis with respect to Burley and Swyneshed, provisionally admitting it for Kilvington with the caveat that Kilvington’s theory is by no means clear or non-idiosyncratic. In this paper, we revisit the conne…Read more
-
40Deceit and indefeasible knowledge: the case of dubitatioJournal of Applied Non-Classical Logics 21 (3-4): 503-519. 2011.The current trend in knowledge revision in the Dynamic Epistemic Logic tradition focuses on the addition of new knowledge, rather than the possibility of losing knowledge. Yet there are natural situations, such as an agent who does not want another agent to know that she knows a certain piece of information, where there is a need to be able to model the retraction of a proposition from a knowledge base. One situation where this is systematically required is the variant of the medieval theory of …Read more
University of Amsterdam
PhD, 2009
Areas of Specialization
Logic and Philosophy of Logic |
Medieval and Renaissance Philosophy |