According to ontological nihilism there are, fundamentally, no individuals. Both natural languages and standard predicate logic, however, appear to be committed to a picture of the world as containing individual objects. This leads to what I call the \emph{expressibility challenge} for ontological nihilism: what language can the ontological nihilist use to express her account of how matters fundamentally stand? One promising suggestion is for the nihilist to use a form of \emph{predicate functorese}, a language developed by Quine. This proposal faces (...) a difficult objection, according to which any theory in predicate functorese will be a notational variant of the corresponding theory stated in standard predicate logic. Jason Turner (2011) has provided the most detailed and convincing version of this objection. In the present paper, I argue that Turner's case for the notational variance thesis relies on a faulty metasemantic principle and, consequently, that an objection long thought devastating is in fact misguided. (shrink)

In this broad interview Robert Brandom talks about many themes concerning his work and about his career and education. Brandom reconstructs the main debts that he owes to colleagues and teachers, especially Wilfrid Sellars, Richard Rorty, and David Lewis, and talks about the projects he’s currently working on. He also talks about contemporary and classical pragmatism, and of the importance of classical thinkers like Kant and Hegel for contemporary debates. Other themes go deeper into the principal topics of his theoretical (...) work – in particular, his later understanding of expressivism, his take on the debate between representationalists and anti-representationalists in semantics, the main open problems for his wide inferentialist project, and his methodological preference for the normative vocabulary in his account of discursive practice. Finally, Brandom touches on the epistemic role of perception and on his views about the importance of the phenomenological aspects of perceptual experience. (shrink)

The physical sciences include highly developed fields that investigate intensities in the form of intensive quantities like speeds, temperatures, pressures and altitudes. Some contemporary readers of Deleuze interested in the physical sciences at times attribute to Deleuze a common, contemporary scientific concept of intensive magnitude. These readings identify Deleuze's philosophical conception of intensity with an existing scientific conception of intensity. The essay argues that Deleuze does not in fact lift a conception of intensity from the physical sciences to embed it (...) as the fundamental term in his differential ontology. (shrink)

How does mathematics apply to something non-mathematical? We distinguish between a general application problem and a special application problem. A critical examination of the answer that structural mapping accounts offer to the former problem leads us to identify a lacuna in these accounts: they have to presuppose that target systems are structured and yet leave this presupposition unexplained. We propose to fill this gap with an account that attributes structures to targets through structure generating descriptions. These descriptions are physical descriptions (...) and so there is no such thing as a solely mathematical account of a target system. (shrink)

This paper is about the nature of conscious sensory properties. My initial thesis is that these properties should not be equated with representational properties. I argue that any such representationalist view is in danger of implying that conscious sensory properties are constituted by relations to propositions or other abstract objects outside space and time; and I add that, even if this implication can be avoided, the broadness of representational properties in any case renders them unsuitable to constitute conscious properties. In (...) place of the representational account, I then defend an equation of conscious sensory properties with intrinsic non‐relational properties of subjects, and I show how this view deals naturally with all the difficulties facing representationalism. I conclude by defending this non‐relational account of conscious experience against arguments from the ‘transparency’ and the ‘intrinsic intentionality’ of experience. (shrink)

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

The paper clarifies and defends the orthodox view that counterfactual conditionals with impossible antecedents are vacuously true against recent criticisms. It argues that apparent counterexamples to orthodoxy result from uncritical reliance on a fallible heuristic used in the processing of conditionals. A comparison is developed between such counterpossibles and vacuously true universal generalizations.

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

This paper maps the landscape for a range of views concerning the metaphysics of natural kinds. I consider a range of increasingly ontologically committed views concerning natural kinds and the possible arguments for them. I then ask how these relate to natural kind essentialism, arguing that essentialism requires commitment to kinds as entities. I conclude by examining the homeostatic property cluster view of kinds in the light of the general understanding of kinds developed.

In this essay, I critically evaluate components of Michael Weisberg’s approach to models and modeling in his book Simulation and Similarity. First, I criticize his account of the ontology of models and mathematics. Second, I respond to his objections to fictionalism regarding models arguing that they fail. Third, I sketch a deflationary approach to models that retains many elements of his account but avoids the inflationary commitments.

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (shrink)

