•  16
    A Simple Semantics for Aristotelian Apodeictic Syllogistics
    In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 454-469. 1998.
  •  11
    Modern views of medieval logic (edited book)
    with Christoph Kann, Benedikt Löewe, and Christian Rode
    Peeters. 2018.
    While for a long time the study of medieval logic focused on editorial projects and reconstructions of central medieval doctrines such as the theories of signification, supposition, consequences, and obligations, nowadays the spectrum of analysis has broadened and is increasingly informed by modern logical research, whose perspective is then applied to medieval logic. Promoting this tendency, logicians and researchers concerned with semantics in the Gesellschaft für Philosophie des Mittelalters…Read more
  •  5
    The Ontological Argument
    In Michael Bruce & Steven Barbone (eds.), Just the Arguments, Wiley‐blackwell. 2011.
  •  100
    Complete Symposium on Jc Beall's Christ – A Contradiction: A Defense of Contradictory Christology
    with Jc Beall, Timothy Pawl, Thomas McCall, and A. J. Cotnoir
    Journal of Analytic Theology 7 (1): 400-577. 2019.
    The fundamental problem of Christology is the apparent contradiction of Christ as recorded at Chalcedon. Christ is human and Christ is divine. Being divine entails being immutable. Being human entails being mutable. Were Christ two different persons there’d be no apparent contradiction. But Chalcedon rules as much out. Were Christ only partly human or only partly divine there’d be no apparent contradiction. But Chalcedon rules as much out. Were the very meaning of ‘mutable’ and/or ‘immutable’ ot…Read more
  •  165
    John Eliot’s Logick Primer : A bilingual English-Massachusett logic textbook
    History and Philosophy of Logic 1-24. forthcoming.
    In 1672 John Eliot, English Puritan educator and missionary to New England, published _The Logick Primer: Some Logical Notions to initiate the INDIANS in the knowledge of the Rule of Reason; and to know how to make use thereof_. This roughly 80 page pamphlet introduces syllogistic vocabulary and reasoning so that syllogisms can be created from Biblical texts. The use of logic for proselytizing purposes is not distinctive: What is distinctive about Eliot's book is that it is bilingual, written i…Read more
  •  27
    What Problem Did Ladd-Franklin (Think She) Solve(d)?
    Notre Dame Journal of Formal Logic 62 (3): 527-552. 2021.
    Christine Ladd-Franklin is often hailed as a guiding star in the history of women in logic—not only did she study under C. S. Peirce and was one of the first women to receive a PhD from Johns Hopkins, she also, according to many modern commentators, solved a logical problem which had plagued the field of syllogisms since Aristotle. In this paper, we revisit this claim, posing and answering two distinct questions: Which logical problem did Ladd-Franklin solve in her thesis, and which problem did …Read more
  • The art of doubting in obligationes parisienses
    with Jaap Maat and Katherina Rybalko
    In Christoph Kann, Benedikt Löewe, Christian Rode & Sara Liana Uckelman (eds.), Modern views of medieval logic, Peeters. 2018.
  •  314
    Fictional Modality and the Intensionality of Fictional Contexts
    Australasian Journal of Logic 19 (4): 124-132. 2022.
    In, Kosterec attempts to provide ``model-theoretic proofs'' of certain theses involving the normal modal operators $\Diamond$ and $\square$ and the truth-in-fiction operator $F$ which he then goes on to show have counterexamples in Kripke models. He concludes from this that the embedding of modal logic under the truth-in-fiction operator is unsound. We show instead that it is the ``model-theoretic proofs'' that are themselves unsound, involving illicit substitution, a subtle error that neverthel…Read more
  •  304
    Lorhard, Ramus, and Timpler and “The birth of ontology”.
    Journal of Knowledge Structures and Systems 3 (2): 48-56. 2022.
    This review article offers a discussion of some aspects of the historical and conceptual context when the term “ontology” (Lat. ontologia) was first introduced in the scholarly circles of the early 17th century. In particular, Barry Smith's (2022) analysis of the birth of ontology provides a springboard for some further remarks on the author of the work with the first known occurrence of the word “ontologia”, Jacob Lorhard, including an analysis of his relationship with earlier philosophers Petr…Read more
  •  8
    Medieval Philosophy (review)
    Philosophical Quarterly 70 (281): 890-892. 2020.
    Review of Adamson Peter, Medieval Philosophy, History of Philosophy Without Any Gaps, volume 4, xxii+637pp. Reviewed by Sara L. Uckelman, Department of Philosophy, Durham University
  •  51
    Against the Theistic Multiverse
    Kriterion - Journal of Philosophy 34 (4): 1-14. 2020.
    We argue that Kraay's "theistic multiverse" response to the objections to theism [Kraay 2011] is unsuccessful as it simply shifts the problems leveled against theism from the level of possible worlds to the level of possible universes. Furthermore, when we restate the objections at the level of possible universes, we can show how Kraay's conclusion about the uniqueness of the theistic multiverse is undermined.
  •  10
    Anselm’s Logic of Agency
    History of Philosophy & Logical Analysis 12 (1): 248-268. 2009.
  •  7
    John Buridan’s Sophismata and Interval Temporal Semantics
    History of Philosophy & Logical Analysis 13 (1): 131-147. 2010.
    In this paper we look at the suitability of modern interval-based temporal logic for modeling John Buridan’s treatment of tensed sentences in his Sophismata. Building on the paper, we develop Buridan’s analysis of temporal logic, paying particular attention to his notions of negation and the absolute/relative nature of the future and the past.We introduce a number of standard modern propositional interval temporal logics to illustrate where Buridan’s interval-based temporal analysis differs from…Read more
  •  11
    A Simple Semantics for Aristotelian Apodeictic Syllogistics
    In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 454-469. 1998.
  •  9
    Three 13th-century views of quantified modal logic
    In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic, Csli Publications. pp. 389-406. 1998.
  •  32
    Contradictions, Impossibility, and Triviality: A Response to Jc Beall
    Journal of Analytic Theology 7 (1): 544-559. 2019.
  •  8
    Reasoning About Obligations in Obligationes: A Formal Approach
    In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10, Csli Publications. pp. 533-568. 2014.
  •  13
    The Logic of Where and While in the 13th and 14th Centuries
    In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11, Csli Publications. pp. 535-550. 2016.
    Medieval analyses of molecular propositions include many non-truthfunctional connectives in addition to the standard modern binary connectives (conjunction, disjunction, and conditional). Two types of non-truthfunctional molecular propositions considered by a number of 13th- and 14th-century authors are temporal and local propositions, which combine atomic propositions with `while' and `where'. Despite modern interest in the historical roots of temporal and tense logic, medieval analyses of `wh…Read more
  •  21
    John Buridan's Sophismata and interval temporal semantics
    History of Philosophy & Logical Analysis 13 133-147. 2010.
    In this paper we look at the suitability of modern interval-based temporal logic for modeling John Buridan’s treatment of tensed sentences in his Sophismata. Building on the paper [Øhrstrøm 1984], we develop Buridan’s analysis of temporal logic, paying particular attention to his notions of negation and the absolute/relative nature of the future and the past. We introduce a number of standard modern propositional interval temporal logics to illustrate where Buridan’s interval-based temporal anal…Read more
  •  28
    A simple semantics for Aristotelian apodeictic syllogistics
    Advances in Modal Logic 8 454-469. 2010.
    We give a simple definition of validity for syllogisms involving necessary and assertoric premises which validates all and only the Aristotelian apodeictic syllogisms.
  •  138
    Prior on an Insolubilium of Jean Buridan
    Synthese 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
  •  104
    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
  •  7
  •  101
    Logic and the Condemnations of 1277
    Journal 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
  •  28
    Articulating Medieval Logic
    Philosophical Quarterly 66 (263): 432-435. 2016.
  •  17
    Quaestiones circa logicam (review)
    Speculum 86 (3): 719-720. 2011.