Switch to: References

Add citations

You must login to add citations.
  1. Past, Present and Future Modally Introduced.Tomasz Placek - forthcoming - Synthese:1-22.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Monotonic and Non-Monotonic Embeddings of Anselm’s Proof.Jacob Archambault - 2017 - Logica Universalis 11 (1):121-138.
    A consequence relation \ is monotonic iff for premise sets \ and conclusion \, if \, \, then \; and non-monotonic if this fails in some instance. More plainly, a consequence relation is monotonic when whatever is entailed by a premise set remains entailed by any of its supersets. From the High Middle Ages through the Early Modern period, consequence in theology is assumed to be monotonic. Concomitantly, to the degree the argument formulated by Anselm at Proslogion 2–4 is taken (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Modeling Unicorns and Dead Cats: Applying Bressan’s ML Ν to the Necessary Properties of Non-Existent Objects.Tyke Nunez - 2018 - Journal of Philosophical Logic 47 (1):95–121.
    Should objects count as necessarily having certain properties, despite their not having those properties when they do not exist? For example, should a cat that passes out of existence, and so no longer is a cat, nonetheless count as necessarily being a cat? In this essay I examine different ways of adapting Aldo Bressan’s MLν so that it can accommodate an affirmative answer to these questions. Anil Gupta, in The Logic of Common Nouns, creates a number of languages that have (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • BH-CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2013 - Journal of Philosophical Logic (2-3):1-32.
    This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • CIFOL: Case-Intensional First Order Logic. Toward a Theory of Sorts.Nuel Belnap & Thomas Müller - unknown
    This is Part I of a two-part essay introducing case-intensional first-order logic, an easy-to-use, uniform, powerful, and useful combination of first order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • BH-CIFOL: Case-Intensional First Order Logic. Branching Histories.Nuel Belnap & Thomas Müller - unknown
    This paper follows Part I of our essay on case-intensional first-order logic. We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events that that moment is part of. This framework allows us to define the familiar Ockhamist (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Time and Determinism.Thomas Müller - 2015 - Journal of Philosophical Logic 44 (6):729-740.
    This paper gives an overview of logico-philosophical issues of time and determinism. After a brief review of historical roots and 20th century developments, three current research areas are discussed: the definition of determinism, space-time indeterminism, and the temporality of individual things and their possibilities.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2014 - Journal of Philosophical Logic 43 (2-3):393-437.
    Download  
     
    Export citation  
     
    Bookmark   8 citations