It is our contention that an ontological commitment to propositions faces a number of problems; so many, in fact, that an attitude of realism towards propositions—understood the usual “platonistic” way, as a kind of mind- and language-independent abstract entity—is ultimately untenable. The particular worries about propositions that marshal parallel problems that Paul Benacerraf has raised for mathematical platonists. At the same time, the utility of “proposition-talk”—indeed, the apparent linguistic commitment evident in our use of 'that'-clauses (in offering explanations and making (...) predictions)—is also in need of explanation. We account for this with a fictionalist analysis of our use of 'that'-clauses. Our account avoids certain problems that arise for the usual error-theoretic versions of fictionalism because we apply the notion of semantic pretense to develop an alternative, pretense-involving, non-error-theoretic, fictionalist account of proposition-talk. (shrink)

Many contemporary philosophers rate error theories poorly. We identify the arguments these philosophers invoke, and expose their deficiencies. We thereby show that the prospects for error theory have been systematically underestimated. By undermining general arguments against all error theories, we leave it open whether any more particular arguments against particular error theories are more successful. The merits of error theories need to be settled on a case-by-case basis: there is no good general argument against error theories.

Kitcher urges us to think of mathematics as an idealized science of human operations, rather than a theory describing abstract mathematical objects. I argue that Kitcher's invocation of idealization cannot save mathematical truth and avoid platonism. Nevertheless, what is left of Kitcher's view is worth holding onto. I propose that Kitcher's account should be fictionalized, making use of Walton's and Currie's make-believe theory of fiction, and argue that the resulting ideal-agent fictionalism has advantages over mathematical-object fictionalism.

RESUMEN La sección 1 introduce lo que llamo la tesis del colapso de las estructuras matemáticas y las estructuras físicas. La sección 2 examina si acaso la indispensabilidad de las matemáticas para la física fundamental involucra la adopción del platonismo matemático, en este caso acerca de estructuras matemáticas, como argumenta el realismo estructural óntico. La sección 3 muestra que la adopción de la tesis del colapso arriesga introducir la hipótesis del universo matemático. Desde la perspectiva de la concepción inferencial en (...) filosofía de las matemáticas aplicadas, la sección 4 examina aspectos epistémicos del rol de las matemáticas en la teorización científica, derivando distinciones entre estructuras matemáticas y estructuras físicas. El argumento concluye en la sección 5 indicando algunos límites para la presente estrategia. ABSTRACT Section 1 introduces what I call the collapse thesis, which holds that the boundaries of mathematical and physical structures blur or even vanish in certain areas of fundamental physics. Section 2 examines the claim that the indispensability of mathematics to fundamental physics requires the adoption of mathematical Platonism, this time concerning the reality of mathematical structures, as ontic structural realism contends. Section 3 demonstrates that the collapse thesis introduces the threat of the mathematical universe hypothesis. Then, from the perspective of the inferential conception in the philosophy of applied mathematics, section 4 examines epistemic features of the role of mathematics in scientific theorizing, drawing distinctions between mathematical and physical structures. Lastly, the argument closes in section 5 pointing out some of the limits of the proposed strategy for a distinction. (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)

A main thread of the debate over mathematical realism has come down to whether mathematics does explanatory work of its own in some of our best scientific explanations of empirical facts. Realists argue that it does; anti-realists argue that it doesn't. Part of this debate depends on how mathematics might be able to do explanatory work in an explanation. Everyone agrees that it's not enough that there merely be some mathematics in the explanation. Anti-realists claim there is nothing mathematics can (...) do to make an explanation mathematical ; realists think something can be done, but they are not clear about what that something is. I argue that many of the examples of mathematical explanations of empirical facts in the literature can be accounted for in terms of Jackson and Pettit's [1990] notion of program explanation, and that mathematical realists can use the notion of program explanation to support their realism. This is exactly what has happened in a recent thread of the debate over moral realism. I explain how the two debates are analogous and how moves that have been made in the moral realism debate can be made in the mathematical realism debate. However, I conclude that one can be a mathematical realist without having to be a moral realist. (shrink)

