Switch to: References

Citations of:

Everything

Philosophical Perspectives 17 (1):415–465 (2003)

Add citations

You must login to add citations.
  1. Objectual aboutness.Dan Marshall - 2024 - Inquiry: An Interdisciplinary Journal of Philosophy 67 (6):1640-1715.
    A de re objectual subject matter is a subject matter of the form how a1, a2 … are, whereas a de dicto objectual subject matter is a subject matter of the form how Fs are. An objectual subject matter is either a de re or de dicto objectual subject matter. This paper provides a systematic theory of aboutness towards objectual subject matters which, if correct, illuminates both the nature of intrinsicality and the general nature of aboutness. In addition to the (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Logical exceptionalism: Development and predicaments.Bo Chen - 2024 - Theoria 90 (3):295-321.
    This paper examines the conceptions of logic from Leibniz, Hume, Kant, Frege, Wittgenstein and Ayer, and regards the six philosophers as the representatives of logical exceptionalism. From their standpoints, this paper refines the tenets of logical exceptionalism as follows: logic is exceptional to all other sciences because of four reasons: (i) logic is formal, neutral to any domain and any entities, and general; (ii) logical truths are made true by the meanings of logical constants they contain or by logicians' rational (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Special Quantifiers: Higher-Order Quantification and Nominalization.Friederike Moltmann - manuscript
    Special quantifiers are quantifiers like 'something', 'everything', and 'several things'. They are special both semantically and syntactically and play quite an important role in philosophy, in discussions of ontological commitment to abstract objects, of higher-order metaphysics, and of the apparent need for propositions. This paper will review and discuss in detail the syntactic and semantic peculiarities of special quantifiers and show that they are incompatible with substitutional and higher-order analyses that have recently been proposed. It instead defends and develops in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • The negative theology of absolute infinity: Cantor, mathematics, and humility.Rico Gutschmidt & Merlin Carl - 2024 - International Journal for Philosophy of Religion 95 (3):233-256.
    Cantor argued that absolute infinity is beyond mathematical comprehension. His arguments imply that the domain of mathematics cannot be grasped by mathematical means. We argue that this inability constitutes a foundational problem. For Cantor, however, the domain of mathematics does not belong to mathematics, but to theology. We thus discuss the theological significance of Cantor’s treatment of absolute infinity and show that it can be interpreted in terms of negative theology. Proceeding from this interpretation, we refer to the recent debate (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Geach‐Kaplan sentence reconsidered.Kentaro Fujimoto - 2023 - Philosophy and Phenomenological Research 109 (1):288-314.
    The Geach‐Kaplan sentence is alleged to be an example of a non‐first‐orderizable sentence, and the proof of the alleged non‐first‐orderizability is credited to David Kaplan. However, there is also a widely shared intuition that the Geach‐Kaplan sentence is still first‐orderizable by invoking sets or other extra non‐logical resources. The plausibility of this intuition is particularly crucial for first‐orderism, namely, the thesis that all our scientific discourse and reasoning can be adequately formalized by first‐order logic. I first argue that the Geach‐Kaplan (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Ordinal Type Theory.Jan Plate - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Higher-order logic, with its type-theoretic apparatus known as the simple theory of types (STT), has increasingly come to be employed in theorizing about properties, relations, and states of affairs—or ‘intensional entities’ for short. This paper argues against this employment of STT and offers an alternative: ordinal type theory (OTT). Very roughly, STT and OTT can be regarded as complementary simplifications of the ‘ramified theory of types’ outlined in the Introduction to Principia Mathematica (on a realist reading). While STT, understood as (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Against Second-Order Primitivism.Bryan Pickel - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
    In the language of second-order logic, first- and second-order variables are distinguished syntactically and cannot be grammatically substituted. According to a prominent argument for the deployment of these languages, these substitution failures are necessary to block the derivation of paradoxes that result from attempts to generalize over predicate interpretations. I first examine previous approaches which interpret second-order sentences using expressions of natural language and argue that these approaches undermine these syntactic restrictions. I then examine Williamson’s primitivist approach according to which (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Ontology of Divinity.Mirosław Szatkowski (ed.) - 2024 - De Gruyter.
    This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A fictionalist theory of universals.Tim Button & Robert Trueman - 2024 - In Peter Fritz & Nicholas K. Jones (eds.), Higher-Order Metaphysics. Oxford University Press.
    Universals are putative objects like wisdom, morality, redness, etc. Although we believe in properties (which, we argue, are not a kind of object), we do not believe in universals. However, a number of ordinary, natural language constructions seem to commit us to their existence. In this paper, we provide a fictionalist theory of universals, which allows us to speak as if universals existed, whilst denying that any really do.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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  
  • (1 other version)The Case Against Higher-Order Metaphysics.Thomas Hofweber - forthcoming - Metaphysics 5 (1):29-50.
    Although higher-order metaphysics seems prima facie to be a promising new approach to metaphysics, it is nonetheless based on a mistake. This mistake is tied to a misuse of formal languages in metaphysics in general, not just to the use of higher-order rather than lower-order languages. I hope to highlight the mistake by discussing a popular recent example of higher- order metaphysics: the argument that reality is not structured using reasoning inspired by the Russell-Myhill paradox. A key issue will be (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Two conceptions of absolute generality.Salvatore Florio & Nicholas K. Jones - 2023 - Philosophical Studies 180 (5-6):1601-1621.
    What is absolutely unrestricted quantification? We distinguish two theoretical roles and identify two conceptions of absolute generality: maximally strong generality and maximally inclusive generality. We also distinguish two corresponding kinds of absolute domain. A maximally strong domain contains every potential counterexample to a generalisation. A maximally inclusive domain is such that no domain extends it. We argue that both conceptions of absolute generality are legitimate and investigate the relations between them. Although these conceptions coincide in standard settings, we show how (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Higher-Order Metaphysics and Small Differences. [REVIEW]Timothy Williamson - 2023 - Analysis 83 (1):213-224.
    Conspicuously missing some planks, a latter-day Ship of Theseus catches the eye when one picks up this Book of Three Authors. Teasingly, differentiated preposit.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Hume’s Principle, Bad Company, and the Axiom of Choice.Sam Roberts & Stewart Shapiro - 2023 - Review of Symbolic Logic 16 (4):1158-1176.
    One prominent criticism of the abstractionist program is the so-called Bad Company objection. The complaint is that abstraction principles cannot in general be a legitimate way to introduce mathematical theories, since some of them are inconsistent. The most notorious example, of course, is Frege’s Basic Law V. A common response to the objection suggests that an abstraction principle can be used to legitimately introduce a mathematical theory precisely when it is stable: when it can be made true on all sufficiently (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Collective Abstraction.Jon Erling Litland - 2022 - Philosophical Review 131 (4):453-497.
    This paper develops a novel theory of abstraction—what we call collective abstraction. The theory solves a notorious problem for noneliminative structuralism. The noneliminative structuralist holds that in addition to various isomorphic systems there is a pure structure that can be abstracted from each of these systems; but existing accounts of abstraction fail for nonrigid systems like the complex numbers. The problem with the existing accounts is that they attempt to define a unique abstraction operation. The theory of collective abstraction instead (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Nominalist dispositional essentialism.Lisa Vogt - 2022 - Synthese 200 (2).
    Dispositional Essentialism, as commonly conceived, consists in the claims that at least some of the fundamental properties essentially confer certain causal-nomological roles on their bearers, and that these properties give rise to the natural modalities. As such, the view is generally taken to be committed to a realist conception of properties as either universals or tropes, and to be thus incompatible with nominalism as understood in the strict sense. Pace this common assumption of the ontological import of Dispositional Essentialism, the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Ramsification and Semantic Indeterminacy.Hannes Leitgeb - 2022 - Review of Symbolic Logic 16 (3):900-950.
    Is it possible to maintain classical logic, stay close to classical semantics, and yet accept that language might be semantically indeterminate? The article gives an affirmative answer by Ramsifying classical semantics, which yields a new semantic theory that remains much closer to classical semantics than supervaluationism but which at the same time avoids the problematic classical presupposition of semantic determinacy. The resulting Ramsey semantics is developed in detail, it is shown to supply a classical concept of truth and to fully (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Against Representational Levels.Nicholas K. Jones - 2023 - Philosophical Perspectives 36 (1):140-157.
    Some views articulate reality's hierarchical structure using relations from the fundamental to representations of reality. Other views instead use relations from the fundamental to constituents of non-representational reality. This paper argues against the first kind of view.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Engineering Existence?Lukas Skiba - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    This paper investigates the connection between two recent trends in philosophy: higher-orderism and conceptual engineering. Higher-orderists use higher-order quantifiers (in particular quantifiers binding variables that occupy the syntactic positions of predicates) to express certain key metaphysical doctrines, such as the claim that there are properties. I argue that, on a natural construal, the higher-orderist approach involves an engineering project concerning, among others, the concept of existence. I distinguish between a modest construal of this project, on which it aims at engineering (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Higher‐order metaphysics.Lukas Skiba - 2021 - Philosophy Compass 16 (10):1-11.
    Subverting a once widely held Quinean paradigm, there is a growing consensus among philosophers of logic that higher-order quantifiers (which bind variables in the syntactic position of predicates and sentences) are a perfectly legitimate and useful instrument in the logico-philosophical toolbox, while neither being reducible to nor fully explicable in terms of first-order quantifiers (which bind variables in singular term position). This article discusses the impact of this quantificational paradigm shift on metaphysics, focussing on theories of properties, propositions, and identity, (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Against Cumulative Type Theory.Tim Button & Robert Trueman - 2022 - Review of Symbolic Logic 15 (4):907-49.
    Standard Type Theory, STT, tells us that b^n(a^m) is well-formed iff n=m+1. However, Linnebo and Rayo have advocated the use of Cumulative Type Theory, CTT, has more relaxed type-restrictions: according to CTT, b^β(a^α) is well-formed iff β > α. In this paper, we set ourselves against CTT. We begin our case by arguing against Linnebo and Rayo’s claim that CTT sheds new philosophical light on set theory. We then argue that, while CTT ’s type-restrictions are unjustifiable, the type-restrictions imposed by (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Should a higher-order metaphysician believe in properties?David Liggins - 2021 - Synthese 199 (3-4):10017-10037.
    In this paper I take second order-quantification to be a sui generis form of quantification, irreducible to first-order quantification, and I examine the implications of doing so for the debate over the existence of properties. Nicholas K. Jones has argued that adding sui generis second-order quantification to our ideology is enough to establish that properties exist. I argue that Jones does not settle the question of whether there are properties because—like other ontological questions—it is first-order. Then I examine three of (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Closed Structure.Peter Fritz, Harvey Lederman & Gabriel Uzquiano - 2021 - Journal of Philosophical Logic 50 (6):1249-1291.
    According to the structured theory of propositions, if two sentences express the same proposition, then they have the same syntactic structure, with corresponding syntactic constituents expressing the same entities. A number of philosophers have recently focused attention on a powerful argument against this theory, based on a result by Bertrand Russell, which shows that the theory of structured propositions is inconsistent in higher order-logic. This paper explores a response to this argument, which involves restricting the scope of the claim that (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Ontology and Arbitrariness.David Builes - 2022 - Australasian Journal of Philosophy 100 (3):485-495.
    In many different ontological debates, anti-arbitrariness considerations push one towards two opposing extremes. For example, in debates about mereology, one may be pushed towards a maximal ontology (mereological universalism) or a minimal ontology (mereological nihilism), because any intermediate view seems objectionably arbitrary. However, it is usually thought that anti-arbitrariness considerations on their own cannot decide between these maximal or minimal views. I will argue that this is a mistake. Anti-arbitrariness arguments may be used to motivate a certain popular thesis in (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Prior's puzzle generalized.Justin D'Ambrosio - 2023 - Philosophy and Phenomenological Research 106 (1):196-220.
    Prior’s puzzle is standardly taken to be the puzzle of why, given the assumption that that-clauses denote propositions, substitution of “the proposition that P” for “that P” within the complements of many propositional attitude verbs is invalid. I show that Prior’s puzzle is much more general than is ordinarily supposed. There are two variants on the substitutional form of the puzzle—a quantificational variant and a pronominal variant—and all three forms of the puzzle arise in a wide range of grammatical positions, (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Many and the One: A Philosophical Study of Plural Logic.Salvatore Florio & Øystein Linnebo - 2021 - Oxford, England: Oxford University Press.
    Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Indefinite extensibility and the principle of sufficient reason.Geoffrey Hall - 2020 - Philosophical Studies 178 (2):471-492.
    The principle of sufficient reason threatens modal collapse. Some have suggested that by appealing to the indefinite extensibility of contingent truth, the threat is neutralized. This paper argues that this is not so. If the indefinite extensibility of contingent truth is developed in an analogous fashion to the most promising models of the indefinite extensibility of the concept set, plausible principles permit the derivation of modal collapse.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Logical Combinatorialism.Andrew Bacon - 2020 - Philosophical Review 129 (4):537-589.
    In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Propositions and Cognitive Relations.Nicholas K. Jones - 2019 - Proceedings of the Aristotelian Society 119 (2):157-178.
    There are two broad approaches to theorizing about ontological categories. Quineans use first-order quantifiers to generalize over entities of each category, whereas type theorists use quantification on variables of different semantic types to generalize over different categories. Does anything of import turn on the difference between these approaches? If so, are there good reasons to go type-theoretic? I argue for positive answers to both questions concerning the category of propositions. I also discuss two prominent arguments for a Quinean conception of (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Radical Anti‐Disquotationalism.Andrew Bacon - 2018 - Philosophical Perspectives 32 (1):41-107.
    A number of `no-proposition' approaches to the liar paradox find themselves implicitly committed to a moderate disquotational principle: the principle that if an utterance of the sentence `$P$' says anything at all, it says that $P$ (with suitable restrictions). I show that this principle alone is responsible for the revenge paradoxes that plague this view. I instead propose a view in which there are several closely related language-world relations playing the `semantic expressing' role, none of which is more central to (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Classical Opacity.Michael Caie, Jeremy Goodman & Harvey Lederman - 2019 - Philosophy and Phenomenological Research 101 (3):524-566.
    Philosophy and Phenomenological Research, EarlyView.
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  • Unrestricted Quantification and the Structure of Type Theory.Salvatore Florio & Nicholas K. Jones - 2021 - Philosophy and Phenomenological Research 102 (1):44-64.
    Semantic theories based on a hierarchy of types have prominently been used to defend the possibility of unrestricted quantification. However, they also pose a prima facie problem for it: each quantifier ranges over at most one level of the hierarchy and is therefore not unrestricted. It is difficult to evaluate this problem without a principled account of what it is for a quantifier to be unrestricted. Drawing on an insight of Russell’s about the relationship between quantification and the structure of (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • The Triviality of the Identity of Indiscernibles.Samuel Elgin - manuscript
    The Identity of Indiscernibles is the principle that objects cannot differ only numerically. It is widely held that one interpretation of this principle is trivially true: the claim that objects that bear all of the same properties are identical. This triviality ostensibly arises from haecceities (properties like \textit{is identical to a}). I argue that this is not the case; we do not trivialize the Identity of Indiscernibles with haecceities, because it is impossible to express the haecceities of indiscernible objects. I (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Aboutness and ontology: a modest approach to truthmakers.Arthur Schipper - 2020 - Philosophical Studies 177 (2):505-533.
    Truthmaker theory has been used to argue for substantial conclusions about the categorial structure of the world, in particular that states of affairs are needed to play the role of truthmakers. In this paper, I argue that closely considering the role of aboutness in truthmaking, that is considering what truthbearers are about, yields the result that there is no good truthmaker-based reason to think that truthmakers must be states of affairs understood as existing entities, whether complex or simple. First, I (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • Is Kant's Critique of Metaphysics Obsolete?Nicholas Stang - manuscript
    I raise a problem about the possibility of metaphysics originally raised by Kant: what explains the fact that the terms in our metaphysical theories (e.g. “property”) refer to entities and structures (e.g. properties) in the world? I distinguish a meta-metaphysical view that can easily answer such questions (“deflationism”) from a meta-metaphysical view for which this explanatory task is more difficult (which I call the “substantive” view of metaphysics). I then canvass responses that the substantive metaphysician can give to this Kantian (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Diamonds are Forever.Cian Dorr & Jeremy Goodman - 2019 - Noûs 54 (3):632-665.
    We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • Quantification and Paradox.Edward Ferrier - 2018 - Dissertation, University of Massachusetts Amherst
    I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Characterising Theories of Time and Modality.Daniel Deasy - 2019 - Analytic Philosophy 60 (3):283-305.
    Recently, some authors – call them Reformists – have argued that the traditional Presentism-Eternalism and Actualism-Possibilism debates in the metaphysics of time and modality respectively are unclear or insubstantial, and should therefore give way to the newer Temporaryism-Permanentism and Contingentism- Necessitism debates. In ‘On characterising the presentism/eternalism and actualism/possibilism debates’ (2016, Analytic Philosophy 57: 110-140), Ross Cameron defends the Conservative position that the traditional debates are both substantial and distinct from the Temporaryism-Permanentism and Contingentism- Necessitism debates. In this paper I (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Object.Bradley Rettler & Andrew M. Bailey - 2017 - Stanford Encyclopedia of Philosophy 1.
    One might well wonder—is there a category under which every thing falls? Offering an informative account of such a category is no easy task. For nothing would distinguish things that fall under it from those that don’t—there being, after all, none of the latter. It seems hard, then, to say much about any fully general category; and it would appear to do no carving or categorizing or dividing at all. Nonetheless there are candidates for such a fully general office, including (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Classes, why and how.Thomas Schindler - 2019 - Philosophical Studies 176 (2):407-435.
    This paper presents a new approach to the class-theoretic paradoxes. In the first part of the paper, I will distinguish classes from sets, describe the function of class talk, and present several reasons for postulating type-free classes. This involves applications to the problem of unrestricted quantification, reduction of properties, natural language semantics, and the epistemology of mathematics. In the second part of the paper, I will present some axioms for type-free classes. My approach is loosely based on the Gödel–Russell idea (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The Only Way To Be.Trenton Merricks - 2017 - Noûs 53 (3):593-612.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • The Broadest Necessity.Andrew Bacon - 2018 - Journal of Philosophical Logic 47 (5):733-783.
    In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...)
    Download  
     
    Export citation  
     
    Bookmark   43 citations  
  • Grounding, Essence, And Identity.Fabrice Correia & Alexander Skiles - 2017 - Philosophy and Phenomenological Research 98 (3):642-670.
    Recent metaphysics has turned its focus to two notions that are—as well as having a common Aristotelian pedigree—widely thought to be intimately related: grounding and essence. Yet how, exactly, the two are related remains opaque. We develop a unified and uniform account of grounding and essence, one which understands them both in terms of a generalized notion of identity examined in recent work by Fabrice Correia, Cian Dorr, Agustín Rayo, and others. We argue that the account comports with antecedently plausible (...)
    Download  
     
    Export citation  
     
    Bookmark   91 citations  
  • The Logic of Opacity.Andrew Bacon & Jeffrey Sanford Russell - 2017 - Philosophy and Phenomenological Research 99 (1):81-114.
    We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...)
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Nominalist Realism.Nicholas K. Jones - 2017 - Noûs 52 (4):808-835.
    This paper explores the impact of quantification into predicate position on the metaphysics of properties, arguing that two familiar debates about properties are fundamentally altered by recasting them in a second-order setting. Two theories of properties are outlined, differing over whether the existence of properties is expressed using first-order or second-order quantifiers. It is argued that the second-order theory: provides good reason to regard debate about the locations of properties as contentless; resolves debate about whether properties are particulars or universals (...)
    Download  
     
    Export citation  
     
    Bookmark   41 citations  
  • (1 other version)To Be F Is To Be G.Cian Dorr - 2006 - Philosophical Perspectives 30 (1):39-134.
    This paper is an investigation of the general logic of "identifications", claims such as 'To be a vixen is to be a female fox', 'To be human is to be a rational animal', and 'To be just is to help one's friends and harm one's enemies', many of which are of great importance to philosophers. I advocate understanding such claims as expressing higher-order identity, and discuss a variety of different general laws which they might be thought to obey. [New version: (...)
    Download  
     
    Export citation  
     
    Bookmark   180 citations  
  • An Argument For Necessitism.Jeremy Goodman - 2016 - Philosophical Perspectives 30 (1):160-182.
    This paper presents a new argument for necessitism, the claim that necessarily everything is necessarily something. The argument appeals to principles about the metaphysics of quantification and predication which are best seen as constraints on reality’s fineness of grain. I give this argument in section 4; the impatient reader may skip directly there. Sections 1-3 set the stage by surveying three other arguments for necessitism. I argue that none of them are persuasive, but I think it is illuminating to consider (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Actuality and the a priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.
    We consider a natural-language sentence that cannot be formally represented in a first-order language for epistemic two-dimensional semantics. We also prove this claim in the “Appendix” section. It turns out, however, that the most natural ways to repair the expressive inadequacy of the first-order language render moot the original philosophical motivation of formalizing a priori knowability as necessity along the diagonal.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Yablo Without Gödel.Volker Halbach & Shuoying Zhang - 2017 - Analysis 77 (1):53-59.
    We prove Yablo’s paradox without the diagonal lemma or the recursion theorem. Only a disquotation schema and axioms for a serial and transitive ordering are used in the proof. The consequences for the discussion on whether Yablo’s paradox is circular or involves self-reference are evaluated.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Vagueness and Quantification.Andrea Iacona - 2016 - Journal of Philosophical Logic 45 (5):579-602.
    This paper deals with the question of what it is for a quantifier expression to be vague. First it draws a distinction between two senses in which quantifier expressions may be said to be vague, and provides an account of the distinction which rests on independently grounded assumptions. Then it suggests that, if some further assumptions are granted, the difference between the two senses considered can be represented at the formal level. Finally, it outlines some implications of the account provided (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations