Switch to: References

Add citations

You must login to add citations.
  1. Safety, the Preface Paradox and Possible Worlds Semantics.Michael J. Shaffer - 2019 - Axiomathes 29 (4):347-361.
    This paper contains an argument to the effect that possible worlds semantics renders semantic knowledge impossible, no matter what ontological interpretation is given to possible worlds. The essential contention made is that possible worlds semantic knowledge is unsafe and this is shown by a parallel with the preface paradox.
    Download  
     
    Export citation  
     
    Bookmark  
  • Impossibility and Impossible Worlds.Daniel Nolan - forthcoming - In Otavio Bueno & Scott Shalkowski (eds.), The Routledge Handbook of Modality. New York, USA: Routledge Press.
    Download  
     
    Export citation  
     
    Bookmark  
  • Relativized Metaphysical Modality: Index and Context.Benj Hellie, Adam Russell Murray & Jessica Wilson - forthcoming - In Otávio Bueno & Scott Shalkowski (eds.), The Routledge Handbook of Modality. New York: Routledge.
    Relativized Metaphysical Modality (RMM: Murray and Wilson, 'Relativized metaphysical modality', Oxford Studies in Metaphysics, 2012; Murray, Perspectives on Modal Metaphysics, 2017) exploits 'two-dimensionalist' resources to metaphysical, rather than epistemological, ends: the second dimension offers perspective-dependence without contingency, diverting attacks on 'Classical' analyses of modals (in effect, analyses validating S5 and the Barcan Formulae). Here, we extend the RMM program in two directions. First, we harvest resources for RMM from Lewis's 1980 'Context--Index' (CI) framework: (a) the ban in CI on binding (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Validity and Necessity.Roberta Ballarin - 2005 - Journal of Philosophical Logic 34 (3):275-303.
    In this paper I argue against the commonly received view that Kripke's formal Possible World Semantics (PWS) reflects the adoption of a metaphysical interpretation of the modal operators. I consider in detail Kripke's three main innovations vis-à-vis Carnap's PWS: a new view of the worlds, variable domains of quantification, and the adoption of a notion of universal validity. I argue that all these changes are driven by the natural technical development of the model theory and its related notion of validity: (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Kripke Completeness Revisited.Sara Negri - 2009 - In Giuseppe Primiero (ed.), Acts of Knowledge: History, Philosophy and Logic. College Publications. pp. 233--266.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Philosophie des modalités épistémiques (la logique assertorique revisitée).Fabien Schang - 2007 - Dissertation, Nancy Université
    The relevance of any logical analysis lies in its ability to solve paradoxes and trace conceptual troubles back; with this respect, the task of epistemic logic is to handle paradoxes in connection with the concept of knowledge. Epistemic logic is currently introduced as the logical analysis of crucial concepts within epistemology, namely: knowledge, belief, truth, and justification. An alternative approach will be advanced here in order to enlighten such a discourse, as centred upon the word assertion and displayed in terms (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  • Possible Worlds Semantics.Daniel Nolan - 2012 - In Gillian Russell & Delia Fara (eds.), The Routledge Companion to Philosophy of Language. New York, USA: Routledge Press. pp. 242-252.
    This chapter provides an introduction to possible worlds semantics in both logic and the philosophy of language, including a discussion of some of the advantages and challenges for possible worlds semantics.
    Download  
     
    Export citation  
     
    Bookmark  
  • Possible-Worlds Semantics for Modal Notions Conceived as Predicates.Volker Halbach, Hannes Leitgeb & Philip Welch - 2003 - Journal of Philosophical Logic 32 (2):179-223.
    If □ is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where □ is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for predicates of (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Hegel, Modal Logic, and the Social Nature of Mind.Paul Redding - 2018 - Inquiry: An Interdisciplinary Journal of Philosophy 62 (5):586-606.
    ABSTRACTHegel's Phenomenology of Spirit provides a fascinating picture of individual minds caught up in “recognitive” relations so as to constitute a realm—“spirit”—which, while necessarily embedded in nature, is not reducible to it. In this essay I suggest a contemporary path for developing Hegel's suggestive ideas in a way that broadly conforms to the demands of his own system, such that one moves from logic to a philosophy of mind. Hence I draw on Hegel's “subjective logic”, understood in the light of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Findlay’s Hegel: Idealism as Modal Actualism.Paul Redding - 2017 - Critical Horizons 18 (4):359-377.
    Here, I suggest a hitherto relatively unexplored way beyond the opposed Aristotelian realist and Kantian idealist approaches that divide recent interpretations of the categories or “thought determinations” of Hegel’s Logic, by locating his idealism within the terrain of recent debates in modal metaphysics. In particular, I return to the outlook of the first philosopher to attempt to bring Hegel into the analytic conversation, John Niemeyer Findlay, and consider Hegel’s idealism as instantiating the metaphysical position that, following the work of Findlay’s (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Separation Logics and Modalities: A Survey.Stéphane Demri & Morgan Deters - 2015 - Journal of Applied Non-Classical Logics 25 (1):50-99.
    Like modal logic, temporal logic, and description logic, separation logic has become a popular class of logical formalisms in computer science, conceived as assertion languages for Hoare-style proof systems with the goal to perform automatic program analysis. In a broad sense, separation logic is often understood as a programming language, an assertion language and a family of rules involving Hoare triples. In this survey, we present similarities between separation logic as an assertion language and modal and temporal logics. Moreover, we (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • C. I. Lewis on Possible Worlds.Igor Sedlar - 2009 - History and Philosophy of Logic 30 (3):283-291.
    This article opposes a view widely accepted in studies concerning the history of modal logic, according to which (i) the approach of C. I. Lewis towards constructing modern modal logic was purely syntactical (i.e. limited to the construction of axiomatic systems S1-S5 of propositional modal logic), and (ii) the notion of a possible world was incorporated into modern logic and philosophy mainly by authors such as Rudolf Carnap and Saul Kripke. The article presents Lewis' definition of a possible world, and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Proof Theory for Modal Logic.Sara Negri - 2011 - Philosophy Compass 6 (8):523-538.
    The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Mathematical Modal Logic: A View of its Evolution.Robert Goldblatt - 2003 - Journal of Applied Logic 1 (5-6):309-392.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Hegel’s Treatment of Predication Considered in the Light of a Logic for the Actual World.Paul Redding - 2019 - Hegel Bulletin 40 (1):51-73.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Genesis of Hi-Worlds: Towards a Principle-Based Possible World Semantics.Cheng-Chih Tsai - 2012 - Erkenntnis 76 (1):101-114.
    A Leibnizian semantics proposed by Becker in 1952 for the modal operators has recently been reviewed in Copeland’s paper The Genesis of Possible World Semantics (Copeland in J Philos Logic 31:99–137, 2002 ), with a remark that “neither the binary relation nor the idea of proving completeness was present in Becker’s work”. In light of Frege’s celebrated Sense-Determines-Reference principle, we find, however, that it is Becker’s semantics, rather than Kripke’s semantics, that has captured the true spirit of Frege’s semantic program. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Pure Semantics and Applied Semantics.B. J. Copeland - 1983 - Topoi 2 (2):197-204.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Time and Determinism.Thomas Müller - 2015 - Journal of Philosophical Logic 44 (6):729-740.
    This paper gives an overview of logico-philosophical issues of time and determinism. After a brief review of historical roots and 20th century developments, three current research areas are discussed: the definition of determinism, space-time indeterminism, and the temporality of individual things and their possibilities.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Letter on the Present State of Affairs.Thomas Müller & Niko Strobach - 2012 - Synthese 188 (3):469-485.
    The paper re-evaluates Prior's tenets about indeterminism and relativity from the point of view of the current state of the debate. We first discuss Prior's claims about indeterministic tense logic and about relativity separately and confront them with new technical developments. Then we combine the two topics in a discussion of indeterministic approaches to space-time logics. Finally we show why Prior would not have to "dig his heels in" when it comes to relativity: We point out a way of combining (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Meredith, Prior, and the History of Possible Worlds Semantics.B. Jack Copeland - 2006 - Synthese 150 (3):373-397.
    This paper charts some early history of the possible worlds semantics for modal logic, starting with the pioneering work of Prior and Meredith. The contributions of Geach, Hintikka, Kanger, Kripke, Montague, and Smiley are also discussed.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Prior, Translational Semantics, and the Barcan Formula.B. Copeland - 2016 - Synthese 193 (11):3507-3519.
    The revolution in semantics in the late 1960s and 1970s overturned an earlier competing paradigm, ‘translational’ semantics. I revive and defend Prior’s translational semantics for modals and tense-modals. I also show how to extend Prior’s propositional modal semantics to quantificational modal logic, and use the resulting semantics to formalize Prior’s own counterexample to the Barcan Formula.
    Download  
     
    Export citation  
     
    Bookmark  
  • A Proof-Theoretic View of Necessity.Reinhard Kahle - 2006 - Synthese 148 (3):659-673.
    We give a reading of binary necessity statements of the form “ϕ is necessary for ψ” in terms of proofs. This reading is based on the idea of interpreting such statements as “Every proof of ψ uses ϕ”.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Functional and Structural Integration Without Competence Overstepping in Structured Semantic Knowledge Base System.Marek Krótkiewicz & Krystian Wojtkiewicz - 2014 - Journal of Logic, Language and Information 23 (3):331-345.
    Logic, language and information integration is one of areas broadly explored nowadays and at the same time promising. Authors use that approach in their 8 years long research into Structured Semantic Knowledge Base System. The aim of this paper is to present authors idea of system capable of generating synergy effect while storing various type of information. The key assumption, which has been adopted, is the thesis that the attempt to find universal way of the reality description is very inefficient (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Possible Worlds in Use.Andrzej Indrzejczak - 2011 - Studia Logica 99 (1-3):229-248.
    The paper is a brief survey of the most important semantic constructions founded on the concept of possible world. It is impossible to capture in one short paper the whole variety of the problems connected with manifold applications of possible worlds. Hence, after a brief explanation of some philosophical matters I take a look at possible worlds from rather technical standpoint of logic and focus on the applications in formal semantics. In particular, I would like to focus on the fruitful (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Possible Worlds in “The Craft of Formal Logic”.Aneta Markoska-Cubrinovska - 2016 - Synthese 193 (11).
    “The Craft of Formal Logic” is Arthur Prior’s unpublished textbook, written in 1950–51, in which he developed a theory of modality as quantification over possible worlds-like objects. This theory predates most of the prominent pioneering texts in possible worlds semantics and anticipates the significance of its basic concept in modal logic. Prior explicitly defines modal operators as quantifiers of ‘entities’ with modal character. Although he talks about these ‘entities’ only informally, and hesitates how to name them, using alternately the phrases (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Pedagogy as a Framework for a Proper Dialogue Between Science and Literature.Arto Mutanen - 2016 - Philosophia 44 (1):167-180.
    An aim of science is to find truths about reality. These truths are collected together to form systematic knowledge structures called theories. Theories are intended to create a truthful picture of the reality behind the study. Together with all the other fields of science we get a scientific picture or a world view. This scientific world view is open in the sense that not all truths are known by scientists and not all present day theories are true. So, there is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Peirce’s Contributions to Possible-Worlds Semantics.Ahti-Veikko Pietarinen - 2006 - Studia Logica 82 (3):345 - 369.
    A century ago, Charles S. Peirce proposed a logical approach to modalities that came close to possible-worlds semantics. This paper investigates his views on modalities through his diagrammatic logic of Existential Graphs (EGs). The contribution of the gamma part of EGs to the study of modalities is examined. Some ramifications of Peirce’s remarks are presented and placed into a contemporary perspective. An appendix is included that provides a transcription with commentary of Peirce’s unpublished manuscript on modality from 1901.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Hegel’s Subjective Logic as a Logic for Philosophy of Mind.Paul Redding - 2018 - Hegel Bulletin 39 (1):1-22.
    Download  
     
    Export citation  
     
    Bookmark  
  • Peirce’s Contributions to Possible-Worlds Semantics.Ahti-Veikko Pietarinen - 2006 - Studia Logica 82 (3):345-369.
    A century ago, Charles S. Peirce proposed a logical approach to modalities that came close to possible-worlds semantics. This paper investigates his views on modalities through his diagrammatic logic of Existential Graphs. The contribution of the GAMMA part of EGs to the study of modalities is examined. Some ramifications of Peirce's remarks are presented and placed into a contemporary perspective. An appendix is included that provides a transcription with commentary of Peirce's unpublished manuscript on modality from 1901.
    Download  
     
    Export citation  
     
    Bookmark   7 citations