Attempting to provide an ontological framework for the notion of the non-personal Universe of Being proposed elsewhere, this paper – after some basic definitions – focuses on substances, one pillar of that notion. It recognizes only to individual substances a material existence, viewed as the entire complex of the properties instantiated in each of them. It then examines features of the general essence of substances. While such essence can be comprehended via abstract definitions, their individual essence cannot, I argue, because (...) it is not a concept but a reality, which I refer to as Being. This manifests powers, is inexhaustible growth and is one, although expressed differently in each individual. The possible connection of the human being with this reality is the second pillar of the notion of the non-personal Universe of Being, which I summarize and compare to other scenarios at the end. (shrink)

In this paper, I try to demonstrate a problem with two medieval European views of existence: The property view and the essence view. Adopting a style of reasoning employed by the Indian Madhyamaka philosopher Nāgārjuna, I argue that both the property view and the essence view understand the relation between an object and its existence in terms of difference: The former understands the difference as the difference between an object and its property of existence, and the latter, as the difference (...) between an object’s essence and existence. Neither understanding is without problems, and both lack explanatory power. We must reject both the views. (shrink)

Object-hood is central to Husserl’s work, yet he employs several different notions of object-hood without clarifying the differences; his work thus offers rich and nuanced reflections on object-hood, but in a theoretically underdeveloped, at times even paradoxical, form. This paper aims to develop Husserl’s theory of objects systematically. In order to achieve this I distinguish five object-concepts operative in Husserl’s phenomenology and prove that they are not co-extensional. I also argue that they form a layer in terms of transcendental constitution, (...) one implying the other. I conclude the paper by exploring Husserl’s paradoxical claim that the absolute is not an object. From these considerations, two meta-phenomenological lessons emerge: object-hood is not total ; yet we cannot escape objectification while engaged in phenomenological reflection. (shrink)

Is identity fundamental to formal systems? Even if a system have no the identity relation, is that concept is not assumed in any way – whether in a metalinguistic or intuitive level? In this paper we shall discuss this issue. Otávio Bueno (2014, 2016) argues against the elimination of identity, holding that this concept is fundamental and non-eliminable (even in does systems that claim to do so). Décio Arenhart Krause and Jonas (2015), by the other hand, have a number of (...) objections to Bueno’s thesis. Firstly, we look at how the concept of identity was accounted in the philosophical tradition, as well as part of its formal account. We will also examine the notion of indiscernibility that, according to the traditional approach to identity, is equivalent to the notion of identity, but (arguably) is not it logically equivalent. Thus, we shall state Krause and Arenhart’s strategy, according to, in a formal system we can eliminate identity in favor of the indiscernibility notion. Finally, we shall expose Bueno’s criticism to such strategy, and then to put forward some objections against it. (shrink)

Kit Fine has proposed a new solution to what he calls ‘a familiar puzzle’ concerning modality and existence. The puzzle concerns the argument from the alleged truths ‘It is necessary that Socrates is a man’ and ‘It is possible that Socrates does not exist’ to the apparent falsehood ‘It is possible that Socrates is a man and does not exist’. We discuss in detail Fine’s setting up of the ‘puzzle’ and his rejection, with which we concur, of two mooted solutions (...) to it. (One of these uses standard, Kripkean, notions, and the other rests on work done by Arthur Prior.) We set out, and reject, the philosophy of modality underlying Fine’s new solution, and we defend an alternative response to the alleged puzzle. Our solution follows the work of David Wiggins in distinguishing between the sentential operator ‘It is necessary that’ and the predicate modifier ‘necessarily’. We briefly provide this distinction with a possible- world semantics on which it is neither a necessary truth, in some sense, that Socrates exists nor true, in some sense, that Socrates necessarily exists. (shrink)

The subject of this paper is the epistemology of identity: a general theory of knowledge, evidence and justification for the claim that one thing is identical to another. Although identity figures significantly in our epistemic lives, this is a topic that, to the best of my knowledge, has gone entirely unexplored. Initial attempts to integrate such an epistemology into existing theories of evidence---many of which are tailor-made for contingent propositions---are confounded by the necessity of identity. I defend a restricted form (...) of skepticism according to which the only knowable identity claims are trivial. (shrink)

