This book offers an historically-informed critical assessment of Dummett's account of abstract objects, examining in detail some of the Fregean presuppositions whilst also engaging with recent work on the problem of abstract entities.

In this paper, I develop a theory on which each of a thing’s abundant properties is immanent in that thing. On the version of the theory I will propose, universals are abundant, each instantiated universal is immanent, and each uninstantiated universal is such that it could have been instantiated, in which case it would have been immanent. After setting out the theory, I will defend it from David Lewis’s argument that such a combination of immanence and abundance is absurd. I (...) will then advocate the theory on the grounds that it accomplishes all of Lewis’s “new work” while providing a gain in parsimony and a new account of fine-grained content. I will close with a discussion of how the theory also affords a new reply to two objections to uninstantiated universals: Armstrong’s charge that they are inconsistent with naturalism, and a Benacerraf-Field-style objection about epistemic access. (shrink)

Plural expressions found in natural languages allow us to talk about many objects simultaneously. Plural logic — a logical system that takes plurals at face value — has seen a surge of interest in recent years. This book explores its broader significance for philosophy, logic, and linguistics. What can plural logic do for us? Are the bold claims made on its behalf correct? After introducing plural logic and its main applications, the book provides a systematic analysis of the relation between (...) this logic and other theoretical frameworks such as set theory, mereology, higher-order logic, and modal logic. The applications of plural logic rely on two assumptions, namely that this logic is ontologically innocent and has great expressive power. These assumptions are shown to be problematic. The result is a more nuanced picture of plural logic's applications than has been given thus far. Questions about the correct logic of plurals play a central role in the final chapters, where traditional plural logic is rejected in favor of a "critical" alternative. The most striking feature of this alternative is that there is no universal plurality. This leads to a novel approach to the relation between the many and the one. In particular, critical plural logic paves the way for an account of sets capable of solving the set-theoretic paradoxes. (shrink)

I argue that certain species of belief, such as mathematical, logical, and normative beliefs, are insulated from a form of Harman-style debunking argument whereas moral beliefs, the primary target of such arguments, are not. Harman-style arguments have been misunderstood as attempts to directly undermine our moral beliefs. They are rather best given as burden-shifting arguments, concluding that we need additional reasons to maintain our moral beliefs. If we understand them this way, then we can see why moral beliefs are vulnerable (...) to such arguments while mathematical, logical, and normative beliefs are not—the very construction of Harman-style skeptical arguments requires the truth of significant fragments of our mathematical, logical, and normative beliefs, but requires no such thing of our moral beliefs. Given this property, Harman-style skeptical arguments against logical, mathematical, and normative beliefs are self-effacing; doubting these beliefs on the basis of such arguments results in the loss of our reasons for doubt. But we can cleanly doubt the truth of morality. (shrink)

Several recent epistemologists have used understanding-assent links in theories of a priori knowledge and justification, but Williamson influentially argued against the existence of such links. Here I (1) clarify the nature of understanding-assent links and their role in epistemology; (2) clarify and clearly formulate Williamson’s arguments against their existence; (3) argue that Williamson has failed to successfully establish his conclusion; and (4) rebut Williamson’s claim that accepting understanding-assent links amounts to a form of dogmatism.

Olszewski claims that the Church-Turing thesis can be used in an argument against platonism in philosophy of mathematics. The key step of his argument employs an example of a supposedly effectively computable but not Turing-computable function. I argue that the process he describes is not an effective computation, and that the argument relies on the illegitimate conflation of effective computability with there being a way to find out . ‘Ah, but,’ you say, ‘what’s the use of its being right twice (...) a day, if I can’t tell when the time comes?’ Why, suppose the clock points to eight o’clock, don’t you see that the clock is right at eight o’clock? Consequently, when eight o’clock comes round your clock is right. Lewis Carroll. (shrink)

A strong form of representationalism says that every conscious property of every mental state can be identified with some part of the state’s representational properties. A weaker representationalism says that some conscious property of some mental state can be identified with some part of the state’s representational properties. David Papineau has recently argued that all such theories are incorrect since they construe consciousness as consisting in “relations to propositions or other abstract objects outside space and time”, whereas consciousness is “concrete” (...) and “here and now”. Papineau defends instead a kind of “qualia theory” according to which all conscious properties are intrinsic non-relational properties of subjects. He argues that this theory bypasses the difficulties he identifies for representationalism. Similar worries about representationalism, and similar ideas to the effect that some qualia theory, adverbial theory, or sense-datum theory fares better with respect to these worries are relatively wide-spread. I argue that Papineau’s theory does not bypass the difficulties he identifies for representationalism. In fact, Papineau’s theory arguably has no advantage at all over representationalism with regard to these issues. The features that concern Papineau about representationalist views do not derive—or do not derive solely—from the representationalism of these views. They derive from a common-factorism of these views. And this common-factorism is embraced by Papineau as well as by most theories of consciousness and perception. (shrink)