Creationists have long argued that evolutionary science is committed to a dogmatic metaphysics of naturalism and materialism, which is based on faith or ideology rather than evidence. The standard response to this has been to insist that science is not committed to any such metaphysical doctrine, but only to a methodological version of naturalism, according to which science may only appeal to natural entities and processes. But this whole debate presupposes that there is a clear distinction between the natural and (...) the supernatural, and thus that naturalism is a meaningful doctrine. I argue that this assumption is false. The concepts of the natural and the supernatural are in fact hopelessly obscure, such that the claim that science is committed to methodological naturalism cannot be made good. This is no victory for anti-naturalists however; explicitly supernaturalist theories, such as Creationism, can be ruled out of scientific consideration as a priori incoherent, given that they presuppose for their intelligibility that there is a meaningful natural-supernatural distinction. This is not the case for standard scientific theories however, as they are not explicitly naturalistic theories; they do not postulate natural or physical entities or processes as such. (shrink)

ABSTRACT‘expressionist’ accounts of applied mathematics seek to avoid the apparent Platonistic commitments of our scientific theories by holding that we ought only to believe their mathematics-free nominalistic content. The notion of ‘nominalistic content’ is, however, notoriously slippery. Yablo's account of non-catastrophic presupposition failure offers a way of pinning down this notion. However, I argue, its reliance on possible worlds machinery begs key questions against Platonism. I propose instead that abstract expressionists follow Geoffrey Hellman's lead in taking the assertoric content of (...) empirical science to be irreducibly modal, using the ‘non-interference’ of mathematical objects as justification for detaching nominalistic consequences. (shrink)

One major motivation for nominalism, at least according to Hartry Field, is the desirability of intrinsic explanations: explanations that don’t invoke objects that are causally irrelevant to the phenomena being explained. There is something right about the search for such explanations. But that search must be carefully implemented. Nothing is gained if, to avoid a certain class of objects, one only introduces other objects and relations that are just as nominalistically questionable. We will argue that this is the case for (...) two alleged nominalist views: Field’s fictionalism, and Frank Arntzenius and Cian Dorr’s geometricalism. Central to our competing approach to nominalism is a distinction between terms that refer to objects and ones that instead code empirical phenomena while being referentially empty. We next contrast our approach to nominalism, which uses this term-grained distinction between coding and referring, with approaches that instead attempt to make a sentence-grained distinction between mathematical and non-mathematical content. We show the latter approach fails to be responsive to objections raised by van Fraassen. In the end, only one last approach to nominalism is left standing. 1 Introduction2 Troubles for Mathematical Fictionalism2.1 A distinction2.2 Field’s programme2.3 Parts of nominalistically acceptable entities are nominalistically acceptable2.4 Structural assumptions: How far can these be pushed?2.5 Cases of indispensable theories where the mathematical posits are known not to be real2.6 How does science distinguish between the indispensable structural presuppositions taken to be real and those that aren’t?2.7 Do physicists distinguish between mathematical posits and non-mathematical posits?2.8 Mathematical coding versus genuine metaphysics. Case study: Fields2.9 The upshot3 Troubles for Topologism4 Contrasts: Kitcher, Maddy, Sober, and van Fraassen4.1 Sober’s approach4.2 Maddy’s approach4.3 Kitcher’s approach4.4 Where do we go from here?4.5 Van Fraassen’s objection to Maddy’s approach to ontological commitment5 Conclusion. (shrink)

From early work of N. Goodman to recent approaches by H. Field and D. Lewis, there have been attempts to combine 2nd order languages with calculi of individuals. This paper is a contribution, containing basic definitions and distinctions and some metatheorems, to the development of a general metatheory of such theories.

