Switch to: References

Citations of:

A New Introduction to Modal Logic

New York: Routledge. Edited by M. J. Cresswell (1996)

Add citations

You must login to add citations.
  1. Arthur Prior's Proofs of the Necessities of Identity and Difference.Nils Kürbis - forthcoming - History and Philosophy of Logic:1-6.
    This paper draws attention to a proof of the necessity of identity given by Arthur Prior. In its simplicity, it is comparable to a proof of Quine's, popularised by Kripke, but it is slightly different. Prior's Polish notation is transcribed into a more familiar idiom. Prior's proof is followed by a proof of the necessity of difference, possibly the first such proof in the literature, which is also repeated here and transcribed. The paper concludes with a brief discussion of Prior's (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The Metaphysics in Counterfactual Logic.Samuel Elgin - manuscript
    This paper investigates the metaphysics in higher-order counterfactual logic. I establish the necessity of identity and distinctness and show that the logic is committed to vacuism, which entails that all counteridenticals are true. I prove the Barcan, Converse Barcan, Being Constraint and Necessitism. I then show how to derive the Identity of Indiscernibles in counterfactual logic. I study a form of maximalist ontology which has been claimed to be so expansive as to be inconsistent. I show that it is equivalent (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Extended Dispositionalism and Determinism.Jonas Werner - 2022 - Ergo: An Open Access Journal of Philosophy 9.
    Modal dispositionalists hold that dispositions provide the foundation of metaphysical necessity and possibility. According to the kind of modal dispositionalism that can be found in the present literature, a proposition p is possible just in case some things are disposed to be such that p. In the first part of this paper I show that combining this classic form of dispositionalism with the assumptions that the laws of nature are necessary and deterministic and that all dispositions are forward-looking in time (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • G'3 as the logic of modal 3-valued Heyting algebras.Marcelo E. Coniglio, Aldo Figallo-Orellano, Alejandro Hernández-Tello & Miguel Perez-Gaspar - 2022 - IfCoLog Journal of Logics and Their Applications 9 (1):175-197.
    In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well as the one of Gödel (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Divergent Potentialism: A Modal Analysis With an Application to Choice Sequences.Ethan Brauer, Øystein Linnebo & Stewart Shapiro - 2022 - Philosophia Mathematica 30 (2):143-172.
    Modal logic has been used to analyze potential infinity and potentialism more generally. However, the standard analysis breaks down in cases of divergent possibilities, where there are two or more possibilities that can be individually realized but which are jointly incompatible. This paper has three aims. First, using the intuitionistic theory of choice sequences, we motivate the need for a modal analysis of divergent potentialism and explain the challenges this involves. Then, using Beth–Kripke semantics for intuitionistic logic, we overcome those (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.
    This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Non-Measurability, Imprecise Credences, and Imprecise Chances.Yoaav Isaacs, Alan Hájek & John Hawthorne - 2021 - Mind 131 (523):892-916.
    – We offer a new motivation for imprecise probabilities. We argue that there are propositions to which precise probability cannot be assigned, but to which imprecise probability can be assigned. In such cases the alternative to imprecise probability is not precise probability, but no probability at all. And an imprecise probability is substantially better than no probability at all. Our argument is based on the mathematical phenomenon of non-measurable sets. Non-measurable propositions cannot receive precise probabilities, but there is a natural (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Remarks on Logic and Critical Thinking.Mudasir Ahmad Tantray - 2021 - Bilaspur, Chhattisgarh 495001, India: Rudra Publications.
    This work is compiled for the students, research scholars, academicians, who are interested in logic, philosophy, mathematics and critical thinking. The main objective of this book is to provide basics or fundamental knowledge for those who have chosen logic as their subject in order to develop analytical and critical ideas. It has been primarily developed to serve as an introductory piece of work which includes explanatory notes on different courses like Inductive logic, Deductive logic, propositional logic, Symbolic logic, Quantification logic, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Anti-Realism and Modal-Epistemic Collapse: Reply to Marton.Jan Heylen - 2021 - Erkenntnis 88 (1):397-408.
    Marton ( 2019 ) argues that that it follows from the standard antirealist theory of truth, which states that truth and possible knowledge are equivalent, that knowing possibilities is equivalent to the possibility of knowing, whereas these notions should be distinct. Moreover, he argues that the usual strategies of dealing with the Church–Fitch paradox of knowability are either not able to deal with his modal-epistemic collapse result or they only do so at a high price. Against this, I argue that (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Mechanized analysis of Anselm’s modal ontological argument.John Rushby - 2020 - International Journal for Philosophy of Religion 89 (2):135-152.
    We use a mechanized verification system, PVS, to examine the argument from Anselm’s Proslogion Chapter III, the so-called “Modal Ontological Argument.” We consider several published formalizations for the argument and show they are all essentially similar. Furthermore, we show that the argument is trivial once the modal axioms are taken into account. This work is an illustration of Computational Philiosophy and, in addition, shows how these methods can help detect and rectify errors in modal reasoning.
    Download  
     
    Export citation  
     
    Bookmark  
  • Para Todxs: Natal - uma introdução à lógica formal.P. D. Magnus, Tim Button, Robert Loftis, Robert Trueman, Aaron Thomas Bolduc, Richard Zach, Daniel Durante, Maria da Paz Nunes de Medeiros, Ricardo Gentil de Araújo Pereira, Tiago de Oliveira Magalhães, Hudson Benevides, Jordão Cardoso, Paulo Benício de Andrade Guimarães & Valdeniz da Silva Cruz Junior - 2022 - Natal-RN: PPGFIL-UFRN.
    Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Higher-Order Evidence.Kevin Dorst - 2024 - In Maria Lasonen-Aarnio & Clayton Littlejohn (eds.), The Routledge Handbook of the Philosophy of Evidence. New York, NY: Routledge. pp. 176-194.
    On at least one of its uses, ‘higher-order evidence’ refers to evidence about what opinions are rationalized by your evidence. This chapter surveys the foundational epistemological questions raised by such evidence, the methods that have proven useful for answering them, and the potential consequences and applications of such answers.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Advances in Modal Logic, Vol. 13.Nicola Olivetti & Rineke Verbrugge (eds.) - 2020 - College Publications.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Many and the One: A Philosophical Study of Plural Logic.Salvatore Florio & Øystein Linnebo - 2021 - Oxford, England: Oxford University Press.
    Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Logic, Metalogic and Neutrality.Timothy Williamson - 2013 - Erkenntnis 79 (2):211-231.
    The paper is a critique of the widespread conception of logic as a neutral arbiter between metaphysical theories, one that makes no `substantive’ claims of its own (David Kaplan and John Etchemendy are two recent examples). A familiar observation is that virtually every putatively fundamental principle of logic has been challenged over the last century on broadly metaphysical grounds (however mistaken), with a consequent proliferation of alternative logics. However, this apparent contentiousness of logic is often treated as though it were (...)
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • 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   4 citations  
  • forall x: Calgary. An Introduction to Formal Logic (4th edition).P. D. Magnus, Tim Button, Robert Trueman, Richard Zach & Aaron Thomas-Bolduc - 2023 - Calgary: Open Logic Project.
    forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Modal validity and the dispensability of the actuality operator.Vittorio Morato - 2014 - In Michal Dancak & Vit Puncochar (eds.), The Logica Yearbook 2013.
    In this paper, I claim that two ways of defining validity for modal languages (“real-world” and “general” validity), corresponding to distinction between a correct and an incorrect way of defining modal valid- ity, correspond instead to two substantive ways of conceiving modal truth. At the same time, I claim that the major logical manifestation of the real- world/general validity distinction in modal propositional languages with the actuality operator should not be taken seriously, but simply as a by-product of the way (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Validity and actuality.Vittorio Morato - 2014 - Logique Et Analyse 227:379-405.
    The notion of validity for modal languages could be defined in two slightly different ways. The first is the original definition given by S. Kripke, for which a formula φ of a modal language L is valid if and only if it is true in every actual world of every interpretation of L. The second is the definition that has become standard in most textbook presentations of modal logic, for which a formula φ of L is valid if and only (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Two Kinds of Logical Impossibility.Alexander Sandgren & Koji Tanaka - 2020 - Noûs 54 (4):795-806.
    In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • A New Framework for Epistemic Logic.Yanjing Wang - 2017 - In Proceedings of TARK 2017. EPTCS. pp. 515-534.
    Recent years witnessed a growing interest in non-standard epistemic logics of knowing whether, knowing how, knowing what, knowing why and so on. The new epistemic modalities introduced in those logics all share, in their semantics, the general schema of ∃x◻φ, e.g., knowing how to achieve φ roughly means that there exists a way such that you know that it is a way to ensure that φ. Moreover, the resulting logics are decidable. Inspired by those particular logics, in this work, we (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Quantification and Epistemic Modality.Dilip Ninan - 2018 - Philosophical Review 127 (4):433-485.
    This essay introduces a puzzle about the interaction between quantifiers and epistemic modals. The puzzle motivates the idea that whether an object satisfies an epistemically modalized predicate depends on the mode of presentation of the domain of quantification. I compare two ways of implementing this idea, one using counterpart theory, the other using Aloni's 'conceptual covers' theory, and then provides some evidence in favor of the former.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Factive knowability and the problem of possible omniscience.Jan Heylen - 2020 - Philosophical Studies 177 (1):65-87.
    Famously, the Church–Fitch paradox of knowability is a deductive argument from the thesis that all truths are knowable to the conclusion that all truths are known. In this argument, knowability is analyzed in terms of having the possibility to know. Several philosophers have objected to this analysis, because it turns knowability into a nonfactive notion. In addition, they claim that, if the knowability thesis is reformulated with the help of factive concepts of knowability, then omniscience can be avoided. In this (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Idealist Origins: 1920s and Before.Martin Davies & Stein Helgeby - 2014 - In Graham Oppy & Nick Trakakis (eds.), History of Philosophy in Australia and New Zealand. Dordrecht: Springer. pp. 15-54.
    This paper explores early Australasian philosophy in some detail. Two approaches have dominated Western philosophy in Australia: idealism and materialism. Idealism was prevalent between the 1880s and the 1930s, but dissipated thereafter. Idealism in Australia often reflected Kantian themes, but it also reflected the revival of interest in Hegel through the work of ‘absolute idealists’ such as T. H. Green, F. H. Bradley, and Henry Jones. A number of the early New Zealand philosophers were also educated in the idealist tradition (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A completeness theorem for continuous predicate modal logic.Stefano Baratella - 2019 - Archive for Mathematical Logic 58 (1-2):183-201.
    We study a modal extension of the Continuous First-Order Logic of Ben Yaacov and Pedersen :168–190, 2010). We provide a set of axioms for such an extension. Deduction rules are just Modus Ponens and Necessitation. We prove that our system is sound with respect to a Kripke semantics and, building on Ben Yaacov and Pedersen, that it satisfies a number of properties similar to those of first-order predicate logic. Then, by means of a canonical model construction, we get that every (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Cosmological Arguments.Michael Almeida - 2018 - Cambridge University Press.
    The book discusses the structure, content, and evaluation of cosmological arguments. The introductory chapter investigates features essential to cosmological arguments. Traditionally, cosmological arguments are distinguished by their appeal to change, causation, contingency or objective becoming in the world. But none of these is in fact essential to the formulation of cosmological arguments. Chapters 1-3 present a critical discussion of traditional Thomistic, Kalam, and Leibnizian cosmological arguments, noting various advantages and disadvantages of these approaches. Chapter 4 offers an entirely new approach (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Logical Contingency of Identity.Hanoch Ben-Yami - 2018 - European Journal of Analytic Philosophy 14 (2):5-10.
    I show that intuitive and logical considerations do not justify introducing Leibniz’s Law of the Indiscernibility of Identicals in more than a limited form, as applying to atomic formulas. Once this is accepted, it follows that Leibniz’s Law generalises to all formulas of the first-order Predicate Calculus but not to modal formulas. Among other things, identity turns out to be logically contingent.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A note on Barcan formula.Antonio Frias Delgado - 2017 - Journal of Applied Non-Classical Logics 27 (3-4):321-327.
    We present in this note a plea for Barcan formula. This view connects Barcan formula with a modal principle that expresses the -Introduction rule of first-order logic.
    Download  
     
    Export citation  
     
    Bookmark  
  • Logically Impossible Worlds.Koji Tanaka - 2018 - Australasian Journal of Logic 15 (2):489.
    What does it mean for the laws of logic to fail? My task in this paper is to answer this question. I use the resources that Routley/Sylvan developed with his collaborators for the semantics of relevant logics to explain a world where the laws of logic fail. I claim that the non-normal worlds that Routley/Sylvan introduced are exactly such worlds. To disambiguate different kinds of impossible worlds, I call such worlds logically impossible worlds. At a logically impossible world, the laws (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • O expressivismo lógico de Aristóteles segundo Lucas Angioni: um breve e introdutório quadro teórico.Aislan Fernandes Pereira - 2017 - Books of Abstracts (3rd FILOMENA Workshop).
    Download  
     
    Export citation  
     
    Bookmark  
  • Can Modalities Save Naive Set Theory?Peter Fritz, Harvey Lederman, Tiankai Liu & Dana Scott - 2018 - Review of Symbolic Logic 11 (1):21-47.
    To the memory of Prof. Grigori Mints, Stanford UniversityBorn: June 7, 1939, St. Petersburg, RussiaDied: May 29, 2014, Palo Alto, California.
    Download  
     
    Export citation  
     
    Bookmark  
  • Gestalt Shifts in the Liar Or Why KT4M Is the Logic of Semantic Modalities.Susanne Bobzien - 2017 - In Bradley P. Armour-Garb (ed.), Reflections on the Liar. Oxford, England: Oxford University. pp. 71-113.
    ABSTRACT: This chapter offers a revenge-free solution to the liar paradox (at the centre of which is the notion of Gestalt shift) and presents a formal representation of truth in, or for, a natural language like English, which proposes to show both why -- and how -- truth is coherent and how it appears to be incoherent, while preserving classical logic and most principles that some philosophers have taken to be central to the concept of truth and our use of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • An Objection to Naturalism and Atheism from Logic.Christopher Gregory Weaver - 2019 - In Graham Oppy (ed.), A Companion to Atheism and Philosophy. Hoboken: Blackwell. pp. 451-475.
    I proffer a success argument for classical logical consequence. I articulate in what sense that notion of consequence should be regarded as the privileged notion for metaphysical inquiry aimed at uncovering the fundamental nature of the world. Classical logic breeds necessitism. I use necessitism to produce problems for both ontological naturalism and atheism.
    Download  
     
    Export citation  
     
    Bookmark  
  • Ontology of sentential moods.Berislav Žarnić - 2016 - In Brożek Anna, Chybińska Alicja, Grygianiec Mariusz & Tkaczyk Marcin (eds.), Myśli o języku, nauce i wartościach. Seria druga. Profesorowi Jackowi Juliuszowi Jadackiemu w siedemdziesiątą rocznicę urodzin. Warsaw: Semper. pp. 323-339.
    In this paper ontological implications of the Barcan formula and its converse will be discussed at the conceptual and technical level. The thesis that will be defended is that sentential moods are not ontologically neutral since the rejection of ontological implications of Barcan formula and its converse is a condition of a possibility of the imperative mood. The paper is divided into four sections. In the first section a systematization of semantical systems of quantified modal logic is introduced for the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.
    This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)Doxastic Logic.Michael Caie - 2019 - In Richard Pettigrew & Jonathan Weisberg (eds.), The Open Handbook of Formal Epistemology. PhilPapers Foundation. pp. 499-541.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Proving Unprovability.Bruno Whittle - 2017 - Review of Symbolic Logic 10 (1):92–115.
    This paper addresses the question: given some theory T that we accept, is there some natural, generally applicable way of extending T to a theory S that can prove a range of things about what it itself (i.e. S) can prove, including a range of things about what it cannot prove, such as claims to the effect that it cannot prove certain particular sentences (e.g. 0 = 1), or the claim that it is consistent? Typical characterizations of Gödel’s second incompleteness (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reply to Sullivan.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):759-765.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Knowledge means ‘all’, belief means ‘most’.Dimitris Askounis, Costas D. Koutras & Yorgos Zikos - 2016 - Journal of Applied Non-Classical Logics 26 (3):173-192.
    We introduce a bimodal epistemic logic intended to capture knowledge as truth in all epistemically alternative states and belief as a generalised ‘majority’ quantifier, interpreted as truth in most of the epistemically alternative states. This doxastic interpretation is of interest in knowledge-representation applications and it also holds an independent philosophical and technical appeal. The logic comprises an epistemic modal operator, a doxastic modal operator of consistent and complete belief and ‘bridge’ axioms which relate knowledge to belief. To capture the notion (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Why is There Something Rather Than Nothing? A Logical Investigation.Jan Heylen - 2017 - Erkenntnis 82 (3):531-559.
    From Leibniz to Krauss philosophers and scientists have raised the question as to why there is something rather than nothing. Why-questions request a type of explanation and this is often thought to include a deductive component. With classical logic in the background only trivial answers are forthcoming. With free logics in the background, be they of the negative, positive or neutral variety, only question-begging answers are to be expected. The same conclusion is reached for the modal version of the Question, (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Semantic Penumbra: Concept Similarity in Logic.John Woods & Nicholas Griffin - 2012 - Topoi 31 (1):121-134.
    It is widely accepted by formal and informal logicians alike that a formal logic which, by the lights of English, gets the connectives wrong, nevertheless conspires to get entailment right—right that is, modulo English. There is a vexing problem occasioned by this semantic alienation of formal logic. It is next to impossible for formal logic to meet the expectations of realism. What, then, of informal logic?
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Actually, Actually.Seth Yalcin - 2015 - Analysis 75 (2):185-191.
    The view that actually has a reading on which it is a two-dimensional indexical modal operator has some problems.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Strict Identity with No Overlap.Achille C. Varzi - 2006 - Studia Logica 82 (3):371-378.
    It is common lore that standard, Kripke-style semantics for quantified modal logic is incompatible with the view that no individual may belong to more than one possible world, a view that seems to require a counterpart-theoretic semantics instead. Strictly speaking, however, this thought is wrong-headed. This note explains why.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Method of Socratic Proofs for Modal Propositional Logics: K5, S4.2, S4.3, S4F, S4R, S4M and G.Dorota Leszczyńska-Jasion - 2008 - Studia Logica 89 (3):365-399.
    The aim of this paper is to present the method of Socratic proofs for seven modal propositional logics: K5, S4.2, S4.3, S4M, S4F, S4R and G. This work is an extension of [10] where the method was presented for the most common modal propositional logics: K, D, T, KB, K4, S4 and S5.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Proxy “Actualism”.Karen Bennett - 2006 - Philosophical Studies 129 (2):263-294.
    Bernard Linsky and Edward Zalta have recently proposed a new form of actualism. I characterize the general form of their view and the motivations behind it. I argue that it is not quite new – it bears interesting similarities to Alvin Plantinga’s view – and that it definitely isn’t actualist.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Modal Logic for Other-World Agnostics: Neutrality and Halldén Incompleteness.Lloyd Humberstone - 2007 - Journal of Philosophical Logic 36 (1):1-32.
    The logic of 'elsewhere,' i.e., of a sentence operator interpretable as attaching to a formula to yield a formula true at a point in a Kripke model just in case the first formula is true at all other points in the model, has been applied in settings in which the points in question represent spatial positions, as well as in the case in which they represent moments of time. This logic is applied here to the alethic modal case, in which (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Individual Concepts in Modal Predicate Logic.Maria Aloni - 2005 - Journal of Philosophical Logic 34 (1):1-64.
    The article deals with the interpretation of propositional attitudes in the framework of modal predicate logic. The first part discusses the classical puzzles arising from the interplay between propositional attitudes, quantifiers and the notion of identity. After comparing different reactions to these puzzles it argues in favor of an analysis in which evaluations of de re attitudes may vary relative to the ways of identifying objects used in the context of use. The second part of the article gives this analysis (...)
    Download  
     
    Export citation  
     
    Bookmark   33 citations  
  • Being in a Position to Know and Closure.Jan Heylen - 2016 - Thought: A Journal of Philosophy 5 (1):63-67.
    The focus of this article is the question whether the notion of being in a position to know is closed under modus ponens. The question is answered negatively.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • 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 the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Counterfactual theories of knowledge and the notion of actuality.Jan Heylen - 2016 - Philosophical Studies 173 (6):1647-1673.
    The central question of this article is how to combine counterfactual theories of knowledge with the notion of actuality. It is argued that the straightforward combination of these two elements leads to problems, viz. the problem of easy knowledge and the problem of missing knowledge. In other words, there is overgeneration of knowledge and there is undergeneration of knowledge. The combination of these problems cannot be solved by appealing to methods by which beliefs are formed. An alternative solution is put (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations