According to a popular ‘explanationist’ argument for moral or mathematical realism the best explanation of some phenomena are moral or mathematical, and this implies the relevant form of realism. One popular way to resist the premiss of such arguments is to hold that any supposed explanation provided by moral or mathematical properties is in fact provided only by the non-moral or non-mathematical grounds of those properties. Many realists have responded to this objection by urging that the explanations provided by the (...) higher-level, moral and mathematical, properties are informative in a way in which their supposed replacements are not, and that this is because moral and mathematical properties are multiply realizable. This chapter responds to this manoeuvre by proposing a way in which moral and mathematical explanations might preserve the distinctive import that multiple realizability brings, without committing those who accept them to the existence of moral and mathematical properties. (shrink)

We are reliable about logic in the sense that we by-and-large believe logical truths and disbelieve logical falsehoods. Given that logic is an objective subject matter, it is difficult to provide a satisfying explanation of our reliability. This generates a significant epistemological challenge, analogous to the well-known Benacerraf-Field problem for mathematical Platonism. One initially plausible way to answer the challenge is to appeal to evolution by natural selection. The central idea is that being able to correctly deductively reason conferred a (...) heritable survival advantage upon our ancestors. However, there are several arguments that purport to show that evolutionary accounts cannot even in principle explain how it is that we are reliable about logic. In this paper, I address these arguments. I show that there is no general reason to think that evolutionary accounts are incapable of explaining our reliability about logic. (shrink)

If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space and time, it is not at all obvious that this is also the case (...) with respect to the objects that are studied in mathematics. In addition to that, the methods of investigation of mathematics differ markedly from the methods of investigation in the natural sciences. Whereas the latter acquire general knowledge using inductive methods, mathematical knowledge appears to be acquired in a different way, namely, by deduction from basic principles. The status of mathematical knowledge also appears to differ from the status of knowledge in the natural sciences. The theories of the natural sciences appear to be less certain and more open to revision than mathematical theories. For these reasons mathematics poses problems of a quite distinctive kind for philosophy. Therefore philosophers have accorded special attention to ontological and epistemological questions concerning mathematics. (shrink)

Thomas Hobbes was, rather famously, a nominalist. The core of that nominalism is the belief that the only universal things are universal names: there are no universal objects, or universal ideas. This paper looks at what Hobbes's views about universal names were, how they evolved over time, and how Hobbes argued for them. The remainder of the paper considers two objections to Hobbes's view: a criticism made by several of Hobbes's contemporaries, that Hobbes's view could not account for people saying (...) the same thing in different languages; and a more recently popular criticism of Hobbes, that his nominalism's reliance on similarity implicitly (and inconsistently) involves reliance on a universal. (shrink)

This book develops a naturalistic aesthetic theory that accounts for aesthetic phenomena in mathematics in the same terms as it accounts for more traditional aesthetic phenomena. Building upon a view advanced by James McAllister, the assertion is that beauty in science does not confine itself to anecdotes or personal idiosyncrasies, but rather that it had played a role in shaping the development of science. Mathematicians often evaluate certain pieces of mathematics using words like beautiful, elegant, or even ugly. Such evaluations (...) are prevalent, however, rigorous investigation of them, of mathematical beauty, is much less common. The volume integrates the basic elements of aesthetics, as it has been developed over the last 200 years, with recent findings in neuropsychology as well as a good knowledge of mathematics. The volume begins with a discussion of the reasons to interpret mathematical beauty in a literal or non-literal fashion, which also serves to survey historical and contemporary approaches to mathematical beauty. The author concludes that literal approaches are much more coherent and fruitful, however, much is yet to be done. In this respect two chapters are devoted to the revision and improvement of McAllister’s theory of the role of beauty in science. These antecedents are used as a foundation to formulate a naturalistic aesthetic theory. The central idea of the theory is that aesthetic phenomena should be seen as constituting a complex dynamical system which the author calls the aesthetic as process theory. The theory comprises explications of three central topics: aesthetic experience, aesthetic value and aesthetic judgment. The theory is applied in the final part of the volume and is used to account for the three most salient and often used aesthetic terms often used in mathematics: beautiful, elegant and ugly. This application of the theory serves to illustrate the theory in action, but also to further discuss and develop some details and to showcase the theory’s explanatory capabilities. (shrink)

