The term ‘logical form’ has been called on to serve a wide range of purposes in philosophy, and it would be too ambitious to try to survey all of them in a single essay. Instead, I will focus on just one conception of logical form that has occupied a central place in the philosophy of language, and in particular in the philosophical study of linguistic meaning. This is what I will call the classical conception of logical form. The classical conception, (...) as I will present it in section 1, has (either explicitly or implicitly) shaped a great deal of important philosophical work in semantic theory. But it has come under fire in recent decades, and in sections 2 and 3 I will discuss two of the recent challenges that I take to be most interesting and significant. (shrink)

Résumé Jules Vuillemin était un philosophe érudit et savant ; il entretenait avec la philosophie analytique de son temps une relation étroite, mais rendue énigmatique par sa fidélité au principe de l’inséparabilité entre la philosophie et l’histoire de la philosophie hérité de l’historien de la philosophie, Martial Gueroult. La question principale que je me pose ici est de savoir quelle était l’attitude exacte de Vuillemin à l’égard de la triple controverse entre Quine et Carnap provoquée par les critiques dirigées par (...) Quine contre la tripartition de Carnap entre les propositions analytiques (de la logique et des mathématiques), les propositions synthétiques (des sciences expérimentales) et les choix ontologiques purement pragmatiques. Tout en souscrivant à la tripartition carnapienne, Vuillemin réprouvait l’idée positiviste de l’irrésolubilité des controverses ontologiques et défendait, au nom de la liberté de la raison spéculative, l’idée de la pluralité des solutions. (shrink)

Pairs of sentences like the following pose a problem for ontology: (1) Jupiter has four moons. (2) The number of moons of Jupiter is four. (2) is intuitively a trivial paraphrase of (1). And yet while (1) seems ontologically innocent, (2) appears to imply the existence of numbers. Thomas Hofweber proposes that we can resolve the puzzle by recognizing that sentence (2) is syntactically derived from, and has the same meaning as, sentence (1). Despite appearances, the expressions ‘the number of (...) moons of Jupiter’ and ‘four’ do not function semantically as singular terms in (2). Hofweber’s primary evidence for this proposal concerns differences in the focus-related communicative functions of (1) and (2). In this paper I raise several serious problems for Hofweber’s proposal, and for his attempt to support it by appeal to focus-related phenomena. I conclude by offering independent evidence for an alternative, purely pragmatic resolution of the ontological puzzle. (shrink)

Article is devoted to the social legitimation of knowledge. We study the contexts of implantation of knowledge products into the body of culture. The author proceeds from the need to study the process of objectification symbolic of object by applying the category of ‘facies‘, the introduction and justification of which on content and formal level were realized by the author in previous works. Such issues as the following are discussed in the article: the main stages of objectification, cognitions, different worlds (...) in science in the trend of unfolding cognitions, the basic principles of object-symbolic interpretation of the nature of knowledge. The author explores these questions by analyzing the basic epistemological trends that can be seen in the works of the greatest philosophers of both modern and recent times, globalizing the principle of a system approach on the basis of its synthesis with the elements of synergetics and semiotics. The author devotes a great place to criticism of Kant’s transcendental apriorism, revealing, however, its positive potential and determining its promising vector beating literally in the essence of contemporary cognitive science. Author takes on orbit of its original methodology conclusions of not only natural sciences and mathematics, but also poetic insights that allows creating of pulsating and at the same time quite certain interdisciplinary context. The main conclusions regarding the content of prerequisites of cognitive synthesis included in the final paragraph of article and are accompanied by convincing examples of modern physics. (shrink)

