Otávio Bueno

Crucial to Hilary Putnam’s realism in the philosophy of mathematics is to maintain the objectivity of mathematics without the commitment to the existence of mathematical objects. Putnam’s indispensability argument was devised as part of this conception. In this paper, I reconstruct and reassess Putnam’s argument for the indispensability of mathematics, and distinguish it from the more familiar, Quinean version of the argument. Although I argue that Putnam’s approach ultimately fails, I develop an alternative way of implementing his form of realism about mathematics that, by using different resources than those Putnam invokes, avoids the difficulties faced by his view.

According to the semantic view, a theory is characterized by a class of models. In this paper, we examine critically some of the assumptions that underlie this approach. First, we recall that models are models of something. Thus we cannot leave completely aside the axiomatization of the theories under consideration, nor can we ignore the metamathematics used to elaborate these models, for changes in the metamathematics often impose restrictions on the resulting models. Second, based on a parallel between van Fraassen’s modal interpretation of quantum mechanics and Skolem’s relativism regarding set-theoretic concepts, we introduce a distinction between relative and absolute concepts in the context of the models of a scientific theory. And we discuss the significance of that distinction. Finally, by focusing on contemporary particle physics, we raise the question: since there is no general accepted unification of the parts of the standard model, we have no theory, in the usual sense of the term. This poses a difficulty: if there is no theory, how can we speak of its models? What are the latter models of? We conclude by noting that it is unclear that the semantic view can be applied to contemporary physical theories.

In this paper, I argue that symmetry principles in physics (in particular, in quantum mechanics) have a methodological character, rather than an ontological or an epistemological one. First, I provide a framework to address three related issues regarding the notion of symmetry: (i) how the notion can be characterized; (ii) one way of discussing the nature of symmetry principles, and (iii) a tentative account of some types of symmetry in physics. To illustrate how the framework functions, I then consider the case of the early formulation of quantum mechanics, examining the different roles played by symmetry in this context. Finally, I raise difficulties for ontological and purely episte

Batterman raises a number of concerns for the inferential conception of the applicability of mathematics advocated by Bueno and Colyvan. Here, we distinguish the various concerns, and indicate how they can be assuaged by paying attention to the nature of the mappings involved and emphasizing the significance of interpretation in this context. We also indicate how this conception can accommodate the examples that Batterman draws upon in his critique. Our conclusion is that ‘asymptotic reasoning’ can be straightforwardly accommodated within the inferential conception. 1 Introduction2 Immersion, Inference and Partial Structures3 Idealization and Surplus Structure4 Renormalization and the Stability of Mathematical Representations5 Explanation and Eliminability6 Requirements for Explanation7 Interpretation and Idealization8 Explanation, Empirical Regularities and the Inferential Conception9 Conclusion

Descartes seems to hold two inconsistent accounts of the ontological status of mathematical essences. Meditation Five apparently develops a platonist view about such essences, while the Principles seems to advocate some form of “conceptualism”. We argue that Descartes was neither a platonist nor a conceptualist. Crucial to our interpretation is Descartes’ dispositional nativism. We contend that his doctrine of innate ideas allows him to endorse a hybrid view which avoids the drawbacks of Gassendi’s conceptualism without facing the difficulties of platonism. We call this hybrid view “quasi-platonism.” Our interpretation explains Descartes’ account of the nature of mathematical essences, dissolves the tension between the two texts, and highlights the benefits of Descartes’ view.

. In this paper, I examine three models of reduction. The first, and the most restrictive, is the model developed by Ernest Nagel as part of the logical empiricist program. The second, articulated by Jerry Fodor, is significantly broader, but it seems unable to make sense of a salient feature of scientific practice. The third, and the most lenient, model is developed within Newton da Costa and Steven French’s partial structures approach. I argue that the third model preserves the benefits of Fodor’s proposal, and it is still able to accommodate relevant aspects of scientific practice. In particular, it offers a conception of reduction without reductionism, and an account of the relation between reduced and reducing theories via unsharp mappings and partial structures—even in the presence of incomplete information.

