Instrumentalist nominalism responds to the indispensability arguments by rejecting the demand that successful mathematicized scientific theories be nominalized, and instead claiming merely that such theories are nominalistically adequate: the concreta behave ‘as if’ the theory is true. This article examines some definitions of the concept of nominalistic adequacy and concludes with some considerations against instrumentalist nominalism.

This article shows that there are square circles in the sense that there are mathematical objects that are at the same time both perfectly circular and perfectly square. The philosophical significance of this is discussed, especially in view of philosophy's widespread use of “square circle” as a typical example of an impossibility. In particular, the focus is on what the existence of square circles means for the possibility of conceptual analysis, and more generally what we can learn about the nature (...) of non-formal concepts and their use in philosophy. (shrink)

Modes-of-being figure centrally in Heidegger's masterwork Being and Time. Testimony to this is Heidegger's characterisation of two of his most celebrated enquiries—the Existential analytic and the Zeug analysis—as investigations into the respective modes-of-being of the entities concerned. Yet despite the importance of this concept, commentators disagree widely about what a mode-of-being is. In this paper, I systematically outline and defend a novel and exegetically grounded interpretation of this concept. Strongly opposed to Kantian readings, such as those advocated by Taylor Carman (...) and Cristina Lafont, I interpret a mode-of-being as a universal that defines a district —that is, a natural class of entities that ought to be conceptualised in a special way. As such, every mode-of-being plays an important metaphysical and epistemic role: serving both to unify a natural class of a high degree of generality and as the interpretandum of an act yielding the basic-concepts pertaining to the entities therein. In explicating and arguing for this interpretation, I attribute a characteristically Aristotelian philosophical position to the early Heidegger, encompassing both metaphysical and epistemological realism and a conceptualist theory of universals. (shrink)

David Enoch has recently proposed that the deliberative indispensability of irreducibly normative facts suffices to support their inclusion in our ontology, even if they are not necessary for the explanation of any observable phenomena. He challenges dissenters to point to a relevant asymmetry between explanation and deliberation that shows why explanatory indispensability, but not deliberative indispensability, is a legitimate guide to ontology. In this paper, I aim to do just that. Given that an entity figures in the actual explanation of (...) some phenomenon, it is not an open question whether that entity exists. Thus, if you can manage to find actual explanations, you can find answers to ontological questions. In contrast, even if some entity is indispensable to deliberation, it still might not exist. For example, even if some form of libertarian free will is deliberatively indispensable, we still might not have libertarian free will. So even if you manage to discover the indispensable commitments of deliberation, there is still more work to do to get to the bottom of things. That additional work is explanatory work, and so deliberative indispensability is not an independent guide to what there is. (shrink)

In 1837, Dirichlet proved that there are infinitely many primes in any arithmetic progression in which the terms do not all share a common factor. Modern presentations of the proof are explicitly higher-order, in that they involve quantifying over and summing over Dirichlet characters, which are certain types of functions. The notion of a character is only implicit in Dirichlet’s original proof, and the subsequent history shows a very gradual transition to the modern mode of presentation. In this essay, we (...) describe an approach to the philosophy of mathematics in which it is an important task to understand the roles of our ontological posits and assess the extent to which they enable us to achieve our mathematical goals. We use the history of Dirichlet’s theorem to understand some of the reasons that functions are treated as ordinary objects in contemporary mathematics, as well as some of the reasons one might want to resist such treatment. We also use these considerations to illuminate the formal treatment of functions and objects in Frege’s logical foundation, and we argue that his philosophical and logical decisions were influenced by many of the same factors. (shrink)

This paper is focused on dismissive metaontological views about ontology. The paper's first section deals with radical dismissivism: a view which I interpret as Carnap's. The second section approaches moderate dismissivism: a view which I interpret as Hirsch's. My first claim is stated in section three: that there are significant differences between the mentioned authors. However, current literature on metaontology, not only does not emphasize such differences, but also insinuates that they do not exist. The authors I have in mind (...) here are Eklund and Bennett. In the fourth section, I compare Carnap's radical dismissivism with Hirsch's moderate dismissivism. My second claim is stated in section five: that Carnap's radical dismissivism is more persuasive than Hirsch's moderate one. (shrink)

(First paragraph.) Different views on the relation between phenomenal reality, the world as we consciously experience it, and noumenal reality, the world as it is independent from an experiencing subject, have different implications for a collection of interrelated issues of meaning and reality including aspects of metaphysics, the philosophy of language, and philosophical methodology. Exploring some of these implications, this paper compares and brings together analytic, continental, and Buddhist approaches, focusing on relevant aspects of the philosophy of Donald Davidson, Jacques (...) Derrida, Dharmakīrti, and Dōgen. Prima facie, these philosophers have little in common, and indeed the differences are vast. Even in case of the two Western thinkers there is a fundamental difference between Davidson’s anti-dualist identification of phenomenal, experienced reality with the noumenal, real, external world on the one hand, and the bracketing or elimination of noumenal reality at the base of Derrida’s thought on the other, which lead to radically different ideas with regards to (the possibility and nature of) objectivity and our linguistic access to the real/external/noumenal world. Nevertheless, there are important similarities between Dharmakīrti’s theory of apoha and Davidson’s and Derrida’s theories of triangulation and différance respectively, and these similarities can be exploited to bridge some of the differences and attempt a constructive engagement. (shrink)

Fifty years ago J. J. C. Smart published his pioneering paper, “Sensations and Brain Processes.” It is appropriate to mark the golden anniversary of Smart’s publication by considering how well his article has stood up, and how well the identity theory itself has fared. In this paper I first revisit Smart’s text, reflecting on how it has weathered the years. Then I consider the status of the identity theory in current philosophical thinking, taking into account the objections and replies that (...) Smart discussed as well as some that he did not anticipate. Finally, I offer a brief manifesto for the identity theory, providing a small list of the claims that I believe contemporary identity theorist should accept. As it turns out, these are more or less the ones that Smart defended fifty years ago. (shrink)

Quineans have taken the basic expression of ontological commitment to be an assertion of the form '' x '', assimilated to theEnglish ''there is something that is a ''. Here I take the existential quantifier to be introduced, not as an abbreviation for an expression of English, but via Tarskian semantics. I argue, contrary to the standard view, that Tarskian semantics in fact suggests a quite different picture: one in which quantification is of a substitutional type apparently first proposed by (...) Geach. The ontological burden is borne by constant symbols, and truth is defined separately from reference. (shrink)

According to what Hume termed an ‘establish’d maxim’, nothing absolutely impossible is imaginable. It has recently been claimed against this that given the ubiquity of stipulative imagination, where one imagines a proposition simply by adding it as a stipulation about the imagined situation, it seems that we can imagine any impossibility whatsoever, even plain contradictions: all we need to do is add them as stipulations. The aim of this article is both to defend Hume’s maxim against this objection and – (...) hopefully interestingly – to do so while granting the assumption that adding something as a stipulation is a valid way of imagining something. To this end, appeal is made to a particular development of a second Humeanism, according to which necessary truths are analytic in the sense that their truth follows from their meaning. Their analyticity, it is then argued, secures that they are true in all imagined situations. Therefore, even if it is right that a valid way of imagining something is to add it as a stipulation, attempting to stipulate that, say, some imaginary bachelor is also married is bound to fail: you can’t stipulate it to be the case because it really isn’t the case. (shrink)

This is a book symposium on Steffen Borge’s The Philosophy of Football. It has contributions from William Morgan, Murray Smith and Brian Weatherson with replies from Borge.

This paper outlines an account of numbers based on the numerical equivalence schema, which consists of all sentences of the form ‘#x.Fx=n if and only if ∃nx Fx’, where # is the number-of operator and ∃n is defined in standard Russellian fashion. In the first part of the paper, I point out some analogies between the NES and the T-schema for truth. In light of these analogies, I formulate a minimalist account of numbers, based on the NES, which strongly parallels (...) the minimalist account of truth. One may be tempted to develop the minimalist account in a fictionalist direction, according to which arithmetic is useful but untrue, if taken at face value. In the second part, I argue that this suggestion is not as attractive as it may first appear. The NES suffers from a similar problem to the T-schema: it is deductively weak and does not enable the derivation of any non-trivial generalizations. In the third part of the paper, I explore some strategies to deal with the generalization problem, again drawing inspiration from the literature on truth. In closing this paper, I briefly compare the minimalist to some other accounts of numbers. (shrink)