We discuss the nature of reality in the ontological context of Penrose’s math-matter-mind triangle. The triangle suggests the circularity of the widespread view that math arises from the mind, the mind arises out of matter, and that matter can be explained in terms of math. Non-physicists should be wary of any claim that modern physics leads us to any particular resolution of this circularity, since even the sample of three theoretical physicists writing this paper hold three divergent views. Some physicists (...) believe that current physics has already found the basic framework for a complete description of reality, and only has to fill in the details. Others suspect that no single framework, from physics or other sources, will ever capture reality. Yet others guess that reality might be approached arbitrarily closely by some form of future physics, but probably based on completely different frameworks. We will designate these three approaches as the fundamentalist, secular and mystic views of the world, as seen by practicing physicists. We present and contrast each of these views, which arguably form broad categories capturing most if not all interpretations of physics. We argue that this diversity in the physics community is more useful than an ontological monoculture, since it motivates physicists to tackle unsolved problems with a wide variety of approaches. (shrink)

In this paper, I shall assess the ontological commitments of frame-based methods of knowledge representation. Frames decompose concepts into recursive attribute-value structures. The question is: are the attribute values in frames to be interpreted as universal properties or rather as tropes? I shall argue that universals realism and trope theory face similar complications as far as non-terminal values, i.e., values which refer to the determinable properties of objects, are concerned. It is suggested that these complications can be overcome if one (...) is prepared to adopt an ontology of structured complexes. Such an ontology, in turn, is indifferent as to whether attribute values are interpreted as universals or as tropes. (shrink)

In this paper, I assess the ontological commitments of frame-based methods of knowledge representation. Frames decompose concepts into recursive attribute-value structures. Attributes are the general aspects by which a category or individual is described; their values are more or less specific properties that are assigned to the referential object. The question is: are these properties to be interpreted as universals or as tropes? Some trope theorists allege that an interpretation in terms of universals is incompatible with frames for individuals in (...) which the values of quality attributes are recursively specified by further attributes. I shall argue, however, that recursive extension poses a challenge, not specifically to the universals realist, but rather to realists about determinables as opposed to determinables nominalists. Moreover, it is suggested that even determinables realists are able to cope with recursively extended frames once they relativize relations between determinables and determinates to particular objects. It is indicated how these findings might bear on adjacent debates in the metaphysics of natural language. (shrink)

This essay has two main claims about EPR’s Reality Criterion. First, we claim that the application of the Reality Criterion makes an essential difference between the EPR argument and Einstein’s later arguments against quantum mechanics. We show that while the EPR argument, making use of the Reality Criterion, does derive that certain interpretations of quantum mechanics are incomplete, Einstein’s later arguments, making no use of the Reality Criterion, do not prove incompleteness, but rather point to the inadequacy of the Copenhagen (...) interpretation. We take this fact as an indication that the Reality Criterion is a crucial, indispensable component of the incompleteness argument(s). The second claim is more substantive. We argue that the Reality Criterion is a special case of the Common Cause Principle. Finally, we relate this proposal to Tim Maudlin’s recent assertion that the Reality Criterion is an analytic truth. (shrink)

Russellians can have a no proposition view of empty names. I will defend this theory against the problem of meaningfulness, and show that the theory is in general well motivated. My solution to the problem of meaningfulness is that speakers’ judgements about meaningfulness are tracking grammaticality, and not propositional content.

Within the context of the Quine–Putnam indispensability argument, one discussion about the status of mathematics is concerned with the ‘Enhanced Indispensability Argument’, which makes explicit in what way mathematics is supposed to be indispensable in science, namely explanatory. If there are genuine mathematical explanations of empirical phenomena, an argument for mathematical platonism could be extracted by using inference to the best explanation. The best explanation of the primeness of the life cycles of Periodical Cicadas is genuinely mathematical, according to Baker (...) :223–238, 2005; Br J Philos Sci 60:611–633, 2009). Furthermore, the result is then also used to strengthen the platonist position :779–793, 2017a). We pick up the circularity problem brought up by Leng Mathematical reasoning, heuristics and the development of mathematics, King’s College Publications, London, pp 167–189, 2005) and Bangu :13–20, 2008). We will argue that Baker’s attempt to solve this problem fails, if Hume’s Principle is analytic. We will also provide the opponent of the Enhanced Indispensability Argument with the so-called ‘interpretability strategy’, which can be used to come up with alternative explanations in case Hume’s Principle is non-analytic. (shrink)