Neste ensaio, discutem-se cinco questões acerca da existência: 1. É a existência representável em termos de quantificação? 2. É a existência um predicado" real", de primeira ordem? 3. É existir o mesmo que ser? 4. Existe tudo? 5. Qual é a forma lógica de afirmações de existência? São introduzidas e examinadas algumas das mais salientes posições acerca destas questões, em especial a concepção Frege-Russell da existência e diversas concepções recentes neo-Meinongianas. Defendemos as seguintes três teses acerca daquilo que deve ser (...) um bom predicado de existência:(a) um predicado puramente lógico e parcialmente definível em termos do quantificador existencial;(b) invariavelmente um predicado de primeira ordem (dadas certas suposições de partida acerca do universo do discurso);(c) um predicado universal, verdadeiro de tudo e falso de nada. (shrink)

It’s widely accepted that normativity is not subject to truth values. The underlying reasoning is that truth values can only be predicated of descriptive statements; normative statements are prescriptive, not descriptive; thus truth value predicates cannot be assigned to normative statements. Hence, deonticity lacks logical semantics. This semantic monism has been challenged over the last decades from a series of perspectives that open the way for legal logics with imperative semantics. In the present paper I will go back to Kant (...) and review his understanding of practical judgments, presenting it as supported by a pluralistic semantics. From this perspective a norm of Law is a logical expression that includes as content a generic description of a possible behavior by a generality of juridical agents, and assigns to that content the assertion of its obligatory character, accompanied by a disincentive for non-compliance. From this perspective legal norms can be syntactically formalized and assigned appropriate semantic values in such terms that they can be incorporated into valid inferential schemes. The consequence is that we can put together legal logics that handle both the phenomenal and the deontic dimensions of legality. (shrink)

This paper explores the nature of the concept of truth. It does not offer an analysis or definition of truth, or an account of how it relates to other concepts. Instead, it explores what sort of concept truth is by considering what sorts of thoughts it enables us to think. My conclusion is that truth is a part of each and every propositional thought. The concept of truth is therefore best thought of as the ability to token propositional thoughts. I (...) explore what implications this view has for existing accounts of concepts, and argue that truth is a concept unlike any other. (shrink)

Identity is arguably one of the most fundamental concepts in metaphysics. There are several reasons why this is the case: Identity is presupposed in every conceptual system: without identity, it is unclear that any conceptual system can be formulated. Identity is required to characterize an individual: nothing can be an individual unless it has well-specified identity conditions. Identity cannot be defined: even in systems that allegedly have the resources to define identity. Identity is required for quantification: the intelligibility of quantification (...) presupposes the identity of the objects that are quantified over. These are only four considerations in support of identity's fundamental role. In this paper, I examine and defend them. I then examine a challenge that has been raised against identity's fundamentality: one from the metaphysics of physics—based on a significant interpretation of non-relativist quantum mechanics—according to which certain quantum particles lack identity conditions. After responding to this challenge, I consider the nature of the commitment to identity, and argue that it turns out to be very minimal. In fact, a very deflationary form of metaphysics can accommodate it. In arguing that identity is fundamental, one need not overstep the boundaries of even a very minimal empiricist metaphysics. Or so I argue. (shrink)

In this paper, we offer a brief, critical survey of contemporary work on truth. We begin by reflecting on the distinction between substantivist and deflationary truth theories. We then turn to three new kinds of truth theory—Kevin Scharp's replacement theory, John MacFarlane's relativism, and the alethic pluralism pioneered by Michael Lynch and Crispin Wright. We argue that despite their considerable differences, these theories exhibit a common "pluralizing tendency" with respect to truth. In the final section, we look at the underinvestigated (...) interface between metaphysical and formal truth theories, pointing to several promising questions that arise here. (shrink)

It's often said that according to deflationary theories of truth, truth is not a ‘substantial’ property. While this is a fine slogan, it is far from transparent what deflationists mean (or ought to mean) in saying that truth is ‘insubstantial’. Focusing so intently upon the concept of truth and the word ‘true’, I argue, deflationists and their critics have been insufficiently attentive to a host of metaphysical complexities that arise for deflationists in connection with the property of truth. My aim (...) is to correct several misunderstandings as to what deflationists are after here—including some harboured by deflationists themselves—and to offer an account of the commitments about truth's nature that they ought to undertake. In developing this account, I focus particularly upon the issue of what metaphysics of truth a Horwichian minimalist ought to adopt. (shrink)