Abstract: Ernest Sosa has recently articulated an insightful response to skepticism and, in particular, to the dream argument. The response relies on two independent moves. First, Sosa offers the imagination model of dreaming according to which no assertions are ever made in dreams and no beliefs are involved there. As a result, it is possible to distinguish dreaming from being awake, and the dream argument is blocked. Second, Sosa develops a virtue epistemology according to which in appropriately normal conditions our perceptual beliefs will be apt. Hence, in these conditions, we will have at least animal knowledge, and the conclusion of the dream argument is undermined. In this article, I examine various moves that the skeptic can make to resist Sosa's challenge, and I contrast the proposal to a neo-Pyrrhonian stance. In the end, there is surprisingly little disagreement about the status of ordinary perceptual beliefs in the two stances.

In this paper, I develop a new defense of logicism: one that combines logicism and nominalism. First, I defend the logicist approach from recent criticisms; in particular from the charge that a cruciai principie in the logicist reconstruction of arithmetic, Hume's Principle, is not analytic. In order to do that, I argue, it is crucial to understand the overall logicist approach as a nominalist view. I then indicate a way of extending the nominalist logicist approach beyond arithmetic. Finally, I argue that a nominalist can use the resulting approach to provide a nominalization strategy for mathematics. In this way, mathematical structures can be introduced without ontological costs. And so, if this proposal is correct, we can say that ultimately all the nominalist needs is logic (and, rather loosely, ali the logicist needs is nominalism)

In this paper, I provide an account of scientific representation that makes sense of the notion both at the nanoscale and at the quantum level: the partial mappings account. The account offers an extension of a proposal developed by R. I. G. Hughes in terms of denotation, demonstration, and interpretation (DDI). I first argue that the DDI account needs some amendments to accommodate representation of nano and quantum phenomena. I then introduce a generalized framework with the notions of unsharp denotation, unsharp interpretation, and partial mappings. I conclude by arguing that the resulting view not only accommodates nano and quantum representations but also makes sense of representation by imaging in (scanning tunneling) microscopy.

Philosophers are very fond of making non-factualist claims—claims to the effect that there is no fact of the matter as to whether something is the case. But can these claims be coherently stated in the context of classical logic? Some care is needed here, we argue, otherwise one ends up denying a tautology or embracing a contradiction. In the end, we think there are only two strategies available to someone who wants to be a non-factualist about something, and remain within the province of classical logic. But one of these strategies is rather controversial, and the other requires substantially more work than is often supposed. Being a non-factualist is no easy business, and it may not be the most philosophically perspicuous way to go.

In this paper, we provide a new formulation of a coherence theory of truth using the resources of the partial structures approach − in particular the notions of partial structure and quasi-truth. After developing this new formulation, we apply the resulting theory to the philosophy of mathematics, and argue that it can be used to develop a new account of nominalism in mathematics. This application illustrates the strength and usefulness of the proposed formulation of a coherence theory of truth.Neste artigo, propomos uma nova formulação de uma teoria coerentista da verdade utilizando os recursos da abordagem de estruturas parciais - em particular as noções de estrutura parcial e quase-verdade. Após desenvolver esta formulação, aplicamos a teoria resultante à filosofia da matemática, e argumentamos que aquela pode ser usada para desenvolver um novo tratamento do nominalismo na matemática. Esta aplicação ilustra a força e utilidade da formulação proposta de uma teoria coerentista da verdade

Central to the philosophical understanding of music is the status of musical works. According to the Platonist, musical works are abstract objects; that is, they are not located in space or time, and we have no causal access to them. Moreover, only a particular physical occurrence of these musical works is instantiated when a performance ofthe latter takes place. But even if no performance ever took place, the Platonist insists, the musical work would still exist, since its existence is not tied to spatiotemporal constraints (Kivy [1993], and Dodd [2007]). In this paper, I offer a critical assessment of the Platonist view. I argue that, despite some benefits, Platonism faces significant difficulties in the interpretation of music. In spite ofthe Platonist’s attempt to overcome the problem, the view ultimately doesn’t mesh well with the way we actively respond to performances and fail to respond, in any way similar, to abstract patterns. Platonism also makes knowledge of music something extremely mysterious, given that we have no access to the abstract objects that, according to the Platonist, characterize the musical works. The ability to understand how we respond to musical works is, of course, central to any interpretation of music. This ability is also crucial in explaining the role music plays in various aspects of our culture, Rom bounding with others to music therapy. Given the problems faced by Platonism, it makes more sense to adopt an altemative, non-Platonist view. I conclude the paper by sketching such a non-Platonist proposal