With metaphysical philosophy gaining prominence in the aftermath of the Quine-Carnap debate, not only has it become assumed that the Quinean critique leaves ontological pluralism behind as an untenable approach, but also that the same is true of deflationism more generally. Building on Quine’s criticisms against the analytic-synthetic distinction and the notion of quantifier variance, contemporary metaphysicians like van Inwagen and Sider continue to argue for the untenability of deflationary approaches to metaontology. In this paper I will argue that Quine’s (...) criticisms do not provide sufficient grounds for revitalizing metaphysics, as the aforementioned metaphysicians conceive them as doing, and that they also don’t eliminate all hope for Carnapian pluralism. Furthermore, Carnap’s initial position may even yield the most promising route for the pluralistically inclined. Moreover, pluralism is often conceived as being equivalent with the narrower notion of quantifier variance, often associated with Hirsch and Putnam. As this notion often is attributed not only to Carnap and other pluralists, but also is taken to be an essential feature of deflationism, explicating how their merits in fact don’t necessarily coincide with those of quantifier variance will clarify matters. I will conclude by noting how neither pluralism nor deflationism is committed to quantifier variance, and thus how arguments against the latter don’t entail a refutation of the former. (shrink)

Why are traditional ‘objectivist’ theories of morality, such as those put forward by Aristotle, or Kant, or even Bentham, commonly thought not to pass ‘scientific muster’ insofar as they are not ‘naturalist’? My interest in this question is based on my being a moral objectivist, but answering this question is one that moral skeptics should be as interested in as I. The view that the commitments of science preclude us from accepting such theories is the basis of the moral skeptic's (...) position. Yet showing what is wrong with a moral objectivist position is surprisingly difficult. It involves reflecting on what ‘scientific muster’ is supposed to be, and on why a theory is commonly thought to be disreputable unless it passes it. It also involves locating the ‘queer’ element in objectivist moral theory that makes it scientifically disreputable. Yet, as I hope to show in this article, there is no commonly accepted statement of what makes a theory scientifically acceptable or unacceptable, and no rigorous account of what the queer component of objectivist moral theory is that makes any such theory scientifically unacceptable. (shrink)

How are philosophical questions about what kinds of things there are to be understood and how are they to be answered? This paper defends broadly Fregean answers to these questions. Ontological categories—such as object , property , and relation —are explained in terms of a prior logical categorization of expressions, as singular terms, predicates of varying degree and level, etc. Questions about what kinds of object, property, etc., there are are, on this approach, reduce to questions about truth and logical (...) form: for example, the question whether there are numbers is the question whether there are true atomic statements in which expressions function as singular terms which, if they have reference at all, stand for numbers, and the question whether there are properties of a given type is a question about whether there are meaningful predicates of an appropriate degree and level. This approach is defended against the objection that it must be wrong because makes what there depend on us or our language. Some problems confronting the Fregean approach—including Frege’s notorious paradox of the concept horse—are addressed. It is argued that the approach results in a modest and sober deflationary understanding of ontological commitments. (shrink)

Since Nāgārjuna's proclamation of the emptiness of all things,1 Mahāyāna Buddhism has been faced with the question of how to reconcile emptiness with its commitment to compassion and altruism. While the latter would seem to require the existence of moral facts, the former would seem to destroy any basis for moral facts. In the vocabulary of contemporary metaethics, it would seem that any Buddhist who accepts Nāgārjuna's formulation of emptiness is committed to moral anti-realism,2 but it remains controversial whether anti-realism (...) is a position suited to Buddhism and its ethical focus.3In this essay, I will show that Dōgen 道元, founder of the Sōtō school of Japanese Zen Buddhism, responds to this problem... (shrink)

When the meta-philosophies of Nominalism and Realism are compared, it is often said that Nominalism is motivated by a methodology of ontological economy, while Realism would be motivated by an appeal to Common Sense. In this paper, I argue that this association is misguided. After briefly comparing the meta-philosophy of Common Sense and the meta-philosophy of economy, I show that the core motivation in favour of Realism relies in fact in a principle of economy which violates the methodology of Common (...) Sense. I conclude that Common Sense philosophers should endorse Nominalism. (shrink)