Thin Objects: Anionist Account, by LinneboØystein. Oxford: Oxford University Press, 2018. Pp. xviii + 238.

In this paper I defend mathematical nominalism by arguing that any reasonable account of scientific theories and scientific practice must make explicit the empirical non-mathematical grounds on which the application of mathematics is based. Once this is done, references to mathematical entities may be eliminated or explained away in terms of underlying empirical conditions. I provide evidence for this conclusion by presenting a detailed study of the applicability of mathematics to measurement. This study shows that mathematical nominalism may be regarded (...) as a methodological approach to applicability, illuminating the use of mathematics in science. (shrink)

Peano's axiomatizations of geometry are abstract and non-intuitive in character, whereas Peano stresses his appeal to concrete spatial intuition in the choice of the axioms. This poses the problem of understanding the interrelationship between abstraction and intuition in his geometrical works. In this article I argue that axiomatization is, for Peano, a methodology to restructure geometry and isolate its organizing principles. The restructuring produces a more abstract presentation of geometry, which does not contradict its intuitive content but only puts it (...) into a particular form. (shrink)

This is a survey of the concept of continuity. Efforts to explicate continuity have produced a plurality of philosophical conceptions of continuity that have provably distinct expressions within contemporary mathematics. I claim that there is a divide between the conceptions that treat the whole continuum as prior to its parts, and those conceptions that treat the parts of the continuum as prior to the whole. Along this divide, a tension emerges between those conceptions that favor philosophical idealizations of continuity and (...) those that are more readily available for mathematico-scientific use. (shrink)

In this essay, the tension that Benacerraf identifies for theories of mathematical truth is used as the vehicle for arguing against a particular desideratum for semantic theories. More specifically, I place in question the desideratum that a semantic theory, provided for some area of discourse, should run in parallel with the semantic theory holding for the rest of the language. The importance of this desideratum is also made clear by means of tracing out the subtle implications of its rejection.

Recent work in the philosophy of language attempts to elucidate the elusive notion of aboutness. A natural question concerning such a project has to do with its motivation: why is the notion of aboutness important? Stephen Yablo offers an interesting answer: taking into consideration not only the conditions under which a sentence is true, but also what a sentence is about opens the door to a new style of criticism of certain philosophical analyses. We might criticize the analysis of a (...) given notion not because it fails to assign the right truth conditions to a class of sentences, but because it characterizes those sentences as being about something they are not about. In this paper, I apply Yablo’s suggestion to a case study. I consider meta-fictionalism, the view that the content of a mathematical claim S is ‘according to standard mathematics, S’. I argue, following Woodward, that, on certain assumptions, meta-fictionalism assigns the right truth-conditions to typical assertoric utterances of mathematical statements. However, I also argue that meta-fictionalism assigns the wrong aboutness conditions to typical assertoric utterances of mathematical statements. (shrink)

As our data will show, negative existential sentences containing socalled empty names evoke the same strong semantic intuitions in ordinary speakers and philosophers alike.Santa Claus does not exist.Superman does not exist.Clark Kent does not exist.Uttering the sentences in (1) seems to say something truth-evaluable, to say something true, and to say something different for each sentence. A semantic theory ought to explain these semantic intuitions.The intuitions elicited by (1) are in apparent conflict with the Millian view of proper names. According (...) to Millianism, the meaning (or 'semantic value') of a proper name is just its referent. But empty names, such as 'Santa Claus' and 'Superman', appear to lack a .. (shrink)

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

in Robin Le Poidevin (ed.) Being: Developments in Contemporary Metaphysics. Cambridge: Cambridge University Press. Peter van Inwagen claims that there are no tables or chairs. He also claims that sentences such as ‘There are chairs here’, which seem to imply their existence, are often true. This combination of views opens van Inwagen to a charge of self-contradiction. I explain the charge, and van Inwagen’s response to it, which involves the claim that sentences like ‘There are tables’ shift their truth-conditions between (...) different contexts of utterance. I present an alternative response which involves the negation of that claim, and argue that it is preferable to van Inwagen’s. (shrink)

Some philosophers have recently suggested that the reason mathematics is useful in science is that it expands our expressive capacities. Of these philosophers, only Stephen Yablo has put forward a detailed account of how mathematics brings this advantage. In this article, I set out Yablo’s view and argue that it is implausible. Then, I introduce a simpler account and show it is a serious rival to Yablo’s. 1 Introduction2 Yablo’s Expressionism3 Psychological Objections to Yablo’s Expressionism4 Introducing Belief Expressionism5 Objections and (...) Replies5.1 Yablo’s likely response5.2 Charity6 Conclusion. (shrink)

