Otávio Bueno

Typical accounts of reference demand that referring terms denote existent objects. This assumption is shared by theories across a variety of areas of philosophy, in particular, direct reference views in philosophy of language; neo-Fregean conceptions in the philosophy of mathematics, and easy-ontology approaches in metaphysics. In this paper, this assumption is resisted and the significance and the possibility of referring to the nonexistent is highlighted. After identifying difficulties in all these three theories and resisting a free-logic approach, ontologically neutral quantifiers, which do not require the existence of what is quantified over, are suggested as providing a better conception. It is concluded that the difficulties raised to the previous theories do not affect the ontologically neutral approach, while the approach, properly conceived, allows for nonexistent objects to have properties.

This comprehensive collection of original essays written by an international group of scholars addresses the central themes in Latin American philosophy. Represents the most comprehensive survey of historical and contemporary Latin American philosophy available today Comprises a specially commissioned collection of essays, many of them written by Latin American authors Examines the history of Latin American philosophy and its current issues, traces the development of the discipline, and offers biographical sketches of key Latin American thinkers Showcases the diversity of approaches, issues, and styles that characterize the field.

Proofs are central to mathematical practice in large part due to the heuristic role that some of them play. Not only do they help establish a result, but often provide new avenues of mathematical research. Jody Azzouni has argued that underlying the practice of creating mathematical proofs there is a very specific norm: to each proof there should be a corresponding algorithmic derivation, a derivation in an algorithmic system. Here a framework is provided to classify and assess mathematical proofs. It is argued that there is a plurality of kinds of proofs in mathematics and a plurality of roles these proofs play. In the end, mathematical practice is far less unified in this respect than it may seem to be.

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.

The partial structures approach has two major components: a broad notion of structure (partial structure) and a weak notion of truth (quasi-truth). In this paper, we discuss the relationship between this approach and free logic. We also compare the model-theoretic analysis supplied by partial structures with the method of supervaluations, which was initially introduced as a technique to provide a semantic analysis of free logic. We then combine the three formal frameworks (partial structures, free logic and supervaluations), and apply the resulting approach to accommodate semantic paradoxes

. 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.

Scientific change has two important dimensions: conceptual change and structural change. In this paper, I argue that the existence of conceptual change brings serious difficulties for scientific realism, and the existence of structural change makes structural realism look quite implausible. I then sketch an alternative account of scientific change, in terms of partial structures, that accommodates both conceptual and structural changes. The proposal, however, is not realist, and supports a structuralist version of van Fraassen’s constructive empiricism (structural empiricism).

In this paper, I provide an easy road to nominalism which does not rely on a Field-type nominalization strategy for mathematics. According to this proposal, applications of mathematics to science, and alleged mathematical explanations of physical phenomena, only emerge when suitable physical interpretations of the mathematical formalism are advanced. And since these interpretations are rarely distinguished from the mathematical formalism, the impression arises that mathematical explanations derive from the mathematical formalism alone. I correct this misimpression by pointing out, in the cases recently discussed by Mark Colyvan, exactly where the interpretations of the formalism were invoked and the function they played in the resulting explanations. A viable form of easy - road nominalism, which is also sensitive to scientific practice, then arises.

The mathematical concept of pragmatic truth, first introduced in Mikenberg, da Costa and Chuaqui (1986), has received in the last few years several applications in logic and the philosophy of science. In this paper, we study the logic of pragmatic truth, and show that there are important connections between this logic, modal logic and, in particular, Jaskowski's discussive logic. In order to do so, two systems are put forward so that the notions of pragmatic validity and pragmatic truth can be accommodated. One of the main results of this paper is that the logic of pragmatic truth is paraconsistent. The philosophical import of this result, which justifies the application of pragmatic truth to inconsistent settings, is also discussed.

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)

The aim of this paper is to provide a unified account of scientific and mathematical change in a thoroughly empiricist setting. After providing a formal modelling in terms of embedding, and criticising it for being too restrictive, a second modelling is advanced. It generalises the first, providing a more open-ended pattern of theory development, and is articulated in terms of da Costa and French's partial structures approach. The crucial component of scientific and mathematical change is spelled out in terms of partial embeddings. Finally, an application of this second pattern is made, with the examination of the early formulation of set theory.

Ask a philosopher what a proof is, and you’re likely to get an answer hii empaszng one or another regimentationl of that notion in terms of a finite sequence of formalized statements, each of which is either an axiom or is derived from an axiom by certain inference rules. (Wecan call this the formal conception of proof) Ask a mathematician what a proof is, and you will rbbl poay get a different-looking answer. Instead of stressing a partic- l uar regimented notion of proof, the answer the mathematician will give ilikl..

The aim of this paper is two-fold: (1) To contribute to a better knowledge of the method of the Argentinean mathematicians Lia Oubifia and Jorge Bosch to formulate category theory independently of set theory. This method suggests a new ontology of mathematical objects, and has a profound philosophical significance (the underlying logic of the resulting category theory is classical iirst—order predicate calculus with equality). (2) To show in outline how the Oubina-Bosch theory can be modified to give rise to a strong paraconsistent category theory; strong enough to be taken as the basis for a paraconsistent mathematics which encompasses all classical mathematical results.

In a recent debate, Eric Drexler and Richard Smalley have discussed the chemical and physical possibility of constructing molecular assemblers - devices that guide chemical reactions by placing, with atomic precision, reactive molecules. Drexler insisted on the mechanical feasibility of such assemblers, whereas Smalley resisted the idea that such devices could be chemically constructed, because we do not have the required control. Underlying the debate, there are differences regarding the appropriate goals, methods, and theories of nanotechnology, and the appropriate way of conceptualizing molecular assemblers. Not surprisingly, incommensurability emerges. In this paper, I assess the main features of the debate, the levels of the emerging incommensurability, and indicate one way in which the debate could be decided.