Results for 'modal sequents'

1000+ found
Order:
  1. A Perspective on Modal Sequent Logic.Stephen Blamey & Lloyd Humberstone - 1991 - Publications of the Research Institute for Mathematical Sciences 27 (5):763-782.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  2. 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   13 citations  
  3. A Nonmonotonic Sequent Calculus for Inferentialist Expressivists.Ulf Hlobil - 2016 - In Pavel Arazim & Michal Dančák (eds.), The Logica Yearbook 2015. College Publications. pp. 87-105.
    I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. Transitivity fails, (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  95
    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   15 citations  
  5. Non-Normal Modalities in Variants of Linear Logic.D. Porello & N. Troquard - 2015 - Journal of Applied Non-Classical Logics 25 (3):229-255.
    This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of linear logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic linear logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  6.  43
    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  
  7. A Resource-Sensitive Logic of Agency.Daniele Porello & Nicolas Troquard - 2014 - In Ios Press (ed.), Proceedings of the 21st European Conference on Artificial Intelligence (ECAI'14), Prague, Czech Republic. 2014. pp. 723-728.
    We study a fragment of Intuitionistic Linear Logic combined with non-normal modal operators. Focusing on the minimal modal logic, we provide a Gentzen-style sequent calculus as well as a semantics in terms of Kripke resource models. We show that the proof theory is sound and complete with respect to the class of minimal Kripke resource models. We also show that the sequent calculus allows cut elimination. We put the logical framework to use by instantiating it as a logic (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. Intensional Models for the Theory of Types.Reinhard Muskens - 2007 - Journal of Symbolic Logic 72 (1):98-118.
    In this paper we define intensional models for the classical theory of types, thus arriving at an intensional type logic ITL. Intensional models generalize Henkin's general models and have a natural definition. As a class they do not validate the axiom of Extensionality. We give a cut-free sequent calculus for type theory and show completeness of this calculus with respect to the class of intensional models via a model existence theorem. After this we turn our attention to applications. Firstly, it (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  9. From Display to Labelled Proofs for Tense Logics.Agata Ciabattoni, Tim Lyon & Revantha Ramanayake - 2018 - In Anil Nerode & Sergei Artemov (eds.), Logical Foundations of Computer Science. Springer International Publishing. pp. 120 - 139.
    We introduce an effective translation from proofs in the display calculus to proofs in the labelled calculus in the context of tense logics. We identify the labelled calculus proofs in the image of this translation as those built from labelled sequents whose underlying directed graph possesses certain properties. For the basic normal tense logic Kt, the image is shown to be the set of all proofs in the labelled calculus G3Kt.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  81
    The Basics of Display Calculi.Tim Lyon, Christian Ittner, Timo Eckhardt & Norbert Gratzl - 2017 - Kriterion - Journal of Philosophy 31 (2):55-100.
    The aim of this paper is to introduce and explain display calculi for a variety of logics. We provide a survey of key results concerning such calculi, though we focus mainly on the global cut elimination theorem. Propositional, first-order, and modal display calculi are considered and their properties detailed.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  12. Epistemic Modals.Seth Yalcin - 2007 - Mind 116 (464):983-1026.
    Epistemic modal operators give rise to something very like, but also very unlike, Moore's paradox. I set out the puzzling phenomena, explain why a standard relational semantics for these operators cannot handle them, and recommend an alternative semantics. A pragmatics appropriate to the semantics is developed and interactions between the semantics, the pragmatics, and the definition of consequence are investigated. The semantics is then extended to probability operators. Some problems and prospects for probabilistic representations of content and context are (...)
    Download  
     
    Export citation  
     
    Bookmark   281 citations  
  13. Putting Modal Metaphysics First.Antonella Mallozzi - 2018 - Synthese (Suppl 8):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   9 citations  
  14. 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   54 citations  
  15. Modality and Explanatory Reasoning.Boris Kment - 2014 - Oxford University Press.
    Boris Kment takes a new approach to the study of modality that emphasises the origin of modal notions in everyday thought. He argues that the concepts of necessity and possibility originate in counterfactual reasoning, which allows us to investigate explanatory connections. Contrary to accepted views, explanation is more fundamental than modality.
    Download  
     
    Export citation  
     
    Bookmark   61 citations  
  16. Bounded Modality.Matthew Mandelkern - 2019 - Philosophical Review 128 (1):1-61.
    What does 'might' mean? One hypothesis is that 'It might be raining' is essentially an avowal of ignorance like 'For all I know, it's raining'. But it turns out these two constructions embed in different ways, in particular as parts of larger constructions like Wittgenstein's 'It might be raining and it's not' and Moore's 'It's raining and I don't know it', respectively. A variety of approaches have been developed to account for those differences. All approaches agree that both Moore sentences (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  17. A Cut-Free Sequent Calculus for Defeasible Erotetic Inferences.Jared Millson - 2019 - Studia Logica (6):1-34.
    In recent years, the e ffort to formalize erotetic inferences (i.e., inferences to and from questions) has become a central concern for those working in erotetic logic. However, few have sought to formulate a proof theory for these inferences. To fill this lacuna, we construct a calculus for (classes of) sequents that are sound and complete for two species of erotetic inferences studied by Inferential Erotetic Logic (IEL): erotetic evocation and regular erotetic implication. While an attempt has been made (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. Modal Disagreements.Justin Khoo - 2015 - Inquiry: An Interdisciplinary Journal of Philosophy 58 (5):511-534.
    It is often assumed that when one party felicitously rejects an assertion made by an- other party, the first party thinks that the proposition asserted by the second is false. This assumption underlies various disagreement arguments used to challenge contex- tualism about some class of expressions. As such, many contextualists have resisted these arguments on the grounds that the disagreements in question may not be over the proposition literally asserted. The result appears to be a dialectical stalemate, with no independent (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  19. Modal Epistemology and the Rationalist Renaissance.George Bealer - 2002 - In Tamar Szabo Gendler & John Hawthorne (eds.), Conceivability and Possibility. Oxford University Press. pp. 71-125.
    The paper begins with a clarification of the notions of intuition (and, in particular, modal intuition), modal error, conceivability, metaphysical possibility, and epistemic possibility. It is argued that two-dimensionalism is the wrong framework for modal epistemology and that a certain nonreductionist approach to the theory of concepts and propositions is required instead. Finally, there is an examination of moderate rationalism’s impact on modal arguments in the philosophy of mind -- for example, Yablo’s disembodiment argument and Chalmers’s (...)
    Download  
     
    Export citation  
     
    Bookmark   158 citations  
  20. Probability for Epistemic Modalities.Simon Goldstein & Paolo Santorio - forthcoming - Philosophers' Imprint.
    This paper develops an information sensitive theory of the semantics and probability of conditionals and statements involving epistemic modals. The theory validates a number of principles linking probability and modality, including the principle that the probability of a conditional 'If A, then C' equals the probability of C, updated with A. The theory avoids so-called triviality results, which are standardly taken to show that principles of this sort cannot be validated. To achieve this, we deny that rational agents update their (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  21. Grading Modal Judgement.Nate Charlow - 2020 - Mind 129 (515):769-807.
    This paper proposes a new model of graded modal judgment. It begins by problematizing the phenomenon: given plausible constraints on the logic of epistemic modality, it is impossible to model graded attitudes toward modal claims as judgments of probability targeting epistemically modal propositions. This paper considers two alternative models, on which modal operators are non-proposition-forming: (1) Moss (2015), in which graded attitudes toward modal claims are represented as judgments of probability targeting a “proxy” proposition, belief (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  22. Modality and constitution in distinctively mathematical explanations.Mark Povich - 2020 - European Journal for Philosophy of Science 10 (3):1-10.
    Lange argues that some natural phenomena can be explained by appeal to mathematical, rather than natural, facts. In these “distinctively mathematical” explanations, the core explanatory facts are either modally stronger than facts about ordinary causal law or understood to be constitutive of the physical task or arrangement at issue. Craver and Povich argue that Lange’s account of DME fails to exclude certain “reversals”. Lange has replied that his account can avoid these directionality charges. Specifically, Lange argues that in legitimate DMEs, (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  23. Epistemic Modals in Context.Andy Egan, John Hawthorne & Brian Weatherson - 2005 - In Gerhard Preyer & Georg Peter (eds.), Contextualism in Philosophy. Oxford University Press. pp. 131-170.
    A very simple contextualist treatment of a sentence containing an epistemic modal, e.g. a might be F, is that it is true iff for all the contextually salient community knows, a is F. It is widely agreed that the simple theory will not work in some cases, but the counterexamples produced so far seem amenable to a more complicated contextualist theory. We argue, however, that no contextualist theory can capture the evaluations speakers naturally make of sentences containing epistemic modals. (...)
    Download  
     
    Export citation  
     
    Bookmark   147 citations  
  24.  87
    Dual Systems of Sequents and Tableaux for Many-Valued Logics.Matthias Baaz, Christian G. Fermüller & Richard Zach - 1993 - Bulletin of the EATCS 51:192-197.
    The aim of this paper is to emphasize the fact that for all finitely-many-valued logics there is a completely systematic relation between sequent calculi and tableau systems. More importantly, we show that for both of these systems there are al- ways two dual proof sytems (not just only two ways to interpret the calculi). This phenomenon may easily escape one’s attention since in the classical (two-valued) case the two systems coincide. (In two-valued logic the assignment of a truth value and (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  25. Essentialist Modal Rationalism.Philip Goff - 2019 - Synthese 198 (Suppl 8):2019-2027.
    It used to be thought that rational coherence and metaphysical possibility went hand in hand. Kripke and Putnam put a spanner in the works by proposing examples of propositions which seem to violate this principle. I will propose a nuanced form of modal rationalism consistent with the Kripke/putnam cases. The rough idea is that rational coherence entails possibility when you grasp the essential nature of what you’re conceiving of.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  26. Advanced Modalizing Problems.Mark Jago - 2016 - Mind 125 (499):627-642.
    I present an internal problem for David Lewis’s genuine modal realism. My aim is to show that his analysis of modality is inconsistent with his metaphysics. I consider several ways of modifying the Lewisian analysis of modality, but argue that none are successful. I argue that the problem also affects theories related to genuine modal realism, including the stage theory of persistence and modal fictionalism.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  27. Modality is Not Explainable by Essence.Carlos Romero - 2019 - Philosophical Quarterly 69 (274):121-141.
    Some metaphysicians believe that metaphysical modality is explainable by the essences of objects. In §II, I spell out the definitional view of essence, and in §III, a working notion of metaphysical explanation. Then, in §IV, I consider and reject five natural ways to explain necessity by essence: in terms of the principle that essential properties can't change, in terms of the supposed obviousness of the necessity of essential truth, in terms of the logical necessity of definitions, in terms of Fine's (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  28. 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   22 citations  
  29. Agentive Modals.Matthew Mandelkern, Ginger Schultheis & David Boylan - 2017 - Philosophical Review 126 (3):301-343.
    This essay proposes a new theory of agentive modals: ability modals and their duals, compulsion modals. After criticizing existing approaches—the existential quantificational analysis, the universal quantificational analysis, and the conditional analysis—it presents a new account that builds on both the existential and conditional analyses. On this account, the act conditional analysis, a sentence like ‘John can swim across the river’ says that there is some practically available action that is such that if John tries to do it, he swims across (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  30. 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   17 citations  
  31. 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   4 citations  
  32. 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   15 citations  
  33. 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   50 citations  
  34. 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   9 citations  
  35. 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   4 citations  
  36. Dispositional Modality.Stephen Mumford & Rani Lill Anjum - 2011 - In C. F. Gethmann (ed.), Lebenswelt und Wissenschaft, Deutsches Jahrbuch Philosophie 2. Meiner Verlag.
    There has been much discussion of powers or real dispositions in the past decade, but there remains an issue that has been inadequately treated. This concerns the precise modal value that comes with dispositionality. We contend in this paper that dispositionality involves a non-alethic, sui generis, irreducible modality. Dispositions only tend towards their manifestations; they do not necessitate them. Tendency is, of course, a dispositional term itself, so this last statement offers little by way of illumination. But given our (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  37. Kant, Modality, and the Most Real Being.Andrew Chignell - 2009 - Archiv für Geschichte der Philosophie 91 (2):157-192.
    Kant's speculative theistic proof rests on a distinction between “logical” and “real” modality that he developed very early in the pre-critical period. The only way to explain facts about real possibility, according to Kant, is to appeal to the properties of a unique, necessary, and “most real” being. Here I reconstruct the proof in its historical context, focusing on the role played by the theory of modality both in motivating the argument (in the pre-critical period) and, ultimately, in undoing it (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  38. 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   30 citations  
  39. Deontic Modals and Probability: One Theory to Rule Them All?Fabrizio Cariani - forthcoming - In Nate Charlow & Matthew Chrisman (eds.), Deontic Modality. Oxford University Press.
    This paper motivates and develops a novel semantic framework for deontic modals. The framework is designed to shed light on two things: the relationship between deontic modals and substantive theories of practical rationality and the interaction of deontic modals with conditionals, epistemic modals and probability operators. I argue that, in order to model inferential connections between deontic modals and probability operators, we need more structure than is provided by classical intensional theories. In particular, we need probabilistic structure that interacts directly (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  40. Modality and Expressibility.Matthew Mandelkern - 2019 - Review of Symbolic Logic 12 (4):768-805.
    When embedding data are used to argue against semantic theory A and in favor of semantic theory B, it is important to ask whether A could make sense of those data. It is possible to ask that question on a case-by-case basis. But suppose we could show that A can make sense of all the embedding data which B can possibly make sense of. This would, on the one hand, undermine arguments in favor of B over A on the basis (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  41. The Epistemology of Modality and the Problem of Modal Epistemic Friction.Anand Jayprakash Vaidya & Michael Wallner - 2018 - Synthese 198 (Suppl 8):1909-1935.
    There are three theories in the epistemology of modality that have received sustained attention over the past 20 years : conceivability-theory, counterfactual-theory, and deduction-theory. In this paper we argue that all three face what we call the problem of modal epistemic friction. One consequence of the problem is that for any of the three accounts to yield modal knowledge, the account must provide an epistemology of essence. We discuss an attempt to fend off the problem within the context (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  42. A Modal Solution to the Problem of Moral Luck.Rik Peels - 2015 - American Philosophical Quarterly 52 (1):73-88.
    In this article I provide and defend a solution to the problem of moral luck. The problem of moral luck is that there is a set of three theses about luck and moral blameworthiness each of which is at least prima facie plausible, but that, it seems, cannot all be true. The theses are that (1) one cannot be blamed for what happens beyond one’s control, (2) that which is due to luck is beyond one’s control, and (3) we rightly (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  43. 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   2 citations  
  44. Williamsonian Modal Epistemology, Possibility-Based.Barbara Vetter - 2016 - Canadian Journal of Philosophy 46 (4-5):766-795.
    Williamsonian modal epistemology is characterized by two commitments: realism about modality, and anti-exceptionalism about our modal knowledge. Williamson’s own counterfactual-based modal epistemology is the best known implementation of WME, but not the only option that is available. I sketch and defend an alternative implementation which takes our knowledge of metaphysical modality to arise, not from knowledge of counterfactuals, but from our knowledge of ordinary possibility statements of the form ‘x can F’. I defend this view against a (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  45. A Modality Called ‘Negation’.Francesco Berto - 2015 - Mind 124 (495):761-793.
    I propose a comprehensive account of negation as a modal operator, vindicating a moderate logical pluralism. Negation is taken as a quantifier on worlds, restricted by an accessibility relation encoding the basic concept of compatibility. This latter captures the core meaning of the operator. While some candidate negations are then ruled out as violating plausible constraints on compatibility, different specifications of the notion of world support different logical conducts for negations. The approach unifies in a philosophically motivated picture the (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  46. The Modal Future Hypothesis Debugged.Fabrizio Cariani - manuscript
    This note identifies and corrects some problems in developments of the thesis that predictive expressions, such as English "will", are modals. I contribute a new argument supporting Cariani and Santorio's recent claim that predictive expressions are non-quantificational modals. At the same time, I improve on their selectional semantics by fixing an important bug. Finally, I show that there are benefits to be reaped by integrating the selection semantics framework with standard ideas about the future orientation of modals.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  47. 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   8 citations  
  48. 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   9 citations  
  49. Modal Fictionalism and Possible-Worlds Discourse.David Liggins - 2008 - Philosophical Studies 138 (2):151-60.
    The Brock-Rosen problem has been one of the most thoroughly discussed objections to the modal fictionalism bruited in Gideon Rosen’s ‘Modal Fictionalism’. But there is a more fundamental problem with modal fictionalism, at least as it is normally explained: the position does not resolve the tension that motivated it. I argue that if we pay attention to a neglected aspect of modal fictionalism, we will see how to resolve this tension—and we will also find a persuasive (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  50. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
1 — 50 / 1000