This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told, Truth at Work, Paradoxes of Truth and Denotation and Axiomatic Theories of Truth. Studying the nature of (...) the concept of ‘truth’ has always been a core role of philosophy, but recent years have been a boom time in the topic. With a wealth of recent conferences examining the subject from various angles, this collection of essays recognizes the pressing need for a volume that brings scholars up to date on the arguments. Offering academics and graduate students alike a much-needed repository of today’s cutting-edge work in this vital topic of philosophy, the volume is required reading for anyone needing to keep abreast of developments, and is certain to act as a catalyst for further innovation and research. (shrink)

ABSTRACTAn undemanding claim ϕ sometimes implies, or seems to, a more demanding one ψ. Some have posited, to explain this, a confusion between ϕ and ϕ*, an analogue of ϕ that does not imply ψ. If-thenists take ϕ* to be If ψ then ϕ. Incrementalism is the form of if-thenism that construes If ψ then ϕ as the surplus content of ϕ over ψ. The paper argues that it is the only form of if-thenism that stands a chance of being (...) correct. (shrink)

There are various ways of achieving an enlarged understanding of a concept of interest. One way is by giving its proper definition. Another is by giving something else a proper definition and then using it to model or formally represent the original concept. Between the two we find varying shades of grey. We might open up a concept by a direct lexical definition of the predicate that expresses it, or by a theory whose theorems define it implicitly. At the other (...) end of the spectrum, the modelling-this-as-that option also admits of like variation, ranging from models rooted in formal representability theorems to models conceived of as having only heuristic value. There exist on both sides of this divide further differences still. In one of them, both the definiendum and definiens of a definition are words or phrases of some common natural language. In others, the item of interest is a natural language expression and its representation is furnished by the artificial linguistic system that models it. The modern history of these approaches is both very large and growing. Much of this evolution has given too short a shrift to the history of the demotion of ‘intuitive’ concepts in favour of the artificially contrived ones intended to model them. A working assumption of this article is that in the absence of a good understanding of what motivated the modelling-turn in the foundations of mathematics and the intuitive theory of truth, the whole notion of formal representability will have been inadequately understood. In the interests of space, I will concentrate on seminal issues in set theory as dealt with by Russell and Frege, and in the theory of truth in natural languages as dealt with by Tarski. The nub of the present focus is the representational role of model theory in the logics of formalized languages. (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)

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)

I explore the relationship between a prominent analysis of intrinsic properties, due to Langton and Lewis, and the phenomenon of quantum entanglement. As I argue, the analysis faces a puzzle. The full analysis classifies certain properties of entangled particles as intrinsic. But when combined with an extremely plausible assumption about duplication, the main part of the analysis classifies those properties as non-intrinsic instead. I conclude that much of Lewis’s metaphysics is in trouble: Lewis based many of his metaphysical views—his thesis (...) of Humean supervenience, for instance, and his account of recombination—on an analysis of intrinsicality which does not sit well with quantum phenomena. (shrink)

This article investigates the claim that some truths are fundamentally or really true — and that other truths are not. Such a distinction can help us reconcile radically minimal metaphysical views with the verities of common sense. I develop an understanding of the distinction whereby Fundamentality is not itself a metaphysical distinction, but rather a device that must be presupposed to express metaphysical distinctions. Drawing on recent work by Rayo on anti-Quinean theories of ontological commitments, I formulate a rigourous theory (...) of the notion. In the final sections, I show how this package dovetails with ' interpretationist' theories of meaning to give sober content to thought that some things — perhaps sets, or gerrymandered mereological sums — can be 'postulated into existence'. (shrink)

