Switch to: References

Citations of:

Plural Logic

Oxford, England: Oxford University Press UK. Edited by T. J. Smiley (2013)

Add citations

You must login to add citations.
  1. Two Physicalist Arguments for Microphysical Manyism.Simon Thunder - forthcoming - Erkenntnis:1-22.
    I here defend microphysical manyism. According to microphysical manyism, each composite or higher-level object is a mere plurality of microphysical particles. After clarifying the commitments of the view, I offer two physicalist-friendly arguments in its favour. The first argument appeals to the Canberra Plan. Here I argue that microphysical particles acting in unison play the theoretical roles associated with composite objects - that they do everything that we think of composite objects as doing - and thus that composite objects are (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Utilitarianism and the Social Nature of Persons.Nikhil Venkatesh - 2023 - Dissertation, University College London
    This thesis defends utilitarianism: the view that as far as morality goes, one ought to choose the option which will result in the most overall well-being. Utilitarianism is widely rejected by philosophers today, largely because of a number of influential objections. In this thesis I deal with three of them. Each is found in Bernard Williams’s ‘A Critique of Utilitarianism’ (1973). The first is the Integrity Objection, an intervention that has been influential whilst being subject to a wide variety of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (3 other versions)Natural Language Ontology (SEP entry).Moltmann Friederike - 2022 - Stanford Encyclopedia of Philosophy.
    This is my entry on natural language ontology in the Stanford Encyclopedia of Philosophy.
    Download  
     
    Export citation  
     
    Bookmark  
  • Irreducibly collective existence and bottomless nihilism.Jonas Werner - 2022 - Synthese 200 (2):1-16.
    This paper develops the metaphysical hypothesis that there are irreducibly collective pluralities, pluralities of objects that do not have a singular object among them. A way to formulate this hypothesis using plural quantification will be proposed and the coherence of irreducibly collective existence will be defended. Furthermore, irreducibly collective existence will be shown to allow for bottomless scenarios that do not involve things standing in relations of parthood. This will create logical space for an anti-atomistic form of mereological nihilism.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Plural metaphysical supervaluationism.Robert Michels, Cristian Mariani & Giuliano Torrengo - 2021 - Inquiry: An Interdisciplinary Journal of Philosophy (6):2005-2042.
    It has been argued that quantum mechanics forces us to accept the existence of metaphysical, mind-independent indeterminacy. In this paper we provide an interpretation of the indeterminacy involved in the quantum phenomena in terms of a view that we call Plural Metaphysical Supervaluationism. According to it, quantum indeterminacy is captured in terms of an irreducibly plural relation between the actual world and various misrepresentations of it.
    Download  
     
    Export citation  
     
    Bookmark   3 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  
  • Conjunctive paraconsistency.Franca D’Agostini - 2021 - Synthese 199 (3-4):6845-6874.
    This article is a preliminary presentation of conjunctive paraconsistency, the claim that there might be non-explosive true contradictions, but contradictory propositions cannot be considered separately true. In case of true ‘p and not p’, the conjuncts must be held untrue, Simplification fails. The conjunctive approach is dual to non-adjunctive conceptions of inconsistency, informed by the idea that there might be cases in which a proposition is true and its negation is true too, but the conjunction is untrue, Adjunction fails. While (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • (1 other version)Conceivability, Essence, and Haecceities.David Elohim - manuscript
    This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Groups as pluralities.John Horden & Dan López de Sa - 2020 - Synthese 198 (11):10237-10271.
    We say that each social group is identical to its members. The group just is them; they just are the group. This view of groups as pluralities has tended to be swiftly rejected by social metaphysicians, if considered at all, mainly on the basis of two objections. First, it is argued that groups can change in membership, while pluralities cannot. Second, it is argued that different groups can have exactly the same members, while different pluralities cannot. We rebut these objections, (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • 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  
  • Between Atomism and Superatomism.T. Scott Dixon - 2020 - Journal of Philosophical Logic 49 (6):1215-1241.
    There are at least three vaguely atomistic principles that have come up in the literature, two explicitly and one implicitly. First, standard atomism is the claim that everything is composed of atoms, and is very often how atomism is characterized in the literature. Second, superatomism is the claim that parthood is well-founded, which implies that every proper parthood chain terminates, and has been discussed as a stronger alternative to standard atomism. Third, there is a principle that lies between these two (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (3 other versions)Extending Everything with Nothing.Filippo Costantini - 2020 - Philosophia 48 (4):1413-1436.
    In this paper we offer a new solution to the old paradox of nothingness. This new solution develops in two steps. The first step consists in showing how to resolve the contradiction generated by the notion of nothingness by claiming that the contradiction shows the indefinite extensibility of the concept of object. The second step consists in showing that, having accepted the idea of indefinite extensibility, we can have absolute generality without the emergence of the contradiction connected to the absolute (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Relative Positionalism and Variable Arity Relations.T. Scott Dixon - 2019 - Metaphysics 2 (1):55-72.
    Maureen Donnelly’s (2016) relative positionalism correctly handles any fixed arity relation with any symmetry such a relation can have, yielding the intuitively correct way(s) in which that relation can apply. And it supplies an explanation of what is going on in the world that makes this the case. But it has at least one potential shortcoming — one that its opponents are likely to seize upon: it can only handle relations with fixed arities. It is unable to handle relations with (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Defence of Lichtenberg.Giovanni Merlo - 2021 - Episteme 18 (4):624-639.
    Cartesians and Lichtenbergians have diverging views of the deliverances of introspection. According to the Cartesians, a rational subject, competent with the relevant concepts, can come to know that he or she thinks – hence, that he or she exists – on the sole basis of his or her introspective awareness of his or her conscious thinking. According to the Lichtenbergians, this is not possible. This paper offers a defence of the Lichtenbergian position using Peacocke and Campbell's recent exchange on Descartes'scogitoas (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Intensional Composition as Identity.Manuel Lechthaler - 2020 - Grazer Philosophische Studien 97 (2):294-318.
    Composition as Identity claims that a composite object is identical to its parts taken collectively. This is often understood as reducing the identity of composite objects to the identity of their parts. The author argues that Composition as Identity is not such a reduction. His central claim is that an intensional notion of composition, which is sensitive to the arrangement of the composing objects, avoids criticisms based on an extensional understanding of composition. The key is to understand composition as an (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Ontological Commitment and Ontological Commitments.Jared Warren - 2020 - Philosophical Studies 177 (10):2851-2859.
    The standard account of ontological commitment is quantificational. There are many old and well-chewed-over challenges to the account, but recently Kit Fine added a new challenge. Fine claimed that the ‘‘quantificational account gets the basic logic of ontological commitment wrong’’ and offered an alternative account that used an existence predicate. While Fine’s argument does point to a real lacuna in the standard approach, I show that his own account also gets ‘‘the basic logic of ontological commitment wrong’’. In response, I (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • How to identify wholes with their parts.Jonathan D. Payton - 2019 - Synthese 198 (Suppl 18):4571-4593.
    I claim that a whole is identical to its parts. Many find this claim incredible: it seems that a whole and its parts must be distinct, for the whole is one thing while its parts are many things. Byeong-uk Yi has developed a version of this argument which exploits the resources of plural logic. Yi provides logical analyses of the predicates ‘one’ and ‘many’ which seem to show that nothing can satisfy them both. But there are two senses of the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • No universalism without gunk? Composition as identity and the universality of identity.Manuel Lechthaler - 2019 - Synthese 198 (Suppl 18):4441-4452.
    Philosophers disagree whether composition as identity entails mereological universalism. Bricker :264–294, 2016) has recently considered an argument which concludes that composition as identity supports universalism. The key step in this argument is the thesis that any objects are identical to some object, which Bricker justifies with the principle of the universality of identity. I will spell out this principle in more detail and argue that it has an unexpected consequence. If the universality of identity holds, then composition as identity not (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Metalogic and the Overgeneration Argument.Salvatore Florio & Luca Incurvati - 2019 - Mind 128 (511):761-793.
    A prominent objection against the logicality of second-order logic is the so-called Overgeneration Argument. However, it is far from clear how this argument is to be understood. In the first part of the article, we examine the argument and locate its main source, namely, the alleged entanglement of second-order logic and mathematics. We then identify various reasons why the entanglement may be thought to be problematic. In the second part of the article, we take a metatheoretic perspective on the matter. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Is composition identity?Byeong-uk Yi - 2018 - Synthese 198 (Suppl 18):4467-4501.
    Say that some things compose something, if the latter is a whole, fusion, or mereological sum of the former. Then the thesis that composition is identity holds that the composition relation is a kind of identity relation, a plural cousin of singular identity. On this thesis, any things that compose a whole are identical with the whole. This article argues that the thesis is incoherent. To do so, the article formulates the thesis in a plural language, a symbolic language that (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • From plurals to superplurals: in defence of higher-level plural logic.Berta Grimau Roca - 2018 - Dissertation, University of Glasgow
    Plural Logic is an extension of First-Order Logic with plural terms and quantifiers. When its plural terms are interpreted as denoting more than one object at once, Plural Logic is usually taken to be ontologically innocent: plural quantifiers do not require a domain of their own, but range plurally over the first-order domain of quantification. Given that Plural Logic is equi-interpretable with Monadic Second-Order Logic, it gives us its expressive power at the low ontological cost of a first-order language. This (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • Failure of Boredom: The Pendulum of Composition as Identity.Claudio Calosi - 2018 - American Philosophical Quarterly 55 (3):281-292.
    This paper provides new arguments for the following claim: either strong composition as identity cannot retain the full strength of both the logical principles of one-one identity and its semantical principles or it only delivers cases of boring composition in that it entails mereological nihilism.
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Against the iterative conception of set.Edward Ferrier - 2019 - Philosophical Studies 176 (10):2681-2703.
    According to the iterative conception of set, each set is a collection of sets formed prior to it. The notion of priority here plays an essential role in explanations of why contradiction-inducing sets, such as the Russell set, do not exist. Consequently, these explanations are successful only to the extent that a satisfactory priority relation is made out. I argue that attempts to do this have fallen short: understanding priority in a straightforwardly constructivist sense threatens the coherence of the empty (...)
    Download  
     
    Export citation  
     
    Bookmark   2 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  
  • On the Logic of the Christian Trinity: Co-Inherence and the Nesting Relationships.Ioan BiriÈ™ - 2018 - Journal for the Study of Religions and Ideologies 17 (50):17-29.
    The present study intends to demonstrate that there is no logical-formal inconsistency in the Christian Trinity. However, the demonstration requires specific tools, other than those of classical logic. There are many older or newer attempts that try to remove the thesis of the inconsistency of the Christian Trinity. There is often a call for mathematical tools. As far as we are concerned, we will appeal to co -inherence and the nesting relationships specific to the Christian Trinity, as they appear especially (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Aristotle, Logic, and QUARC.Jonas Raab - 2018 - History and Philosophy of Logic 39 (4):305-340.
    The goal of this paper is to present a new reconstruction of Aristotle's assertoric logic as he develops it in Prior Analytics, A1-7. This reconstruction will be much closer to Aristotle's original...
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • On how (not) to define modality in terms of essence.Robert Michels - 2019 - Philosophical Studies 176 (4):1015-1033.
    In his influential article ‘Essence and Modality’, Fine proposes a definition of necessity in terms of the primitive essentialist notion ‘true in virtue of the nature of’. Fine’s proposal is suggestive, but it admits of different interpretations, leaving it unsettled what the precise formulation of an Essentialist definition of necessity should be. In this paper, four different versions of the definition are discussed: a singular, a plural reading, and an existential variant of Fine’s original suggestion and an alternative version proposed (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • Objects and Attitudes.Friederike Moltmann - forthcoming - New York: Oxford University Press.
    This is a prepublication version of my book Objects and Attitudes. The book develops a novel semantics of attitude reports, modal sentences, and quotation based on the view that sentences semantically act as predicates of various attitudinal and modal objects, entities like claims, requests, promises, obligations, and permissions, rather than standing for abstract propositions playing the role of objects. The approach develops truthmaker semantics for attitudinal and modal objects and has a wide range of applications to issues in philosophy of (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Modal set theory.Christopher Menzel - 2018 - In Otávio Bueno & Scott A. Shalkowski (eds.), The Routledge Handbook of Modality. New York: Routledge.
    This article presents an overview of the basic philosophical motivations for, and some recent work in, modal set theory.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Conceivability, Essence, and Haecceities.David Elohim - manuscript
    This essay aims to redress the contention that epistemic possibility cannot be a guide to the principles of modal metaphysics. I introduce a novel epistemic two-dimensional truthmaker semantics. I argue that the interaction between the two-dimensional framework and the mereological parthood relation, which is super-rigid, enables epistemic possibilities and truthmakers with regard to parthood to be a guide to its metaphysical profile. I specify, further, a two-dimensional formula encoding the relation between the epistemic possibility and verification of essential properties obtaining (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrews
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • (1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Computational Learning Semantics for Inductive Empirical Knowledge.Kevin T. Kelly - 2014 - In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Cham, Switzerland: Springer International Publishing. pp. 289-337.
    This chapter presents a new semantics for inductive empirical knowledge. The epistemic agent is represented concretely as a learner who processes new inputs through time and who forms new beliefs from those inputs by means of a concrete, computable learning program. The agent’s belief state is represented hyper-intensionally as a set of time-indexed sentences. Knowledge is interpreted as avoidance of error in the limit and as having converged to true belief from the present time onward. Familiar topics are re-examined within (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (3 other versions)Natural Language Ontology.Friederike Moltmann - 2017 - Oxford Encyclopedia of Linguistics.
    The aim of natural language ontology is to uncover the ontological categories and structures that are implicit in the use of natural language, that is, that a speaker accepts when using a language. This article aims to clarify what exactly the subject matter of natural language ontology is, what sorts of linguistic data it should take into account, how natural language ontology relates to other branches of metaphysics, in what ways natural language ontology is important, and what may be distinctive (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  • Composition as Identity and Plural Cantor's Theorem.Einar Duenger Bohn - 2016 - Logic and Logical Philosophy 25 (3).
    I argue that Composition as Identity blocks the plural version of Cantor's Theorem, and that therefore the plural version of Cantor's Theorem can no longer be uncritically appealed to. As an example, I show how this result blocks a recent argument by Hawthorne and Uzquiano.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Coextension and Identity.Ghislain Guigon - 2015 - In Ghislain Guigon & Gonzalo Rodriguez-Pereyra (eds.), Nominalism About Properties: New Essays. New York, NY: Routledge. pp. 135-155.
    This chapter is concerned with the coextension difficulty for nominalist theories of properties that reject tropes alongside universals. After carefully explaining the coextension difficulty and describing the theories it targets, the chapter describes different solutions to the difficulty. These solutions differ with respect to how much involved they are into a dualist approach to coextension. A dualist approach to a case of coextension consists in agreeing with the realist that the relevant ascriptions of properties are numerically distinct. A monist approach (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Committing to an individual: ontological commitment, reference and epistemology.Frederique Janssen-Lauret - 2016 - Synthese 193 (2):583-604.
    When we use a directly referential expression to denote an object, do we incur an ontological commitment to that object, as Russell and Barcan Marcus held? Not according to Quine, whose regimented language has only variables as denoting expressions, but no constants to model direct reference. I make a case for a more liberal conception of ontological commitment—more wide-ranging than Quine’s—which allows for commitment to individuals, with an improved logical language of regimentation. The reason for Quine’s prohibition on commitment to (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Stuff and coincidence.Thomas J. McKay - 2015 - Philosophical Studies 172 (11):3081-3100.
    Anyone who admits the existence of composite objects allows a certain kind of coincidence, coincidence of a thing with its parts. I argue here that a similar sort of coincidence, coincidence of a thing with the stuff that constitutes it, should be equally acceptable. Acknowledgement of this is enough to solve the traditional problem of the coincidence of a statue and the clay or bronze it is made of. In support of this, I offer some principles for the persistence of (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Metaphysics First or Language First: The Notion of a Single Object.Friederike Moltmann - forthcoming - In Richard Gaskin (ed.), The Question of Idealism.
    This paper argues that the notion of a single object or 'being one' does not require worldly or perceived conditions of integrity and even less so concept-relative atomicity. It generally is based on conditions of integrity of some sort, but not strictly so. It rather is imposed by the use of count categories in natural language and thus makes a case for linguistic idealism.
    Download  
     
    Export citation  
     
    Bookmark  
  • Perceptual capacitism: an argument for disjunctive disunity.James Openshaw & Assaf Weksler - 2022 - Philosophical Studies 179 (11):3325-3348.
    According to capacitism, to perceive is to employ personal-level, perceptual capacities. In a series of publications, Schellenberg (2016, 2018, 2019b, 2020) has argued that capacitism offers unified analyses of perceptual particularity, perceptual content, perceptual consciousness, perceptual evidence, and perceptual knowledge. “Capacities first” (2020: 715); appealing accounts of an impressive array of perceptual and epistemological phenomena will follow. We argue that, given the Schellenbergian way of individuating perceptual capacities which underpins the above analyses, perceiving an object does not require employing a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Reference by proxy.Michael Rieppel - 2022 - Synthese 200 (3):1-18.
    Formal semantic theories are generally thought to make contact with pre-theoretic semantic notions of aboutness and reference. The nature of that contact is, however, not always straightforward. This paper addresses two debates where that issue assumes a significant role. I begin with Simchen’s recent argument that Lewisian Interpretationism succumbs to referential indeterminacy. I develop a proposal about the relationship between the theoretical notion of a term’s semantic value and the pre-theoretic notion of reference, and argue that the indeterminacy Simchen identifies (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • Much Ado About the Many.Jonathan Mai - 2021 - Principia: An International Journal of Epistemology 25 (1).
    English distinguishes between singular quantifiers like "a donkey" and plural quantifiers like "some donkeys". Pluralists hold that plural quantifiers range in an unusual, irreducibly plural, way over common objects, namely individuals from first-order domains and not over set-like objects. The favoured framework of pluralism is plural first-order logic, PFO, an interpreted first-order language that is capable of expressing plural quantification. Pluralists argue for their position by claiming that the standard formal theory based on PFO is both ontologically neutral and really (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A taxonomy for the mereology of entangled quantum systems.Paul M. Näger & Niko Strobach - manuscript
    The emerging field of quantum mereology considers part-whole relations in quantum systems. Entangled quantum systems pose a peculiar problem in the field, since their total states are not reducible to that of their parts. While there exist several established proposals for modelling entangled systems, like monistic holism or relational holism, there is considerable unclarity, which further positions are available. Using the lambda operator and plural logic as formal tools, we review and develop conceivable models and evaluate their consistency and distinctness. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Mereological Problem of Entanglement.Paul M. Näger - manuscript
    It is well-known that the entangled quantum state of a composite object cannot be reduced to the states of its parts. This quantum holism provides a peculiar challenge to formulate an appropriate mereological model: When a system is in an entangled state, which objects are there on the micro and macro level, and which of the objects carries which properties? This paper chooses a modeling approach to answer these questions: It proceeds from a systematic overview of consistent mereological models for (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)New powers for Dispositionalism.Giacomo Giannini - 2021 - Synthese 199:2671-2700.
    Establishing Dispositionalism as a viable theory of modality requires the successful fulfilment of two tasks: showing that all modal truths can be derived from truths about actual powers, and offering a suitable metaphysics of powers. These two tasks are intertwined: difficulties in one can affect the chances of success in the other. In this paper, I generalise an objection to Dispositionalism by Jessica Leech and argue that the theory in its present form is ill-suited to account for de re truths (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Correct Conceivability and its Role in the Epistemology of Modality.Robert Michels - 2020 - Les Principes Métaphysiques.
    The starting point of this paper is an argument to the conclusion that the definition of metaphysical possibility in terms of correct conceivability, conceivability informed by knowledge of relevant essences, found in Rosen (2006) is equivalent to a version of the essentialist definition of metaphysical necessity. This argument appears to show that correct conceivability is a notion of conceivability by name only and is therefore of no interest to epistemologists of modality. In this paper, I present the equivalence argument, explain (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • What we can do.Katherine Ritchie - 2020 - Philosophical Studies 177 (4):865-882.
    Plural first-person pronouns have often been ignored in the literature on indexicals and pronouns. The assumption seems to be that we is just the plural of I. So, we can focus on theorizing about singular indexicals and about non-indexical plurals then combine the results to yield a theory of plural indexicals. Here I argue that the “divide and conquer” strategy fails. By considering data involving plurals, generics, and complex demonstratives, I argue for a referential semantics on which we can refer (...)
    Download  
     
    Export citation  
     
    Bookmark