Results for 'modal sequents'

801 found
Order:
  1. Proofnets for S5: Sequents and Circuits for Modal Logic.Greg Restall - 2007 - In C. Dimitracopoulos, L. Newelski & D. Normann (eds.), Logic Colloquium 2005. Cambridge: Cambridge University Press. pp. 151-172.
    In this paper I introduce a sequent system for the propositional modal logic S5. Derivations of valid sequents in the system are shown to correspond to proofs in a novel natural deduction system of circuit proofs (reminiscient of proofnets in linear logic, or multiple-conclusion calculi for classical logic). -/- The sequent derivations and proofnets are both simple extensions of sequents and proofnets for classical propositional logic, in which the new machinery—to take account of the modal vocabulary—is (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  2.  70
    Refutation Systems in Modal Logic.Valentin Goranko - 1994 - Studia Logica 53 (2):299 - 324.
    Complete deductive systems are constructed for the non-valid (refutable) formulae and sequents of some propositional modal logics. Thus, complete syntactic characterizations in the sense of Lukasiewicz are established for these logics and, in particular, purely syntactic decision procedures for them are obtained. The paper also contains some historical remarks and a general discussion on refutation systems.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  3.  17
    Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic Via Nested Sequents.Tim Lyon, Alwen Tiu, Rajeev Gore & Ranald Clouston - 2020 - In Maribel Fernandez & Anca Muscholl (eds.), 28th EACSL Annual Conference on Computer Science Logic (CSL 2020). Dagstuhl, Germany: pp. 1-16.
    We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a "converse" modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Naturalised Modal Epistemology.Daniel Nolan - 2017 - In R. Fischer & F. Leon (eds.), Modal Epistemology After Rationalism. Dordrecht, Netherlands: Springer. pp. 7-27.
    The philosophy of necessity and possibility has flourished in the last half-century, but much less attention has been paid to the question of how we know what can be the case and what must be the case. Many friends of modal metaphysics and many enemies of modal metaphysics have agreed that while empirical discoveries can tell us what is the case, they cannot shed much light on what must be the case or on what non-actual possibilities there are. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  5. Empirically-Informed Modal Rationalism.Tuomas Tahko - 2017 - In Robert William Fischer & Felipe Leon (eds.), Modal Epistemology After Rationalism. Synthese Library. pp. 29-45.
    In this chapter, it is suggested that our epistemic access to metaphysical modality generally involves rationalist, a priori elements. However, these a priori elements are much more subtle than ‘traditional’ modal rationalism assumes. In fact, some might even question the ‘apriority’ of these elements, but I should stress that I consider a priori and a posteriori elements especially in our modal inquiry to be so deeply intertwined that it is not easy to tell them apart. Supposed metaphysically necessary (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  6. Modal Science.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):453-492.
    This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. (...)
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  7. From Modal Skepticism to Modal Empiricism.Felipe Leon - 2017 - In Robert William Fischer Felipe Leon (ed.), Modal Epistemology After Rationalism. Springer Verlag.
    This collection highlights the new trend away from rationalism and toward empiricism in the epistemology of modality. Accordingly, the book represents a wide range of positions on the empirical sources of modal knowledge. Readers will find an introduction that surveys the field and provides a brief overview of the work, which progresses from empirically-sensitive rationalist accounts to fully empiricist accounts of modal knowledge. Early chapters focus on challenges to rationalist theories, essence-based approaches to modal knowledge, and the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  8. Can Modal Skepticism Defeat Humean Skepticism?Peter Hawke - 2017 - In Bob Fischer Felipe Leon (ed.), Modal Epistemology After Rationalism. Dordrecht: Synthese Library. pp. 281-308.
    My topic is moderate modal skepticism in the spirit of Peter van Inwagen. Here understood, this is a conservative version of modal empiricism that severely limits the extent to which an ordinary agent can reasonably believe “exotic” possibility claims. I offer a novel argument in support of this brand of skepticism: modal skepticism grounds an attractive (and novel) reply to Humean skepticism. Thus, I propose that modal skepticism be accepted on the basis of its theoretical utility (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. Sahlqvist Formulas Unleashed in Polyadic Modal Languages.Valentin Goranko & Dimiter Vakarelov - 2002 - In Frank Wolter, Heinrich Wansing, Maarten de Rijke & Michael Zakharyaschev (eds.), Advances in Modal Logic, Volume 3. World Scientific. pp. 221-240.
    We propose a generalization of Sahlqvist formulae to polyadic modal languages by representing modal polyadic languages in a combinatorial style and thus, in particular, developing what we believe to be the right approach to Sahlqvist formulae at all. The class of polyadic Sahlqvist formulae PSF defined here expands essentially the so far known one. We prove first-order definability and canonicity for the class PSF.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  10. Post Completeness in Congruential Modal Logics.Peter Fritz - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. College Publications. pp. 288-301.
    Well-known results due to David Makinson show that there are exactly two Post complete normal modal logics, that in both of them, the modal operator is truth-functional, and that every consistent normal modal logic can be extended to at least one of them. Lloyd Humberstone has recently shown that a natural analog of this result in congruential modal logics fails, by showing that not every congruential modal logic can be extended to one in which the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11.  42
    Modal Logic and Universal Algebra I: Modal Axiomatizations of Structures.Valentin Goranko & Dimiter Vakarelov - 2000 - In Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 2. CSLI Publications. pp. 265-292.
    We study the general problem of axiomatizing structures in the framework of modal logic and present a uniform method for complete axiomatization of the modal logics determined by a large family of classes of structures of any signature.
    Download  
     
    Export citation  
     
    Bookmark  
  12. Putting Modal Metaphysics First.Antonella Mallozzi - 2018 - Synthese:1-20.
    I propose that we approach the epistemology of modality by putting modal metaphysics first and, specifically, by investigating the metaphysics of essence. Following a prominent Neo-Aristotelian view, I hold that metaphysical necessity depends on the nature of things, namely their essences. I further clarify that essences are core properties having distinctive superexplanatory powers. In the case of natural kinds, which is my focus in the paper, superexplanatoriness is due to the fact that the essence of a kind is what (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  13.  25
    A modal theory of discrimination.Guido Melchior - forthcoming - Synthese:1-24.
    Discrimination is a central epistemic capacity but typically, theories of discrimination only use discrimination as a vehicle for analyzing knowledge. This paper aims at developing a self-contained theory of discrimination. Internalist theories of discrimination fail since there is no compelling correlation between discriminatory capacities and experiences. Moreover, statistical reliabilist theories are also flawed. Only a modal theory of discrimination is promising. Versions of sensitivity and adherence that take particular alternatives into account provide necessary and sufficient conditions on discrimination. Safety (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  14. A Modal Theory of Function.Bence Nanay - 2010 - Journal of Philosophy 107 (8):412-431.
    The function of a trait token is usually defined in terms of some properties of other (past, present, future) tokens of the same trait type. I argue that this strategy is problematic, as trait types are (at least partly) individuated by their functional properties, which would lead to circularity. In order to avoid this problem, I suggest a way to define the function of a trait token in terms of the properties of the very same trait token. To able to (...)
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  15. Dispositionalism and the Modal Operators.David Yates - 2015 - Philosophy and Phenomenological Research 91 (2):411-424.
    Actualists of a certain stripe—dispositionalists—hold that metaphysical modality is grounded in the powers of actual things. Roughly: p is possible iff something has, or some things have, the power to bring it about that p. Extant critiques of dispositionalism focus on its material adequacy, and question whether there are enough powers to account for all the possibilities we intuitively want to countenance. For instance, it seems possible that none of the actual contingent particulars ever existed, but it is impossible to (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  16. Modal Meinongianism and Fiction: The Best of Three Worlds.Francesco Berto - 2011 - Philosophical Studies 152 (3):313-35.
    We outline a neo-Meinongian framework labeled as Modal Meinongian Metaphysics (MMM) to account for the ontology and semantics of fictional discourse. Several competing accounts of fictional objects are originated by the fact that our talking of them mirrors incoherent intuitions: mainstream theories of fiction privilege some such intuitions, but are forced to account for others via complicated paraphrases of the relevant sentences. An ideal theory should resort to as few paraphrases as possible. In Sect. 1, we make this explicit (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  17. Intuitionism and the Modal Logic of Vagueness.Susanne Bobzien & Ian Rumfitt - 2020 - Journal of Philosophical Logic 49 (2):221-248.
    Intuitionistic logic provides an elegant solution to the Sorites Paradox. Its acceptance has been hampered by two factors. First, the lack of an accepted semantics for languages containing vague terms has led even philosophers sympathetic to intuitionism to complain that no explanation has been given of why intuitionistic logic is the correct logic for such languages. Second, switching from classical to intuitionistic logic, while it may help with the Sorites, does not appear to offer any advantages when dealing with the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  18. Fundamentality And Modal Freedom.Jennifer Wang - 2016 - Philosophical Perspectives 30 (1):397-418.
    A fundamental entity is an entity that is ‘ontologically independent’; it does not depend on anything else for its existence or essence. It seems to follow that a fundamental entity is ‘modally free’ in some sense. This assumption, that fundamentality entails modal freedom (or ‘FEMF’ as I shall label the thesis), is used in the service of other arguments in metaphysics. But as I will argue, the road from fundamentality to modal freedom is not so straightforward. The defender (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  19.  21
    The Modal Logics of Kripke-Feferman Truth.Carlo Nicolai & Johannes Stern - manuscript
    We determine the modal logic of fixed-point models of truth and their axiomatizations by Solomon Feferman via Solovay-style completeness results.
    Download  
     
    Export citation  
     
    Bookmark  
  20.  77
    An Integrative Design? How Liberalised Modal Empiricism Fails the Integration Challenge.Ylwa Sjölin Wirling - forthcoming - Synthese:1-19.
    The idea that justified modal belief can be accounted for in terms of empirically justified, non-modal belief is enjoying increasing popularity in the epistemology of modality. One alleged reason to prefer modal empiricism over more traditional, rationalist modal epistemologies is that empiricism avoids the problem with the integration challenge that arise for rationalism, assuming that we want to be realists about modal metaphysics. In this paper, I argue that given two very reasonable constraints on what (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  21. XV—Cross‐Modal Experiences.Fiona Macpherson - 2011 - Proceedings of the Aristotelian Society 111 (3pt3):429-468.
    This paper provides a categorization of cross-modal experiences. There are myriad forms. Doing so allows us to think clearly about the nature of different cross-modal experiences and allows us to clearly formulate competing hypotheses about the kind of experiences involved in different cross-modal phenomena.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  22. Modal Set Theory.Christopher Menzel - forthcoming - In Otávio Bueno & Scott Shalkowski (eds.), The Routledge Handbook of Modality. London and New York: Routledge.
    This article presents an overview of the basic philosophical motivations for, and some recent work in, modal set theory.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Moderate Modal Skepticism.Margot Strohminger & Juhani Yli-Vakkuri - 2018 - In Matthew A. Benton, John Hawthorne & Dani Rabinowitz (eds.), Knowledge, Belief, and God: New Insights in Religious Epistemology. Oxford University Press. pp. 302-321.
    This paper examines "moderate modal skepticism", a form of skepticism about metaphysical modality defended by Peter van Inwagen in order to blunt the force of certain modal arguments in the philosophy of religion. Van Inwagen’s argument for moderate modal skepticism assumes Yablo's (1993) influential world-based epistemology of possibility. We raise two problems for this epistemology of possibility, which undermine van Inwagen's argument. We then consider how one might motivate moderate modal skepticism by relying on a different (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   2 citations  
  24. First-Order Modal Logic in the Necessary Framework of Objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.
    I consider the first-order modal logic which counts as valid those sentences which are true on every interpretation of the non-logical constants. Based on the assumptions that it is necessary what individuals there are and that it is necessary which propositions are necessary, Timothy Williamson has tentatively suggested an argument for the claim that this logic is determined by a possible world structure consisting of an infinite set of individuals and an infinite set of worlds. He notes that only (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  25. Modal Knowledge and Counterfactual Knowledge.Sonia Roca-Royes - 2011 - Logique Et Analyse 54 (216):537-552.
    The paper compares the suitability of two different epistemologies of counterfactuals—(EC) and (W)—to elucidate modal knowledge. I argue that, while both of them explain the data on our knowledge of counterfactuals, only (W)—Williamson’s epistemology—is compatible with all counterpossibles being true. This is something on which Williamson’s counterfactual-based account of modal knowledge relies. A first problem is, therefore, that, in the absence of further, disambiguating data, Williamson’s choice of (W) is objectionably biased. A second, deeper problem is that (W) (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  26. Against Yagisawa's Modal Realism.Mark Jago - 2013 - Analysis 73 (1):10-17.
    In his book Worlds and Individuals, Possible and Otherwise (2010), Takashi Yagisawa presents and argues for a novel and imaginative version of modal realism. It differs both from Lewis’s modal realism (Lewis 1986) and from actualists’ ersatz accounts (Adams 1974; Sider 2002). In this paper, I’ll present two arguments, each of which shows that Yagisawa’s metaphysics is incoherent. The first argument shows that the combination of Yagisawa’s metaphysics with impossibilia leads to triviality: every sentence whatsoever comes out true. (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  27. The Modal Account of Luck Revisited.J. Adam Carter & Martin Peterson - unknown
    According to the canonical formulation of the modal account of luck [e.g. Pritchard ], an event is lucky just when that event occurs in the actual world but not in a wide class of the nearest possible worlds where the relevant conditions for that event are the same as in the actual world. This paper argues, with reference to a novel variety of counterexample, that it is a mistake to focus, when assessing a given event for luckiness, on events (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  28. Modal Meinongianism and Characterization.Francesco Berto & Graham Priest - 2014 - Grazer Philosophische Studien 90 (1):183-200.
    In this paper we reply to arguments of Kroon (“Characterization and Existence in Modal Meinongianism”. Grazer Philosophische Studien 86, 23–34) to the effect that Modal Meinongianism cannot do justice to Meinongian claims such as that the golden mountain is golden, and that it does not exist.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  29. Modal Logic with Names.George Gargov & Valentin Goranko - 1993 - Journal of Philosophical Logic 22 (6):607 - 636.
    We investigate an enrichment of the propositional modal language L with a "universal" modality ■ having semantics x ⊧ ■φ iff ∀y(y ⊧ φ), and a countable set of "names" - a special kind of propositional variables ranging over singleton sets of worlds. The obtained language ℒ $_{c}$ proves to have a great expressive power. It is equivalent with respect to modal definability to another enrichment ℒ(⍯) of ℒ, where ⍯ is an additional modality with the semantics x (...)
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  30. The Origins of Modal Error.George Bealer - 2004 - Dialectica 58 (1):11-42.
    Modal intuitions are the primary source of modal knowledge but also of modal error. According to the theory of modal error in this paper, modal intuitions retain their evidential force in spite of their fallibility, and erroneous modal intuitions are in principle identifiable and eliminable by subjecting our intuitions to a priori dialectic. After an inventory of standard sources of modal error, two further sources are examined in detail. The first source - namely, (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  31.  56
    Modals and Modal Epistemology.Jonathan Ichikawa - 2016 - In Amy Kind & Peter Kung (eds.), Knowledge Through Imagination. Oxford University Press. pp. 124-144.
    I distinguish (§1) two projects in modal epistemology—one about how we come to know modal truths, and one about why we have the ability so to come to know. The latter, I suggest, (§§2–3) is amenable to an evolutionary treatment in terms of general capacities developed to evaluate quotidian modal claims. I compare (§4) this approach to a recent suggestion in a similar spirit by Christopher Hill and Timothy Williamson, emphasizing counterfactual conditionals instead of quotidian modals; I (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  32. Modal Epistemology.Juhani Yli-Vakkuri & John Hawthorne - manuscript
    Some central epistemological notions are expressed by sentential operators O that entail the possibility of knowledge in the sense that 'Op' entails 'It is possible to know that p'. We call these modal-epistemological notions. Using apriority and being in a position to know as case studies, we argue that the logics of modal epistemological notions are extremely weak. In particular, their logics are not normal and do not include any closure principles.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  33. Regression in Modal Logic.Robert Demolombe, Andreas Herzig & Ivan Varzinczak - 2003 - Journal of Applied Non-Classical Logics 13 (2):165-185.
    In this work we propose an encoding of Reiter’s Situation Calculus solution to the frame problem into the framework of a simple multimodal logic of actions. In particular we present the modal counterpart of the regression technique. This gives us a theorem proving method for a relevant fragment of our modal logic.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  34.  99
    Swap Structures Semantics for Ivlev-Like Modal Logics.Marcelo E. Coniglio & Ana Claudia Golzio - 2019 - Soft Computing 23 (7):2243-2254.
    In 1988, J. Ivlev proposed some (non-normal) modal systems which are semantically characterized by four-valued non-deterministic matrices in the sense of A. Avron and I. Lev. Swap structures are multialgebras (a.k.a. hyperalgebras) of a special kind, which were introduced in 2016 by W. Carnielli and M. Coniglio in order to give a non-deterministic semantical account for several paraconsistent logics known as logics of formal inconsistency, which are not algebraizable by means of the standard techniques. Each swap structure induces naturally (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. Safety's Swamp: Against The Value of Modal Stability.Georgi Gardiner - 2017 - American Philosophical Quarterly 54 (2):119-129.
    An account of the nature of knowledge must explain the value of knowledge. I argue that modal conditions, such as safety and sensitivity, do not confer value on a belief and so any account of knowledge that posits a modal condition as a fundamental constituent cannot vindicate widely held claims about the value of knowledge. I explain the implications of this for epistemology: We must either eschew modal conditions as a fundamental constituent of knowledge, or retain the (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  36. On the Humphrey Objection to Modal Realism.Michael De - 2018 - Grazer Philosophische Studien 95 (2):159-179.
    An intuitive objection to modal realism is that merely possible worlds and their inhabitants seem to be irrelevant to an analysis of modality. Kripke originally phrased the objection in terms of being concerned about one’s modal properties without being concerned about the properties one’s other-worldly counterparts have. The author assesses this objection in a variety of forms, and then provides his own formulation that does not beg the question against the modal realist. Finally, the author considers two (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  37. Modal Skepticism and Counterfactual Knowledge.Juhani Yli-Vakkuri - 2013 - Philosophical Studies 162 (3):605-623.
    Abstract Timothy Williamson has recently proposed to undermine modal skepticism by appealing to the reducibility of modal to counterfactual logic ( Reducibility ). Central to Williamson’s strategy is the claim that use of the same non-deductive mode of inference ( counterfactual development , or CD ) whereby we typically arrive at knowledge of counterfactuals suffices for arriving at knowledge of metaphysical necessity via Reducibility. Granting Reducibility, I ask whether the use of CD plays any essential role in a (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  38.  39
    Conceivability and Modal Knowledge.Albert Casullo - 2012 - In Essays on A priori Knowledge and Justification. New York, NY, USA: pp. 271-288.
    Christopher Hill contends that the metaphysical modalities can be reductively explained in terms of the subjunctive conditional and that this reductive explanation yields two tests for determining the metaphysical modality of a proposition. He goes on to argue that his reductive account of the metaphysical modalities in conjunction with his account of modal knowledge underwrites the further conclusion that conceivability does not provide a reliable test for metaphysical possibility. I argue (1) that Hill’s reductive explanation of the metaphysical modalities (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  39.  40
    Remark on Al-Fārābī's Missing Modal Logic and its Effect on Ibn Sīnā.Wilfrid Hodges - 2019 - Eshare: An Iranian Journal of Philosophy 1 (3):39-73.
    We reconstruct as much as we can the part of al-Fārābī's treatment of modal logic that is missing from the surviving pages of his Long Commentary on the Prior Analytics. We use as a basis the quotations from this work in Ibn Sīnā, Ibn Rushd and Maimonides, together with relevant material from al-Fārābī's other writings. We present a case that al-Fārābī's treatment of the dictum de omni had a decisive effect on the development and presentation of Ibn Sīnā's (...) logic. We give further evidence that the Harmonisation of the Opinions of Plato and Aristotle was not written by al-Fārābī. (shrink)
    Download  
     
    Export citation  
     
    Bookmark  
  40. Quine and Quantified Modal Logic – Against the Received View.Adam Tamas Tuboly - 2015 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 22 (4):518-545.
    The textbook-like history of analytic philosophy is a history of myths, re-ceived views and dogmas. Though mainly the last few years have witnessed a huge amount of historical work that aimed to reconsider our narratives of the history of ana-lytic philosophy there is still a lot to do. The present study is meant to present such a micro story which is still quite untouched by historians. According to the received view Kripke has defeated all the arguments of Quine against quantified (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Modal Epistemology, Modal Concepts and the Integration Challenge.Sonia Roca-Royes - 2010 - Dialectica 64 (3):335-361.
    The paper argues against Peacocke's moderate rationalism in modality. In the first part, I show, by identifying an argumentative gap in its epistemology, that Peacocke's account has not met the Integration Challenge. I then argue that we should modify the account's metaphysics of modal concepts in order to avoid implausible consequences with regards to their possession conditions. This modification generates no extra explanatory gap. Yet, once the minimal modification that avoids those implausible consequences is made, the resulting account cannot (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  42.  66
    Modal Fragmentalism.Samuele Iaquinto - 2020 - The Philosophical Quarterly 70 (280):570-587.
    In this paper I will argue that there is a version of possibilism—inspired by the modal analogue of Kit Fine’s fragmentalism—that can be combined with a weakening of actualism. The reasons for analysing this view, which I call Modal Fragmentalism, are twofold. Firstly, it can enrich our understanding of the actualism/possibilism divide, by showing that, at least in principle, the adoption of possibilia does not correspond to an outright rejection of the actualist intuitions. Secondly, and more specifically, it (...)
    Download  
     
    Export citation  
     
    Bookmark  
  43. Modal Humeanism and Arguments From Possibility.Margot Strohminger - 2013 - Proceedings of the Aristotelian Society 113 (3pt3):391-401.
    Sider (2011, 2013) proposes a reductive analysis of metaphysical modality—‘(modal) Humeanism’—and goes on to argue that it has interesting epistemological and methodological implications. In particular, Humeanism is supposed to undermine a class of ‘arguments from possibility’, which includes Sider's (1993) own argument against mereological nihilism and Chalmers's (1996) argument against physicalism. I argue that Sider's arguments do not go through, and moreover that we should instead expect Humeanism to be compatible with the practice of arguing from possibility in philosophy.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  44. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  45. Genuine Modal Realism and the Empty World.David Efird & Tom Stoneham - 2005 - European Journal of Analytic Philosophy 1 (1):21-37.
    We argue that genuine modal realism can be extended, rather than modified, so as to allow for the possibility of nothing concrete, a possibility we term ‘metaphysical nihilism’. The issue should be important to the genuine modal realist because, not only is metaphysical nihilism itself intuitively plausible, but also it is supported by an argument with pre-theoretically credible premises, namely, the subtraction argument. Given the soundness of the subtraction argument, we show that there are two ways that the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  46. Modal Realism, Counterpart Theory, and Unactualized Possibilities.Joseph A. Baltimore - 2014 - Metaphysica 15 (1):209–217.
    It is a commonsense thesis that unactualized possibilities are not parts of actuality. To keep his modal realism in line with this thesis, David Lewis employed his indexical account of the term “actual.” I argue that the addition of counterpart theory to Lewis’s modal realism undermines his strategy for respecting the commonsense thesis. The case made here also reveals a problem for Lewis’s attempt to avoid haecceitism.
    Download  
     
    Export citation  
     
    Bookmark  
  47.  63
    Hierarchies of Modal and Temporal Logics with Reference Pointers.Valentin Goranko - 1996 - Journal of Logic, Language and Information 5 (1):1-24.
    We introduce and study hierarchies of extensions of the propositional modal and temporal languages with pairs of new syntactic devices: point of reference-reference pointer which enable semantic references to be made within a formula. We propose three different but equivalent semantics for the extended languages, discuss and compare their expressiveness. The languages with reference pointers are shown to have great expressive power (especially when their frugal syntax is taken into account), perspicuous semantics, and simple deductive systems. For instance, Kamp's (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  48. Intuition and Modal Error.George Bealer - 2008 - In Quentin Smith (ed.), Epistemology: New Essays. Oxford University Press.
    Modal intuitions are not only the primary source of modal knowledge but also the primary source of modal error. An explanation of how modal error arises — and, in particular, how erroneous modal intuitions arise — is an essential part of a comprehensive theory of knowledge and evidence. This chapter begins with a summary of certain preliminaries: the phenomenology of intuitions, their fallibility, the nature of concept-understanding and its relationship to the reliability of intuitions, and (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  49. Realizm modalny i okresy warunkowe z niemożliwymi poprzednikami [Modal Realism and Counterpossibles].Maciej Sendłak - 2014 - Filozofia Nauki 22 (4).
    To solve the problem of counterpossibles, many philosophers have been arguing that one needs to invoke impossible worlds. This extension of the ontology of modality should save the analysis of counterfactuals from being insensitive to the problem of counterpossibles. Since theories of impossible worlds are extensions of original accounts of modalities, it is worth stressing that proper analyses of counterpossibles should not weaken the latter.In this paper I argue that these theories of impossible wolrds, which are based on D. Lewis' (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  50. We Belong Together? A Plea for Modesty in Modal Plural Logic.Simon Hewitt - manuscript
    It is often assumed that pluralities are rigid, in the sense of having all and only their actual members necessarily. This assumption is operative in standard approaches to modal plural logic. I argue that a sceptical approach towards the assumption is warranted.
    Download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 801