View topic on PhilPapers for more information
Related categories

52 found
Order:
More results on PhilPapers
1 — 50 / 52
  1. added 2019-03-08
    MacColl’s Modes of Modalities.Fabien Schang - 2011 - Philosophia Scientiae 15:149-188.
    Hugh MacColl is commonly seen as a pioneer of modal and many-valued logic, given his introduction of modalities that go beyond plain truth and falsehood. But a closer examination shows that such a legacy is debatable and should take into account the way in which these modalities proceeded. We argue that, while MacColl devised a modal logic in the broad sense of the word, he did not give rise to a many-valued logic in the strict sense. Rather, his logic is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. added 2019-02-16
    Modal Logic. An Introduction.Zia Movahed - 2002 - Tehran: Hermes Publishers.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   82 citations  
  3. added 2019-02-12
    Swap Structures Semantics for Ivlev-Like Modal Logics.Marcelo E. Coniglio & Ana Claudia Golzio - forthcoming - Soft Computing.
    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 a (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. added 2018-10-27
    The Modal Logic of the Countable Random Frame.Valentin Goranko & Bruce Kapron - 2003 - Archive for Mathematical Logic 42 (3):221-243.
    We study the modal logic M L r of the countable random frame, which is contained in and `approximates' the modal logic of almost sure frame validity, i.e. the logic of those modal principles which are valid with asymptotic probability 1 in a randomly chosen finite frame. We give a sound and complete axiomatization of M L r and show that it is not finitely axiomatizable. Then we describe the finite frames of that logic and show that it has the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  5. added 2018-07-24
    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 models (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. added 2018-04-21
    From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.Valentin Goranko & Alberto Zanardo - 2007 - Logic Journal of the IGPL 15 (1):53-76.
    This paper investigates logical aspects of combining linear orders as semantics for modal and temporal logics, with modalities for possible paths, resulting in a variety of branching time logics over classes of trees. Here we adopt a unified approach to the Priorean, Peircean and Ockhamist semantics for branching time logics, by considering them all as fragments of the latter, obtained as combinations, in various degrees, of languages and semantics for linear time with a modality for possible paths. We then consider (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  7. added 2018-04-21
    Modal Logics for Parallelism, Orthogonality, and Affine Geometries.Philippe Balbiani & Valentin Goranko - 2002 - Journal of Applied Non-Classical Logics 12 (3-4):365-397.
    We introduce and study a variety of modal logics of parallelism, orthogonality, and affine geometries, for which we establish several completeness, decidability and complexity results and state a number of related open, and apparently difficult problems. We also demonstrate that lack of the finite model property of modal logics for sufficiently rich affine or projective geometries (incl. the real affine and projective planes) is a rather common phenomenon.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  8. added 2018-04-21
    Hyperboolean Algebras and Hyperboolean Modal Logic.Valentin Goranko & Dimiter Vakarelov - 1999 - Journal of Applied Non-Classical Logics 9 (2):345-368.
    Hyperboolean algebras are Boolean algebras with operators, constructed as algebras of complexes (or, power structures) of Boolean algebras. They provide an algebraic semantics for a modal logic (called here a {\em hyperboolean modal logic}) with a Kripke semantics accordingly based on frames in which the worlds are elements of Boolean algebras and the relations correspond to the Boolean operations. We introduce the hyperboolean modal logic, give a complete axiomatization of it, and show that it lacks the finite model property. The (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  9. added 2018-04-20
    Strategic Commitment and Release in Logics for Multi-Agent Systems.Thomas Ågotnes, Valentin Goranko & Wojciech Jamroga - manuscript
    In this paper we analyze how the semantics of the Alternating-time Temporal Logic ATL$^*$ deals with agents' commitments to strategies in the process of formula evaluation. In (\acro{atl}$^*$), one can express statements about the strategic ability of an agent (or a coalition of agents) to achieve a goal $\phi$ such as: ``agent $i$ can choose a strategy such that, if $i$ follows this strategy then, no matter what other agents do, $\phi$ will always be true''. However, strategies in \acro{atl} are (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. added 2018-04-20
    Algorithmic Correspondence and Completeness in Modal Logic. V. Recursive Extensions of SQEMA.Willem Conradie, Valentin Goranko & Dimitar Vakarelov - 2010 - Journal of Applied Logic 8 (4):319-333.
    The previously introduced algorithm \sqema\ computes first-order frame equivalents for modal formulae and also proves their canonicity. Here we extend \sqema\ with an additional rule based on a recursive version of Ackermann's lemma, which enables the algorithm to compute local frame equivalents of modal formulae in the extension of first-order logic with monadic least fixed-points \mffo. This computation operates by transforming input formulae into locally frame equivalent ones in the pure fragment of the hybrid mu-calculus. In particular, we prove that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. added 2018-04-20
    Algorithmic Correspondence and Completeness in Modal Logic. IV. Semantic Extensions of SQEMA.Willem Conradie & Valentin Goranko - 2008 - Journal of Applied Non-Classical Logics 18 (2-3):175-211.
    In a previous work we introduced the algorithm \SQEMA\ for computing first-order equivalents and proving canonicity of modal formulae, and thus established a very general correspondence and canonical completeness result. \SQEMA\ is based on transformation rules, the most important of which employs a modal version of a result by Ackermann that enables elimination of an existentially quantified predicate variable in a formula, provided a certain negative polarity condition on that variable is satisfied. In this paper we develop several extensions of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  12. added 2018-04-20
    Elementary Canonical Formulae: Extending Sahlqvist’s Theorem.Valentin Goranko & Dimiter Vakarelov - 2006 - Annals of Pure and Applied Logic 141 (1):180-217.
    We generalize and extend the class of Sahlqvist formulae in arbitrary polyadic modal languages, to the class of so called inductive formulae. To introduce them we use a representation of modal polyadic languages in a combinatorial style and thus, in particular, develop what we believe to be a better syntactic approach to elementary canonical formulae altogether. By generalizing the method of minimal valuations à la Sahlqvist–van Benthem and the topological approach of Sambin and Vaccaro we prove that all inductive formulae (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   13 citations  
  13. added 2018-04-20
    Elementary Canonical Formulae: A Survey on Syntactic, Algorithmic, and Modeltheoretic Aspects.W. Conradie, V. Goranko & D. Vakarelov - 2005 - In Renate Schmidt, Ian Pratt-Hartmann, Mark Reynolds & Heinrich Wansing (eds.), Advances in Modal Logic, Volume 5. Kings College London Publ.. pp. 17-51.
    In terms of validity in Kripke frames, a modal formula expresses a universal monadic second-order condition. Those modal formulae which are equivalent to first-order conditions are called elementary. Modal formulae which have a certain persistence property which implies their validity in all canonical frames of modal logics axiomatized with them, and therefore their completeness, are called canonical. This is a survey of a recent and ongoing study of the class of elementary and canonical modal formulae. We summarize main ideas and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. added 2018-04-20
    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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. added 2018-04-20
    Modal Definability in Enriched Languages.Valentin Goranko - 1989 - Notre Dame Journal of Formal Logic 31 (1):81-105.
    The paper deals with polymodal languages combined with standard semantics defined by means of some conditions on the frames. So, a notion of "polymodal base" arises which provides various enrichments of the classical modal language. One of these enrichments, viz. the base £(R,-R), with modalities over a relation and over its complement, is the paper's main paradigm. The modal definability (in the spirit of van Benthem's correspondence theory) of arbitrary and ~-elementary classes of frames in this base and in some (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  16. added 2018-03-20
    Updating Data Semantics.Anthony S. Gillies - forthcoming - Mind:fzy008.
    This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing language like \expression{maybe} and \expression{if} interact: they (surprisingly) iterate and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox and that resolving that opens the door to a solution to the puzzle. And third, to explore the reach of that solution (it turns out to do work in unexpected places). Along the way, the paper highlights a number (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  17. added 2018-02-17
    On Conceiving the Inconsistent.Francesco Berto - 2014 - Proceedings of the Aristotelian Society 114 (1pt1):103-121.
    I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  18. added 2018-02-17
    Pietroski on Possible Worlds Semantics for Belief Sentences.Joe Lau - 1995 - Analysis 55 (4):295.
    Pietroski (1993) offers a semantics for belief sentences that is supposed to address the problem of equivalence. This paper argues that his proposal fails to solve the problem.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  19. added 2018-01-11
    A Purely Recombinatorial Puzzle.Fritz Peter - 2017 - Noûs 51 (3):547-564.
    A new puzzle of modal recombination is presented which relies purely on resources of first-order modal logic. It shows that naive recombinatorial reasoning, which has previously been shown to be inconsistent with various assumptions concerning propositions, sets and classes, leads to inconsistency by itself. The context sensitivity of modal expressions is suggested as the source of the puzzle, and it is argued that it gives us reason to reconsider the assumption that the notion of metaphysical necessity is in good standing.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. added 2017-11-11
    Modelling Belief Revision Via Belief Bases Using Situation Semantics.Ayse Sena Bozdag - 2017 - Dissertation, Bogazici University
    The belief base approach to belief representation and belief dynamics is developed as an alternative to the belief set approaches, which are pioneered by the AGM model. The belief base approach models collections of information and expectations of an agent as possibly incomplete and possibly inconsistent foundations for her beliefs. Nevertheless, the beliefs of an agent are always consistent; this is ensured by a sophisticated inference relation. Belief changes take place on the information base instead of on the belief set, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  21. added 2017-10-06
    La Connaissance Commune: Une Sémantique Pour la Logique Modale.L. Lismont & P. Mongin - 1993 - Logique Et Analyse 133 (134):133-149.
    This French paper is a prelimary report on the authors' work on the logics of common knowledge and common belief. See L. Lismont and P. Mongin, "On the logic of common belief and common knowledge", Theory and Decision 37 (1): 75-106. 1994 for a more complete report.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  22. added 2017-09-12
    Making Sense of Paraconsistent Logic: The Nature of Logic, Classical Logic and Paraconsistent Logic.Koji Tanaka - 2013 - In Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.), Paraconsistency: Logic and Applications. Springer. pp. 15--25.
    Max Cresswell and Hilary Putnam seem to hold the view, often shared by classical logicians, that paraconsistent logic has not been made sense of, despite its well-developed mathematics. In this paper, I examine the nature of logic in order to understand what it means to make sense of logic. I then show that, just as one can make sense of non-normal modal logics (as Cresswell demonstrates), we can make `sense' of paraconsistent logic. Finally, I turn the tables on classical logicians (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  23. added 2017-07-15
    Modal Logic S4 as a Paraconsistent Logic with a Topological Semantics.Marcelo E. Coniglio & Leonardo Prieto-Sanabria - 2017 - In Carlos Caleiro, Francisco Dionisio, Paula Gouveia, Paulo Mateus & João Rasga (eds.), Logic and Computation: Essays in Honour of Amilcar Sernadas. London, UK: College Publications. pp. 171-196.
    In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a nice topological interpretation. This constitutes a new proof of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  24. added 2017-07-01
    Chalmers, semantiikka ja välttämättömyys.Panu Raatikainen - 2016 - In Mahdollisuus. Helsinki: Suomen Filosofinen Yhdistys.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  25. added 2017-02-07
    The Ontology of Impossible Worlds.David A. Vander Laan - 1997 - Notre Dame Journal of Formal Logic 38 (4):597-620.
    The best arguments for possible worlds as states of affairs furnish us with equally good arguments for impossible worlds of the same sort. I argue for a theory of impossible worlds on which the impossible worlds correspond to maximal inconsistent classes of propositions. Three objections are rejected. In the final part of the paper, I present a menu of impossible worlds and explore some of their interesting formal properties.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  26. added 2017-01-23
    Possible Worlds for Modal Primitivists.Louis deRosset - 2014 - Journal of Philosophical Logic 43 (1):109-131.
    Among the most remarkable developments in metaphysics since the 1950’s is the explosion of philosophical interest in possible worlds. This paper proposes an explanation of what possible worlds are, and argues that this proposal, the interpreted models conception, should be attractive to anyone who thinks that modal facts are primitive, and so not to be explained in terms of some non-modal notion of “possible world.” I articulate three constraints on any acceptable primitivist explanation of the nature of possible worlds, and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  27. added 2017-01-20
    Non-Catastrophic Presupposition Failure.Stephen Yablo - 2006 - In Judith Jarvis Thomson & Alex Byrne (eds.), Content and Modality: Themes From the Philosophy of Robert Stalnaker. Oxford University Press.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   18 citations  
  28. added 2016-12-08
    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.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  29. added 2016-10-20
    Vagueness and Modality.Jon Erling Litland & Juhani Yli-Vakkuri - 2016 - Philosophical Perspectives 30 (1):1-39.
    How does vagueness interact with metaphysical modality and with restrictions of it, such as nomological modality? In particular, how do definiteness, necessity (understood as restricted in some way or not), and actuality interact? This paper proposes a model-theoretic framework for investigating the logic and semantics of that interaction. The framework is put forward in an ecumenical spirit: it is intended to be applicable to all theories of vagueness that express vagueness using a definiteness (or: determinacy) operator. We will show how (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  30. added 2016-09-27
    Williamson on Modality.Juhani Yli-Vakkuri & Mark McCullagh - 2016 - Canadian Journal of Philosophy 46 (4-5):453-851.
    This special issue of the Canadian Journal of Philosophy is dedicated to Timothy Williamson's work on modality. It consists of a new paper by Williamson followed by papers on Williamson's work on modality, with each followed by a reply by Williamson. -/- Contributors: Andrew Bacon, Kit Fine, Peter Fritz, Jeremy Goodman, John Hawthorne, Øystein Linnebo, Ted Sider, Robert Stalnaker, Meghan Sullivan, Gabriel Uzquiano, Barbara Vetter, Timothy Williamson, Juhani Yli-Vakkuri.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
  31. added 2016-09-21
    Reply to Stalnaker.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):727-734.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  32. added 2016-09-21
    Reply to Fritz.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):610-612.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  33. added 2016-09-21
    Epistemicism and Modality.Juhani Yli-Vakkuri - 2016 - Canadian Journal of Philosophy 46 (4-5):803-835.
    What kind of semantics should someone who accepts the epistemicist theory of vagueness defended in Timothy Williamson’s Vagueness (1994) give a definiteness operator? To impose some interesting constraints on acceptable answers to this question, I will assume that the object language also contains a metaphysical necessity operator and a metaphysical actuality operator. I will suggest that the answer is to be found by working within a three-dimensional model theory. I will provide sketches of two ways of extracting an epistemicist semantics (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   4 citations  
  34. added 2016-09-21
    Reply to Yli-Vakkuri.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):839-851.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  35. added 2016-09-21
    Reply to Goodman.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):640-653.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  36. added 2016-09-21
    Reply to Bacon, Hawthorne and Uzquiano.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):542-547.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  37. added 2016-09-01
    The Ontological Commitments of Logical Theories.Manuel García-Carpintero & M. Pérez Otero - 1999 - European Review of Philosophy 4:157-182.
    This paper is partly inspired by a well-known debate between Ruth Barcan Marcus, Terence Parsons and W. V. 0. Quine in the sixties> concerning the extent to which Quantified Modal Logic is committed to Essentialism; the issue nevertheless goes back to the origins of "analytic philosophy'', to the reflections of Frege, Russell, and the earlier Wittgenstein on the nature of logic. By elaborating on a suggestion by Quine, we purport to show that there is a relevant and interesting way to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  38. added 2016-06-16
    Perspectival Logic of Acceptance and Rejection.Alessandro Giordani - 2017 - Logique and Analyse:265-283.
    This paper aims at developing a logical theory of perspectival epistemic attitudes. After presenting a standard framework for modeling acceptance, where the epistemic space of an agent coincides with a unique epistemic cell, more complex systems are introduced, which are characterized by the existence of many connected epistemic cells, and different possible attitudes towards a proposition, both positive and negative, are discussed. In doing that, we also propose some interesting ways in which the systems can be interpreted on well known (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  39. added 2016-06-16
    Basic Action Deontic Logic.Alessandro Giordani & Ilaria Canavotto - 2016 - In O. Roy, T. Allard & W. Malte (eds.), Deontic Logic and Normative Systems. College Publications. pp. 80-92.
    The aim of this paper is to introduce a system of dynamic deontic logic in which the main problems related to the de finition of deontic concepts, especially those emerging from a standard analysis of permission in terms of possibility of doing an action without incurring in a violation of the law, are solved. The basic idea is to introduce two crucial distinctions allowing us to differentiate (i) what is ideal with respect to a given code, which fixes the types (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. added 2016-04-20
    Between the Actual and the Trivial World.Maciej Sendłak - 2016 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 23 (2):162-176.
    The subject of this paper is the notion of similarity between the actual and impossible worlds. Many believe that this notion is governed by two rules. Ac-cording to the first rule, every non-trivial world is more similar to the actual world than the trivial world is. The second rule states that every possible world is more similar to the actual world than any impossible world is. The aim of this paper is to challenge both of these rules. We argue that (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  41. added 2016-02-29
    Polynomial Ring Calculus for Modal Logics: A New Semantics and Proof Method for Modalities.Juan C. Agudelo & Walter Carnielli - 2011 - Review of Symbolic Logic 4 (1):150-170.
    A new (sound and complete) proof style adequate for modal logics is defined from the polynomial ring calculus (PRC). The new semantics not only expresses truth conditions of modal formulas by means of polynomials, but also permits to perform deductions through polynomial handling. This paper also investigates relationships among the PRC here defined, the algebraic semantics for modal logics, equational logics, the Dijkstra–Scholten equational-proof style, and rewriting systems. The method proposed is throughly exemplified for S5, and can be easily extended (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  42. added 2014-04-01
    Truth and Collective Truth.Gilbert Plumer - 1996 - Dialectica 50 (1):3-24.
    The paper argues for the applicability of the notion of collective truth as opposed to distributive truth, that is, truth at times or possibilia taken in groups rather than individually. The underlying reasoning is that there are transtemporal and transworld relationships, e.g., those involving the relations of <being a descendant of> and <thinking about>. Relationships are (one type of) truth-makers. Hence, there are transtemporal and transworld truth-makers. Therefore, there is transtemporal and transworld truth, i.e., collective truth. A semantics is developed (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  43. added 2014-03-30
    Possible Worlds Semantics and the Liar: Reflections on a Problem Posed by Kaplan.Sten Lindström - 2009 - In Joseph Almog & Paolo Leonardi (eds.), The Philosophy of David Kaplan. Oxford University Press.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  44. added 2013-06-01
    Quantificational Logic and Empty Names.Andrew Bacon - 2013 - Philosophers' Imprint 13.
    The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  45. added 2013-02-11
    A New Semantics for Systems of Logic of Essence.Alessandro Giordani - 2014 - Studia Logica 102 (3):411-440.
    The purpose of the present paper is to provide a way of understanding systems of logic of essence by introducing a new semantic framework for them. Three central results are achieved: first, the now standard Fitting semantics for the propositional logic of evidence is adapted in order to provide a new, simplified semantics for the propositional logic of essence; secondly, we show how it is possible to construe the concept of necessary truth explicitly by using the concept of essential truth; (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  46. added 2012-10-23
    McKinsey Algebras and Topological Models of S4.1.Thomas Mormann - manuscript
    The aim of this paper is to show that every topological space gives rise to a wealth of topological models of the modal logic S4.1. The construction of these models is based on the fact that every space defines a Boolean closure algebra (to be called a McKinsey algebra) that neatly reflects the structure of the modal system S4.1. It is shown that the class of topological models based on McKinsey algebras contains a canonical model that can be used to (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  47. added 2012-01-04
    Can Counterfactuals Really Be About Possible Worlds?Stephen Barker - 2011 - Noûs 45 (3):557-576.
    The standard view about counterfactuals is that a counterfactual (A > C) is true if and only if the A-worlds most similar to the actual world @ are C-worlds. I argue that the worlds conception of counterfactuals is wrong. I assume that counterfactuals have non-trivial truth-values under physical determinism. I show that the possible-worlds approach cannot explain many embeddings of the form (P > (Q > R)), which intuitively are perfectly assertable, and which must be true if the contingent falsity (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  48. added 2012-01-04
    The Epistemic Inadequacy of Ersatzer Possible World Semantics.Michael J. Shaffer & Jeremy Morris - 2010 - Logique Et Analyse 53:61-76.
    In this paper it is argued that the conjunction of linguistic ersatzism, the ontologically deflationary view that possible worlds are maximal and consistent sets of sentences, and possible world semantics, the view that the meaning of a sentence is the set of possible worlds at which it is true, implies that no actual speaker can effectively use virtually any language to successfully communicate information. This result is based on complexity issues that relate to our finite computational ability to deal with (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  49. added 2012-01-04
    A Paradox for Possible World Semantics.Michael J. Shaffer & Jeremy Morris - 2006 - Logique Et Analyse 49 (195):307-317.
    The development of possible worlds semantics for modal claims has led to a more general application of that theory as a complete semantics for various formal and natural languages, and this view is widely held to be an adequate (philosophical) interpretation of the model theory for such languages. We argue here that this view generates a self-referential inconsistency that indicates either the falsity or the incompleteness of PWS.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  50. added 2012-01-04
    Quine's Interpretation Problem and the Early Development of Possible Worlds Semantics.Sten Lindström - 2001 - In Ondrey Majer (ed.), The Logica Yearbook 2000. Filosofia.
    In this paper, I shall consider the challenge that Quine posed in 1947 to the advocates of quantified modal logic to provide an explanation, or interpretation, of modal notions that is intuitively clear, allows “quantifying in”, and does not presuppose, mysterious, intensional entities. The modal concepts that Quine and his contemporaries, e.g. Carnap and Ruth Barcan Marcus, were primarily concerned with in the 1940’s were the notions of (broadly) logical, or analytical, necessity and possibility, rather than the metaphysical modalities that (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   3 citations  
1 — 50 / 52