Newton da Costa and Steven French have argued that the concept of partial truth plays an important role in our understanding of significant aspects of scientific practice: from the status of scientific theories through the understanding of inconsistency in science to the nature of induction. In this paper, I use the concept of partial truth and the associated framework of partial structures to offer a formulation of the concept of visual evidence, and I examine some of the roles that this notion plays in scientific activity.

Newton da Costa and Steven French have argued that the concept of partial truth plays an important role in our understanding of significant aspects of scientific practice: from the status of scientific theories through the understanding of inconsistency in science to the nature of induction (see da Costa and French 2003). In this paper, I use the concept of partial truth and the associated framework of partial structures to offer a formulation of the concept of visual evidence, and I examine some of the roles that this notion plays in scientific activity. DOI:10.5007/1808-1711.2011v15n2p249

In this paper, 1 examine the role of the delta function in Dirac’s formulation of quantum mechanics (QM), and I discuss, more generally, the role of mathematics in theory construction. It has been argued that mathematical theories play an indispensable role in physics, particularly in QM [Colyvan, M. (2001). The inrlispensability of mathematics. Oxford University Press: Oxford]. As I argue here, at least in the case of the delta function, Dirac was very clear about its rlispensability. I first discuss the significance of the delta function in Dirac’s work, and explore the strategy that he devised to overcome its use. l then argue that even if mathematical theories turned out to be indispensable, this wouidn’t justify the commitment to the existence of mathematical entities. In fact, even in successful uses of mathematics, such as in Dirac’s discovery of antimatter, there’s no need to believe in the existence of the corresponding mathematical entities. An interesting picture about the application of mathematics emerges from a careful examination of Dirac’s work.

Scientific representation: A long journey from pragmatics to pragmatics Content Type Journal Article DOI 10.1007/s11016-010-9465-5 Authors James Ladyman, Department of Philosophy, University of Bristol, 9 Woodland Rd, Bristol, BS8 1TB UK Otávio Bueno, Department of Philosophy, University of Miami, Coral Gables, FL 33124, USA Mauricio Suárez, Department of Logic and Philosophy of Science, Complutense University of Madrid, 28040 Madrid, Spain Bas C. van Fraassen, Philosophy Department, San Francisco State University, 1600 Holloway Avenue, San Francisco, CA 94132, USA Journal Metascience Online ISSN 1467-9981 Print ISSN 0815-0796.

Thirteen up-and-coming researchers in the philosophy of mathematics have been invited to write on what they take to be the right philosophical account of mathematics, examining along the way where they think the philosophy of mathematics is and ought to be going. A rich and diverse picture emerges. Some broader tendencies can nevertheless be detected: there is increasing attention to the practice, language and psychology of mathematics, a move to reassess the orthodoxy, as well as inspiration from philosophical logic.

Current versions of nominalism in the philosophy of mathematics face a significant problem to understand mathematical knowledge. They are unable to characterize mathematical knowledge as knowledge of the objects mathematical theories are taken to be about. Oswaldo Chateaubriand’s insightful reformulation of Platonism (Chateaubriand 2005) avoids this problem by advancing a broader conception of knowledge as justified truth beyond a reasonable doubt, and by introducing a suitable characterization of logical form in which the relevant mathematical facts play an important role in the truth of the corresponding mathematical propositions. In this paper, I contrast Chateaubriand’s proposal with an agnostic form of nominalism that is able to accommodate mathematical knowledge without the commitment to mathematical facts.

We formulate Suppes predicates for various kinds of space-time: classical Euclidean, Minkowski's, and that of General Relativity. Starting with topological properties, these continua are mathematically constructed with the help of a basic algebra of events; this algebra constitutes a kind of mereology, in the sense of Lesniewski. There are several alternative, possible constructions, depending, for instance, on the use of the common field of reals or of a non-Archimedian field (with infinitesimals). Our approach was inspired by the work of Whitehead (1919), though our philosophical stance is completely different from his. The structures obtained are idealized constructs underlying extant, physical space-time