A perplexity about singular existence statements is that for their negations to be true their subject terms do not name anything. For example, in ‘Pegasus does not exist’ ‘does not exist’ is not said in respect to the referent of ‘Pegasus’ since there is none. But, then, in respect to what is that said? The paper answers the question by proposing a metalinguistic interpretation of singular existence statements, according to which singular existence (...) statements are about names. It is argued that this interpretation fits in well with Frege’s views on existence, presupposition, and his idea that names have senses. (shrink)

One puzzling feature of talk about properties, propositions and natural numbers is that statements that are explicitly about them can be introduced apparently without change of truth conditions from statements that don't mention them at all. Thus it seems that the existence of numbers, properties and propositions can be established`from nothing'. This metaphysical puzzle is tied to a series of syntactic and semantic puzzles about the relationship between ordinary, metaphysically innocent statements and their metaphysically loaded counterparts, (...) statements that explicitly mention numbers, properties and propositions, but nonetheless appear to be equivalent to the former. I argue that the standard solutions to the metaphysical puzzles make a mistaken assumption about the semantics of the loaded counterparts. Instead I propose a solution to the syntactic and semantic puzzles, and argue that this solution also gives us a new solution to the metaphysical puzzle. I argue that instead of containing more semantically singular terms that aim to refer to extra entities, the loaded counterparts are focus constructions. Their syntactic structure is in the service of presenting information with a focus, but not to refer to new entities. This will allow us to spell out Frege's metaphor of content carving. (shrink)

My dissertation consists of three essays in the Metaphysics of Modality: In "A Puzzle about Truth and Singular Propositions," I consider two theses that seem to be true and then an argument for the conclusion that they form an inconsistent pair. One thesis is that a proposition that is singular with respect to a given object implies that the object exists. This is so because the proposition predicates something of the object. The other thesis is that some propositions (...) are true with respect to possible worlds in which they do not exist. An example is the negation of the proposition that Socrates is wise. This proposition is true with respect to possible worlds in which Socrates does not exist, but it does not exist in those worlds. ;In "Actualism, Ontological Dependence, and Possible Worlds," I consider Actualism, the doctrine that every possible object is an actual object. Plantinga has argued that the actualist is committed to the existence of unexemplified essences if he analyzes statements of modality by quantifying over possible worlds and over members of their domains. I argue that the actualist is committed to the existence of unexemplified essences even if he paraphrases statements of modality by quantifying only over possible worlds and actual objects. ;In "Possibilism and the Nature of Actuality," I consider Possibilism, the doctrine that there are possible objects that are not actual objects. Possibilism seems to be a coherent ontological doctrine. It is not Meinong's doctrine that there are objects of which it is true to say that there are no such objects. If one fails to distinguish between these two doctrines, then one's attempt to refute Possibilism might amount to an attack on a blatant contradiction. I illustrate this claim by arguing that the distinction between Possibilism and Meinong's doctrine has eluded Plantinga. I then consider the view that Possibilism is a consequence of Lewis's doctrine that 'actual' is an indexical term. I also argue that the sense in which Lewis said that 'actual' is indexical is an esoteric sense of the word, not a sense it ordinarily has. (shrink)

Reference and Existence, Saul Kripke's John Locke Lectures for 1973, can be read as a sequel to his classic Naming and Necessity. It confronts important issues left open in that work -- among them, the semantics of proper names and natural kind terms as they occur in fiction and in myth; negative existential statements; the ontology of fiction and myth. In treating these questions, he makes a number of methodological observations that go beyond the framework of his earlier (...) book -- including the striking claim that fiction cannot provide a test for theories of reference and naming. In addition, these lectures provide a glimpse into the transition to the pragmatics of singular reference that dominated his influential paper, " Speaker's Reference and Semantic Reference " -- a paper that helped reorient linguistic and philosophical semantics. Some of the themes have been worked out in later writings by other philosophers -- many influenced by typescripts of the lectures in circulation -- but none have approached the careful, systematic treatment provided here. The virtuosity of Naming and Necessity -- the colloquial ease of the tone, the dazzling, on-the-spot formulations, the logical structure of the overall view gradually emerging over the course of the lectures -- is on display here as well. (shrink)