This paper characterizes two senses in which Hegel interpretations can be (anti-)metaphysical. It argues that Pippin's seminal work misreads Hegel’s Being Logic through reading it anti-metaphysically, in one of these senses. But it also suggests that Pippin’s recent work makes room for a metaphysical (in the corresponding sense) reinterpretation of the Being Logic. So it pushes, in the spirit of a friendly amendment, for a fuller such reinterpretation, one that nevertheless coheres with Pippin’s deep commitments about Hegel as a post-Kantian (...) philosopher, since the reading remains, in the relevant sense—now the other one—anti-metaphysical. (shrink)

Categories play a major role in contemporary metaphysics. They have not only been invoked in a number of philosophical theories but are themselves objects of epistemological and metaphysical scrutiny. In this article, we will discuss the following questions: How do we know when something belongs to a certain category? Is there a fundamental category of the world? Can we give a satisfactory account of the number of categories and the completeness of systems of categories? Are categories the genuine subjects of (...) ontology? (shrink)

In this article I examine “Ontology Matters!” (OM!) arguments. OM! arguments conclude that ontology can contribute to empirical success in social science. First, I capture the common form between different OM! arguments. Second, I describe quantifier variance as discussed in metaontology. Third, I apply quantifier variance to the common form of OM! arguments. I then present two ways in which ontology is prior to social science methodology, one realist and one pragmatic. I argue that a pragmatic interpretation of ontology’s priority (...) gives proponents of realist OM! arguments a special burden that they must meet to render their argument successful. (shrink)

This article elaborates the epistemic indispensability argument, which fully embraces the epistemic contribution of mathematics to science, but rejects the contention that such a contribution is a reason for granting reality to mathematicalia. Section 1 introduces the distinction between ontological and epistemic readings of the indispensability argument. Section 2 outlines some of the main flaws of the first premise of the ontological reading. Section 3 advances the epistemic indispensability argument in view of both applied and pure mathematics. And Sect. 4 (...) makes a case for the epistemic approach, which firstly calls into question the appeal to inference to the best explanation in the defense of the indispensability claim; secondly, distinguishes between mathematical and physical posits; and thirdly, argues that even though some may think that inference to the best explanation works in the postulation of physical posits, no similar considerations are available for postulating mathematicalia. (shrink)

Is it permissible to believe that God does not exist if the evidence is inconclusive? In this paper, we give a new argument in support of atheistic belief modelled on William James’s The Will to Believe. According to James, if the evidence for a proposition, p, is ambiguous, and believing that p is a genuine option, then it can be permissible to let your passions decide. Typically, James’s argument has been used as a defence of passionally caused theistic belief. However, (...) in the existing literature, little attention has been given to topic of passionally caused atheistic belief. Here, we give much needed attention to the issue of how areligious passions can justify atheistic belief. Following James, we argue that if atheism is a genuine option for an agent, it is permissible to believe that God does not exist based on her hopes, desires, wishes, or whatever passions incline her to disbelieve. After defending the coherence of passionally caused atheism, we go on to suggest why this position is a tenable one for the atheist to adopt. (shrink)

This thesis addresses three challenges posed by intentionality - the ability of our mental states and language to be about something - to a logician: an apparent reference to non-existent objects, intentional indeterminacy and the failure of substitutivity of coextensive terms in an intentional context. Since intentionality plays an important role in our everyday reasoning, a proper formal account of it is highly desirable, yet it requires a departure from classical logic. One can modify classical logic and adapt the formal (...) apparatus to account for the aforementioned problems (Graham Priest’s logic for intentionality serves as an example of such an approach in this work) or one can make an even more radical shift and seek for inspiration in a different logical tradition like the terminist logic developed in the Late Middle Ages by figures like William of Ockham or John Buridan. The second path is explored here as a modest attempt to show that once we abandon the bias against the history of logic as irrelevant, we can actually get access to firm logical solutions inaccessible from a classical perspective, while still practising logic proper. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