We critically examine the claim that identity is a fundamental concept. According to those putting forward this thesis, there are four related reasons that can be called upon to ground the fundamental character of identity: identity is presupposed in every conceptual system; identity is required to characterize individuality; identity cannot be defined; the intelligibility of quantification requires identity. We address each of these points and argue that none of them advances compelling reasons to hold that identity is fundamental; in fact, (...) most of the tasks that seem to require identity may be performed without identity. So, in the end, identity may not be a fundamental concept after all. (shrink)

M. Johnston proposed an adverbialist solution to the problem of intrinsic change of enduring things. D. Lewis interpreted it as a way of tensing the copula. In his view, it has the defect of replacing having a property simpliciter by standing in a triadic relation to a property and a time, and so is threatened by Bradley’s Regress. I agree with Lewis on requiring having a property to be non-relational, while I disagree with him on restricting it to having simpliciter. (...) I tense the copula non-relationally and yet more seriously than Johnston, by characterizing tense as a copulative de re modality concerning endurance, which I relate to R. Taylor’s ‘pure becoming’. I will show that my way gives a better solution to the problem of intrinsic change than those by other endurantists, because of its close connection to an account of tense, endurance and becoming. (shrink)

The question whether natural language permits quantification over intentional objects as the ‘nonexistent’ objects of thought is the topic of a major philosophical controversy, as is the status of intentional objects as such. This paper will argue that natural language does reflect a particular notion of intentional object and in particular that certain types of natural language constructions (generally disregarded in the philosophical literature) cannot be analysed without positing intentional objects. At the same time, those intentional objects do not come (...) for free; rather they are strictly dependent on intentional acts that generally need to have a presence, in one way or another, in the semantic structure of the sentence. (shrink)

This paper has a negative and a positive claim. The negative claim is that the Frege-Russell account of existence as a higher-order predicate is mistaken and should be abandoned, even with respect to general statements of existence such as “Flying mammals exist” (where statements of this sort are supposed to be best accommodated by the account). The Frege-Russell view seems to be supported by two ideas. First, the idea that existence is entirely expressed by the existential quantifier of standard predicate (...) logic. Second, the idea that the existential quantifier is a higher-order predicate, a predicate of predicates, not of individuals. I think that both ideas are wrong but will focus on the latter. By construing prima facie first-order statements such as “Flying Mammals exist” as higher-order predications such as “The Fregean Concept Flying Mammal maps at least one individual onto the True”, the Frege-Russell view commits one - merely on the basis of the meaning it assigns to the existence predicate – to abstract objects such as concepts (Gottlob Frege), or propositional functions (Bertrand Russell), or classes (Rudolf Carnap), or properties, kinds, and so on. This cannot be right, I think. The positive claim of the present paper is that, at least in the context of first-order discourse, the existence predicate is just what it seems to be: a bona fide first-order predicate (pace Kant, Hume, Frege, Russell and others). Three important ideas about existence are shared with the Frege-Russell conception of existence, though. (1) Being and existence are one and the same thing: there is no difference between “Unicorns are not”, or “There are no unicorns”, and “Unicorns do not exist”, or “There exist no unicorns”. (2) To be is to be the value of a bound variable, to belong to a domain of quantification (Willard Quine). (3) Anti-Meinongianism, the idea that there are no non-existent objects (Russell). However, we diverge from the Frege-Russell tradition with respect to the following claim. (4) The best concept of existence, in the sense of the one that is best understood and best enables us to formulate ontological disputes, is a purely logical first-level concept defined in terms of existential quantification and identity. First-order statements of existence and non-existence like “Flying Mammals exist” and “Unicorns do not exist” are accordingly taken at face value and analyzed in terms of a logical first-order predicate of existence, the predicate “is (identical to) something”. Reasons are given to prefer this notion of existence to other first-order non-logical notions that have been proposed in the literature, notions characterized in terms of predicates such as “is in space-time”, “is concrete”, “is causally efficacious”, “is actual”, “is real”, etc. (shrink)