Intentionality, or the power of minds to be about, to represent, or to stand for things, remains central in the philosophy of mind. But the study of intentionality in the analytic tradition has been dominated by discussions of propositional attitudes such as belief, desire, and visual perception. There are, however, intentional states that aren't obviously propositional attitudes. For example, Indiana Jones fears snakes, Antony loves Cleopatra, and Jane hates the monster under her bed. The present paper explores such mental states (...) in an introductory but opinionated way. (shrink)

There is a long tradition of drawing metaphysical conclusions from investigations into language. This paper concerns one contemporary variation on this theme: the alleged ontological significance of cognitivist truth-theoretic accounts of semantic competence. According to such accounts, human speakers’ linguistic behavior is in part empirically explained by their cognizing a truth-theory. Such a theory consists of a finite number of axioms assigning semantic values to lexical items, a finite number of axioms assigning semantic values to complex expressions on the basis (...) of their structure and the semantic values of their constituents, and a finite number of production schemata. The theory enables the derivation of truth-conditions for each sentence of the language: something of roughly the form ‘S is true iff P’.1 The claim that speakers stand in a cognitive relation to such theories is advanced, not as a conceptual analysis of semantic competence or understanding, but rather as an empirical hypothesis about human speakers in particular, one part of a broader empirical account of our linguistic competence and cognition generally. It therefore must mesh with the rest of our theorizing in these areas and whatever relevant data from neighboring inquiries there may be. The precise nature of the cognitive relation a speaker is supposed to bear to a truththeory is a matter of some dispute. I speak of ‘‘cognizing’’ (following. (shrink)

In almost all of his writings on ontology, Quine celebrated the discovery of contextual definition as a milestone of the history of philosophy. The philosophical appeal of this tool resides in the hope that it allows us to reduce the ontological commitments of theories in substantial ways. The goal of this paper is to show that contextual definition does not really come up to this hope. It is argued that the material adequacy of such definitions presupposes a very strong context-principle, (...) one implying that theories do not have any ontological commitments at all. (shrink)

It is widely assumed that Russell's problems with the unity of the proposition were recurring and insoluble within the framework of the logical theory of his Principles of Mathematics. By contrast, Frege's functional analysis of thoughts (grounded in a type-theoretic distinction between concepts and objects) is commonly assumed to provide a solution to the problem or, at least, a means of avoiding the difficulty altogether. The Fregean solution is unavailable to Russell because of his commitment to the thesis that there (...) is only one ultimate ontological category. This, combined with Russell's reification of propositions, ensures that he must hold concepts and objects to be of the same logical and ontological type. In this paper I argue that, while Frege's treatment of the unity of the proposition has immediate advantages over Russell's, a deeper consideration of the philosophical underpinnings and metaphysical consequences of the two approaches reveals that Frege's supposed solution is, in fact, far from satisfactory. Russell's repudiation of the Fregean position in the Principles is, I contend, convincing and Russell's own position, despite its problems, conforms to a greater extent than Frege's with common sense and, furthermore, with certain ideas which are central to our understanding of the origins of the analytical tradition. (shrink)

My aim in this paper is to offer a Hegelian critique of Quine’s predicate nominalism. I argue that at the core of Hegel’s idealism is not a supernaturalist spirit monism, but a realism about universals, and that while this may contrast to the nominalist naturalism of Quine, Hegel’s position can still be defended over that nominalism in naturalistic terms. I focus on the contrast between Hegel’s and Quine’s respective views on universals, which Quine takes to be definitive of philosophical naturalism. (...) I argue that there is no good reason to think Quine is right to make this nominalism definitive of naturalism in this way – where in fact Hegel offers a reasonably compelling case that science itself requires some commitment to realism about universals, kinds, etc. Furthermore, even if Hegel is wrong about that, at least his case for realism is still a naturalistic one, as it is based on his views on concrete universality, which is an innovative form of in rebus realism about unive.. (shrink)

According to the cluster of theories in the metaphysics of properties known as ‘trope’ theories, properties are collections of particular qualitative instances. Though increasingly influential, the cluster is sufficiently diverse for there to be little agreement as to the prospects of its members. The present essay articulates and defends a conception of tropes as primitively qualitatively complex, somewhat in the vein of Quinean nominalist objects. After clarifying the relationships among tropes, properties, property exemplification, and property conferral, the essay discusses the (...) benefits of this new ‘ostrich’ trope theory. Specifically, the theory explains better than prior trope theories both the spatiotemporal status of tropes and the capacity tropes have to confer properties onto objects. Moreover, the theory is immune to many of the concerns that threaten more orthodox trope ontologies. (shrink)

A chemical substance is instantiated in the material world by a number of quantities of such substance, placed in different locations. A change of location implies a change in the net of relationships entertained by the QCS with the region wherein it is found. This fact entails changes of the ontological status of the CS, as this is not fully determined by the inherent features of the CS and includes a relevant relational contribution. In order to demonstrate this thesis, we (...) have chosen to analyse the status of quantities of a same CS that are synchronically located in different spacetime regions: a synthetic lab, a lab where the QCS is turned into a material, an industrial plant, the market where the QCS gets a price and a dump waste where the QCS is discarded, respectively: Chemical substance Open image in new window material Open image in new window product Open image in new window goods Open image in new window wasteThe use of first-order predicate logic, mereology and locative logic allows carrying out a regimentation process that highlights the ontological commitments implied by the formal expressions through which each element of the aforementioned series can be described. The presence of relational properties discloses the systemic nature of the CS instantiated within a spacetime region. The implications of such an aspect are discussed. (shrink)

Fictionalism about a kind of disputed object is often motivated by the fact that the view interprets discourse about those objects literally without an ontological commitment to them. This paper argues that this motivation is inadequate because some viable alternatives to fictionalism have similar attractions. Meinongianism—the view that there are true statements about non-existent objects—is one such view. Meinongianism bears significant similarity to fictionalism, so intuitive doubts about its viability are difficult to sustain for fictionalists. Moreover, Meinongianism avoids some of (...) fictionalism’s weaknesses, thus it is even preferable to fictionalism in some respects. (shrink)

Carl Hempel introduced what he called "Craig's theorem" into the philosophy of science in a famous discussion of the "problem of theoretical terms." Beginning with Hempel's use of 'Craig's theorem," I shall bring out some of the key differences between Hempel's treatment of the "problem of theoretical terms" and Carnap's in order to illuminate the peculiar function of Wissenschaftslogik in Carnap's mature philosophy. Carnap's treatment, in particular, is fundamentally antimetaphysical—he aims to use the tools of mathematical logic to dissolve rather (...) solve traditional philosophical problems—and it is precisely this point that is missed by his logically-minded contemporaries such as Hempel and Quine. (shrink)

Realists, D. M. Armstrong among them, claim, contrary to natural class nominalists, that natural classes are analysable. Natural classes of particulars, claim the realists, can be analysed in terms of particulars having universals in common. But for the realist, there are also natural classes of universals. And if the realist's claim that natural classes are analysable is a general claim about natural classes, then the realist must also provide an analysis of natural classes of universals. For Armstrong, the unity (or (...) naturalness) of a natural class of universals is analysed in terms of universals resembling each other. I argue that Armstrong's account fails. His account fails for the same reason all other resemblance accounts of natural classes fail: some arbitrary classes satisfy the analysis for natural classes. (shrink)

It is persons who are ontologically committed. But a person is not ontologically committed by virtue of his character, his height, his social standing or whatever, but by virtue of the sentences he assents to. Hence we should look to sentences for a criterion of ontological commitment. This is precisely what is done by advocates of what I will call the Referential theory. In this paper I argue that the Referential theory faces serious objections related to the role paraphrase must (...) play in it. I then present a modified Referential theory and go on to discuss certain implications of the modified theory. More precisely, the paper divides up as follows. In §1 I present the Referential theory. In §2 I argue that it is in trouble over paraphrase. In §3 I consider a general objection to the arguments of §2. In §4 I present the modified theory. In §5 I consider the implications of the modified theory for polemic over what there is and for the existence of properties or universals. (shrink)

I explore three points about the relationship between C.I. Lewis’s conceptual pragmatism and W.V. Quine’s naturalized epistemology inspired by Robert Sinclair’s Quine, Conceptual Pragmatism, and the Analytic-Synthetic Distinction. First, I highlight Lewis’s long-standing commitment to Platonism about meaning and its connection to his reflective philosophical method and rejection of a linguistic account of analyticity. Second, I consider Sinclair’s claim that “Lewis’s epistemology provides no indication concerning how, despite different sensory experiences, we still come to agree on what we are talking (...) about and what counts as evidence” (2022, 113). I find more hints, especially in Lewis’s account of how we verify that two people share meaning in common. However, some of the pragmatic and broadly empirical factors Lewis appeals to are not part of Quine’s naturalized epistemology. Finally, I relate these points to Quine’s (1953/1980) claim to advance a more “thorough pragmatism” than Lewis. Quine does not say much about action, value, and ethics, but these are central parts of Lewis’s conceptual pragmatism and a source of his reluctance to abandon those parts of his epistemology that Sinclair argues Quine found dispensable. (shrink)

Do numbers exist? Carnap (1956 [1950]) famously argues that this question can be understood in an “internal” and in an “external” sense, and calls “external” questions “non-cognitive”. Carnap also says that external questions are raised “only by philosophers” (p. 207), which means that, in his view, philosophers raise ”non-cognitive” questions. However, it is not clear how the internal/external distinction and Carnap’s related views about philosophy should be understood. This paper provides a new interpretation. I draw attention to Carnap’s distinction between (...) purely external statements, which are independent from all frameworks, and pragmatic external statements, which concern which framework one should adopt, and argue that the latter express noncognitive mental states. Specifically, I argue that “frameworks” are systems of rules for the assessment of statements, which are utterances of ordinary language sentences. Pragmatic external statements express noncognitive dispositions to follow only certain rules of assessment. For instance, “numbers exist” understood as a pragmatic external statement expresses a noncognitive disposition to use only rules of assessment according to which numbers do exist. Carnap can thereby be understood as proposing a distinctive form of noncognitivism about ontology that is in some respects analogous to norm-expressivism in metaethics. (shrink)

In Examination of McTaggart's Philosophy, C.D. Broad advanced a distinctive ontology of things and processes. He argues that neither things nor processes are reduced to each other but instead are reduced to some further kind of entity: “absolute process.” This paper will present Broad's theory of absolute processes and argue that they are best understood as tropes by developing a version of Donald C. Williams's trope ontology. This process ontology of tropes is then defended against objections in the contemporary metaphysics (...) literature. (shrink)

Priority Theory is an increasingly popular view in metaphysics. By seeing metaphysical questions as primarily concerned with what explains what, instead of merely what exists, it promises not only an interesting approach to traditional metaphysical issues but also the resolution of some outstanding disputes. In a recent paper, Louis deRosset argues that Priority Theory isn’t up to the task: Priority Theory is committed to there being explanations that violate a formal constraint on any adequate explanation. This paper critically examines deRosset’s (...) challenge to Priority Theory. We argue that deRosset’s challenge ultimately fails: his proposed constraint on explanation is neither well-motivated nor a general constraint. Nonetheless, lurking behind his criticism is a deep problem for prominent ways of developing Priority Theory, a problem which we develop. (shrink)

Peter van Inwagen has in recent decades made significant and influential contributions to metaphysics. In his Material Beings he advanced a novel ontology according to which chairs and other medium-sized dry goods don’t really exist. He went on to make important contributions to metaontology. Parts of his Ontology, Identity, and Modality and Existence: Essays in Ontology defend a broadly Quinean conception of existence questions and how to address them. I argue that the metaontology articulated in those later works is in (...) fact inconsistent with his defense of his ontology advanced in his earlier work. (shrink)

Many philosophers accept some version of a principle that says for all x, if x exists, then x plays a unique causal role. After briefly clarifying one version of the principle in Section 1, Section 2 gives reasons to doubt it by showing that there are non-identical “causal indiscernibles”—I call them “married causes.” Section 3 then sketches a few philosophical puzzles for which married causes may be helpful.

The aim of this editorial introduction is twofold. First, Sects. 1–8 offer a critical introduction to the metaphysical character of physicalism. In those sections, I present and evaluate different ways in which proponents of physicalism have made explicit the metaphysical dependence that is said to hold between the non-physical and the physical. Some of these accounts are found to be problematic; others are shown to be somewhat more promising. In the end, some important lessons are drawn and different options for (...) physicalists are presented. Second, in Sect.9, the six papers that comprise the special issue are introduced and summarized. (shrink)

Neo-Fregeanism in the philosophy of mathematics consists of two main parts: the logicist thesis, that mathematics (or at least branches thereof, like arithmetic) all but reduce to logic, and the platonist thesis, that there are abstract, mathematical objects. I will here focus on the ontological thesis, platonism. Neo-Fregeanism has been widely discussed in recent years. Mostly the discussion has focused on issues specific to mathematics. I will here single out for special attention the view on ontology which underlies the neo-Fregeans’ (...) claims about mathematical objects, and discuss this view in a broader setting. (shrink)

Several recent discussions of metaphysics disavow existence-questions, claiming that they are metaphysically uninteresting because trivially settled in the affirmative by Moorean facts. This is often given as a reason to focus metaphysical debate instead on questions of grounding. I argue that the strategy employed to undermine existence-questions fails against its usual target: Quineanism. The Quinean can protest that the formulation given of their position is a straw man: properly understood, as a project of explication, Quinean metaphysics does not counsel us (...) to choose between obvious ordinary-language claims and absurd revisionist claims, even if appeal to Moorean facts is permitted. (shrink)

The compact and, with \ M\, very massive object located at the center of the Milky Way is currently the very best candidate for a supermassive black hole in our immediate vicinity. The strongest evidence for this is provided by measurements of stellar orbits, variable X-ray emission, and strongly variable polarized near-infrared emission from the location of the radio source Sagittarius A* in the middle of the central stellar cluster. Simultaneous near-infrared and X-ray observations of SgrA* have revealed insights into (...) the emission mechanisms responsible for the powerful near-infrared and X-ray flares from within a few tens to one hundred Schwarzschild radii of such a putative SMBH. If SgrA* is indeed a SMBH it will, in projection onto the sky, have the largest event horizon and will certainly be the first and most important target for very long baseline interferometry observations currently being prepared by the event horizon telescope. These observations in combination with the infrared interferometry experiment GRAVITY at the very large telescope interferometer and other experiments across the electromagnetic spectrum might yield proof for the presence of a black hole at the center of the Milky Way. The large body of evidence continues to discriminate the identification of SgrA* as a SMBH from alternative possibilities. It is, however, unclear when the ever mounting evidence for SgrA* being associated with a SMBH will suffice as a convincing proof. Additional compelling evidence may come from future gravitational wave observatories. This manuscript reviews the observational facts, theoretical grounds and conceptual aspects for the case of SgrA* being a black hole. We treat theory and observations in the framework of the philosophical discussions about “realism and underdetermination”, as this line of arguments allows us to describe the situation in observational astrophysics with respect to supermassive black holes. Questions concerning the existence of supermassive black holes and in particular SgrA* are discussed using causation as an indispensable element. We show that the results of our investigation are convincingly mapped out by this combination of concepts. (shrink)

The prevailing approach to the problem of the ontological status of mathematical entities such as numbers and sets is to ask in what sense it is legitimate to ascribe a reference to abstract singular terms; those expressions of our language which, taken at face value, denote abstract objects. On the basis of this approach, neo‐Fregean Abstractionists such as Hale and Wright have argued that abstract singular terms may be taken to effect genuine reference towards objects, whereas nominalists such as Field (...) have asserted that these apparent ontological commitments should not be taken at face value. In this article I argue for an intermediate position which upholds the legitimacy of ascribing a reference to abstract singular terms in an attenuated sense relative to the more robust ascription of reference applicable to names denoting concrete entities. In so doing I seek to clear up some confusions regarding the ramifications of such a thin notion of reference for ontological claims about mathematical objects. (shrink)

According to a tradition stemming from Quine and Putnam, we have the same broadly inductive reason for believing in numbers as we have for believing in electrons: certain theories that entail that there are numbers are better, qua explanations of our evidence, than any theories that do not. This paper investigates how modal theories of the form ‘Possibly, the concrete world is just as it in fact is and T’ and ‘Necessarily, if standard mathematics is true and the concrete world (...) is just as it in fact is, then T’ bear on this claim. It concludes that, while analogies with theories that attempt to eliminate unobservable concrete entities provide good reason to regard theories of the former sort as explanatorily bad, this reason does not apply to theories of the latter sort. (shrink)

This article further explains and develops a recent, comprehensive semantic naturalization theory, namely the interactive indexing (II) theory as described in my 2008 Minds and Machines article Semantic Naturalization via Interactive Perceptual Causality (Vol. 18, pp. 527–546). Folk views postulate a concrete intentional relation between cognitive states and the worldly states they are about. The II theory eliminates any such concrete intentionality, replacing it with purely causal relations based on the interactive theory of perception. But intentionality is preserved via purely (...) abstract propositions about the world that index, or correlate with, appropriate cognitive states. Further reasons as to why intentionality must be abstract are provided, along with more details of an II-style account of representation, language use and propositional attitudes. All cognitive representation is explained in terms of classification or sorting dispositions indexed by appropriate propositions. The theory is also related to Fodor’s representational theory of mind, with some surprisingly close parallels being found in spite of the purely dispositional basis of the II theory. In particular, Fodor’s insistence that thinking about an item cannot be reduced to sorting dispositions is supported via a novel two-level account of cognition—upper level propositional attitudes involve significant intermediate processing of a broadly normative epistemic kind prior to the formation of sorting dispositions. To conclude, the weak intentional realism of the II theory—which makes intentional descriptions of the world dispensable—is related to Dennett’s ‘intentional stance’ view, and distinguished from strong (indispensable) intentional realist views. II-style dispositions are also defended. (shrink)

Indispensability arguments are among the strongest arguments in support of mathematical realism. Given the controversial nature of their conclusions, it is not surprising that critics have supplied a number of rejoinders to these arguments. In this paper, I focus on one such rejoinder, Melia’s ‘Weasel Response’. The weasel is someone who accepts that scientific theories imply that there are mathematical objects, but then proceeds to ‘take back’ this commitment. While weaseling seems improper, accounts supplied in the literature have failed to (...) explain why. Drawing on examples of weaseling in more mundane contexts, I develop an account of the presumption against weaseling as grounded in a misalignment between two types of commitments. This is good news to the weasel’s opponents. It reinforces that they were right to question the legitimacy of weaseling. This account is also beneficial to the weasel. Uncovering the source of the presumption against weaseling also serves to draw out the challenge that the weasel must meet to override this presumption—what is required to be an ‘honest weasel’. (shrink)

In ethical discourse, it is common practice to distinguish between normative commitments and descriptive commitments. Normative commitments reflect what a person ought to be committed to, whereas descriptive commitments reflect what a person actually is committed to. While the normative/descriptive distinction is widely accepted as a way of talking about ethical commitments, philosophers have missed this distinction in discussing ontological commitments. In this paper, I distinguish between descriptive ontological commitments and normative ontological commitments and discuss several significant benefits of recognizing (...) this distinction. I argue that just as the normative/descriptive distinction is important for fruitful ethical discourse, so too is it important for fruitful discourse concerning our ontological commitments. And, it constitutes a significant step towards resolving some prominent debates concerning our ontological commitments. (shrink)