What is it about the concept of absurdity that allows it to be applied to everything from the nature of existence to statistical methodologies to slapstick comedy? This article seeks an answer in the structure of how we experience the phenomena regularly cited to substantiate absurdity claims, namely those putatively labeled ‘confusing,’ ‘humorous,’ or both. Taking its cue from evolutionary and phenomenological accounts of humor and confusion, and responding to the canonical statements of Albert Camus and Thomas Nagel, (...) the essay proposes that certain structures of experience parallel the structure of absurdist arguments. (shrink)

Despite its importance for early analytic philosophy, Gottlob Frege's account of existence statements, according to which they classify concepts, has been thought to succumb to a number of well-worn criticisms. This article does two things. First, it argues that, by remaining faithful to the letter of Frege's claim that concepts are functions, the Fregean account can be saved from many of the standard criticisms. Second, it examines the problem that Frege's account fails to generalize to cases which involve (...) definite descriptions and proper names. To deal with this the proffered analysis deviates from the letter of Frege's views, while remaining within its spirit. It proposes, in opposition to Frege, that expressions which grammatically look like singular terms should not always be read as referring to objects, but are sometimes best analysed as indicating functions. (shrink)

A correct observation to the effect that a does not exist, where ‘a’ is a singular term, could be true on any of a variety of grounds. Typically, a true, singular negative existential is true on the unproblematic ground that the subject term ‘a’ designates something that does not presently exist. More interesting philosophically is a singular, negative existential statement in which the subject term ‘a’ designates nothing at all. Both of these contrast sharply with a (...) class='Hi'>singular, negative existential in which the subject term is a name from fiction. I argue that such singular, negative existential statements are false. My account of fictional characters differs significantly from Kripke’s. It is shown that an objection to my account rests on a serious misunderstanding. Finally, a crucial aspect of the account is emphasized. (shrink)

REF is the statement that every stationary subset of a cardinal reflects, unless it fails to do so for a trivial reason. The main theorem, presented in Sect. 0, is that under suitable assumptions it is consistent that REF and there is a κ which is κ+n -supercompact. The main concepts defined in Sect. 1 are PT, which is a certain statement about the existence of transversals, and the “bad” stationary set. It is shown that supercompactness (and even the (...) failure of PT) implies the existence of non-reflecting stationary sets. E.g., if REF then for manyλ ⌝ PT(λ, ℵ1). In Sect. 2 it is shown that Easton-support iteration of suitable Levy collapses yield a universe with REF if for every singular λ which is a limit of supercompacts the bad stationary set concentrates on the “right” cofinalities. In Sect. 3 the use of oracle c.c. (and oracle proper—see [Sh-b, Chap. IV] and [Sh 100, Sect. 4]) is adapted to replacing the diamond by the Laver diamond. Using this, a universe as needed in Sect. 2 is forced, where one starts, and ends, with a universe with a proper class of supercompacts. In Sect. 4 bad sets are handled in ZFC. For a regular λ {δ<+ : cfδ<λ} is good. It is proved in ZFC that ifλ=cfλ>ℵ1 then {α<+ : cfα<λ} is the union of λ sets on which there are squares. (shrink)

Timothy Williamson offers a proof of the counterintuitive claim that, if an object exists, then it exists necessarily. David Wiggins argues that this result reveals the philosophical disadvantage of a first level (or ‘ticking over’) view of the very ‘exists’ and the advantage of the second level account offered by Frege and Russell. The author seeks to show how, using an idea of G. Evans but without the use of the resources of ‘free logic’, all occurrences of ‘exist’, including its (...) occurrence in true, negative existential, singular statements, can be accommodated to the Frege–Russell view and accorded the intuitively required modal status. (shrink)

The aim of this paper is to present an argument to show both that ‘exists ’ is not a predicate of things or continuants and that ‘is present ’ is not a predicate of events or states of affairs. I shall confine my remarks to statements having a singular referring expression as their subject. My argument requires that we accept as a premiss that Strawson’s account of referring correctly depicts the working of statements containing a singular (...) referring expression as their subject. According to the Strawsonian account, a subject–predicate sentence can be used to make a statement, that is, to say something that can be said to be true or false, only if its subject expression refers successfully. Thus the statement ‘The S is φ presupposes the existential statement ‘There is one and only one S’, such that if this latter statement is false nothing true or false has been said, but rather there has been, what Strawson calls, a spurious or incorrect use made of the sentence ‘The S is φ’. (shrink)

