Switch to: Citations

Add references

You must login to add references.
  1. Logic, Essence, and Modality — Review of Bob Hale's Necessary Beings. [REVIEW]Christopher Menzel - 2015 - Philosophia Mathematica 23 (3):407-428.
    Bob Hale’s distinguished record of research places him among the most important and influential contemporary analytic metaphysicians. In his deep, wide ranging, yet highly readable book Necessary Beings, Hale draws upon, but substantially integrates and extends, a good deal his past research to produce a sustained and richly textured essay on — as promised in the subtitle — ontology, modality, and the relations between them. I’ve set myself two tasks in this review: first, to provide a reasonably thorough (if not (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Cocchiarella’s Formal Ontology and the Paradoxes of Hyperintensionality.Gregory Landini - 2009 - Axiomathes 19 (2):115-142.
    This is a critical discussion of Nino B. Cocchiarella’s book “Formal Ontology and Conceptual Realism.” It focuses on paradoxes of hyperintensionality that may arise in formal systems of intensional logic.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Reply to Gregory Landini’s Review of Formal Ontology and Conceptual Realism.Nino B. Cocchiarella - 2009 - Axiomathes 19 (2):143-153.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Higher-Order Free Logic and the Prior-Kaplan Paradox.Andrew Bacon, John Hawthorne & Gabriel Uzquiano - 2016 - Canadian Journal of Philosophy 46 (4-5):493-541.
    The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Reply to Bacon, Hawthorne and Uzquiano.Timothy Williamson - 2016 - Canadian Journal of Philosophy 46 (4-5):542-547.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Outline of a Theory of Truth.Saul Kripke - 1975 - Journal of Philosophy 72 (19):690-716.
    A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.
    Download  
     
    Export citation  
     
    Bookmark   734 citations  
  • Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford, England: Oxford University Press.
    Timothy Williamson gives an original and provocative treatment of deep metaphysical questions about existence, contingency, and change, using the latest resources of quantified modal logic. Contrary to the widespread assumption that logic and metaphysics are disjoint, he argues that modal logic provides a structural core for metaphysics.
    Download  
     
    Export citation  
     
    Bookmark   300 citations  
  • Necessary Beings: An Essay on Ontology, Modality, and the Relations Between Them.Bob Hale - 2013 - Oxford, England: Oxford University Press.
    Bob Hale presents a broadly Fregean approach to metaphysics, according to which ontology and modality are mutually dependent upon one another. He argues that facts about what kinds of things exist depend on facts about what is possible. Modal facts are fundamental, and have their basis in the essences of things--not in meanings or concepts.
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • Necessary Beings: An Essay on Ontology, Modality, and the Relations Between Them.Bob Hale - 2013 - Oxford, England: Oxford University Press UK.
    Bob Hale presents a broadly Fregean approach to metaphysics, according to which ontology and modality are mutually dependent upon one another. He argues that facts about what kinds of things exist depend on facts about what is possible. Modal facts are fundamental, and have their basis in the essences of things--not in meanings or concepts.
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  • Intensional and Higher-Order Modal Logic: With Applications to Montague Semantics.Daniel Gallin - 1975 - Amsterdam, Netherlands: American Elsevier Pub. Co..
    CHAPTER 1. INTENSIONAL LOGIC §1. Natural Language and Intensional Logic When we speak of a theory of meaning for a natural language such as English, ...
    Download  
     
    Export citation  
     
    Bookmark   62 citations  
  • The Theory of Logical Types.Irving Marmer Copi - 1971 - London: Routledge and Kegan Paul.
    This reissue, first published in 1971, provides a brief historical account of the Theory of Logical Types; and describes the problems that gave rise to it, its ...
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Quality and Concept.George Bealer - 1982 - Oxford, England: Oxford University Press.
    This study provides a unified theory of properties, relations, and propositions (PRPs). Two conceptions of PRPs have emerged in the history of philosophy. The author explores both of these traditional conceptions and shows how they can be captured by a single theory.
    Download  
     
    Export citation  
     
    Bookmark   160 citations  
  • The Revision Theory of Truth.Vann Mcgee - 1996 - Philosophy and Phenomenological Research 56 (3):727-730.
    Download  
     
    Export citation  
     
    Bookmark   115 citations  
  • Semantics and Property Theory.Gennaro Chierchia & Raymond Turner - 1988 - Linguistics and Philosophy 11 (3):261 - 302.
    Download  
     
    Export citation  
     
    Bookmark   67 citations  
  • The Revision Theory of Truth.A. Gupta & N. Belnap - 1993 - MIT Press.
    In this rigorous investigation into the logic of truth Anil Gupta and Nuel Belnap explain how the concept of truth works in both ordinary and pathological..
    Download  
     
    Export citation  
     
    Bookmark   189 citations  
  • Fine-Grained Type-Free Intensionality.George Bealer - 1989 - In Gennero Chierchia, Barbara H. Partee & Raymond Turner (eds.), Properties, Types, and Meaning, Volume 1. Kluwer Academic Publishers. pp. 177-230.
    Commonplace syntactic constructions in natural language seem to generate ontological commitments to a dazzling array of metaphysical categories - aggregations, sets, ordered n-tuples, possible worlds, intensional entities, ideal objects, species, intensive and extensive quantities, stuffs, situations, states, courses of events, nonexistent objects, intentional and discourse objects, general objects, plural objects, variable objects, arbitrary objects, vague kinds and concepts, fuzzy sets, and so forth. But just because a syntactic construction in some natural language appears to invoke a new category of entity, (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Formal Philosophy: Selected Papers of Richard Montague.Richard Montague - 1974 - New Haven: Yale University Press.
    Download  
     
    Export citation  
     
    Bookmark   201 citations  
  • A Contingent Russell's Paradox.Francesco Orilia - 1996 - Notre Dame Journal of Formal Logic 37 (1):105-111.
    It is shown that two formally consistent type-free second-order systems, due to Cocchiarella, and based on the notion of homogeneous stratification, are subject to a contingent version of Russell's paradox.
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • On a Family of Paradoxes.A. N. Prior - 1961 - Notre Dame Journal of Formal Logic 2 (1):16-32.
    Download  
     
    Export citation  
     
    Bookmark   63 citations  
  • The Liar Paradox.JC Beall & Michael Glanzberg - 2010 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy. CSLI Publications.
    The first sentence in this essay is a lie. There is something odd about saying so, as has been known since ancient times. To see why, remember that all lies are untrue. Is the first sentence true? If it is, then it is a lie, and so it is not true. Conversely, suppose that it is not true. As we (viz., the authors) have said it, presumably with the intention of you believing it when it is not true, it is (...)
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   14 citations  
  • Frege, Russell and Logicism: A Logical Reconstruction.Nino Cocchiarella - 1986 - In L. Haaparanta & J. Hintikka (eds.), Frege Synthesized. D. Reidel Publishing Co.. pp. 197--252.
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Quality and Concept.Mark Wilson - 1984 - Philosophical Review 93 (4):636.
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • The Theory of Logical Types.Dorothy L. Grover - 1974 - Philosophical Review 83 (2):281.
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Properties.Francesco Orilia & Michele Paolini Paoletti - 2020 - Stanford Encyclopedia of Philosophy.
    2020 update of the entry "Properties".
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Quality and Concept. [REVIEW]Joachim Buhl - 1985 - Erkenntnis 23 (2):203-212.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   87 citations  
  • Property Theories.George Bealer & Uwe Mönnich - 1989 - In Dov Gabbay & Franz Guenthner (eds.), Handbook of Philosophical Logic, Volume IV. Kluwer Academic Publishers. pp. 133-251.
    Revised and reprinted in Handbook of Philosophical Logic, volume 10, Dov Gabbay and Frans Guenthner (eds.), Dordrecht: Kluwer, (2003). -- Two sorts of property theory are distinguished, those dealing with intensional contexts property abstracts (infinitive and gerundive phrases) and proposition abstracts (‘that’-clauses) and those dealing with predication (or instantiation) relations. The first is deemed to be epistemologically more primary, for “the argument from intensional logic” is perhaps the best argument for the existence of properties. This argument is presented in the (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Conditionals in Theories of Truth.Anil Gupta & Shawn Standefer - 2017 - Journal of Philosophical Logic 46 (1):27-63.
    We argue that distinct conditionals—conditionals that are governed by different logics—are needed to formalize the rules of Truth Introduction and Truth Elimination. We show that revision theory, when enriched with the new conditionals, yields an attractive theory of truth. We go on to compare this theory with one recently proposed by Hartry Field.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Intensional and Higher-Order Modal Logic, with Applications to Montague Semantics.Kenneth A. Bowen - 1977 - Journal of Symbolic Logic 42 (4):581-583.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Logical Investigations of Predication Theory and the Problem of Universals.John Corcoran - 1991 - Noûs 25 (2):221-230.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Property Theory and the Revision Theory of Definitions.Francesco Orilia - 2000 - Journal of Symbolic Logic 65 (1):212-246.
    Russell’s type theory has been the standard property theory for years, relying on rigid type distinctions at the grammatical level to circumvent the paradoxes of predication. In recent years it has been convincingly argued by Bealer, Cochiarella, Turner and others that many linguistic and ontological data are best accounted for by using a type-free property theory. In the spirit of exploring alternatives and “to have as many opportunities as possible for theory comparison”, this paper presents another type-free property theory, to (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Quality and Concept.George Bealer - 1983 - Revue Philosophique de la France Et de l'Etranger 173 (3):347-348.
    Download  
    Translate
     
     
    Export citation  
     
    Bookmark   101 citations  
  • Logical Investigations of Predication Theory and the Problem of Universals.Nino B. Cocchiarella - 1990 - Linguistics and Philosophy 13 (2):265-271.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Properties.Chris Swoyer - 2001 - In Edward N. Zalta (ed.), The Stanford Encyclopedia of Philosophy (Spring 2001).
    Download  
     
    Export citation  
     
    Bookmark   45 citations  
  • A Refutation of an Unjustified Attack on the Axiom of Reducibility.John Myhill - 1979 - In Bertrand Russell & George Washington Roberts (eds.), Bertrand Russell Memorial Volume. Humanities Press. pp. 81--90.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Formal Philosophy. [REVIEW]Richard Montague - 1975 - Canadian Journal of Philosophy 4 (3):573-578.
    Download  
     
    Export citation  
     
    Bookmark   220 citations  
  • The Revision Theory of Truth.Philip Kremer - 2008 - Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark   9 citations