sBuilding models as a practical aspect of ecological theory has as a principal purpose the determination of relations in formal language. In this paper, the authors provide a formalization of ecological models based on impure systems theory. Impure systems contain objects and subjects: subjects are human beings. We can distinguish a person as an observer that by definition is the subject himself and part of the system. In this case he acquires the category of object. Objects are significances, which are (...) the consequence of perceptual beliefs on the part of the subject about material or energetic objects with certain characteristics. The impure system approach is as follows: objects are perceptual significances of material or energetic objects. The set of these objects will form an impure set of the first order. The existing relations between these relative objects will be of two classes: transactions of matter and/or energy and inferential relations. Transactions can have alethic modality: necessity, possibility, impossibility and contingency. In this work we define measures which let us choose the more suitable variables to relate both the model with the ecosystem and with different models. In this way we define different comparison indexes. (shrink)

In The Construction of Logical Space, Agustín Rayo defends trivialism, according to which number-involving truths are trivially equivalent to other, non-number-involving truths; picturesquely, ‘I have five fingers on my hand’ and ‘the number of fingers on my hand is five’ express the same fact, but carved up in different ways. A single fact thus has multiple structures. I distinguish two ways this might go: on the deflationary picture, facts get their structures from our linguistic practices, while on an inflationary picture, (...) facts have multiple structures independently of language. I argue that Rayo’s view is best interpreted as deflationary. Thus interpreted, it blocks off an attractive solution to the old problems of intensionality. I further argue a that a semi-deflationary variant of Rayo’s view can make use of the attractive solution—but it thereby sacrifices the supposed mathematical benefits of trivialism. (shrink)

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)

W.V. Quine is a well-known proponent of naturalism, the view on which reality is described only in science. He is also well-known for arguing that our current scientific theories commit us to the existence of abstract objects. It is tempting to believe that the naturalistic philosopher should think scientists outside of philosophy are in the best position to assess the merits of revising our current commitment to abstract objects. But Quine rejects this deferential view. On the reading of Quine’s philosophical (...) methodology that I defend in this paper, the naturalistic philosopher not only may assess the merits of revising the commitments of our scientific theories, but also will recommend we make such revisions if doing so simplifies and clarifies our science. To develop my reading, I will examine John Burgess and Gideon Rosen’s naturalism in ontology that includes the deferential view Quine rejects. By explaining how Quine’s naturalism differs from the anti-revisionist, deferential naturalism in philosophy of mathematics that Burgess and Rosen advance, I seek to clarify and advance contemporary debates on naturalism. (shrink)

Modal fictionalists face a problem that arises due to their possible-world story being incomplete in the sense that certain relevant claims are neither true nor false according to it. It has recently been suggested that this incompleteness problem generalises to other brands of fictionalism, such as fictionalism about composite or mathematical objects. In this paper, I argue that these fictionalist positions are particularly threatened by a generalised incompleteness problem since they cannot emulate the modal fictionalists’ most attractive response. I then (...) defend mathematical and compositional fictionalism by showing that the reasons for which the incompleteness problem has been thought to affect them are mistaken. This leads to the question of whether there are other fictionalist positions to which the problem does in fact generalise. I give a general account of the features of a fictionalist position that generate the incompleteness problem and argue that whenever a fictionalist position does exemplify these features then the problem can be addressed in analogy to the modal fictionalists’ preferred response. (shrink)

It has been recently debated whether there exists a so-called “easy road” to nominalism. In this essay, I attempt to fill a lacuna in the debate by making a connection with the literature on infinite and infinitesimal idealization in science through an example from mathematical physics that has been largely ignored by philosophers. Specifically, by appealing to John Norton’s distinction between idealization and approximation, I argue that the phenomena of fractional quantum statistics bears negatively on Mary Leng’s proposed path to (...) easy road nominalism, thereby partially defending Mark Colyvan’s claim that there is no easy road to nominalism. (shrink)