This work will focus on some aspects of descriptive names. The New Theory of Reference, in line with Kripke, takes descriptive names to be proper names. I will argue in this paper that descriptive names and certain theory in reference to them, even when it disagrees with the New Theory of Reference, can shed light on our understanding of (some) non-existence statements. I define the concept of descriptive name for hypothesised object (DNHO). My thesis being that DNHOs are, (...) as I will specify, descriptions: a proposition expressed by the utterance ‘n is F’, where ‘n’ is a DNHO, is not singular at all; it is a descriptive proposition. To sum up, concerning proper names, the truth lies closer to the New Theory of Reference, but descriptivism is not altogether false. As for DNHOs descriptivism is, in some cases, the right fit. (shrink)

The article aims to base the presence of a reconceptualization of the political in Michel Foucault's thought, taking as the reading key ethhopolitics as a conceptual proposal. There, we can find a concept completely opposed to the way in which both modern governmentality and the tradition of political thought have understood the meaning of politics in the West. Following this purpose, the hypothesis is proposed and developed, according to which the analytical gesture that persists in Michel Foucault's thought is a (...) concept of the political that affirms life in its radical exuberance and unfoundedness. In this statement, we recognize the signatures of a triangular conceptual structure made up of the fold between life, ethics and power. After exposing the problem and clearing some methodological difficulties for its approach, we examine in detail the investigations that comprise the archeology of ethical life in the French philosopher. It is argued that the very textuality of ethhopolitics is formulated as politicity rather than as a specific policy, that is, it is presented as a politics of life, since it is implied as a singular modulation of existence. The article concludes with a scriptural threshold composed of five theses that attempt to expand and project the philosophical-political returns of the analysis developed towards a research program. (shrink)

It is of common use in modern Venn diagrams to mark a compartment with a cross to express its non-emptiness. Modern scholars seem to derive this convention from Charles S. Peirce, with the assumption that it was unknown to John Venn. This paper demonstrates that Venn actually introduced several methods to represent existentials but felt uneasy with them. The resistance to formalize existentials was not limited to diagrammatic systems, as George Boole and his followers also failed to provide a satisfactory (...) symbolic representation for them. This difficulty points out issues that are inherent to the very nature of existentials. This paper assesses the various methods designed for the representation of existential statements with Venn diagrams. First, Venn’s own attempts are discussed and compared with other solutions proposed by his contemporaries and successors, notably Lewis Carroll and Peirce. Since disjunctives hold an important role in an effective representation of existentials, their representation is also discussed. Finally, recent methods for the diagrammatic representation of existing individuals, rather than mere existence, are surveyed. (shrink)

It is widely held that there is a problem of talking about or otherwise representing things that not exist. But what exactly is this problem? This paper presents a formulation of the problem in terms of the conflict between the fact that there are truths about non-existent things and the fact that truths must be answerable to reality, how things are. Given this, the problem of singular negative existential statements is no longer the central or most difficult aspect (...) of the problem of non-existence, despite what some philosophers say. (shrink)

The main focus of this book lies in analyzing singular negative existential statements such as “Sherlock Holmes does not exist”. Chakrabarti’s goal is to preserve the idea that this is a subject-predicate statement involving a singular denial about a particular individual, without committing himself to an unwanted ontology of Meinongian, imaginary, or other nonexistent objects, and without resorting to any kind of free logic.

Never shall this be proved, that things that are not are. ParmenidesTo say that something does not exist, or that there is something which is not, is clearly a contradiction in terms; hence “ ” must be true. Moreover, we should certainly expect leave to put any primitive name of our language for the “x” of any matrix “ … x … ”, and to infer the resulting singular statement from “ ”; it is difficult to contemplate any alternative (...) logical rule for reasoning with names. (shrink)

The aim of this paper is to apply inductive logic to the field that, presumably, Carnap never expected: legal causation. Legal causation is expressible in the form of singular causal statements; but it is distinguished from the customary concept of scientific causation, because it is subjective. We try to express this subjectivity within the system of inductive logic. Further, by semantic complement, we compensate a defect found in our application, to be concrete, the impossibility of two-place predicates (for (...) causal relationship) in inductive logic. (shrink)

