Switch to: References

Add citations

You must login to add citations.
  1. Singular Concepts.Nathan Salmón - forthcoming - Synthese.
    Alonzo Church proposed a theory of sequences of functions and their arguments as surrogates for Russellian singular propositions and singular concepts. Church’s proposed theory accords with his Alternative (0), the strictest of his three competing criteria for strict synonymy. The currently popular objection to strict criteria like (0) on the basis of the Russell-Myhill antinomy is rebutted. Russell-Myhill is not a problem specifically for Alternative (0); it is a refutation of unrestrained concept comprehension. Criteria more lax than (0) are philosophically (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  • A Theory of Structured Propositions.Andrew Bacon - 2023 - Philosophical Review 132 (2):173-238.
    This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Classicism.Andrew Bacon & Cian Dorr - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press. pp. 109-190.
    This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...)
    $135.00 new   (collection)    View on Amazon.com
    Direct download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Reply to Speaks.Juhani Yli-Vakkuri & John Hawthorne - 2020 - Philosophical Studies 178 (9):3061-3065.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Ramified structure.Gabriel Uzquiano - 2022 - Philosophical Studies 180 (5-6):1651-1674.
    The Russell–Myhill theorem threatens a familiar structured conception of propositions according to which two sentences express the same proposition only if they share the same syntactic structure and their corresponding syntactic constituents share the same semantic value. Given the role of the principle of universal instantiation in the derivation of the theorem in simple type theory, one may hope to rehabilitate the core of the structured view of propositions in ramified type theory, where the principle is systematically restricted. We suggest (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • Essence and Necessity.Andreas Ditter - 2022 - Journal of Philosophical Logic 51 (3):653-690.
    What is the relation between metaphysical necessity and essence? This paper defends the view that the relation is one of identity: metaphysical necessity is a special case of essence. My argument consists in showing that the best joint theory of essence and metaphysical necessity is one in which metaphysical necessity is just a special case of essence. The argument is made against the backdrop of a novel, higher-order logic of essence, whose core features are introduced in the first part of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Are there iterated essentialist truths?Andreas Ditter - 2023 - Analysis 84 (1):3-12.
    Let an iterated essentialist statement be a statement of the form 'It lies in the nature of x1,x2,... that it lies in the nature of y1,y2,... that φ'. Let Iteration be the thesis that there are true iterated essentialist statements. Iteration has recently been disputed by Dasgupta (2014) and Glazier (2017). Both authors take the falsity of Iteration to be central to the explanatory role of essentialist truths. An important consequence that is not explicitly noted by them is that the (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
    		•
  • The Argument from Determinate Vagueness.Jaime Castillo-Gamboa - forthcoming - Oxford Studies in Metaphysics.
    The Lewis-Sider argument from vagueness is one of the most powerful objections against restricted composition. Many have resisted the argument by rejecting its key premise, namely that existence is not vague. In this paper, I argue that this strategy is ineffective as a response to vagueness-based objections against restricted composition. To that end, I formulate a new argument against restricted composition: the argument from determinate vagueness. Unlike the Lewis-Sider argument, my argument doesn’t require accepting that existence is not vague, but (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
    		•