Section 1 introduces the category of objective modality, closely related to linguists’ category of circumstantial or dynamic modals, and explains metaphysical modality as its maximal element. Section 2 discusses various kinds of skepticism about modality, as in Hume and recent authors, and argues that it is illmotivated to apply such skepticism to metaphysical modality but not to more restricted objective modalities, including nomic modality. Section 3 suggests that the role of counterfactual conditionals in applications of scientific theories involves an objective (...) modal dimension. Section 4 briefly discusses the role of objective probabilities in scientific theories as exemplifying the scientific study of objective modality. Section 5 summarizes a case study of dynamical systems theory, widely used in natural science, as a mathematical theory whose intended applications are objectively modal, as perspicuously articulated in a language with modal and temporal operators and propositional quantification. State spaces in natural science characterize objective possibilities. Section 6 argues that, although those possibilities are usually more restricted than metaphysical possibility, their scientific study is a partial study of metaphysical possibility too. (shrink)

This paper considers Maddy’s strategy for naturalising mathematics in the context of Quine’s scientific naturalism. The aim of this proposal is to account for the acceptability of mathematics on scientific grounds without committing to revisionism about mathematical practice entailed by the Quine-Putnam indispensability argument. It has been argued that Maddy’s mathematical naturalism makes inconsistent assumptions on the role of mathematics in scientific explanations to the effect that it cannot distinguish mathematics from pseudo-science. I shall clarify Maddy’s arguments and show that (...) the objection can be overcome. I shall then reformulate a novel version of the objection and consider a possible answer, and I shall conclude that mathematical naturalism does not ultimately provide a viable strategy for accommodating an anti-revisionary stance on mathematics within a Quinean naturalist framework. (shrink)

Michael Friedman maintains that Carnap did not fully appreciate the impact of Gödel's first incompleteness theorem on the prospect for a purely syntactic definition of analyticity that would render arithmetic analytically true. This paper argues against this claim. It also challenges a common presumption on the part of defenders of Carnap, in their diagnosis of the force of Gödel's own critique of Carnap in his Gibbs Lecture. The author is grateful to Michael Friedman for valuable comments. Part of the research (...) towards this paper was carried out while the author was a Visiting Fellow at the Center for Philosophy of Science at the University of Pittsburgh. The paper was presented to the Center's Fellowship Reunion Conference in Athens in 1992. It was committed for publication in the Proceedings of that conference, but those Proceedings never appeared. By the time it became evident that they would never appear, both the hard copy and the source file had been mislaid. The hard copy re-surfaced in 2007. The literature on this topic since 1992 appears to leave some space for the ideas and arguments presented here. Although the paper has been updated in light of the more recent literature, its basic thesis, presented in 1992, remains the same. Only 3 is new, questioning a basic presumption made by more recent commentators in their presentation of Gödel's criticism of Carnap in his Gibbs Lecture. For helpful comments on the current version, the author is indebted to Robert Kraut, Stewart Shapiro, and Adam Podlaskowski. CiteULike Connotea Del.icio.us What's this? (shrink)

_ Source: _Volume 95, Issue 2, pp 245 - 264 In the last few decades, the interest in Brentano’s philosophical psychology, especially in his theory of judgment, has been steadily growing. What, however, has remained relatively unexplored are the modifications that have been introduced over the years into this theory by Brentano himself and by his student Anton Marty. These amendments constitute the focus of the present paper. As will be argued, only by making such changes can the weaknesses of (...) the first formulation of the theory be overcome. Moreover, as the final section of the paper attempts to show, these modifications may even trigger further steps towards what we might label a new Brentanian theory of judgment. (shrink)

Together, these entail that for every true proposition p, there exists some thing which could not exist and p be false.

