Switch to: References

Citations of:

Modality and Quantification

Theoria 27 (3):119-128 (1961)

Add citations

You must login to add citations.
  1. First-Order Modal Logic.Melvin Fitting & Richard L. Mendelsohn - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.
    This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.
    Download  
     
    Export citation  
     
    Bookmark   83 citations  
  • An exposition and development of Kanger's early semantics for modal logic.Sten Lindström - 1998 - In J. H. Fetzer & P. Humphreys (eds.), The New Theory of Reference: Kripke, Marcus, and its origins. Dordrecht, Netherland: Kluwer Academic Publishers.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • A history of theoria.Sven Ove Hansson - 2009 - Theoria 75 (1):2-27.
    Theoria , the international Swedish philosophy journal, was founded in 1935. Its contributors in the first 75 years include the major Swedish philosophers from this period and in addition a long list of international philosophers, including A. J. Ayer, C. D. Broad, Ernst Cassirer, Hector Neri Castañeda, Arthur C. Danto, Donald Davidson, Nelson Goodman, R. M. Hare, Carl G. Hempel, Jaakko Hintikka, Saul Kripke, Henry E. Kyburg, Keith Lehrer, Isaac Levi, David Lewis, Gerald MacCallum, Richard Montague, Otto Neurath, Arthur N. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The worlds of fiction and the worlds of science: A comparative study.Veikko Rantala & Liselotte Wiesenthal - 1989 - Synthese 78 (1):53 - 86.
    Download  
     
    Export citation  
     
    Bookmark  
  • Metaphysics of Ersatzism about Possible Worlds.Lenart Karol - 2023 - Dissertation, Jagiellonian University
    According to actualism about possible worlds everything that exists is actual. Possible worlds and individuals are actually existing abstract parts of the actual world. Aristotelian actualism is a view that there are only actual individuals but no possible ones, nor their individual abstract representatives. Because of that, our actualist account of modality should differ depending on whether it concerns actual individuals or possible ones. The main goal of the dissertation is to develop a metaphysical framework for Aristotelian actualism. Chapter 1 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Pure Logic and Higher-order Metaphysics.Christopher Menzel - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
    W. V. Quine famously defended two theses that have fallen rather dramatically out of fashion. The first is that intensions are “creatures of darkness” that ultimately have no place in respectable philosophical circles, owing primarily to their lack of rigorous identity conditions. However, although he was thoroughly familiar with Carnap’s foundational studies in what would become known as possible world semantics, it likely wouldn’t yet have been apparent to Quine that he was fighting a losing battle against intensions, due in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • No fact of the middle.Justin Khoo - 2021 - Noûs 56 (4):1000-1022.
    A middle fact is a true proposition about what would have happened had A been true (where A is in fact false), whose truth isn't entailed by any non-counterfactual facts. I argue that there are no middle facts; if there were, we wouldn't know them, and our ignorance of them would result in ignorance about whether regret is fitting in cases where we clearly know it is. But there's a problem. Consider an unflipped fair coin which is such that no (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A logic for factive ignorance.Ekaterina Kubyshkina & Mattia Petrolo - 2019 - Synthese 198 (6):5917-5928.
    In the current debate there are two epistemological approaches to the definition of ignorance: the Standard View and the New View. The former defines ignorance simply as not knowing, while the latter defines it as the absence of true belief. One of the main differences between these two positions lies in rejecting (Standard View) or in accepting (New View) the factivity of ignorance, i.e., if an agent is ignorant of φ, then φ is true. In the present article, we first (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Composition and Identities.Manuel Lechthaler - 2017 - Dissertation, University of Otago
    Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Why Stephen Hawking’s Cosmology Precludes a Creator.Quentin Smith - 1998 - Philo 1 (1):75-93.
    Atheists have tacitly conceded the field to theists in the area of philosophical cosmology, specifically, in the enterprise of explaining why the universe exists. The theistic hypothesis is that the reason the universe exists lies in God’s creative choice, but atheists have not proposed any reason why the universe exists. I argue that quantum cosmology proposes such an atheistic reason, namely, that the universe exists because it has an unconditional probability of existing based on a functional law of nature. This (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On the ontology of modal logic. The metaphysical reform of Kripke - Brief semantics manual.Jesús Baceta - 2018 - Apuntes Filosóficos 27 (53):7-33.
    The ontological assumptions of the modal logic of Saul Kripke are analyzed. Answers to the questions are given: What are the modalities? What is thesemantic problem that Kripke faced? How was it resolved? How a substitution oflogic reforms the ontological analyzes? This paper is also intended to be anintroduction to the semantics of Kripke's propositional modal logic.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Metaphysics of Propositions.Jeffrey C. King - 2017 - Oxford Handbooks Online.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Complex probability expressions & higher-order uncertainty: Compositional semantics, probabilistic pragmatics & experimental data.Michele Herbstritt & Michael Franke - 2019 - Cognition 186 (C):50-71.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Doxastic logic: a new approach.Daniel Rönnedal - 2018 - Journal of Applied Non-Classical Logics 28 (4):313-347.
    In this paper, I develop a new set of doxastic logical systems and I show how they can be used to solve several well-known problems in doxastic logic, for example the so-called problem of logical omniscience. According to this puzzle, the notions of knowledge and belief that are used in ordinary epistemic and doxastic symbolic systems are too idealised. Hence, those systems cannot be used to model ordinary human or human-like agents' beliefs. At best, they can describe idealised individuals. The (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The right to believe truth paradoxes of moral regret for no belief and the role(s) of logic in philosophy of religion.Billy Joe Lucas - 2012 - International Journal for Philosophy of Religion 72 (2):115-138.
    I offer you some theories of intellectual obligations and rights (virtue Ethics): initially, RBT (a Right to Believe Truth, if something is true it follows one has a right to believe it), and, NDSM (one has no right to believe a contradiction, i.e., No right to commit Doxastic Self-Mutilation). Evidence for both below. Anthropology, Psychology, computer software, Sociology, and the neurosciences prove things about human beliefs, and History, Economics, and comparative law can provide evidence of value about theories of rights. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Basic modal logic.John L. Pollock - 1967 - Journal of Symbolic Logic 32 (3):355-365.
    As anyone who is familiar with the literature knows, there is a great deal of controversy concerning which, if any, of the extant theories of propositional modal logic correctly formalizes the logic of certain logical concepts such as analyticity and logical necessity. Most of the controversy concerns certain principles that involve iterated modalities (where one modal operator occurs within the scope of another). For example, there is considerable disagreement about whether the principle(□p⊃□□p)should be considered valid. However, when philosophers and logiciansapplymodal (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A guide to completeness and complexity for modal logics of knowledge and belief.Joseph Y. Halpern & Yoram Moses - 1992 - Artificial Intelligence 54 (3):319-379.
    Download  
     
    Export citation  
     
    Bookmark   111 citations  
  • Extensional interpretations of modal logics.M. H. Löb - 1966 - Journal of Symbolic Logic 31 (1):23-45.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Jaakko Hintikka 1929–2015.Jouko Väänänen - 2015 - Bulletin of Symbolic Logic 21 (4):431-436.
    Download  
     
    Export citation  
     
    Bookmark  
  • Worlds, Models and Descriptions.John F. Sowa - 2006 - Studia Logica 84 (2):323-360.
    Since the pioneering work by Kripke and Montague, the term possible world has appeared in most theories of formal semantics for modal logics, natural languages, and knowledge-based systems. Yet that term obscures many questions about the relationships between the real world, various models of the world, and descriptions of those models in either formal languages or natural languages. Each step in that progression is an abstraction from the overwhelming complexity of the world. At the end, nothing is left but a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The modal object calculus and its interpretation.Edward N. Zalta - 1997 - In Maarten de Rijke (ed.), Advances in Intensional Logic. Dordrecht, Netherland: Kluwer Academic Publishers. pp. 249--279.
    The modal object calculus is the system of logic which houses the (proper) axiomatic theory of abstract objects. The calculus has some rather interesting features in and of itself, independent of the proper theory. The most sophisticated, type-theoretic incarnation of the calculus can be used to analyze the intensional contexts of natural language and so constitutes an intensional logic. However, the simpler second-order version of the calculus couches a theory of fine-grained properties, relations and propositions and serves as a framework (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • The Dynamics of Thought.Peter Gardenfors - 2005 - Dordrecht, Netherland: Springer.
    This volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of more than 20 years of his research, they cover a wide ground of topics, from early works on decision theory, belief revision and nonmonotonic logic to more recent work on conceptual spaces, inductive reasoning, semantics and the evolutions of thinking. Many of the papers have only been published in places that are difficult to access. The common theme of all the (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Quantified Temporal Alethic Boulesic Doxastic Logic.Daniel Rönnedal - 2021 - Logica Universalis 15 (1):1-65.
    The paper develops a set of quantified temporal alethic boulesic doxastic systems. Every system in this set consists of five parts: a ‘quantified’ part, a temporal part, a modal (alethic) part, a boulesic part and a doxastic part. There are no systems in the literature that combine all of these branches of logic. Hence, all systems in this paper are new. Every system is defined both semantically and proof-theoretically. The semantic apparatus consists of a kind of$$T \times W$$T×Wmodels, and the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Varieties of Rigidity.Tuukka Tanninen - 2019 - Logica Universalis 13 (2):219-240.
    In this paper certain aspects of rigidity are studied through Hintikka’s work in modal semantics. The paper surveys Hintikka’s extraordinary struggles with rigidity from the late 50’s to this millennium. I argue that Hintikka’s many ambivalent remarks concerning rigidity become more comprehensible if, first, three different variants of rigidity are distinguished and, second, Hintikka’s largely implicit doctrine of semantic neo-Kantianism is made explicit.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Provability as a deontic notion.Charles F. Kielkopf - 1971 - Theory and Decision 2 (1):1-15.
    The purpose of this paper is to mark a significant difference between classical and several non-classical prepositional calculi. The argument presupposes familiarity with Kripke/Hintikka semantics for modal logic. The non-classical systems are Hintikka's logic of belief and alethic modal systems which have Kripke/Hintikka semantics. The difference is marked by showing that the semantic validity operator in classical logic behaves as a normal alethic necessity-operator while the non-classical semantic validity operators behave as normal deontic ought-operators. The crucial step is showing that (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Opacity and the double life of singular propositions.Roberta Ballarin - 2012 - Journal of Applied Logic 10 (3):250-259.
    In this paper I analyze David Kaplan’s essay “Opacity”. In “Opacity” Kaplan attempts to dismiss Quine’s concerns about quantification across intensional (modal and intentional) operators. I argue that Kaplan succeeds in showing that quantification across intensional operators is logically coherent and that quantified modal logic is strictly speaking not committed to essentialism. However, I also argue that this is not in and of itself sufficient to support Kaplan’s more ambitious attempt to move beyond purely logical results and provide unified, uncontroversial (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Identity, Reference, and Quantifying In.Kenneth Thomas Barnes - 1972 - Dissertation, University of Massachusetts Amherst
    Download  
     
    Export citation  
     
    Bookmark  
  • Possible Worlds.Christopher Menzel - 2013 - Stanford Encyclopedia of Philosophy.
    This article includes a basic overview of possible world semantics and a relatively comprehensive overview of three central philosophical conceptions of possible worlds: Concretism (represented chiefly by Lewis), Abstractionism (represented chiefly by Plantinga), and Combinatorialism (represented chiefly by Armstrong).
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  • Logical Pantheism.István Aranyosi - 2022 - Philosophy Compass 17 (7):e12857.
    Philosophy Compass, Volume 17, Issue 7, July 2022.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.
    Model-theoretic 1-types overa given first-order theory T may be construed as natural metalogical miniatures of G. W. Leibniz' ``complete individual notions'', ``substances'' or ``substantial forms''. This analogy prompts this essay's modal semantics for an essentiallyundecidable first-order theory T, in which one quantifies over such ``substances'' in a boolean universe V(C), where C is the completion of the Lindenbaum-algebra of T.More precisely, one can define recursively a set-theoretic translate of formulae N of formulae of a normal modal theory Tm based on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Multiple Quantifiers and Restricted Range in Epistemic Logic.Gregory Frank Mellema - 1974 - Dissertation, University of Massachusetts Amherst
    Download  
     
    Export citation  
     
    Bookmark  
  • Law and logic.Stig Kanger - 1972 - Theoria 38 (3):105-132.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • Dialogues as a dynamic framework for logic.Helge Rückert - unknown
    Dialogical logic is a game-theoretical approach to logic. Logic is studied with the help of certain games, which can be thought of as idealized argumentations. Two players, the Proponent, who puts forward the initial thesis and tries to defend it, and the Opponent, who tries to attack the Proponent’s thesis, alternately utter argumentative moves according to certain rules. For a long time the dialogical approach had been worked out only for classical and intuitionistic logic. The seven papers of this dissertation (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Origen y fundamentación de la Semántica de Mundos Posibles. Una aproximación a su constitución histórico-sistemática.Marcel Chávez - 2019 - Apuntes Filosóficos 28 (55):41-65.
    The possible worlds semantics is articulated as one of the most relevant logical and philosophical theories of our time. The famous possible worlds form and have been part of the philosophical jargon of authors of the so-called analytical tendency in the last decades. It has also been a theory suitable for the treatment and approach of many topics and problems that have afflicted philosophers of all time. In this paper, we will focus on the origin, preparation and consolidation of PWS (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The genesis of possible worlds semantics.B. Jack Copeland - 2002 - Journal of Philosophical Logic 31 (2):99-137.
    This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • Modern Origins of Modal Logic.Roberta Ballarin - 2010 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   6 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   57 citations  
  • Die Zurückführung des Möglichen auf das Wirkliche.Peter Kügler - 1994 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 25 (2):223-240.
    The Reduction of the Possible to the Real. Modern philosophy cannot avoid dealing with possible worlds - neither in the field of intensional logic nor in other fields not directly connected with logical investigations. This paper attempts to develop a method to substitute possible worlds by the real world, referring to the works of Stig Kanger and Nino B. Cocchiarella. This is done by investigating the metaphorical and dynamical functions of natural languages. It is proved that this new technique is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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   7 citations  
  • Preface.Matteo Pascucci & Adam Tamas Tuboly - 2019 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 26 (3):318-322.
    Special issue: "Reflecting on the Legacy of C.I. Lewis: Contemporary and Historical Perspectives on Modal Logic".
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Presuppositions and Implicatures in Counterfactuals.Michela Ippolito - 2003 - Natural Language Semantics 11 (2):145-186.
    In this article, I propose a semantic account of temporally mismatched past subjunctive counterfactuals. The proposal consists of the following parts. First, I show that in cases of temporal mismatch, [past] cannot be interpreted inside the proposition where it occurs at surface structure. Instead, it must be interpreted as constraining the time argument of the accessibility relation. This has the effect of shifting the time of the evaluation of the conditional to some contextually salient past time. Second, I will propose (...)
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • Jaakko Hintikka in memoriam.Gabriel Sandu - 2015 - Theoria 81 (4):289-292.
    Download  
     
    Export citation  
     
    Bookmark  
  • Formal philosophy.Jeffry Pelletier - 1977 - Metaphilosophy 8 (4):320-341.
    Download  
     
    Export citation  
     
    Bookmark  
  • A Hintikka possible worlds model for certainty levels in medical decision making.G. William Moore & Grover M. Hutchins - 1981 - Synthese 48 (1):87 - 119.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • De re language, de re eliminability, and the essential limits of both.Thomas Schwartz - 1997 - Journal of Philosophical Logic 26 (5):521-544.
    De re modality is eliminable if there is an effective translation of all wffs into non-de re equivalents. We cannot have logical equivalence unless 'logic' has odd theses, but we can have material equivalence by banning all essences, something the nonde re facts let us do, or by giving everything such humdrum essences as self-identity and banning the more interesting ones. Eliminability cannot be got from weaker assumptions, nor independent ones of even modest generality. The net philosophical import is that, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Hintikka Memorial Issue: Introduction and Remarks on Jaakko Hintikka’s Logical Philosophy.Ahti-Veikko Pietarinen - 2019 - Logica Universalis 13 (2):137-145.
    Introduction to the Special Issue in Logica Universalis on Jaakko Hintikka’s Logical Philosophy, with biographical and bibliographical remarks.
    Download  
     
    Export citation  
     
    Bookmark  
  • The second epistemic way.Billy Joe Lucas - 1985 - International Journal for Philosophy of Religion 18 (3):107 - 114.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Professor Lucas on omniscience.Robert W. Beard - 1986 - International Journal for Philosophy of Religion 20 (1):37 - 43.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A contextualist semantics for aesthetic judgments.Lance Aschliman & Jordan Schummer - 2016 - Inquiry: An Interdisciplinary Journal of Philosophy 59 (6):632-662.
    In this paper, we present and defend a modest anti-realist conception of aesthetic properties – e.g. being unified, moving, delicate, tragic, etc – in order to motivate a contextualist semantic view about aesthetic judgments. We argue that aesthetic properties are plausibly seen as viewpoint-dependent even though our epistemic access to the presence of aesthetic properties is decidedly more complicated than other, less controversial instances of viewpoint-dependent properties. On the basis of our anti-realist conception, we argue, utilizing the Kaplanian distinction between (...)
    Download  
     
    Export citation  
     
    Bookmark