Switch to: References

Add citations

You must login to add citations.
  1. Necessitism, Contingentism, and Plural Quantification.Timothy Williamson - 2010 - Mind 119 (475):657-748.
    Necessitism is the view that necessarily everything is necessarily something; contingentism is the negation of necessitism. The dispute between them is reminiscent of, but clearer than, the more familiar one between possibilism and actualism. A mapping often used to ‘translate’ actualist discourse into possibilist discourse is adapted to map every sentence of a first-order modal language to a sentence the contingentist (but not the necessitist) may regard as equivalent to it but which is neutral in the dispute. This mapping enables (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  • The Problem of Cross-World Predication.Alexander W. Kocurek - 2016 - Journal of Philosophical Logic 45 (6):697-742.
    While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Modal Account of Propositions.Andy Demfree Yu - 2017 - Dialectica 71 (4):463-488.
    In this paper, I motivate a modal account of propositions on the basis of an iterative conception of propositions. As an application, I suggest that the account provides a satisfying solution to the Russell-Myhill paradox. The account is in the spirit of recently developed modal accounts of sets motivated on the basis of the iterative conception of sets.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • Modal Ontology and Generalized Quantifiers.Peter Fritz - 2013 - Journal of Philosophical Logic 42 (4):643-678.
    Timothy Williamson has argued that in the debate on modal ontology, the familiar distinction between actualism and possibilism should be replaced by a distinction between positions he calls contingentism and necessitism. He has also argued in favor of necessitism, using results on quantified modal logic with plurally interpreted second-order quantifiers showing that necessitists can draw distinctions contingentists cannot draw. Some of these results are similar to well-known results on the relative expressivity of quantified modal logics with so-called inner and outer (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Actuality and the a Priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.
    We consider a natural-language sentence that cannot be formally represented in a first-order language for epistemic two-dimensional semantics. We also prove this claim in the “Appendix” section. It turns out, however, that the most natural ways to repair the expressive inadequacy of the first-order language render moot the original philosophical motivation of formalizing a priori knowability as necessity along the diagonal.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Antireductionism and Ordinals.Beau Madison Mount - 2019 - Philosophia Mathematica 27 (1):105-124.
    I develop a novel argument against the claim that ordinals are sets. In contrast to Benacerraf’s antireductionist argument, I make no use of covert epistemic assumptions. Instead, my argument uses considerations of ontological dependence. I draw on the datum that sets depend immediately and asymmetrically on their elements and argue that this datum is incompatible with reductionism, given plausible assumptions about the dependence profile of ordinals. In addition, I show that a structurally similar argument can be made against the claim (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Still in the Mood: The Versatility of Subjunctive Markers in Modal Logic.Kai F. Wehmeier & Helge Rückert - 2019 - Topoi 38 (2):361-377.
    We investigate and compare two major approaches to enhancing the expressive capacities of modal languages, namely the addition of subjunctive markers on the one hand, and the addition of scope-bearing actuality operators, on the other. It turns out that the subjunctive marker approach is not only every bit as versatile as the actuality operator approach, but that it in fact outperforms its rival in the context of cross-world predication.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Counterpart Theory and the Actuality Operator.Ulrich Meyer - 2013 - Mind 122 (485):27-42.
    Fara and Williamson (Mind, 2005) argue that counterpart theory is unable to account for modal claims that use an actuality operator. This paper argues otherwise. Rather than provide a different counterpart translation of the actuality operator itself, the solution presented here starts out with a quantified modal logic in which the actuality operator is redundant, and then translates the sentences of this logic into claims of counterpart theory.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Plural Quantification and Modality.Gabriel Uzquiano - 2011 - Proceedings of the Aristotelian Society 111 (2pt2):219-250.
    Identity is a modally inflexible relation: two objects are necessarily identical or necessarily distinct. However, identity is not alone in this respect. We will look at the relation that one object bears to some objects if and only if it is one of them. In particular, we will consider the credentials of the thesis that no matter what some objects are, an object is necessarily one of them or necessarily not one of them.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   13 citations  
  • Explaining the Actuality Operator Away.John Mackay - 2017 - Philosophical Quarterly 67 (269):709-21.
    I argue that ‘actually’ does not have a reading according to which it is synonymous with the actuality operator of modal logic, and propose an alternative account of ‘actually’. The cases that have been thought to show that ‘actually’ is synonymous with the actuality operator are modal and counterfactual sentences in which an embedded clause's evaluation is held fixed at the world of the context. In these cases, though, this embedded clause's evaluation is not due to the presence of ‘actually’. (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Fragmented Truth.Andy Demfree Yu - 2016 - Dissertation, University of Oxford
    This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • On the Expressive Power of First-Order Modal Logic with Two-Dimensional Operators.Alexander Kocurek - 2018 - Synthese 195 (10):4373-4417.
    Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are often justified (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Noughty Bits: The Subatomic Scope of Negation.Barry Schein - 2016 - Linguistics and Philosophy 39 (6):459-540.
    Since Fodor 1970, negation has worn a Homogeneity Condition to the effect that homogeneous predicates, ) denote homogeneously—all or nothing —to characterize the meaning of – when uttered out-of-the blue, in contrast to –:The mirrors are smooth. The mirrors are not smooth. The mirrors circle the telescope’s reflector. The mirrors do not circle the telescope’s reflector. It has been a problem for philosophical logic and for the semantics of natural language that – appear to defy the Principle of Excluded Middle (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations