Switch to: References

Citations of:

A general interpreted modal calculus

New Haven,: Yale University Press (1972)

Add citations

You must login to add citations.
  1. Modalité et changement: δύναμις et cinétique aristotélicienne.Marion Florian - 2023 - Dissertation, Université Catholique de Louvain
    The present PhD dissertation aims to examine the relation between modality and change in Aristotle’s metaphysics. -/- On the one hand, Aristotle supports his modal realism (i.e., worldly objects have modal properties - potentialities and essences - that ground the ascriptions of possibility and necessity) by arguing that the rejection of modal realism makes change inexplicable, or, worse, banishes it from the realm of reality. On the other hand, the Stagirite analyses processes by means of modal notions (‘change is the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Naming and epistemic necessity.Dilip Ninan - 2019 - Noûs 55 (2):334-362.
    Kripke (1980) hypothesizes a link between rigidity and scope: a singular term is rigid over a space S of possibilities just in case it is scopeless with respect to modals that quantify over S. Kripke’s hypothesis works well when we consider the interaction of singular terms with metaphysical modals, but runs into trouble when we consider the interaction of singular terms with epistemic modals. After describing the trouble in detail, and considering one non-solution to it, I develop a novel version (...)
    Download  
     
    Export citation  
     
    Bookmark   4 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  
  • Contingent composition as identity.Giorgio Lando & Massimiliano Carrara - 2018 - Synthese.
    When the necessity of identity (NI) is combined with composition as identity (CAI), the contingency of composition (CC) is at risk. In the extant literature, either NI is seen as the basis for a refutation of CAI or CAI is associated with a theory of modality, such that: either NI is renounced (if counterpart theory is adopted); or CC is renounced (if the theory of modal parts is adopted). In this paper, we investigate the prospects of a new variety of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Modeling Unicorns and Dead Cats: Applying Bressan’s ML ν to the Necessary Properties of Non-existent Objects.Tyke Nunez - 2018 - Journal of Philosophical Logic 47 (1):95–121.
    Should objects count as necessarily having certain properties, despite their not having those properties when they do not exist? For example, should a cat that passes out of existence, and so no longer is a cat, nonetheless count as necessarily being a cat? In this essay I examine different ways of adapting Aldo Bressan’s MLν so that it can accommodate an affirmative answer to these questions. Anil Gupta, in The Logic of Common Nouns, creates a number of languages that have (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Branched Model For Substantial Motion.Muhammad Legenhausen - 2009 - Journal of Shi‘a Islamic Studies 2:53-67.
    The seventeenth century Muslim philosopher Muhammad Sadr al-Din Shirazi, known as Mulla Sadra, introduced the idea of substantial motion in Islamic philosophy. This view is characterized by a continuity criterion for diachronic identity, a four-dimensional view of individual substances, the notion that possibilities change, and the continual creation of all creatures. Modern philosophical logic provides means to model a variety of claims about individuals, substances, modality and time. In this paper, the semantics of formal systems discussed by Carnap, Bressan and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • Branching space-time.Nuel Belnap - 1992 - Synthese 92 (3):385 - 434.
    Branching space-time is a simple blend of relativity and indeterminism. Postulates and definitions rigorously describe the causal order relation between possible point events. The key postulate is a version of everything has a causal origin; key defined terms include history and choice point. Some elementary but helpful facts are proved. Application is made to the status of causal contemporaries of indeterministic events, to how splitting of histories happens, to indeterminism without choice, and to Einstein-Podolsky-Rosen distant correlations.
    Download  
     
    Export citation  
     
    Bookmark   143 citations  
  • On gödel's ontological proof.A. P. Hazen - 1998 - Australasian Journal of Philosophy 76 (3):361 – 377.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Contingent identity.Allan Gibbard - 1975 - Journal of Philosophical Logic 4 (2):187-222.
    Identities formed with proper names may be contingent. this claim is made first through an example. the paper then develops a theory of the semantics of concrete things, with contingent identity as a consequence. this general theory lets concrete things be made up canonically from fundamental physical entities. it includes theories of proper names, variables, cross-world identity with respect to a sortal, and modal and dispositional properties. the theory, it is argued, is coherent and superior to its rivals, in that (...)
    Download  
     
    Export citation  
     
    Bookmark   290 citations  
  • Properties, propositions and sets.Kit Fine - 1977 - Journal of Philosophical Logic 6 (1):135 - 191.
    Download  
     
    Export citation  
     
    Bookmark   51 citations  
  • Objects and Modalities: A Study in the Semantics of Modal Logic.Tero Tulenheimo - 2017 - Cham, Switzerland: Springer Verlag.
    This book develops a novel generalization of possible world semantics, called ‘world line semantics’, which recognizes worlds and links between world-bound objects (world lines) as mutually independent aspects of modal semantics. Addressing a wide range of questions vital for contemporary debates in logic and philosophy of language and offering new tools for theoretical linguistics and knowledge representation, the book proposes a radically new paradigm in modal semantics. This framework is motivated philosophically, viewing a structure of world lines as a precondition (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Worlds, times and selves revisited.Tero Tulenheimo - 2016 - Synthese 193 (11):3713-3725.
    In Prior’s tense-logical analysis, we can avoid mentioning instants in our language by construing them as propositions of a special kind. Instead of qualifying instants by predicates, we may qualify propositions by modalities. Prior shows that by changing the informal interpretation of our modal-like language, we can similarly attempt to avoid ontological commitments to worlds and even to selves and other bona fide individuals. As he notes, the paraphrasing strategy works too generally to be of direct metaphysical use. I wish (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Pluralists about Pluralism? Versions of Explanatory Pluralism in Psychiatry.Jeroen Van Bouwel - 2014 - In Thomas Uebel (ed.), New Directions in the Philosophy of Science. Cham: Springer. pp. 105-119.
    In this contribution, I comment on Raffaella Campaner’s defense of explanatory pluralism in psychiatry (in this volume). In her paper, Campaner focuses primarily on explanatory pluralism in contrast to explanatory reductionism. Furthermore, she distinguishes between pluralists who consider pluralism to be a temporary state on the one hand and pluralists who consider it to be a persisting state on the other hand. I suggest that it would be helpful to distinguish more than those two versions of pluralism – different understandings (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Do Composite Objects Have an Age in Relativistic Spacetime?Yuri Balashov - 2012 - Philosophia Naturalis 49 (1):9-23.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Laws, modalities and counterfactuals.Wesley C. Salmon - 1977 - Synthese 35 (2):191-229.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Spatial ontology and physical modalities.Hugh M. Lacey & Elizabeth Anderson - 1980 - Philosophical Studies 38 (3):261 - 285.
    Most relational theories assert both that spatial discourse is reducible to talk about physical objects and their spatial relations, and that the relation of congruence derives from a non-metrical relation which intervals bear or possibly bear to measuring instruments. We have shown that there are serious logical difficulties involved in maintaining both these positions and the thesis of the continuity of space. We have also shown that Grünbaum's motivating argument for the reduction of congruence is unsound, and, moreover, that the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The logical form of perception sentences.John Bacon - 1979 - Synthese 41 (2):271 - 308.
    The perceptual logic of j hintikka and r thomason is imbedded in a more general framework of quantification over individual-concepts. two intensional predicates for physical individuation and perceptual individuation are required in place of thomason's two variable-sorts. objectual perception of x by s is then definable as "for some y there is a perceptually individuated object z, in fact identical with x, such that s perceives that y is z.".
    Download  
     
    Export citation  
     
    Bookmark  
  • Relevant predication 1: The formal theory. [REVIEW]J. Michael Dunn - 1987 - Journal of Philosophical Logic 16 (4):347-381.
    Download  
     
    Export citation  
     
    Bookmark   38 citations  
  • (1 other version)CIFOL: Case-Intensional First Order Logic: Toward a Theory of Sorts.Nuel Belnap & Thomas Müller - 2014 - Journal of Philosophical Logic 43 (2-3):393-437.
    This is part I of a two-part essay introducing case-intensional first order logic, an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...)
    Download  
     
    Export citation  
     
    Bookmark   8 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   3 citations  
  • The logic of empirical theories revisited.Johan Benthem - 2012 - Synthese 186 (3):775 - 792.
    Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On rigorous definitions.Nuel Belnap - 1993 - Philosophical Studies 72 (2-3):115 - 146.
    Download  
     
    Export citation  
     
    Bookmark   57 citations  
  • On quantifying out.A. P. Hazen - 1995 - Journal of Philosophical Logic 24 (3):291 - 319.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • On Gupta's book the logic of common nouns.Aldo Bressan - 1993 - Journal of Philosophical Logic 22 (4):335 - 383.
    Gupta's book [9] contains a theory of modal logic that is closely related to my modal language ML v [2], and his theory is used to treat some interesting philosophical problems. Hence, it is natural for me to review this valuable book and to concentrate on its logics, the more so as its use has already been spoken of and appreciated by Kapitan [10], although I cannot but share his appreciation.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Tarskian semantics, or no notation without denotation.Drew McDermott - 1978 - Cognitive Science 2 (3):277-82.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Hyperintensionality and Normativity.Federico L. G. Faroldi - 2019 - Cham, Switzerland: Springer Verlag.
    Presenting the first comprehensive, in-depth study of hyperintensionality, this book equips readers with the basic tools needed to appreciate some of current and future debates in the philosophy of language, semantics, and metaphysics. After introducing and explaining the major approaches to hyperintensionality found in the literature, the book tackles its systematic connections to normativity and offers some contributions to the current debates. The book offers undergraduate and graduate students an essential introduction to the topic, while also helping professionals in related (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • BH-CIFOL: Case-Intensional First Order Logic.Nuel Belnap & Thomas Müller - 2013 - Journal of Philosophical Logic (2-3):1-32.
    This paper follows Part I of our essay on case-intensional first-order logic (CIFOL; Belnap and Müller (2013)). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events (extending all the way into the future) that that moment (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Nuel Belnap on Indeterminism and Free Action.Thomas Müller (ed.) - 2014 - Wien, Austria: Springer.
    This volume seeks to further the use of formal methods in clarifying one of the central problems of philosophy: that of our free human agency and its place in our indeterministic world. It celebrates the important contributions made in this area by Nuel Belnap, American logician and philosopher. Philosophically, indeterminism and free action can seem far apart, but in Belnap’s work, they are intimately linked. This book explores their philosophical interconnectedness through a selection of original research papers that build forth (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Logic and the Trinity.John Macnamara, Marie La Palme Reyes & Gonzalo E. Reyes - 1994 - Faith and Philosophy 11 (1):3-18.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Seeing to it that: a canonical form for agentives.Nuel Belnap & Michael Perloff - 1988 - Theoria 54 (3):175-199.
    Download  
     
    Export citation  
     
    Bookmark   91 citations  
  • Indeterminism and persistence.Thomas Müller - 2011 - Philosophia Naturalis 49 (1):113-136.
    This paper aims at bringing together two debates in metaphysics that so far have been kept separate: the debate about determinism vs. indeterminism as de re modality on the one hand, and the debate about persistence on the other hand. Both debates significantly involve talk of things. We will show that working out a proper semantics for singular terms and an accompanying theory of things, motivated by considerations of quantified modal logic, can significantly further the persistence debate. We will use (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Aristotle and Bressan on a number of things.Lawrence Poncinie - 1993 - Erkenntnis 39 (2):129 - 144.
    Download  
     
    Export citation  
     
    Bookmark  
  • Identity and intensional objects.M. J. Cresswell - 1975 - Philosophia 5 (1-2):47-68.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The logic of empirical theories revisited.Johan van Benthem - 2012 - Synthese 186 (3):775-792.
    Logic and philosophy of science share a long history, though contacts have gone through ups and downs. This paper is a brief survey of some major themes in logical studies of empirical theories, including links to computer science and current studies of rational agency. The survey has no new results: we just try to make some things into common knowledge.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)CIFOL: Case-Intensional First Order Logic: Toward a Theory of Sorts.Nuel Belnap & Thomas Müller - 2014 - Journal of Philosophical Logic 43 (2-3):393-437.
    This is part I of a two-part essay introducing case-intensional first order logic, an easy-to-use, uniform, powerful, and useful combination of first-order logic with modal logic resulting from philosophical and technical modifications of Bressan’s General interpreted modal calculus. CIFOL starts with a set of cases; each expression has an extension in each case and an intension, which is the function from the cases to the respective case-relative extensions. Predication is intensional; identity is extensional. Definite descriptions are context-independent terms, and lambda-predicates (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Before refraining: Concepts for agency. [REVIEW]Nuel Belnap - 1991 - Erkenntnis 34 (2):137 - 169.
    A structure is described that can serve as a foundation for a semantics for a modal agentive construction such as sees to it that Q ([ stit: Q]). The primitives are Tree,,Instant, Agent, choice. Eleven simple postulates governing this structure are set forth and motivated. Tree and encode a picture of branching time consisting of moments gathered into maximal chains called histories. Instant imposes a time-like ordering. Agent consists of agents, and choice assigns to each agent and each moment in (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • BH-CIFOL: Case-Intensional First Order Logic: Branching Histories.Nuel Belnap & Thomas Müller - 2014 - Journal of Philosophical Logic 43 (5):835-866.
    This paper follows Part I of our essay on case-intensional first-order logic ). We introduce a framework of branching histories to take account of indeterminism. Our system BH-CIFOL adds structure to the cases, which in Part I formed just a set: a case in BH-CIFOL is a moment/history pair, specifying both an element of a partial ordering of moments and one of the total courses of events that that moment is part of. This framework allows us to define the familiar (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • The Hooded Man.Priest Graham - 2002 - Journal of Philosophical Logic 31 (5):445-467.
    The Hooded Man Paradox of Eubulides concerns the apparent failure of the substitutivity of identicals in epistemic (and other intentional) contexts. This paper formulates a number of different versions of the paradox and shows how these may be solved using semantics for quantified epistemic logic. In particular, two semantics are given which invalidate substitution, even when rigid designators are involved.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Logic and How It Gets That Way.Daniel Bonevac - 2012 - Analysis 72 (2):380 - 386.
    Download  
     
    Export citation  
     
    Bookmark  
  • Again on relativistic semantics.Aldo Bressan - 1995 - Logic and Logical Philosophy 3:23-36.
    This paper has two parts: Part I is a continuation of the work [10] and as well as this it deals mainly with the logic of an auxiliary (semantical) theory, ST , in effect generally considered (by textbooks) within the semantics for a typical theory T of general relativity; and especially the modal features of this auxiliary theory are studied. Part II deals with the influence had by relativistic theories and especially by the new notion of space-time on pragmatic languages (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Some answers to Max Urchs' comments on a paper by A. Bressan.Aldo Bressan - 1996 - Logic and Logical Philosophy 4:123-131.
    In [13] M. Urchs comments on my paper [5]. I think these comments are very useful, especially because (on p. 38) the author decides to “proceed with some methodological remarks concerning Bressan’s account and his underlying attitude towards logical formalization in general”, and thus he refers not only to [5].
    Download  
     
    Export citation  
     
    Bookmark