One of the important challenges in the philosophy of mathematics is to account for the semantics of sentences that express mathematical propositions while simultaneously explaining our access to their contents. This is Benacerraf’s Dilemma. In this dissertation, I argue that cognitive science furnishes new tools by means of which we can make progress on this problem. The foundation of the solution, I argue, must be an ontologically realist, albeit non-platonist, conception of mathematical reality. The semantic portion of the problem can (...) be addressed by accepting a Chomskyan conception of natural languages and a matching internalist, mentalist and nativist view of semantics. A helpful perspective on the epistemic aspect of the puzzle can be gained by translating Kurt G ̈odel’s neo-Kantian conception of the nature of mathematics and its objects into modern, cognitive terms. (shrink)

In this paper I argue in favour of a new definition of presentism that I call ‘existence presentism’ (EP). Typically, presentism is defined as the thesis that ‘only present objects exist’, or ‘nothing exists that is non-present’.1 I assume these statements to be equivalent. I call these statements of presentism ‘conventional presentism’ (CP). First, in §2, I rehearse arguments due to Ulrich Meyer that purport to show that presentism is not adequately defined as CP. In §§2.1–2.4 I show that considerations (...) of the sort raised by Meyer infect attempts to define presentism, due to Thomas Crisp, Tom Stoneham, and Theodore Sider. Thus the first half of the paper is constituted by a negative project that looks to show how extant definitions of presentism fail. In the second half of the paper, I continue in the negative theme in §3, before laying out EP and demonstrating that it solves the problems faced by CP and offering explanations of how to make sense of certain key notions that lie at the heart of EP. I conclude that EP is preferable to CP. (shrink)

I argue that there is no metaphysically substantive property of truth. Although many take this thesis to be central to deflationism about truth, it is sometimes left unclear what a metaphysically substantive property of truth is supposed to be. I offer a precise account by relying on the distinction between the property and concept of truth. Metaphysical substantivism is the view that the property of truth is a sparse property, regardless of how one understands the nature of sparse properties. I (...) then offer two new arguments against metaphysical substantivism that employ ideas involving recombination and truthmaking. First, I argue that there are no theoretically compelling reasons to posit the existence of a metaphysically substantive property of truth. Secondly, I argue that if we do posit the existence of such a property, then we end up with a view that is either contradictory or unmotivated. What we’re left with is a metaphysically deflationary account of the property of truth that fully respects the metaphysical ambitions of truthmaker theory, and that is consistent with both the view that truth is a deflated, explanatorily impotent concept and the view that truth is an explanatorily powerful concept. (shrink)

One of the many ways that ‘deflationary’ and ‘inflationary’ theories of truth are said to differ is in their attitude towards truth qua property. This difference used to be very easy to delineate, with deflationists denying, and inflationists asserting, that truth is a property, but more recently the debate has become a lot more complicated, owing primarily to the fact that many contemporary deflationists often do allow for truth to be considered a property. Anxious to avoid inflation, however, these deflationists (...) are at pains to point out that the truth property, on their view, is not a property of any significant interest. Correspondingly, inflationists have seen this as an opportunity to refine what kind of property they think truth is, which—according to them—moves their views beyond deflationism. The upshot of this is that there are number of different accounts in the literature of what distinguishes an inflationary truth property from a deflationary one, or—as it is sometimes put—what distinguishes a ‘substantive’ property from an ‘insubstantive’ one. This has made it hard to pin down exactly what is at issue at the metaphysical level between deflationists and inflationists, which makes it increasingly hard to see how debates between them are properly phrased. Given that these positions represent the two central attitudes towards truth in contemporary debates, this makes for a serious obstacle for the project of discerning the correct theory of truth. The aim of this paper is to discern the best way to distinguish between substantive and insubstantive properties, and thus to restore some focus to these debates. I argue that the three central distinctions in the literature fail, and offer what I take to be a more promising distinction in terms of a graded distinction between abundant and sparse properties. (shrink)

Natural languages generally distinguishes among different existence predicates for different types of entities, such as English 'exist', 'occur', and 'obtain'. The paper gives an in-depth discussion and analysis of a range of existence predicates in natural language within the general project of descriptive metaphysics, or more specifically ‘natural language ontology’.