There is no consensus over the proper definition of ‘scientific misconduct.’ There are differences in opinion not only between countries but also between research institutions in the same country. This is unfortunate. Without a widely accepted definition it is difficult for scientists to adjust to new research milieux. This might hamper scientific innovation and make cooperation difficult. Furthermore, due to the potentially damaging consequences it is important to combat misconduct. But how frequent is it and what measures are efficient? Without (...) an appropriate definition there are no interesting answers to these questions. In order to achieve a high degree of consensus and to foster research integrity, the international dialogue over the proper definition of ‘scientific misconduct’ must be on going. Yet, the scientific community should not end up with the definition suggested by the Swedish Research Council. The definition the council advocates does not satisfy the ordinary language condition. That is, the definition is not consistent with how ‘scientific misconduct’ is used by scientists. I will show that this is due to the fact that it refers to false results. I generalise this and argue that no adequate definition of ‘scientific misconduct’ makes such a reference. (shrink)

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)

The existence of mereological sums can be derived from an abstraction principle in a way analogous to numbers. I draw lessons for the thesis that “composition is innocent” from neo-Fregeanism in the philosophy of mathematics.

This paper presents the model of ‘bounded revision’ that is based on two-dimensional revision functions taking as arguments pairs consisting of an input sentence and a reference sentence. The key idea is that the input sentence is accepted as far as (and just a little further than) the reference sentence is ‘cotenable’ with it. Bounded revision satisfies the AGM axioms as well as the Same Beliefs Condition (SBC) saying that the set of beliefs accepted after the revision does not depend (...) on the reference sentence (although the posterior belief state does depend on it). Bounded revision satisfies the Darwiche–Pearl (DP) axioms for iterated belief change. If the reference sentence is fixed to be a tautology or a contradiction, two well-known one-dimensional revision operations result. Bounded revision thus naturally fills the space between conservative revision (also known as natural revision) and moderate revision (also known as lexicographic revision). I compare this approach to the two-dimensional model of ‘revision by comparison’ investigated by Fermé and Rott (Artif Intell 157:5–47, 2004 ) that satisfies neither the SBC nor the DP axioms. I conclude that two-dimensional revision operations add substantially to the expressive power of qualitative approaches that do not make use of numbers as measures of degrees of belief. (shrink)

Syntactic Reductionism, as understood here, is the view that the ‘logical forms’ of sentences in which reference to abstract objects appears to be made are misleading so that, on analysis, we can see that no expressions which even purport to refer to abstract objects are present in such sentences. After exploring the motivation for such a view, and arguing that no previous argument against it succeeds, sentences involving generalized quantifiers, such as ‘most’, are examined. It is then argued, on this (...) basis, that Syntactic Reductionism is untenable. (shrink)

In this paper, I argue that Amie Thomasson’s Easy Ontology rests on a vicious circularity that is highly damaging. Easy Ontology invokes the idea of application conditions that give rise to analytic entailments. Such entailments can be used to answer ontological questions easily. I argue that the application conditions for basic terms are only circularly specifiable showing that Thomasson misses her self-set goal of preventing such a circularity. Using this circularity, I go on to show that Easy Ontology as a (...) whole collapses. (shrink)

En este artículo se examinan algunas implicaciones del naturalismo matemático de P. Maddy como una concepción filosófica que permite superar las dificultades del ficcionalismo y el realismo fisicalista en matemáticas. Aparte de esto, la mayor virtud de tal concepción parece ser que resuelve el problema que plantea para la aplicabilidad de la matemática el no asumir la tesis de indispensabilidad de Quine sin comprometerse con su holismo confirmacional. A continuación, sobre la base de dificultades intrínsecas al programa de Maddy, exploramos (...) un camino naturalista mejor motivado, el enfoque cognitivista corporeizado, y sugerimos que él permite explicar de manera adecuada la postulación de ciertos cardinales grandes, en particular, la aceptación de conjuntos no-construibles. (shrink)

Orthodoxy has it that knowledge is absolute—that is, it cannot come in degrees. On the other hand, there seems to be strong evidence for the gradability of know-how. Ascriptions of know-how are gradable, as when we say that one knows in part how to do something, or that one knows how to do something better than somebody else. When coupled with absolutism, the gradability of ascriptions of know-how can be used to mount a powerful argument against intellectualism about know-how—the view (...) that know-how is a species of propositional knowledge. This essay defends intellectualism from the argument of gradability. It is argued that the gradability of ascriptions of know-how should be discounted as a rather superficial linguistic phenomenon, one that can be explained in a way compatible with the absoluteness of the state reported. (shrink)