The Kantian revolution limited the possibility of ontological knowledge, severing subject from thing as is evident in its legacy in both continental and analytic philosophy. Consequently, if a thing cannot be known as it is, the philosophical status of empirical science as a study about existing natural things should be called into question. It could be construed, for instance, that a scientific theory is a construction about something to which the subjective constructor can never have ontological access. But, when empirical (...) scientists develop evidence-based proofs for their theories the assumption of realism usually stands: scientific theories constructed by scientists are actually purported to represent natural entities back to these constructing scientists. Given that there is a danger of philosophy becoming isolated from empirical science, we attempt to bridge the gap between philosophical discourse and science-in-praxis through a recapitulation of Aquinas’ ontological epistemology. Aquinas argued for a clarified realism in which the epistemic is construed as an intersection between the thinking subject and the object. Contrary to naïve realism, then, it will be explicated how Aquinas’ realism was a precursor of “critical realism”, as he discerned the complex interaction of thinking subject and the being of the object as both bearing on the production of knowledge. (shrink)

The authors consider a recurring objection to fictional realism, the view that fictional characters are objects. The authors call this the counting objection. Russell presses a version of the objection against Meinong’s view. Everett presses a version of the objection against contemporary fictional realist views, as do Nolan and Sandgren. As the authors see it, the objection assumes that the fictional realist must provide criteria of identity for fictional characters, so its force depends on the plausibility of that assumption. Rather (...) than coming up with such criteria, a fictional realist might argue that the demand is misplaced. (shrink)

In response to points raised by our critics in this book symposium, we offer some clarifications about how to understand the role of science in assessing the multiple realization thesis. We also consider the connection between functionalism and multiple realization in the contexts of both psychological and biological sciences.

How should we understand the relationship, for Aristotle, between matter, form, and hylomorphic composite? Are matter and form distinct from each other, so that each hylomorphic unity harbours a plurality within it, or would such a plurality undermine the unity of the composite? A recent strand of argument in both Aristotelian and contemporary literature on hylomorphism has concluded that no genuine unity can be composed of a plurality. I will argue that the objection motivating this conclusion falls away as improperly (...) formulated in light of Aristotle's metaontology—in particular, his thesis that unity is indeterminate. The genuine objection threatening hylomorphic unity is one that Aristotle himself formulates as a central concern in his Metaphysics: no substance can be composed of substances. He answers this genuine objection in his appeal to the actuality/potentiality distinction, and in Metaphysics VIII.6 he reminds us why no more basic problem of hylomorphic unity arises. Against the backdrop of Aristotle's metaontology, hylomorphic unity cannot be undermined by the plurality, just as such, of matter and form. (shrink)

There is a puzzle about the use of paraphrase in philosophy, presented most famously in Alston's [1958] ‘Ontological Commitments’, but found throughout the literature. The puzzle arises from the fact that a symmetry required for a paraphrase to be successful seems to necessitate a symmetry sufficient for a paraphrase to fail, since any two expressions that stand in the means the same as relation must also stand in the has the same commitments as relation. I show that, while this problem (...) does undermine some conceptions of paraphrase, on a proper understanding of paraphrase the puzzle gets no purchase. Since paraphrase is an important component of Quinean approaches to meta-ontology, this paper constitutes a partial defence of Quinean meta-ontology. Since paraphrase is an important component of traditional methods of philosophical inquiry, this paper constitutes a partial defence of traditional modes of philosophizing as well. (shrink)

According to standard Creationism about fictional characters, each fictional character is created by its single author independently, or created by its co-authors cooperatively, or created by its independent authors independently. I argue that standard Creationism faces the Creator-Determining Problem. I propose a non-standard form of Creationism, i.e., Conjunctive Creationism, according to which each fictional character is conjunctively created. I argue that Conjunctive Creationism does not face the Creator-Determining Problem. By responding to four potential worries, I provide a further defense. My (...) conclusion is that Conjunctive Creationism is a more promising form of Creationism.Selon la norme du créationnisme concernant les personnages fictifs, chaque personnage est soit créé indépendamment par son seul auteur, soit créé par ses co-auteurs en collaboration, soit encore créé indépendamment par ses auteurs indépendants. Cette norme doit cependant faire face au problème de l’identification du créateur. Pour éviter ce problème, je propose d’adopter le créationnisme conjonctif, selon lequel chaque personnage est créé conjointement. Je défends cette proposition en répondant à quatre inquiétudes potentielles. Je conclus que le créationnisme conjonctif est une forme plus prometteuse du créationnisme. (shrink)