Identity, we're told, is the binary relation that every object bears to itself, and to itself only. But how can a relation be binary if it never relates two objects? This puzzled Russell and led Wittgenstein to declare that identity is not a relation between objects. The now standard view is that Wittgenstein's position is untenable, and that worries regarding the relational status of identity are the result of confusion. I argue that the rejection of identity as a binary relation (...) is perfectly tenable. To this end, I outline and defend a logical framework that is not committed to an objectual identity relation but is nevertheless expressively equivalent to first-order logic with identity. After it has thus been shown that there is no indispensability argument for objectual identity, I argue that we have good reasons for doubting the existence of such a relation, and rebut a number of attempts at discrediting these reasons. (shrink)

Many naive realists endorse a negative disjunctivist strategy in order to deal with the challenge presented by the possibility of phenomenologically indistinguishable halucination. In the first part of this paper I argue that this approach is methodologically inconsistent because it undercuts the phenomenological motivation that underlies the the appeal of naive realism. In the second part of the paper I develop an alternative to the negative disjunctivist account along broadly Meinongian lines. In the last section of this paper I consider (...) and evaluate a somewhat similar but rival view of hallucination developed by Mark Johnston. (shrink)

The physics and metaphysics of identity and individuality Content Type Journal Article DOI 10.1007/s11016-010-9463-7 Authors Don Howard, Department of Philosophy and Graduate Program in History and Philosophy of Science, University of Notre Dame, Notre Dame, IN 46556, USA Bas C. van Fraassen, Philosophy Department, San Francisco State University, 1600 Holloway Avenue, San Francisco, CA 94132, USA Otávio Bueno, Department of Philosophy, University of Miami, Coral Gables, FL 33124, USA Elena Castellani, Department of Philosophy, University of Florence, Via Bolognese 52, 50139 (...) Florence, Italy Laura Crosilla, Department of Pure Mathematics, School of Mathematics, University of Leeds, Leeds, LS2 9JT UK Steven French, Department of Philosophy, University of Leeds, Leeds, UK Décio Krause, Department of Philosophy, Federal University of Santa Catarina, 88040-900 Campus Trindade, Florianópolis, SC Brazil Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796. (shrink)

This volume analyzes and studies how vagueness occurs and matters as a specific problem in the context of theories that are primarily about something else.

The notion of existence is a very puzzling one philosophically. Often philosophers have appealed to linguistic properties of sentences stating existence. However, the appeal to linguistic intuitions has generally not been systematic and without serious regard of relevant issues in linguistic semantics. This paper has two aims. On the one hand, it will look at statements of existence from a systematic linguistic point of view, in order to try to clarify what the actual semantics of such statements in fact is. (...) On the other hand, it will explore what sort of ontology such statements reflect. The first aim is one of linguistic semantics; the second aim is one of descriptive metaphysics. Philosophically, existence statements appear to reflect the distinction between endurance and perdurance as well as particular notions of abstract states and of kinds. Linguistically, statements of existence involve a particular way of drawing the distinction between eventive and stative verbs and between individual-level and stage-level predicates as well as a particular approach to the semantics of bare plurals and mass nouns. (shrink)

To reconcile true claims of de re necessity with the supposedly contingent existence of the concrete objects those claims are typically about, Kripkean essentialists invoke weak necessity. The claim that a is necessarily F is held to be equivalent to the claim that necessarily, if a exists then a is F. This strategy faces a barrage of serious objections a proper subset of which shows that the strategy fails to achieve its intended purpose. Relief can be provided via recourse to (...) a markedly non-Kripkean version of essentialism.1. (shrink)

In this chapter, I survey what I call Lewisian approaches to modality: approaches that analyze modality in terms of concrete possible worlds and their parts. I take the following four theses to be characteristic of Lewisian approaches to modality. (1) There is no primitive modality. (2) There exists a plurality of concrete possible worlds. (3) Actuality is an indexical concept. (4) Modality de re is to be analyzed in terms of counterparts, not transworld identity. After an introductory section in which (...) I motivate analyzing modality in terms of possible worlds, I devote one section to each of these four theses. For each thesis, I take Lewis’s interpretation and defense as my starting point. I then consider and endorse alternative ways of accepting the thesis, some of which disagree substantially with Lewis’s interpretation or defense. There is more than one way to be a Lewisian about modality. (shrink)