Fictionalists claim that instead of believing certain controversial propositions they accept them nonseriously, as useful make-believe. In this way they present themselves as having an austere ontology despite the apparent ontological commitments of their discourse. Some philosophers object that this plays on a distinction without a difference: the fictionalist’s would-be nonserious acceptance is the most we can do for the relevant content acceptance-wise, hence such acceptance is no different from what we ordinarily call ‘belief’ and should be so called. They (...) conclude that it is subject to the norms applicable to paradigmatic empirical beliefs, and hence, pace fictionalists, ontological commitments must be taken seriously. I disentangle three strands in the objector’s thought: the ‘What more can you ask for?’ intuition, a linguistic/ conceptual claim, and a claim about norms. I argue that the former two are compatible with ontological deflationism, and therefore do not entail applicability of the norms. Nevertheless, if indeed there is no more robust acceptance with which to contrast the supposed nonserious acceptance, then the fictionalist’s claim to austere ontology must be abandoned. Is there a reason to suppose there is any merit to the distinction-without-a-difference charge? I argue that there is, clarify it, and defend against objections, focusing on Daly 2008. (shrink)

In his stimulating new book The Construction of Logical Space , Agustín Rayo offers a new account of mathematics, which he calls ‘Trivialist Platonism’. In this article, we take issue with Rayo’s case for Trivialist Platonism and his claim that the view overcomes Benacerraf’s dilemma. Our conclusion is that Rayo has not shown that Trivialist Platonism has any advantage over nominalism.

The object of this paper is to study the analogy, drawn both positively and negatively, between mathematics and fiction. The analogy is more subtle and interesting than fictionalism, which was discussed in part I. Because analogy is not common coin among philosophers, this particular analogy has been discussed or mentioned for the most part just in terms of specific similarities that writers have noticed and thought worth mentioning without much attention's being paid to the larger picture. I intend with this (...) analogy (looking at others' comparisons) to shed a little light on what is going on in mathematics, how one can understand it a bit other than experientially. This intention is philosophical and the way that I am attempting to accomplish it is also philosophical. I shall conclude my attempt to explain how it is possible and even natural for mathematics and fiction to have the analogy they have, taking it for granted, as argued in part I, that they are not to be identified. To this end I shall discuss philosophers' comparisons, mainly those of Hodes, Resnik, Tharp, and Wagner, who are the writers that seem to me to have written most thoughtfully and sufficiently extensively about fiction in making the comparison and of Körner, whose comparison is different. Whether either of these comparisons or the more general analogy is of permanent philosophical interest will have to be decided by philosophers now that they have had a fuller examination. I shall mention some other writers' reference to fiction, but not all; indeed, I am sure that I have not even found all the comparisons that there are. (shrink)

Earman (1993) distinguishes three notions of empirical indistinguishability and offers a rigorous framework to investigate how each of these notions relates to the problem of underdetermination of theory choice. He uses some of the results obtained in this framework to argue for a version of scientific anti- realism. In the present paper we first criticize Earman's arguments for that position. Secondly, we propose and motivate a modification of Earman's framework and establish several results concerning some of the notions of indistinguishability (...) in this modified framework. Finally, we interpret these results in the light of the realism/anti- realism debate. (shrink)

In this thesis, I aim to motivate a particular philosophy of mathematics characterised by the following three claims. First, mathematical sentences are generally speaking false because mathematical objects do not exist. Second, people typically use mathematical sentences to communicate content that does not imply the existence of mathematical objects. Finally, in using mathematical language in this way, speakers are not doing anything out of the ordinary: they are performing straightforward assertions. In Part I, I argue that the role played by (...) mathematics in our scientific explanations is a purely expressive one, merely allowing us to say more about the physical world than we would otherwise be able to. Mathematical objects do not need to exist for mathematics to play this role. This proposal puts a normative constraint on our use of mathematical language: we ought to use mathematically presented theories to express belief only in the consequences they have for non-mathematical things. In Part II, I will argue that what the normative proposal recommends is in fact what people generally do in both pure and applied mathematical contexts. I motivate this claim by showing that it is predicted by our best general means of analysing natural language. I provide a semantic theory of applied arithmetical sentences that reveals they do not purport to refer to numbers, as well as a pragmatic theory for pure mathematical language use which reveals that pure mathematical utterances do not typically communicate content that implies the existence of mathematical objects. In conclusion, I show that the emerging hermeneutic fictionalist position is preferable to any alternative interpretation of mathematical discourse as aimed at describing a domain of independently existing abstract mathematical objects. (shrink)