The author of “Parsimony and inference to the best mathematical explanation” argues for platonism by way of an enhanced indispensability argument based on an inference to yet better mathematical optimization explanations in the natural sciences. Since such explanations yield beneficial trade-offs between stronger mathematical existential claims and fewer concrete ontological commitments than those involved in merely good mathematical explanations, one must countenance the mathematical objects that play a theoretical role in them via an application of the relevant mathematical results. The (...) nominalist’s challenge is thus to undermine the platonistic force of such explanations by way of alternative nominalistic ones. The author’s contention is that such nominalistic explanations should provide a paraphrase of the proofs of the mathematical results being applied. There are reasons to doubt that proofs, construed here as formal derivations, actually contribute to the platonistc force to be undermined and, by parity, that nominalized proofs should bear responsability for the corresponding undermining. A discussion of two examples and of associated arguments by Lange, Pincock, Steiner and Tallant, point to a a wealth of worries concerning the construal of this explanatory role. Among those figure the distinction between the weak and strong role of proofs, the distinction between causal or “ordinary” explanations and genuine mathematical ones, and the unifying role of optimization explanations. More generally, the very idea that the explanatory advantages yielded by applied mathematical claims may be construed as gradual or progressive and the associated notion that the feasibility of their nominalistic paraphrases decreases as the generality and force of these claim increases, deserves a closer attention. (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)

Recent years have seen an explosion of empirical data concerning arithmetical cognition. In this paper that data is taken to be philosophically important and an outline for an empirically feasible epistemological theory of arithmetic is presented. The epistemological theory is based on the empirically well-supported hypothesis that our arithmetical ability is built on a protoarithmetical ability to categorize observations in terms of quantities that we have already as infants and share with many nonhuman animals. It is argued here that arithmetical (...) knowledge developed in such a way cannot be totally conceptual in the sense relevant to the philosophy of arithmetic, but neither can arithmetic understood to be empirical. Rather, we need to develop a contextual a priori notion of arithmetical knowledge that preserves the special mathematical characteristics without ignoring the roots of arithmetical cognition. Such a contextual a priori theory is shown not to require any ontologically problematic assumptions, in addition to fitting well within a standard framework of general epistemology. (shrink)

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.

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.

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)

Impure systems contain Objects and Subjects: Subjects are human beings. We can distinguish a person as an observer (subjectively outside the system) and that by definition is the Subject himself, and part of the system. In this case he acquires the category of object. Objects (relative beings) are significances, which are the consequence of perceptual beliefs on the part of the Subject about material or energetic objects (absolute beings) with certain characteristics.The IS (Impure System) approach is as follows: Objects are (...) perceptual significances (relative beings) of material or energetic objects (absolute beings). The set of these objects will form an impure set of the first order. The existing relations between these relative objects will be of two classes: transactions of matter and/or energy and inferential relations. Transactions can have alethic modality: necessity, possibility, impossibility and contingency. Ontic existence of possibility entails that inferential relations have Deontic modality: obligation, permission, prohibition, faculty and analogy. We distinguished between theorems (natural laws) and norms (ethical, legislative and customary rules of conduct). (shrink)

This chapter contains sections titled: Highlights of Past Literature Current Work Future Work.

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)

During the past two decades, an interest among philosophers in fictitious and illusory beliefs has sprung up in fields ranging anywhere from mathematics and modality to morality.1 In this paper, we focus primarily on the view that Saul Smilansky has dubbed “free will illusionism”—i.e., the purportedly descriptive claim that most people have illusory beliefs concerning the existence of libertarian free will, coupled with the normative claim that because dispelling these illusory beliefs would produce negative personal and societal consequences, those of (...) us who happen to know the dangerous and gloomy truth about the non-existence of libertarian free will should simply keep quiet in the name of the common good. (shrink)

