40 found
Order:
Disambiguations
Sara L. Uckelman [43]Sara Liana Uckelman [1]
  1. Complete Symposium on Jc Beall's Christ – A Contradiction: A Defense of Contradictory Christology.Jc Beall, Timothy Pawl, Thomas McCall, A. J. Cotnoir & Sara L. Uckelman - 2019 - Journal of Analytic Theology 7 (1):400-577.
    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’ other than what they are, (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  2.  41
    What Problem Did Ladd-Franklin (Think She) Solve(d)?Sara L. Uckelman - 2021 - Notre Dame Journal of Formal Logic 62 (3):527-552.
    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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3. Fanfiction, Canon, and Possible Worlds.Sara L. Uckelman - manuscript
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. A Curious Dialogical Logic and its Composition Problem.Sara L. Uckelman, Jesse Alama & Aleks Knoks - 2014 - Journal of Philosophical Logic 43 (6):1065-1100.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  5. Arthur Prior and Medieval Logic.Sara L. Uckelman - 2012 - Synthese 188 (3):349-366.
    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 (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  6.  70
    Against the Theistic Multiverse.Sara L. Uckelman - 2020 - Kriterion - Journal of Philosophy 34 (4):1-14.
    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.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  7. John Eliot's Logick Primer: A Bilingual English-Massachusett Logic Textbook.Sara L. Uckelman - 2023 - History and Philosophy of Logic 45 (3):1-24.
    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 (Eliot 1672) 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, Cambridge, MA: Marmaduke Johnson]. This roughly 80 page pamphlet introduces syllogistic vocabulary and reasoning (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8. The logic of categorematic and syncategorematic infinity.Sara L. Uckelman - 2015 - Synthese 192 (8):2361-2377.
    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 whose solutions turn on the distinction between categorematic and syncategorematic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  9.  40
    Interactive Logic in the Middle Ages.Sara L. Uckelman - 2012 - Logic and Logical Philosophy 21 (4):439-471.
    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” (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  17
    What Logical Consequence Could, Could Not, Should, and Should Not Be.Sara L. Uckelman - 2024 - Aristotelian Society Supplementary Volume 98 (1):255-275.
    In ‘Logical Consequence (Slight Return)’, Gillian Russell asks ‘What is logical consequence?’, a question which has vexed logicians since at least the twelfth century, when people first began to wonder what it meant for one sentence (or proposition) to follow from another sentence (or proposition, or set of sentences, or set of propositions), or whether it was possible to put down rules determining when the relation of ‘follows from’ (or ‘is antecedent to’) holds. Her aim is threefold: (1) to explain (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11.  49
    Deceit and indefeasible knowledge: the case of dubitatio.Sara L. Uckelman - 2011 - Journal of Applied Non-Classical Logics 21 (3-4):503-519.
    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 (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  12.  62
    Logic and the Condemnations of 1277.Sara L. Uckelman - 2010 - Journal of Philosophical Logic 39 (2):201-227.
    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 (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  13. Medieval Disputationes de obligationibus as Formal Dialogue Systems.Sara L. Uckelman - 2013 - Argumentation 27 (2):143-166.
    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 obligatio, two agents, the Opponent and the Respondent, engage in an (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  14.  77
    A Quantified Temporal Logic for Ampliation and Restriction.Sara L. Uckelman - 2013 - Vivarium 51 (1-4):485-510.
    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, (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  15. Prior on an Insolubilium of Jean Buridan.Sara L. Uckelman - 2012 - Synthese 188 (3):487-498.
    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.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16.  19
    Anselm’s Logic of Agency.Sara L. Uckelman - 2009 - History of Philosophy & Logical Analysis 12 (1):248-268.
  17.  82
    Modal and temporal logics for abstract space–time structures.Sara L. Uckelman & Joel Uckelman - 2007 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 38 (3):673-681.
    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 three different accessibility relations between spatio-temporal (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  18. Fictional Modality and the Intensionality of Fictional Contexts.Sara L. Uckelman - 2022 - Australasian Journal of Logic 19 (4):124-132.
    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 nevertheless allows us to draw an important conclusion about intensional (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. Lorhard, Ramus, and Timpler and “The birth of ontology”.Peter Øhrstrøm & Sara L. Uckelman - 2022 - Journal of Knowledge Structures and Systems 3 (2):48-56.
    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 Petrus Ramus and Clemens (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  20. The art of doubting in obligationes parisienses.Sara L. Uckelman, Jaap Maat & Katherina Rybalko - 2018 - In Christoph Kann, Benedikt Löewe, Christian Rode & Sara Liana Uckelman (eds.), Modern views of medieval logic. Leuven: Peeters.
     
    Export citation  
     
    Bookmark   1 citation  
  21.  22
    (2 other versions)A Simple Semantics for Aristotelian Apodeictic Syllogistics.Sara L. Uckelman & Spencer Johnston - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 454-469.
  22.  54
    Sit Verum Obligationes and Counterfactual Reasoning.Sara L. Uckelman - 2015 - Vivarium 53 (1):90-113.
    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 connection between counterfactual reasoning and obligationes, focusing on (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23.  4
    John Eliot's Logick Primer: A Bilingual English-Massachusett Logic Textbook.Sara L. Uckelman - 2023 - History and Philosophy of Logic 45 (3):278-301.
    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 (Eliot 1672) 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, Cambridge, MA: Marmaduke Johnson]. This roughly 80 page pamphlet introduces syllogistic vocabulary and reasoning (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  6
    (1 other version)Three 13th-century views of quantified modal logic.Sara L. Uckelman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 389-406.
  25. Against Truth-Conditional Theories of Meaning: Three Lessons from the Language(s) of Fiction.Sara L. Uckelman & Phoebe Chan - 2016 - Res Philosophica 93 (2):441-459.
    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 be meaningful; both of these ultimately also (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  26.  22
    Modern views of medieval logic.Christoph Kann, Benedikt Löewe, Christian Rode & Sara Liana Uckelman (eds.) - 2018 - Leuven: Peeters.
    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 und der Renaissance (GPMR) founded a working group bringing together medieval logic (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  27.  41
    Articulating Medieval Logic.Sara L. Uckelman - 2016 - Philosophical Quarterly 66 (263):432-435.
  28.  16
    Börje Bydén and Christina Thomsen thörnqvist (eds.), The aristotelian tradition: Aristotle’s works on logic and metaphysics and their reception in the middle ages, (papers in medieval studies 28), toronto, pontifical institute of mediaeval studies, 2017.Sara L. Uckelman - 2019 - Revista Española de Filosofía Medieval 26 (1):155-158.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Bathsua Makin and Anna Maria van Schurman: education and the metaphysics of being a woman.Sara L. Uckelman - 2018 - In Emily Thomas (ed.), Early Modern Women on Metaphysics. New York, NY: Cambridge University Press.
     
    Export citation  
     
    Bookmark  
  30.  39
    Contradictions, Impossibility, and Triviality: A Response to Jc Beall.Sara L. Uckelman - 2019 - Journal of Analytic Theology 7 (1):544-559.
  31.  32
    John Buridan's Sophismata and interval temporal semantics.Sara L. Uckelman & Spencer Johnston - 2010 - History of Philosophy & Logical Analysis 13:133-147.
    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 analysis differs from the standard modern approaches. We give (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  32.  17
    John Buridan’s Sophismata and Interval Temporal Semantics.Sara L. Uckelman & Spencer Johnston - 2010 - History of Philosophy & Logical Analysis 13 (1):131-147.
    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 the standard modern approaches. We give formal proofs of (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  33. (1 other version)The ontological argument.Sara L. Uckelman - 2011 - In Michael Bruce & Steven Barbone (eds.), Just the Arguments: 100 of the Most Important Arguments in Western Philosophy. Malden, MA: Wiley-Blackwell.
     
    Export citation  
     
    Bookmark  
  34.  48
    The ontological argument and Russell's antinomy.Sara L. Uckelman - 2009 - Logic and Logical Philosophy 18 (3-4):309-312.
    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.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Logic as Liberation, or, Logic, Feminism, and Being a Feminist in Logic.Sara L. Uckelman - forthcoming - In Igor Sedlár (ed.), Logica Yearbook 2023. College Publications.
    There has been a long history of tension between feminists and feminist philosophy, on the one hand, and logic, on the other hand. This tension expresses itself in many ways, including claims that logic is a tool of the patriarchy, that logic/rationality/analytical tools in philosophy need to be rejected if women are to fully participate, that women = body and man = mind, that to do feminist philosophy one must do it as a situated, embodied person, not as an impersonal, (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  19
    Book Review: Jean Buridan, Treatise on Consequences. [REVIEW]Sara L. Uckelman - 2016 - Studia Logica 104 (6):1319-1323.
  37.  23
    Castagnoli, Luca. 2010. Ancient Self-Refutation: The Logic and History of the Self-Refutation Argument from Democritus to Augustine. Cambridge: Cambridge University Press (394 pages, ISBN 978-0-521-89631-3 (hardback)). [REVIEW]Sara L. Uckelman - 2013 - History of Philosophy & Logical Analysis 16 (1):398-402.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38.  16
    Medieval Philosophy. [REVIEW]Sara L. Uckelman - 2020 - Philosophical Quarterly 70 (281):890-892.
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  39.  20
    Quaestiones circa logicam. [REVIEW]Sara L. Uckelman - 2011 - Speculum 86 (3):719-720.
  40.  42
    Peter of Spain: Summaries of Logic: Text, Translation, Introduction, and Notes, written by Brian P. Copenhaver, with Calvin G. Normore and Terence Parsons. [REVIEW]Sara L. Uckelman - 2016 - Vivarium 54 (1):113-116.