In a series of works, Jody Azzouni has defended deflationary nominalism, the view that certain sentences quantifying over mathematical objects are literally true, although such objects do not exist. One alleged attraction of this view is that it avoids various philosophical puzzles about mathematical objects. I argue that this thought is misguided. I first develop an ontologically neutral counterpart of Field’s reliability challenge and argue that deflationary nominalism offers no distinctive answer to it. I then show how this reasoning generalizes (...) to other philosophically problematic entities. The moral is that puzzle avoidance fails to motivate deflationary nominalism. (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)

FieldHartry. Science Without Numbers: A Defense of Nominalism 2nd ed.Oxford University Press, 2016. ISBN 978-0-19-877792-2. Pp. vi + 56 + vi + 111.

The aim of this article is to argue against the real possibility of languages without subject‐predicate structure, so‐called feature‐placing languages. They were first introduced by Strawson (1959/1990), later given formal expression through Quine's Predicate Functor Logic (Quine, 1960, Quine, 1971/Quine, 1976, Quine, 1992), and further elaboration in (Hawthorne & Cortens, 1995). I argue that, on the presumption that feature‐placing languages are not mere notational variants on first‐order languages, the idea of such languages is incoherent. The argument for this view rests (...) on two highly plausible views about the conditions for the possibility of sentential meaning in natural languages. If accepted, these two views jointly imply that the sentences of feature‐placing languages lack sufficient internal structure to meet the conditions for sentential meaning. Feature‐placing languages cannot then count as genuine languages. (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)

The received view of computation is methodologically bifurcated: it offers different accounts of computation in the mathematical and physical cases. But little in the way of argument has been given for this approach. This article rectifies the situation by arguing that the alternative, a unified account, is untenable. Furthermore, once these issues are brought into sharper relief we can see that work remains to be done to illuminate the relationship between physical and mathematical computation.

In the final chapter of their book A Subject With No Object, John Burgess and Gideon Rosen raise the question of the value of the nominalistic reconstructions of mathematics that have been put forward in recent years, asking specifically what this body of work is good for. The authors conclude that these reconstructions are all inferior to current versions of mathematics (or science) and make no advances in science. This paper investigates the reasoning that led to such a negative appraisal, (...) and it produces a rebuttal to this reasoning. I am grateful to the following mathematicians who were kind enough to provide me with their thoughts about nonstandard analysis: Martin Davis, Laura Chihara, Ted Chihara, Steve Galovich, Bonnie Gold, and especially Roger Simons, whose comments about an earlier version of this paper were very helpful. Thanks also go to two referees for their useful suggestions and criticisms of an earlier version of this paper. (shrink)

This paper addresses John Burgess's answer to the ‘Benacerraf Problem’: How could we come justifiably to believe anything implying that there are numbers, given that it does not make sense to ascribe location or causal powers to numbers? Burgess responds that we should look at how mathematicians come to accept: There are prime numbers greater than 1010 That, according to Burgess, is how one can come justifiably to believe something implying that there are numbers. This paper investigates what lies behind (...) Burgess's answer and ends up as a rebuttal to Burgess's reasoning. (shrink)

This article takes as a starting point the current popular anti realist position, Fictionalism, with the intent to compare it with actual mathematical practice. Fictionalism claims that mathematical statements do purport to be about mathematical objects, and that mathematical statements are not true. Considering these claims in the light of mathematical practice leads to questions about how mathematical objects are handled, and how we prove that certain statements hold. Based on a case study on Riemann’s work on complex functions, I (...) propose that mathematicians deal with systems of representations and that truth—or what we can prove—depends on available representations in some context where the problem can be solved. (shrink)

In his book Philosophy of Logic, Putnam (1971) presents a short argument which reads like—and indeed, can be reconstructed as—a formal proof that a nominalistic physics is impossible. The aim of this paper is to examine Putnam’s proof and show that it is not compelling. The precise way in which the proof fails yields insight into the relation that a nominalistic physics should bear to standard physics and into Putnam’s indispensability argument.

Non-skeptical robust realists about normativity, mathematics, or any other domain of non- causal truths are committed to a correlation between their beliefs and non- causal, mind-independent facts. Hartry Field and others have argued that if realists cannot explain this striking correlation, that is a strong reason to reject their theory. Some consider this argument, known as the Benacerraf–Field argument, as the strongest challenge to robust realism about mathematics, normativity, and even logic. In this article I offer two closely related accounts (...) for the type of explanation needed in order to address Field's challenge. I then argue that both accounts imply that the striking correlation to which robust realists are committed is explainable, thereby discharging Field's challenge. Finally, I respond to some objections and end with a few unresolved worries. (shrink)

