Switch to: References

Citations of:

Scope and subjunctivity

Philosophia 12 (1-2):99-126 (1982)

Add citations

You must login to add citations.
  1. How many notions of necessity?Jordan Stein - 2013 - Philosophical Studies 165 (2):605-627.
    Evans distinguishes between superficial necessity and deep necessity in his analysis of the contingent a priori. The distinction between these two notions of necessity is formalized by Davies and Humberstone through the addition of the operator Fixedly to Actuality Modal Logic (AML, S5A), where deep necessity is represented by the combination Fixedly Actually. Wehmeier’s Subjunctive Modal Logic (SML) provides an extension of the expressive capacity of ordinary modal predicate logic alternative to AML. I add Fixedly to SML and show that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Actuality and knowability.David J. Chalmers - 2011 - Analysis 71 (3):411-419.
    It is widely believed that for all p, or at least for all entertainable p, it is knowable a priori that (p iff actually p). It is even more widely believed that for all such p, it is knowable that (p iff actually p). There is a simple argument against these claims from four antecedently plausible premises.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • The higher order approach to consciousness is defunct.Ned Block - 2011 - Analysis 71 (3):419 - 431.
    The higher order approach to consciousness attempts to build a theory of consciousness from the insight that a conscious state is one that the subject is conscious of. There is a well-known objection1 to the higher order approach, a version of which is fatal. Proponents of the higher order approach have realized that the objection is significant. They have dealt with it via what David Rosenthal calls a “retreat” (2005b, p. 179) but that retreat fails to solve the problem.
    Download  
     
    Export citation  
     
    Bookmark   94 citations  
  • Completeness and decidability results for some propositional modal logics containing “actually” operators.Dominic Gregory - 2001 - Journal of Philosophical Logic 30 (1):57-78.
    The addition of "actually" operators to modal languages allows us to capture important inferential behaviours which cannot be adequately captured in logics formulated in simpler languages. Previous work on modal logics containing "actually" operators has concentrated entirely upon extensions of KT5 and has employed a particular modeltheoretic treatment of them. This paper proves completeness and decidability results for a range of normal and nonnormal but quasi-normal propositional modal logics containing "actually" operators, the weakest of which are conservative extensions of K, (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • One-step Modal Logics, Intuitionistic and Classical, Part 1.Harold T. Hodes - 2021 - Journal of Philosophical Logic 50 (5):837-872.
    This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   4 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’. (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • In the Mood for S4: The Expressive Power of the Subjunctive Modal Language in Weak Background Logics.Rohan French - 2015 - Studia Logica 103 (2):239-263.
    Our concern here is with the extent to which the expressive equivalence of Wehmeier’s Subjunctive Modal Language and the Actuality Modal Language is sensitive to the choice of background modal logic. In particular we will show that, when we are enriching quantified modal logics weaker than S5, AML is strictly expressively stronger than SML, this result following from general considerations regarding the relationship between operators and predicate markers. This would seem to complicate arguments given in favour of SML which rely (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Supervenience, Dependence, Disjunction.Lloyd Humberstone - forthcoming - Logic and Logical Philosophy:1.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Actuality, Tableaux, and Two-Dimensional Modal Logics.Fabio Lampert - 2018 - Erkenntnis 83 (3):403-443.
    In this paper we present tableau methods for two-dimensional modal logics. Although models for such logics are well known, proof systems remain rather unexplored as most of their developments have been purely axiomatic. The logics herein considered contain first-order quantifiers with identity, and all the formulas in the language are doubly-indexed in the proof systems, with the upper indices intuitively representing the actual or reference worlds, and the lower indices representing worlds of evaluation—first and second dimensions, respectively. The tableaux modulate (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Quantifying over Possibilities.John Mackay - 2013 - Philosophical Review 122 (4):577-617.
    A person of average height would assert a truth by the conditional ‘if I were seven feet tall, I would be taller than I am,’ in which an indicative clause ‘I am’ is embedded in a subjunctive conditional. By contrast, no one would assert a truth by ‘if I were seven feet tall, I would be taller than I would be’ or ‘if I am seven feet tall, I am taller than I am’. These examples exemplify the fact that whether (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • In the mood.Kai Frederick Wehmeier - 2004 - Journal of Philosophical Logic 33 (6):607-630.
    The purpose of the present paper is to challenge some received assumptions about the logical analysis of modal English, and to show that these assumptions are crucial to certain debates in current philosophy of language. Specifically, I will argue that the standard analysis in terms of quantified modal logic mistakenly fudges important grammatical distinctions, and that the validity of Kripke's modal argument against description theories of proper names crucially depends on ensuing equivocations.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Expressive power, mood, and actuality.Rohan French - 2013 - Synthese 190 (9):1689-1699.
    In Wehmeier (J Philos Log 33:607–630, 2004) we are presented with the subjunctive modal language, a way of dealing with the expressive inadequacy of modal logic by marking atomic predicates as being either in the subjunctive or indicative mood. Wehmeier claims that this language is expressively equivalent to the standard actuality language, and that despite this the marked-unmarked dichotomies are not the same in the two languages. In this paper we will attend to Wehmeier’s argument that this is the case, (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Critical notice.John Bigelow - 1996 - Australasian Journal of Philosophy 74 (1):190 – 202.
    Download  
     
    Export citation  
     
    Bookmark  
  • Wanting, getting, having.I. L. Humberstone - 1990 - Philosophical Papers 99 (August):99-118.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Nothing But d‐Truth.Kai F. Wehmeier - 2014 - Analytic Philosophy 55 (1):114-117.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Heterogeneous logic.I. L. Humberstone - 1988 - Erkenntnis 29 (3):395 - 435.
    This paper considers the question: what becomes of the notion of a logic as a way of codifying valid arguments when the customary assumption is dropped that the premisses and conclusions of these arguments are statements from some single language? An elegant treatment of the notion of a logic, when this assumption is in force, is that provided by Dana Scott's theory of consequence relations; this treatment is appropriately generalized in the present paper to the case where we do not (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • An Argument Against General Validity?Rohan French - 2012 - Thought: A Journal of Philosophy 1 (1):4-9.
    This paper argues that a prominent—and oft-thought to be persuasive—argument against general validity as the best account of validity for languages containing the actuality operator is flawed, the flaw arising out of inadequate attention to the formalisation of mood distinctions.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Subjunctivity and cross-world predication.Kai F. Wehmeier - 2012 - Philosophical Studies 159 (1):107-122.
    The main goal of this paper is to present and compare two approaches to formalizing cross-world comparisons like John might have been taller than he is in quantified modal logics. One is the standard method employing degrees and graded positives, according to which the example just given is to be paraphrased as something like The height that John has is such that he might have had a height greater than it, which is amenable to familiar formalization strategies with respect to (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations