Switch to: Citations

Add references

You must login to add references.
  1. In defense of the simplest quantified modal logic.Bernard Linsky & Edward N. Zalta - 1994 - Philosophical Perspectives 8:431-458.
    The simplest quantified modal logic combines classical quantification theory with the propositional modal logic K. The models of simple QML relativize predication to possible worlds and treat the quantifier as ranging over a single fixed domain of objects. But this simple QML has features that are objectionable to actualists. By contrast, Kripke-models, with their varying domains and restricted quantifiers, seem to eliminate these features. But in fact, Kripke-models also have features to which actualists object. Though these philosophers have introduced variations (...)
    Download  
     
    Export citation  
     
    Bookmark   168 citations  
  • In defense of the contingently nonconcrete.Bernard Linsky & Edward N. Zalta - 1996 - Philosophical Studies 84 (2-3):283-294.
    In "Actualism or Possibilism?" (Philosophical Studies, 84 (2-3), December 1996), James Tomberlin develops two challenges for actualism. The challenges are to account for the truth of certain sentences without appealing to merely possible objects. After canvassing the main actualist attempts to account for these phenomena, he then criticizes the new conception of actualism that we described in our paper "In Defense of the Simplest Quantified Modal Logic" (Philosophical Perspectives 8: Philosophy of Logic and Language, Atascadero, CA: Ridgeview, 1994). We respond (...)
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • On the Plurality of Worlds.Allen Stairs - 1988 - Philosophy and Phenomenological Research 49 (2):333-352.
    Download  
     
    Export citation  
     
    Bookmark   544 citations  
  • On modal logics which enrich first-order S5.Harold T. Hodes - 1984 - Journal of Philosophical Logic 13 (4):423 - 454.
    Download  
     
    Export citation  
     
    Bookmark   34 citations  
  • (1 other version)Some remarks on infinitely long formulas.L. Henkin - 1961 - Journal of Symbolic Logic 30 (1):167--183.
    Download  
     
    Export citation  
     
    Bookmark   103 citations  
  • Identify and Individuation. [REVIEW]W. V. Quine - 1972 - Journal of Philosophy 69 (16):488-497.
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Modal logic and truth.Anil Gupta - 1978 - Journal of Philosophical Logic 7 (1):441 - 472.
    I discuss in this paper a criticism of modal logic due to Donald Davidson and John Wallace. They have claimed that, to quote Wallace, “modal predicate calculus does not provide a reasonable standpoint from which to interpret a language” (1970, p. 147). The aim of this paper is to present and evaluate their argument for this claim.
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Truthmaker.John F. Fox - 1987 - Australasian Journal of Philosophy 65 (2):188 – 207.
    Download  
     
    Export citation  
     
    Bookmark   108 citations  
  • The metaphysics of modality.Graeme Forbes - 1985 - Oxford: Clarendon Press.
    Analytic philosophy has recently demonstrated a revived interest in metaphysical problems about possibility and necessity. Graeme Forbes here provides a careful description of the logical background of recent work in this area for those who may be unfamiliar with it, moving on to d discuss the distinction between modality de re and modality de dicto and the ontological commitments of possible worlds semantics. In addition, Forbes offers a unified theory of the essential properties of sets, organisms, artefacts, substances, and events, (...)
    Download  
     
    Export citation  
     
    Bookmark   145 citations  
  • Melia on modalism.Graeme Forbes - 1992 - Philosophical Studies 68 (1):57 - 63.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Critical notice of Kit fine's modality and tense: Philosophical papers.Graeme Forbes - 2008 - Philosophical Review 117 (2):275-287.
    In this critical review I discuss the main themes of the papers in Kit Fine's Modality and Tense: Philosophical Papers. These themes are that modal operators are intelligible in their own right and that actualist quantifiers are to be taken as basic with respect to possibilist quantifiers. I also discuss a previously unpublished paper of Fine's on modality and existence.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Prior on the Construction of Possible Worlds and Instants.Kit Fine - 2005 - In Modality and Tense: Philosophical Papers. Oxford, England: Oxford University Press.
    It is shown how the modal actualist might make sense of quantification over possible worlds and the tense-logical presentist might make sense of quantification over instants.
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Properties, propositions and sets.Kit Fine - 1977 - Journal of Philosophical Logic 6 (1):135 - 191.
    Download  
     
    Export citation  
     
    Bookmark   52 citations  
  • Model theory for modal logic—part III existence and predication.Kit Fine - 1981 - Journal of Philosophical Logic 10 (3):293 - 307.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Class and Membership.Kit Fine - 2005 - Journal of Philosophy 102 (11):547-572.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Counterparts and Actuality.Michael Fara & Timothy Williamson - 2005 - Mind 114 (453):1-30.
    Many philosophers, following David Lewis, believe that we should look to counterpart theory, not quantified modal logic, as a means of understanding modal discourse. We argue that this is a mistake. Significant parts of modal discourse involve either implicit or explicit reference to what is actually the case, raising the question of how talk about actuality is to be represented counterpart-theoretically. By considering possible modifications of Lewis's counterpart theory, including actual modifications due to Graeme Forbes and Murali Ramachandran, we argue (...)
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • Weak necessity and truth theories.Martin K. Davies - 1978 - Journal of Philosophical Logic 7 (1):415 - 439.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Two notions of necessity.Martin Davies & Lloyd Humberstone - 1980 - Philosophical Studies 38 (1):1-31.
    Download  
     
    Export citation  
     
    Bookmark   252 citations  
  • Events and particulars.Donald Davidson - 1970 - Noûs 4 (1):25-32.
    Download  
     
    Export citation  
     
    Bookmark   46 citations  
  • Proxy “Actualism”.Karen Bennett - 2006 - Philosophical Studies 129 (2):263-294.
    Bernard Linsky and Edward Zalta have recently proposed a new form of actualism. I characterize the general form of their view and the motivations behind it. I argue that it is not quite new – it bears interesting similarities to Alvin Plantinga’s view – and that it definitely isn’t actualist.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • On the Plurality of Worlds.David K. Lewis - 1986 - Malden, Mass.: Wiley-Blackwell.
    This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.
    Download  
     
    Export citation  
     
    Bookmark   2255 citations  
  • Thought, Reference, and Experience: Themes From the Philosophy of Gareth Evans.José Luis Bermúdez (ed.) - 2005 - Oxford, GB: Oxford University Press UK.
    Thought, Reference, and Experience is a collection of important new essays on topics at the intersection of philosophy of language, philosophy of mind, and philosophical logic. The starting-point for the papers is the brilliant work of the British philosopher Gareth Evans before his untimely death in 1980 at the age of 34. Evans's work on reference and singular thought transformed the Fregean approach to the philosophy of thought and language, showing how seemingly technical issues in philosophical semantics are inextricably linked (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Model-Theoretic Logics.Jon Barwise & Solomon Feferman - 2017 - Cambridge University Press.
    This book brings together several directions of work in model theory between the late 1950s and early 1980s.
    Download  
     
    Export citation  
     
    Bookmark   65 citations  
  • (1 other version)Nominalist platonism.George Boolos - 1985 - Philosophical Review 94 (3):327-344.
    Download  
     
    Export citation  
     
    Bookmark   222 citations  
  • (1 other version)Nominalist platonism.George Boolos - 1998 - In Richard Jeffrey (ed.), Logic, Logic, and Logic. Harvard University Press. pp. 73-87.
    Download  
     
    Export citation  
     
    Bookmark   127 citations  
  • Two axes of actualism.Karen Bennett - 2005 - Philosophical Review 114 (3):297-326.
    Actualists routinely characterize their view by means of the slogan, “Everything is actual.” They say that there aren’t any things that exist but do not actually exist—there aren’t any “mere possibilia.” If there are any things that deserve the label ‘possible world’, they are just actually existing entities of some kind—maximally consistent sets of sentences, or maximal uninstantiated properties, or maximal possible states of affairs, or something along those lines. Possibilists, in contrast, do think that there are mere possibilia, that (...)
    Download  
     
    Export citation  
     
    Bookmark   27 citations  
  • On branching quantifiers in English.Jon Barwise - 1979 - Journal of Philosophical Logic 8 (1):47 - 80.
    Download  
     
    Export citation  
     
    Bookmark   72 citations  
  • Abstract.[author unknown] - 1998 - Studies in History and Philosophy of Science Part A 29 (2):299-303.
    Download  
     
    Export citation  
     
    Bookmark   198 citations  
  • The necessary framework of objects.Timothy Williamson - 2000 - Topoi 19 (2):201-208.
    The full-text of this article is not currently available in ORA, but the original publication is available at springerlink.com . Citation: Williamson, T. . 'The necessary framework of objects', Topoi 19, 201-208. N.B. Tim Williamson is now based at the Faculty of Philosophy, University of Oxford.
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  • Existence and contingency.Timothy Williamson - 2000 - Proceedings of the Aristotelian Society 100 (1):117–139.
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • Everything.Timothy Williamson - 2003 - Philosophical Perspectives 17 (1):415–465.
    On reading the last sentence, did you interpret me as saying falsely that everything — everything in the entire universe — was packed into my carry-on baggage? Probably not. In ordinary language, ‘everything’ and other quantifiers (‘something’, ‘nothing’, ‘every dog’, ...) often carry a tacit restriction to a domain of contextually relevant objects, such as the things that I need to take with me on my journey. Thus a sentence of the form ‘Everything Fs’ is true as uttered in a (...)
    Download  
     
    Export citation  
     
    Bookmark   201 citations  
  • Bare possibilia.Timothy Williamson - 1998 - Erkenntnis 48 (2-3):257--73.
    The theorems of the simplest and strongest sensible quantified modal logic include the Barcan Formula and its converse. Both formulas face strong intuitive objections. This paper develops a theory of possibilia to meet those objections.
    Download  
     
    Export citation  
     
    Bookmark   132 citations  
  • A note on truth, satisfaction and the empty domain.Timothy Williamson - 1999 - Analysis 59 (1):3-8.
    An attractive principle about domains of quantification is the analogue of the Separation Axiom in set theory: restricting a domain by an arbitrary predicate yields a domain. In particular, restricting a domain by a predicate that applies to nothing yields a domain. Thus if there is a nonempty domain, there is an empty domain. But semantics for the empty domain involves some neglected subtleties. Untangling them requires us to revise the usual definition of truth in a model, avoiding the detour (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Abstract.[author unknown] - 2011 - Dialogue and Universalism 21 (4):447-449.
    Download  
     
    Export citation  
     
    Bookmark   225 citations  
  • Bare possibilia.Timoti Vilijamson - 1998 - Theoria 41 (4):83-98.
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • Alvin Plantinga (Profiles, Vol. 5).James Tomberlin & Peter van Inwagen (eds.) - 1985 - D. Reidel Publishing Company.
    PROFILES AN INTERNATIONAL SERIES ON CONTEMPORARY PHILOSOPHERS AND LOGICIANS EDITORS RADU ... University of Warsaw J. VUILLEMIN, College de France VOLUME 5 ...
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Inquiry.Robert Stalnaker - 1984 - Cambridge University Press.
    The abstract structure of inquiry - the process of acquiring and changing beliefs about the world - is the focus of this book which takes the position that the "pragmatic" rather than the "linguistic" approach better solves the philosophical problems about the nature of mental representation, and better accounts for the phenomena of thought and speech. It discusses propositions and propositional attitudes (the cluster of activities that constitute inquiry) in general and takes up the way beliefs change in response to (...)
    Download  
     
    Export citation  
     
    Bookmark   389 citations  
  • Foundations without Foundationalism: A Case for Second-Order Logic.Gila Sher - 1994 - Philosophical Review 103 (1):150.
    Download  
     
    Export citation  
     
    Bookmark   78 citations  
  • Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.
    The central contention of this book is that second-order logic has a central role to play in laying the foundations of mathematics. In order to develop the argument fully, the author presents a detailed description of higher-order logic, including a comprehensive discussion of its semantics. He goes on to demonstrate the prevalence of second-order concepts in mathematics and the extent to which mathematical ideas can be formulated in higher-order logic. He also shows how first-order languages are often insufficient to codify (...)
    Download  
     
    Export citation  
     
    Bookmark   231 citations  
  • This Side of Paradox.Nathan Salmon - 1993 - Philosophical Topics 21 (2):187-197.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • The Logic of What Might Have Been.Nathan Salmon - 1989 - Philosophical Review 98 (1):3-34.
    The dogma that the propositional logic of metaphysical modality is S5 is rebutted. The author exposes fallacies in standard arguments supporting S5, arguing that propositional metaphysical modal logic is weaker even than both S4 and B, and is instead the minimal and weak metaphysical-modal logic T.
    Download  
     
    Export citation  
     
    Bookmark   129 citations  
  • Existence.Nathan Salmon - 1987 - Philosophical Perspectives 1:49-108.
    Download  
     
    Export citation  
     
    Bookmark   121 citations  
  • Semantic theory and necessary truth.Ian Rumfitt - 2001 - Synthese 126 (1-2):283 - 324.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Toward a Theory of Second-Order Consequence.Augustín Rayo & Gabriel Uzquiano - 1999 - Notre Dame Journal of Formal Logic 40 (3):315-325.
    There is little doubt that a second-order axiomatization of Zermelo-Fraenkel set theory plus the axiom of choice (ZFC) is desirable. One advantage of such an axiomatization is that it permits us to express the principles underlying the first-order schemata of separation and replacement. Another is its almost-categoricity: M is a model of second-order ZFC if and only if it is isomorphic to a model of the form Vκ, ∈ ∩ (Vκ × Vκ) , for κ a strongly inaccessible ordinal.
    Download  
     
    Export citation  
     
    Bookmark   80 citations  
  • Time and modality.Arthur N. Prior - 1955 - Westport, Conn.: Greenwood Press.
    The relationship between formal logic and general philosophy is discussed under headings such as A Re-examination of Our Tense-Logical Postulates, Modal Logic in the Style of Frege, and Intentional Logic and Indeterminism.
    Download  
     
    Export citation  
     
    Bookmark   164 citations  
  • The Nature of Necessity.Alvin Plantinga - 1974 - Oxford, England: Clarendon Press.
    This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the existence (...)
    Download  
     
    Export citation  
     
    Bookmark   681 citations  
  • Quantified Modal Logic and the Plural De Re.Phillip Bricker - 1989 - Midwest Studies in Philosophy 14 (1):372-394.
    Modal sentences of the form "every F might be G" and "some F must be G" have a threefold ambiguity. in addition to the familiar readings "de dicto" and "de re", there is a third reading on which they are examples of the "plural de re": they attribute a modal property to the F's plurally in a way that cannot in general be reduced to an attribution of modal properties to the individual F's. The plural "de re" readings of modal (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Necessity and truth theories.Christopher Peacocke - 1978 - Journal of Philosophical Logic 7 (1):473 - 500.
    Download  
     
    Export citation  
     
    Bookmark   56 citations  
  • (2 other versions)Ontological anti-realism.David J. Chalmers - 2009 - In Ryan Wasserman, David Manley & David Chalmers (eds.), Metametaphysics: New Essays on the Foundations of Ontology. Oxford, England: Oxford University Press.
    The basic question of ontology is “What exists?”. The basic question of metaontology is: are there objective answers to the basic question of ontology? Here ontological realists say yes, and ontological anti-realists say no. (Compare: The basic question of ethics is “What is right?”. The basic question of metaethics is: are there objective answers to the basic question of ethics? Here moral realists say yes, and moral anti-realists say no.) For example, the ontologist may ask: Do numbers exist? The Platonist (...)
    Download  
     
    Export citation  
     
    Bookmark   189 citations  
  • (2 other versions)Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
    Download  
     
    Export citation  
     
    Bookmark   446 citations