We argue that if Stephen Yablo (2005) is right that philosophers of mathematics ought to endorse a fictionalist view of number-talk, then there is a compelling reason for deflationists about truth to endorse a fictionalist view of truth-talk. More specifically, our claim will be that, for deflationists about truth, Yablo’s argument for mathematical fictionalism can be employed and mounted as an argument for truth-theoretic fictionalism.

In this article some intriguing aspects of electromagnetic theory and its relation to mathematics and reality are discussed, in particular those related to the suppositions needed to obtain the wave equations from Maxwell equations and from there Helmholtz equation. The following questions are discussed. How is that equations obtained with so many irreal or fictitious assumptions may provide a description that is in a high degree verifiable? Must everything that is possible to deduce from a theoretical mathematical model occur in (...) the world? Does everything that takes place in the world have a mathematical description? (shrink)

One common attitude toward abstract objects is a kind of platonism: a view on which those objects are mind-independent and causally inert. But there's an epistemological problem here: given any naturalistically respectable understanding of how our minds work, we can't be in any sort of contact with mind-independent, causally inert objects. So platonists, in order to avoid skepticism, tend to endorse epistemological theories on which knowledge is easy, in the sense that it requires no such contact—appeals to Boghossian’s notion of (...) epistemic analyticity are particularly common here, as are appeals to some broadly pragmatic account of the good standing of basic beliefs. I argue, though, that these appeals are hopeless: an argument adapted from the Benacerraf–Field challenge shows that, even if some such theory can deliver the verdict that our beliefs about abstract objects have some prima facie good standing, this good standing will inevitably be defeated. (shrink)

This entry focuses on two of the more historically important monisms: existence monism and priority monism . Existence monism targets concrete objects and counts by tokens. This is the doctrine that exactly one concrete object exists. Priority monism also targets concrete objects, but counts by basic tokens. This is the doctrine that exactly one concrete object is basic, which will turn out to be the classical doctrine that the whole is prior to its parts.

Most empirical accounts of design suggest that designing is an activity where objects and representations are progressively constructed. Despite this fact, whether design is a constructive process or not is not a question directly addressed in the current design research. By contrast, in other fields such as Mathematics or Psychology, the notion of constructivism is seen as a foundational issue. The present paper defends the point of view that forms of constructivism in design need to be identified and integrated as (...) a founda- tional element in design research as well. In fact, a look at the literature reveals at least two types of constructive processes that are well embedded in design research: first, an interac- tive constructivism, where a designer engages a conversation with media, that allows changing the course of the activity as a result of this interaction; second, a social constructivism, where designers need to handle communication and nego- tiation aspects, that allows integrating individuals' expertise into the global design process. A key feature lacking these well-established paradigms is the explicit consideration of creativity as a central issue of design. To explore how cre- ative and constructivist aspects of design can be taken into account conjointly, the present paper pursues a theoretical approach. We consider the roots of constructivism in math- ematics, namely the Intuitionist Mathematics, in order to shed light on the original insights that led to the development of a notion of constructivism. Intuitionists describe mathe- matics as the process of mental mathematical constructions realized by a creative subject over time. One of the most original features of intuitionist constructivism is the intro- duction of incomplete objects into the heart of mathematics by means of lawless sequences and free choices. This allows the possibility to formulate undecided propositions and the consideration of creative acts within a formal constructive process. We provide an in-depth analysis of intuitionism from a design standpoint showing that the original notion is more than a pure constructivism where new objects are a mere bottom-up combination of already known objects. Rather, intuitionism describes an imaginative constructivist process that allows combining bottom-up and top-down processes and the expansion of both propositions and objects with free choices of a creative subject. We suggest that this new form of constructivism we identify is also relevant in interpreting conventional design processes and discuss its status with respect to other forms of constructivism in design. (shrink)

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

This dissertation argues that mental representation is identical to phenomenal consciousness, and everything else that appears to be both mental and a matter of representation is not genuine mental representation, but either in some way derived from mental representation, or a case of non-mental representation.

One of the key features of modern mathematics is the adoption of the abstract method. Our goal in this paper is to propose an explication of that method that is rooted in the history of the subject.

Quine, em seu livro Philosophy of Logic, identifica lógica com lógica de primeira ordem e defende a concepçáo segundo a qual a completude é uma propriedade necessária dos sistemas lógicos. O objetivo deste trabalho é discutir a argumentaçáo de Quine e mostrar que suas idéias a respeito da natureza da lógica apresentam diversos problemas tanto conceituais, como técnicos.