In his recent book, Causation: A Realistic Approach , Michael Tooley discusses the following thesis, which he calls the ‘thesis of the Humean Supervenience of Causal Relations’: The truth values of all singular causal statements are logically determined by the truth values of statements of causal laws, together with the truth values of non-causal statements about particulars . represents one version of the ‘Humean’ idea that there is no more factual content to the claim that two (...) particular events are causally connected than that they occur, instantiate some law or regularity, and perhaps bear some appropriate non-causal to each other. This is an idea that is tacitly or explicitly assumed in most familiar accounts of singular causal statements. For example is assumed by many probabilistic theories of singular causal statements, by theories which attempt to analyse singular causal statements in terms of necessary and sufficient conditions, and, as I shall argue below, by David Lewis' counterfactual theory. (shrink)

This book offers an extended argument that the existence of contingent things is grounded in and hence accounted for by a paradigm existent, which is none other than existence itself—in effect, the ipsum esse subsistens of traditional philosophical theology. Much of the focus is on the nature of contingent existence, which the author contends is a genuine determination of real individuals, though not a property in the usual sense. This implies rejection of a number of other accounts (...) of individual existence, which are refuted in detail in the first five chapters. Chapter 2 argues that existence is not a first-level property of things that have it; in particular, it is not a property that divides a realm of Meinongian objects into those that exist and those that do not. Chapter 3 is directed against theories according to which an entity and its existence are one and the same. These are rejected on the ground that they must either misrepresent contingent things as necessarily existing or deny that contingent existence is anything at all, which violates our intuition that to say a contingent thing exists is to attribute something to it, even if not an ordinary property. Chapter 4 is dedicated to showing that contingent existence is not a second-order property—that is, a property of properties. General statements of existence may perhaps be understood as second-order statements about what properties are instantiated. Singular claims, however, cannot be understood in this way; for to treat a statement like “Socrates exists” as second order commits us in the end to haecceities, which the author rejects, as either violating the distinction between abstract and the particular, or committing us in turn to the identity of indiscernibles, which faces powerful objections. Finally, the view that individual existence is a matter of being contained by some relevant domain is rejected in chapter 5 because, among other reasons, it leads to the manifestly false result that the maximum world, which contains all other existents, does not itself exist. (shrink)

Two questions were addressed to my existential biography of Habermas: Is my use of existential categories to discuss his theorycompatible with his recovery of the publicity of facts and norms? Can I concede a secular reading of anamnestic solidarity to Habermas and retain this conception to sustain a Benjaminian-Kierkegaardian openness of history? The best answer would be to reprint Habermas’s astonishing autobiography from Kyoto (his thank you speech on the occasion of the Koyto Award on 11 November 2004). The second (...) best is first to situate it and then take up the two questions in light of his self-presentation. (shrink)