Existentialist accounts maintain that visual phenomenal content takes the logical form of an existentially quantified sentence. These accounts do not make phenomenal content specific enough. Singularist accounts posit a singular content in which the seen object is a constituent. These accounts make phenomenal content too specific. My account gets the specificity of visual phenomenal content just right. My account begins with John Searle's suggestion that visual experience represents an object as seen, moves this relation outside the scope of the existential (...) quantifier and then replaces it with the relation of objects being ‘present as accessible’, as described by Alva Noë. (shrink)

In the first part ("Determination"), I consider different notions of determination, contrast and compare modal with non-modal accounts and then defend two a-modality theses concerning essence and supervenience. I argue, first, that essence is a a-modal notion, i.e. not usefully analysed in terms of metaphysical modality, and then, contra Kit Fine, that essential properties can be exemplified contingently. I argue, second, that supervenience is also an a-modal notion, and that it should be analysed in terms of constitution relations between properties. (...) In the second part ("A Theory of Truthmaking"), I first review the literature on ontological commitment, and argue that the notion of truthmaking is better suited to play its explanatory rôle. I then argue that we should take truthmaker theory seriously, and that we should provide actual truthmakers for all truths there are. In the last chapter of this part, I review Armstrong's truthmaker theories and argue that they are unsatisfactory. I generalise my criticism to an argument against truthmaker necessitarianism, the view that truthmakers necessarily make true the truths they are truthmakers of. In the third part ("Properties and their Kind(s)"), I discuss qualitative determination. I present and endorse the truthmaker argument for universals, and defend universalism against friends of tropes, states of affairs and facts. I then give a novel characterisation of the important class of intrinsic properties, building on Lewis' work. With a workable notion of intrinsicness at hand, I argue that relations are ontologically – but not "ideologically" – dispensable: qualitative determination in general is a matter of intrinsic structure. In the future, I plan to add two parts and to publish my thesis as a book: In the fourth part ("Exemplification"), I argue for the existence of an exemplification relation tying universals and particulars together. I derive theoretical benefits from this relation by providing adverbialist theories of modality and tense and identify exemplification with a type of parthood. In the fifth part ("Qua qua qua"), I investigate the curious and interesting ontological category of so-called "qua-objects" (Picasso-as-a-painter, for example) and argue that they exist, are not identical with transworld indidivuals or modal parts and that they provide (contingent) truthmakers for all true predications. (shrink)

Je vais traiter ici des inférences dont la validité tient au rôle qu'y jouent les cinq connecteurs « ⊃ », « ∼ », « & », « V » et « ≡ », les deux quantificateurs « ∀ » et « ∃ », et le signe d'identité « = ». Qu'on me permette de rappeler que les deux conjectures présentéd dans ma première étude se sont avéré'es justes. En premier lieu, toute règle de structure et toute règie d'élimination ou d'introduction (...) pour « & » ou « V » qui vaut pour la logique classique des connecteurs vaut également pour la logique intuitionniste des connecteurs. En second lieu, tout énoncé du genre A1, A2, …, An ⊢ B qui vaut pour la logique classique des connecteurs peut s'obtenir exclusivement à l'aide des règles de structure R, P, E, S, et des règles d'elimination et d'introduction pour ceux des connecteurs « ⊃ », « ∼ », « & », « V » et « ≡ » qui figurent dans A1, A2, …, An, et B. (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)

This paper concerns a fundamental dispute in ontology between the “Foundational Ontologist”, who believes that there is only one correct way of characterizing what there is, and the ontological “Skeptic”, who believes that there are viable alternative characterizations of what there is. I examine in detail an intriguing recent proposal in Dorr (2005), which promises to yield (i) a way of interpreting the Skeptic by means of a counterfactual semantics; and (ii) a way of converting the Skeptic to a position (...) within Foundational Ontology, viz., that of Nihilism (according to which nothing composes anything and the world consists of mereological simples); this alleged conversion crucially turns on a novel notion of “metaphysical analyticity”. I argue that both components of Dorr’s proposal are problematic in central ways: as a result, the Foundational Ontologist gains an indirect argument against the coherence of the Skeptic’s position; and the non-Nihilist Foundational Ontologist may feel confirmed in his doubts towards the Nihilist outlook. (shrink)