Anselm's Ontological Argument fails, but not for any of the various reasons commonly adduced. In particular, its failure has nothing to do with violating deep Kantian principles by treating ‘exists’ as a predicate or making reference to ‘Meinongian’ entities. Its one fatal flaw, so far from being metaphysically deep, is in fact logically shallow, deriving from a subtle scope ambiguity in Anselm's key phrase. If we avoid this ambiguity, and the indeterminacy of reference to which it gives rise, then his (...) argument is blocked even if his supposed Meinongian extravagances are permitted. Moreover it is blocked in a way which is straightforward and compelling (by contrast with the Kantian objections), and which generalizes easily to other versions of the Ontological Argument. A significant moral follows. Fear of Anselm's argument has been hugely influential in motivating ontological fastidiousness and widespread reluctance to countenance talk of potentially non-existing entities. But if this paper is correct, then the Ontological Argument cannot properly provide any such motivation. Some of the most influential contributions to ontology, from Kant to Russell and beyond, rest on a mistake. (shrink)

Many naive realists are inclined to accept a negative disjunctivist strategy in order to deal with the challenge presented by the possibility of phenomenologically indistinguishable hallucination. In the first part of this paper I argue that this approach is methodologically inconsistent because it undercuts the phenomenological motivation that underlies the appeal of naive realism. In the second part of the paper I develop an alternative to the negative disjunctivist account along broadly Meinongian lines. In the last section of this paper (...) I consider and evaluate a somewhat similar but rival view of hallucination developed by Mark Johnston. (shrink)

The view that contradictions cannot be true has been part of accepted philosophical theory since at least the time of Aristotle. In this regard, it is almost unique in the history of philosophy. Only in the last forty years has the view been systematically challenged with the advent of dialetheism. Since Graham Priest introduced dialetheism as a solution to certain self-referential paradoxes, the possibility of true contradictions has been a live issue in the philosophy of logic. Yet, despite the arguments (...) advanced by dialetheists, many logicians and philosophers still hold the opinion that contradictions cannot be true. -/- Rather than advocating the truth of certain contradictions, this thesis offers a different challenge to the classical logician. By showing that it can be philosophically coherent to propose that true contradictions are metaphysically possible, the thesis suggests that the classical logician must do more than she currently has to justify her confidence in the impossibility of true contradictions. Simply fighting off the dialetheist’s putative examples of true contradictions at the actual world isn’t enough to justify the classical logician’s conclusion that true contradictions are impossible. -/- To aid the thesis dialectically, we introduce a new position, absolutism, which hypothesises that it’s metaphysically possible for at least one contradiction to be true, contrasting with the dialetheic hypothesis that some contradictions are true in the actual world. We demonstrate that absolutism can be given a philosophically coherent interpretation, an appropriate logic, and that certain criticisms are completely toothless against absolutism. The challenge put to the classical logician is then: On what logical or philosophical grounds can we rule out the metaphysical possibility of true contradictions? (shrink)

This is my entry on natural language ontology in the Stanford Encyclopedia of Philosophy.

In The Fragmentation of Being, Kris McDaniel argues for ontological pluralism, proposing that we should accept not just being itself but also modes of being into which being fragments. McDaniel’s guiding idea is that being is analogous, and given the analogy of being, being should be taken to fragment into modes of being. I argue that even if McDaniel is right that being is analogous, ontological pluralism is not forced upon us. Given the analogy of being, objects don’t have being (...) simpliciter but have it in virtue of having something more fundamental particular to them. Upon examination, this falls short of supporting ontological pluralism, for the analogy of being implies that there are many grounds of being, but we are given no good reason for taking grounds of being as modes of being. (shrink)

Deflationism about truth describes truth as a logical notion. In the present paper, I explore the implication of the alleged logicality of truth from the perspective of axiomatic theories of truth, and argue that the deflationist doctrine of the logicality of truth gives rise to two types of self-undermining arguments against deflationism, which I call the conservativeness argument from logicality and the topic-neutrality argument.