This work in metaphysics adheres to the critical demands of Immanuel Kant for what Kant would call a science of metaphysics, in that it consits strictly of a priori principles that, while from pure reason, can help make sense of our phenomenal world (Kant's criterion for objective validity). The work has an Appendix quoting Kant's most relevant remarks with regard to a science, and offers parallel quotes from David Hume's "Treatise of Human Nature". The work advances the explanation of a (...) causal process that accounts for the origination of the universals: space, time, mass (or substance), and mind (or consciousness), and it necessitates the existence of God as Absolute Being and Absolute Mind. Hegel's 'Science of Logic' is quoted wherein Hegel makes an analogous claim. The causal process is defined with both a definite beginning and a definite end and agreement can be found with the statement found in the book of Revelation, final chapter: "I am the Alpha and the Omega, the first and the last, the beginning and the end." The statement suggests a movement that is not in conflict with the science, and seems to reflect Hegel's own thoughts. The science does not conflict with, but it further finds agreement with the science of big bang cosmology, but it goes further in necessitating a 'singularity' at the beginning of time. The causal process defined has a Formative Phase and a Creative Phase, with the former preceding the big bang and the latter following after the big bang. (shrink)

When it comes to empty names, we seem to have reached very little consensus. Still, we all seem to agree, first, that our semantics should assign truth to negative singular existence statements in which an empty name occurs and, second, that names are used in such statements. The purpose of this paper is to show that ruling out that the names are mentioned is harder than it has been thought. I will present a new metalinguistic account (...) for negative singular existence statements in which an empty name occurs, and I will show that the account can deal both with the objections to the traditional metalinguistic account and with other objections that seem to target my new proposal. (shrink)

Presentism, some say, is either the analytic triviality that the only things that exist now are ones that exist now or the obviously false claim that the only things that have ever existed or will are ones that exist now. I argue that the correct understanding of presentism is the latter and so understood the claim is not obviously false. To appreciate this one has to see presentism as strictly analogous to anti-Lewisean actualism. What this modal analogue makes evident is (...) that singular tensed statements can have scope ambiguities and so can be thought of as true with the temporal operator represented by the tense read as having wide scope. Secondly, I argue that the analogy with the modal case also makes it clear that presentism must be understood as a thesis of the form: ‘the only things that have ever existed or ever will exist stand in relation R to this utterance’, and is not a substantive topic for debate until relation R is characterized in non-temporal terms. However, despite the strict analogy, I argue that presentism may be a harder position to defend than actualism, since the truth-maker objection, properly interpreted, with Lewis, as based on a supervenience thesis, has more force as an objection to presentism since supervenience is itself a modal notion. (shrink)

The short paper continues a debate on free will, causation and laws of nature between the author and the German philosopher Peter Rohs (opened in a previous issue of the same journal). Both Keil and Rohs are libertarians, but they disagree on a number of metaphysical issues. Keil maintains that causation is a relation between changes, i.e. time-consuming events, not between instantaneous states. Against Davidson’s “principle of the nomological character of causality”, Keil holds that no exceptionless laws subsuming cause-effect pairs (...) exist. He further claims that the primary task of a philosophical theory of causality is to give truth conditions for uncontroversial instances of singular causal statements. This is an exercise in descriptive metaphysics. Causality’s place in advanced physics, by contrast, remains precarious. The paper closes with the incompatibilist claim that deterministic causality, unlike real-world causality, cannot be reconciled with free will. (shrink)

In Naming and Necessity Saul Kripke offers a number of arguments in order to show that no descriptivist theory of proper names is correct. We present here a certain version of descriptivist theory -we will characterize it as an individual-use reference-fixing descriptivist theory that appeals to descriptions regarding how a name is used by other speakers. This kind of theory can successfully answer all the objections Kripke puts forward in Naming and Necessity. Such sort of descriptivist theory is furthermore compatible (...) with the picture about reference that Kripke presents. It also seems to be able to account for some phenomena that are difficult to explain on Kripke’s view (the existence of informative identity statements and true negative singular existential statements). (shrink)

I show that the known fundamental laws of physics--quantum mechanics, general relativity, and the particle physics Standard Model -- imply that the Singularity will inevitably come to pass. Further, I show that there is an ethical system built into science and rationality itself -- thus the value-fact distinction is nonsense -- and this will preclude the AI's from destroying humanity even if they wished to do so. Finally, I show that the coming Singularity is good because only if it occurs (...) can life of any sort survive. Fortunately, the laws of physics, as I have said, require the Singularity to occur. If the laws of physics be for us, who can be against us? (shrink)

If everything exists, then it looks, prima facie, as if talking about nothing is equivalent to not talking about anything. However, we appear as talking or thinking about particular nothings, that is, about particular items that are not among the existents. How to explain this phenomenon? One way is to deny that everything exists, and consequently to be ontologically committed to nonexistent “objects”. Another way is to deny that the process of thinking about such nonexistents is a genuine singular (...) thought. The first strategy we may call “the Meinongian tradition” (championed by authors like Alexius Meinong, Ernst Mally, Terence Parsons, Richard Routley, and Ed Zalta), while the second could be dubbed “the de re tradition” (connected to work by Gareth Evans, John McDowell, and Tyler Burge). Finally, the third way to solve the above puzzle, and probably the majority view in contemporary philosophy, is due to Bertrand Russell and W.V.O. Quine, who deny the particularity of the apparent nonexistent object and the singularity of the corresponding thought via the view that any statement about apparently particular nonexistents can be paraphrased into a quantified expression containing no genuinely referring terms. Jody Azzouni’s book is an attempt to argue for and develop a fourth view, based on the hitherto unrecognised notion of an “empty singular thought”, which Azzouni takes to have a place in logical space. Concomitant to developing the view, Azzouni applies it to three typical cases of talk about nonexistents: numbers, hallucinations, and fictions. As the name suggests, empty singular thought is devised as having three essential characteristics: (1) it is genuine thought, no different from any other, (2) it is singular, that is, its content is partly determined by particular non-conceptualised states of affairs, and (3) nevertheless it is genuinely empty, unlike Meinongian thought, that is, its object “does not exist in any sense”, to use Azzouni’s own formulation. Azzouni undertakes some challenging acrobatics when trying to persuade the reader that his view is substantive and it does not end up being the same as any of the previous three views about apparent talk about nonexistents.. (shrink)