Locke’s porphyry argument at 2.8.19 of the Essay has not been properly appreciated. On my reconstruction, Locke argues from the premise that porphyry undergoes a mere Cambridge change of color in different lighting conditions to the conclusion that porphyry’s colors do not belong to it as it is in itself. I argue that his argument is not quite sound, but it would be if Locke chose a different stone, alexandrite. Examining his argument teaches us something about the relation between explanatory (...) qualities and real alterations and something about the ways that colors inhere in bodies. (shrink)

Proceedings of PhiloWeb 2012, workshop at WWW 2012, on the philosophy of the Web.

De Dreu and Gross's description of the proximate mechanisms conditioning success in intergroup conflict omits humans' deontological morality. Drawing on research on sacralization and moral objectivism, I show how “moral rigidity” may have evolved through partner selection mechanisms to foster coalitions’ cohesion and combativeness in intergroup conflict.

Objects partially resemble when they are alike in some way but not entirely alike. Partial resemblance, then, involves similarity in a respect. It has been observed that talk of “respects” appears to be thinly‐veiled talk of properties. So some theorists take similarity in a respect to require property realism. I will go a step further and argue that similarity in intrinsic respects (partial intrinsic resemblance) requires properties to be immanent in objects. For a property to be immanent in an object (...) is roughly for it to be wholly present in that object. (So understood, immanence does not imply repeatability, and thus tropes count as immanent.) If two objects are intrinsically similar in one way but not another, there must be a difference between the two ways. And if the similarity is between the objects as they are in themselves, then this difference, too, must be within the objects. Partial intrinsic resemblance thus requires internal structure. Without it, there can be no distinctions between ways in which things are intrinsically alike and ways in which they aren't. I will argue, further, that distinctions between properties that transcend objects fail to account for the possibility of partial intrinsic resemblance. (shrink)

The claim that metaphysics is fundamental has frequently been voiced in the history of the discipline. However, the usual ways in which this claim is justified do not appear to be effective. This article aims to fill this gap in meta-metaphysical theory by providing a credible justification of the fundamentality of metaphysics in two steps. The first consists in establishing a set of five conditions of fundamentality for the discipline. The second consists in showing that these conditions are satisfied when (...) the object of study of metaphysics is identified with an ontologically neutral object, namely categories, and the task of the discipline is taken to be the determination of the number and identity of the most general categories and the relation of less general categories to the most general ones. (shrink)

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)

Fictionalists about a kind of disputed entity aim to give a face-value interpretation of our discourse about those entities without affirming their existence. The fictionalist’s commitment to non-realism leaves open three options regarding their ontological position: they may deny the existence of the disputed entities (anti-realism), remain agnostic regarding their existence (agnosticism), or deny that there are ontological facts of the matter (ontological anti-realism). This paper outlines a method of adjudicating between these options and argues that fictionalists may be expected (...) to hold preferences between them. The typical arguments and motivations for fictionalism lead naturally to a practice-based metaontological framework under which our practices regarding a kind of disputed entity might inform our ontological beliefs about those entities. When that framework is applied to fictionalism, it is found that the usual motivations for fictionalism lead naturally, though not decisively, to ontological anti-realism. And, where there are reasons against ontological anti-realism, fictionalism leans more toward anti-realism than agnosticism. (shrink)

There are two ways of reading Newman’s objection to Russell’s structuralism. One assumes that according to Russell, our knowledge of a theory about the external world is captured by an existential generalization on all non-logical symbols of the theory. Under this reading, our knowledge amounts to a cardinality claim. Another reading assumes that our knowledge singles out a structure in Russell’s (and Newman’s) sense: a model theoretic structure that is determined up to isomorphism. Under this reading, our knowledge is far (...) from trivial, for it amounts to knowledge of the structure of the relations between objects, but not their identity. Newman’s objection is then but an expression of structural realism. Since therefore the content of theories is described by classes of structures closed under isomorphism, the most natural description of a theory in structural realism is syntactic. (shrink)