This paper presents a novel account of applied mathematics. It shows how we can distinguish the physical content from the mathematical form of a scientific theory even in cases where the mathematics applied is indispensable and cannot be eliminated by paraphrase.

According to the indispensability argument, the fact that we quantify over numbers, sets and functions in our best scientific theories gives us reason for believing that such objects exist. I examine a strategy to dispense with such quantification by simply replacing any given platonistic theory by the set of sentences in the nominalist vocabulary it logically entails. I argue that, as a strategy, this response fails: for there is no guarantee that the nominalist world that go beyond the set of (...) sentences in the nominalist language such theories entail. However, I argue that what such theories show is that mathematics can enable us to express possibilities about the concrete world that may not be expressible in nominalistically acceptable language. While I grant that this may make quantification over abstracta indispensable, I deny that such indispensability is a reason for accepting them into our ontology. I urge that the nominalist should be allowed to quantify over abstracta whilst denying their existence and I explain how this apparently contradictory practice (a practice I call 'weaseling') is in fact coherent, unproblematic and rational. Finally, I examine the view that platonistic theories are simpler or more attractive than their nominalistic reformulations, and thus that abstract ought to be accepted into our ontology for the same sorts of reasons as other theoretical objects. I argue that, at least in the case of numbers, functions and sets, such arguments misunderstand the kind of simplicity and attractiveness we seek. (shrink)

Absolutism about mass claims that mass ratios obtain in virtue of absolute masses. Comparativism denies this. Dasgupta, Oxford studies in metaphysics, Oxford University Press, Oxford, 2013) argues for comparativism about mass, in the context of Newtonian Gravity. Such an argument requires proving that comparativism is empirically adequate. Dasgupta equates this to showing that absolute masses are undetectable, and attempts to do so. This paper develops an argument by Baker to the contrary: absolute masses are in fact empirically meaningful, that is (...) detectable. Additionally, it is argued that the requirement of empirical adequacy should not be cashed out in terms of undetectability in the first place. The paper closes by sketching the possible strategies that remain for the comparativist. Along the way a framework is developed that is useful for thinking about these issues: Ozma games—how could one explain to an alien civilisation what an absolute mass is? (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)

There is a recurrent sort of skeptical character in philosophical debates who believes that some social practice must be abolished because it involves a false presupposition about how things ‘really’ are. I examine this style of skeptical argument, using the moral responsibility skeptic as my main illustration. I excavate two unstated and un-argued for premises that it requires (which I call Undistorted Truth and Privileged Conception). This exposes the full extent of the argumentative burdens that such a skeptic must discharge. (...) I aim to make progress by offering skeptics and anti-skeptics alike a way forward: the skeptic is provided a clear agenda, while the anti-skeptic is provided a diagnostic tool to assess this style of skeptical arguments at key junctures. (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)

One cannot escape the feeling that these mathematical formulae have an independent existence and an intelligence of their own, that they are wiser than we are, wiser even than their discoverers.

Penelope Maddy has defended a modified version of mathematical platonism that involves the perception of some sets. Frederick Suppe has developed a conclusive reasons account of empirical knowledge that, when applied to the sets of interest to Maddy, yields that we have knowledge of these sets. Thus, Benacerraf's challenge to the platonist to account for mathematical knowledge has been met, at least in part. Moreover, it is argued that the modalities involved in Suppe's conclusive reasons account of knowledge can be (...) handled without recourse to either laws of nature or possible worlds, and that this approach is preferable. (shrink)

David Malament argued that Hartry Field's nominalisation program is unlikely to be able to deal with non-space-time theories such as phase-space theories. We give a specific example of such a phase-space theory and argue that this presentation of the theory delivers explanations that are not available in the classical presentation of the theory. This suggests that even if phase-space theories can be nominalised, the resulting theory will not have the explanatory power of the original. Phase-space theories thus raise problems for (...) nominalists that go beyond Malament's initial concerns. Thanks to Mark Steiner, Jens Christian Bjerring, Ben Fraser, John Mathewson, and two anonymous referees for helpful comments on an earlier draft of this paper. CiteULike Connotea Del.icio.us What's this? (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)