This essay offers an account and defense of conceptual primitivism about truth: the view that the concept of truth is a fundamental concept that cannot be analyzed or defined in terms of concepts that are more fundamental. It considers three arguments in defense of primitivism, and meets a familiar objection that fundamental concepts are by their nature obscure and mysterious. It concludes by considering the ways in which primitivism is similar to and different from other theories of truth, both substantive (...) and deflationary. (shrink)

Radical glut and gap theorists deny—in opposite ways—that the liar sentence has exactly one of the two values true and not true. I describe a scenario where a signalman finds himself in a situation analogous to the liar paradox: if he lights a fire at a certain time, that is analogous to the liar being true, and if he does not, that is analogous to the liar not being true. It is obvious that he must make exactly one of those (...) states of affairs come about. It is argued that there are no relevant differences between the liar and the signalman’s dilemma, implying that the glut and gap theorists are wrong about the former. A further point is that whether or not the liar is true/the signalman lights the fire, language/the signalman is misleading relative to the conditions under which the liar/the fire “ought” to be true/lit. (shrink)

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 (...) offer a full quantificational account, using the resources of plural logic, and argue that it leads to a complete theory of natural language ontological commitment. (shrink)

One recent debate in philosophy of physics has centered whether quantum particles are individuals or not. The received view is that particles are not individuals and the standard methodology is to approach the question via the structure of quantum theory. I challenge both the received view and the standard methodology. I contend not only that the structure of quantum theory is not the right place to look for conditions of individuality that quantum particles may or may not satisfy, but also (...) that there is an important role for traditional metaphysics to play. Consequently, my work brings together the philosophy of physics and traditional metaphysics literatures to shed new light on the debate over the individuality of quantum particles. I defend a set of conditions of individuality and argue that quantum particles satisfy these conditions thereby defending the view that particles are individuals in opposition to the received view. I also challenge a second feature of the standard methodology insofar as I challenge the significance of the Principle of the Identity of Indiscernibles in terms of which much discussion in the philosophy of physics literature is framed. My work is significant in a number of additional ways as well. My work implies that the dominant explanation for quantum statistics in terms of non-individuality is incorrect and it also undermines the ontic-structural realists metaphysical underdetermination challenge to the scientific realist. (shrink)

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional in nature and possess, (...) in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)

This paper discerns two types of mathematization, a foundational and an explorative one. The foundational perspective is well-established, but we argue that the explorative type is essential when approaching the problem of applicability and how it influences our conception of mathematics. The first part of the paper argues that a philosophical transformation made explorative mathematization possible. This transformation took place in early modernity when sense acquired partial independence from reference. The second part of the paper discusses a series of examples (...) from the history of mathematics that highlight the complementary nature of the foundational and exploratory types of mathematization. (shrink)

This paper gives a characterization of the ontology implicit in natural language and the entities it involves, situates natural language ontology within metaphysics, and responds to Chomskys' dismissal of externalist semantics.

Fictional realism allows direct reference theorists to provide a straightfor- ward analysis of the semantics of fictional discourse by admitting into their ontology a set of objects (ficta) that serve as the referents of fictional names. Ficta may be modeled using an axiomatic object theory, but actualist interpretations of the formalism have been the subject of recent objections. In this paper, I provide an interpretation of object theory’s formalism that is consistent with actualism and avoids these objections. Drawing on insights (...) from an actualist semantics for quantified modal logic, a central point in my proposal is to interpret ficta as contingently nonconcrete objects. (shrink)