Much recent work in metaontology challenges the so-called ‘Quinean tradition’ in metaphysics. Especially prominently, Amie Thomasson argues for a highly permissive ontology over ontologies which eliminate many entities. I am concerned with disputing not her ontological claim, but the methodology behind her rejection of eliminativism – I focus on ordinary objects. Thomasson thinks that by endorsing the Quinean criterion of ontological commitment eliminativism goes wrong; a theory eschewing quantification over a kind may nonetheless be committed to its existence. I argue (...) that, contrary to Thomasson's claims, we should retain the Quinean criterion. Her arguments show that many eliminativist positions are flawed, but their flaws lie elsewhere: the Quinean criterion is innocent. Showing why reveals the importance of pragmatism in ontology. In §1 I compare Thomasson's account and the eliminativist views to which it stands in opposition. In §2 I re-construct Thomasson's reasons for rejecting the Quinean criterion. In §3 I defend the Quinean criterion, showing that the eliminativists’ flaws are not consequences of applying the Quinean criterion, before explaining the criterion's importance when properly understood. I conclude that Thomasson, though right to criticise the methodology of ordinary-object eliminativists, is wrong to identify the Quinean criterion as the source of their mistake. (shrink)

I consider whether evolutionary explanations can debunk our moral beliefs. Most contemporary discussion in this area is centred on the question of whether debunking implications follow from our ability to explain elements of human morality in terms of natural selection, given that there has been no selection for true moral beliefs. By considering the most prominent arguments in the literature today, I offer reasons to think that debunking arguments of this kind fail. However, I argue that a successful evolutionary debunking (...) argument can be constructed by appeal to the suggestion that our moral outlook reflects arbitrary contingencies of our phylogeny, much as the horizontal orientation of the whale’s tail reflects its descent from terrestrial quadrupeds. An introductory chapter unpacks the question of whether evolutionary explanations can debunk our moral beliefs, offers a brief historical guide to the philosophical discussion surrounding it, and explains what I mean to contribute to this discussion. Thereafter follow six chapters and a conclusion. The six chapters are divided into three pairs. The first two chapters consider what contemporary scientific evidence can tell us about the evolutionary origins of morality and, in particular, to what extent the evidence speaks in favour of the claims on which debunking arguments rely. The next two chapters offer a critique of popular debunking arguments that are centred on the irrelevance of moral facts in natural selection explanations. The final chapters develop a novel argument for the claim that evolutionary explanations can undermine our moral beliefs insofar as they show that our moral outlook reflects arbitrary contingencies of our phylogeny. A conclusion summarizes my argument and sets out the key questions that arise in its wake. (shrink)

In this paper, I suggest that embodied metaphysical experience underlies many of our everyday judgements, which are expressed in our bodily comportments and actions, through which disagreements in our ontological experiences are highlighted. I propose attending to such concrete, situated disagreements as a way of challenging the tradition of metaphysics as an enterprise of objective and universal theory, and as a way of promoting feminist, anti-racist, and queer practices of responsibility.

According to the familiar Quinean understanding of ontological commitment, (1) one undertakes ontological commitments only via theoretical regimentations, and (2) ontological commitments are to be identified with the domain of a theory’s quantifiers. Jody Azzouni accepts (1), but rejects (2). Azzouni accepts (1) because he believes that no vernacular expression carries ontological commitments. He rejects (2) by locating a theory’s commitments with the extension of an existence predicate. I argue that Azzouni’s two theses undermine each other. If ontological commitments follow (...) from predications of existence, then ontological commitments can be expressed in the vernacular via negative existential sentences. (shrink)

The aim of this paper is to propose a new conceptualization of the distinction between realism and anti-realism about beliefs that is based on the division between natural and non-natural properties, as defined by Lewis. It will be argued that although the traditional form of anti-realism about beliefs, namely eliminative materialism, has failed, there is a possibility to reformulate the division in question. The background assumption of the proposal is the framework of deflationism about truth and existence: it will be (...) assumed that beliefs can be said to exist and their attributions can said to be true. The aim is to show that even when we buy into such assumptions we can meaningfully distinguish between the realist and anti-realist approach to belief. According to the proposal, the paradigmatic anti-realist view on beliefs should be seen as a conjunction of three claims: that belief attributions do not track objective similarities, that beliefs are not causally active, and that there is no viable way of naturalizing content. It will be shown that seeing the debate in the proposed way has important advantages as it allows the issue of belief realism to be made non-trivial and tractable, and it introduces theoretical unity into contemporary metaphysics of beliefs. (shrink)