Logic begins but does not end with the study of truth and falsity. Within truth there are the modes of truth, ways of being true: necessary truth and contingent truth. When a proposition is true, we may ask whether it could have been false. If so, then it is contingently true. If not, then it is necessarily true; it must be true; it could not have been false. Falsity has modes as well: a false proposition that could not have been (...) true is impossible or necessarily false; one that could have been true is merely contingently false. The proposition that some humans are over seven feet tall is contingently true; the proposition that all humans over seven feet tall are over six feet tall is necessarily true; the proposition that some humans are over seven feet tall and under six feet tall is impossible, and the proposition that some humans are over nine feet tall is contingently false. Of these four modes of truth, let us focus on necessity, plus a fifth: possibility. A proposition is possible if it is or could have been true; hence propositions that are either necessarily true, contingently true, or contingently false are possible. Notions that are similar to the modes of truth in being concerned with what might have been are called modal. Dispositions are modal notions, for example the disposition of fragility. Relatedly, there are counterfactual conditionals, for example “if this glass were dropped, it would break.” And the notion of supervenience is modal.1 But let us focus here on necessity and possibility. Modal words are notoriously ambiguous (or at least context-sensitive2). I may reply to an invitation to give a talk in England by saying “I can’t come; I have to give a talk in California the day before”. This use of “can’t” is perfectly appropriate. But it would be equally appropriate for me to say that I could cancel my talk in California (although that would be rude) and give the talk in England instead. What I cannot do is give both talks.. (shrink)

In (1959), Carnap famously attacked Heidegger for having constructed an insane metaphysics based on a misconception of both the logical form and the semantics of ordinary language. In what follows, it will be argued that, once one appropriately (i.e., in a Russellian fashion) reads Heidegger’s famous sentence that should paradigmatically exemplify such a misconception, i.e., “the nothing nothings”, there is nothing either logically or semantically wrong with it. The real controversy as to how that sentence has to be evaluated—not as (...) to its meaning but as to its truth—lies at the metaphysico- ontological level. For in order for the sentence to be true one has to endorse an ontology of impossibilia and Leibniz’s principle of the identity of indiscernibles. (shrink)

Philosophy of time, as practiced throughout the last hundred years, is both language- and existence-obsessed. It is language-obsessed in the sense that the primary venue for attacking questions about the nature of time—in sharp contrast to the primary venue for questions about space—has been philosophy of language. Although other areas of philosophy have long recognized that there is a yawning gap between language and the world, the message is spreading slowly in philosophy of time.[1] Since twentieth-century analytic philosophy as a (...) whole often drew metaphysical conclusions from arguments with linguistic premises, philosophy of time perhaps may be forgiven for this transgression. Connected to this language-saturated way of doing philosophy, however, is a hitherto unnoticed obsession, equally unhealthy; namely, an obsession with existence. Existence draws the very lines of debate in philosophy of time: “eternalists” believe past, present and future events all ‘equally’ exist, “possibilists” believe that past and present events exist, and “presentists” believe that only present events enjoy this lofty status.[2] These differences between what events exist as of some other time are supposed to explain the main puzzles surrounding time. This fixation on existence, I submit, is a lingering symptom of the language-saturated days of philosophy of time.[3] And just as linguistic issues such as the ineliminability of tense fail to elucidate time and temporal experience, so too do the “existence debates” fail to explain much of what is interesting about time. Philosophers should have more to say about such a fascinating topic. (shrink)

The paper deals with the semantics and ontology of ordinary discourse about properties. The main focus lies on the following thesis: A simple predication of the form ‘a is F’ is synonymous with the corresponding explicit property-attribution ‘a has F-ness’. An argument against this Synonymy Thesis is put forth which is based on the thesis that simple predications and property-attributions differ in their conditions of understanding. In defending the argument, the paper accounts for the way in which we come to (...) adopt the conceptual framework of properties. (shrink)

I argue that, despite van Inwagen’s pessimism about the task, it is worth looking for answers to his General Composition Question. Such answers or ‘principles of composition’ tell us about the relationship between an object and its parts. I compare principles of composition with criteria of identity, arguing that, just as different sorts of thing satisfy different criteria of identity, they may satisfy different principles of composition. Variety in criteria of identity is not taken to reflect ontological variety in the (...) identity relation; I discuss whether variety in principles of composition should be taken to reflect ontological variety in the composition relation. (shrink)

In his 2000 book Logical Properties Colin McGinn argues that predicates denote properties rather than sets or individuals. I support the thesis, but show that it is vulnerable to a type-incongruity objection, if properties are (modelled as) functions, unless a device for extensionalizing properties is added. Alternatively, properties may be construed as primitive intensional entities, as in George Bealer. However, I object to Bealer’s construal of predication as a primitive operation inputting two primitive entities and outputting a third primitive entity. (...) Instead I recommend we follow Pavel Tichý in construing both predication and extensionalization as instances of the primitive operation of functional application. (shrink)