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.

In order to develop an account of scientific rationality, two problems need to be addressed: (i) how to make sense of episodes of theory change in science where the lack of a cumulative development is found, and (ii) how to accommodate cases of scientific change where lack of consistency is involved. In this paper, we sketch a model of scientific rationality that accommodates both problems. We first provide a framework within which it is possible to make sense of scientific revolutions, but which still preserves some (partial) relations between old and new theories. The existence of these relations help to explain why the break between different theories is never too radical as to make it impossible for one to interpret the process in perfectly rational terms. We then defend the view that if scientific theories are taken to be quasi-true, and if the underlying logic is paraconsistent, it's perfectly rational for scientists and mathematicians to entertain inconsistent theories without triviality. As a result, as opposed to what is demanded by traditional approaches to rationality, it's not irrational to entertain inconsistent theories. Finally, we conclude the paper by arguing that the view advanced here provides a new way of thinking about the foundations of science. In particular, it extends in important respects both coherentist and foundationalist approaches to knowledge, without the troubles that plague traditional views of scientific rationality.

An account of scientific representation in terms of partial structures and partial morphisms is further developed. It is argued that the account addresses a variety of difficulties and challenges that have recently been raised against such formal accounts of representation. This allows some useful parallels between representation in science and art to be drawn, particularly with regard to apparently inconsistent representations. These parallels suggest that a unitary account of scientific and artistic representation is possible, and our article can be viewed as laying the groundwork for such an account—although, as we shall acknowledge, significant differences exist between these two forms of representation.

The blame for the semantic and set-theoretic paradoxes is often placed on self-reference and circularity. Some years ago, Yablo [1985; 1993] challenged this diagnosis, by producing a paradox that's liar-like but does not seem to involve circularity. But is Yablo's paradox really non-circular? In a recent paper, Beall [2001] has suggested that there are no means available to refer to Yablo's paradox without invoking descriptions, and since Priest [1997] has shown that any such description is circular, Beall concludes that Yablo's paradox itself is circular. In this paper, we argue that Beall's conclusion is unwarranted, given that (1) descriptions are not the only way to refer to Yablo's paradox, and (ii) we have no reason to believe that because the description involves self-reference, the denotation of the description is also circular. As a result, for all that's been said so far, we have no reason to believe that Yablo's paradox is circular.

It is easy to show that in many natural axiomatic formulations of physical and even mathematical theories, there are many superfluous concepts usually assumed as primitive. This happens mainly when these theories are formulated in the language of standard set theories, such as Zermelo–Fraenkel’s. In 1925, John von Neumann created a set theory where sets are definable by means of functions. We provide a reformulation of von Neumann’s set theory and show that it can be used to formulate physical and mathematical theories with a lower number of primitive concepts very naturally. Our basic proposal is to offer a new kind of set-theoretic language that offers advantages with respect to the standard approaches, since it doesn’t introduce dispensable primitive concepts. We show how the proposal works by considering significant physical theories, such as non-relativistic classical particle mechanics and classical field theories, as well as a well-known mathematical theory, namely, group theory. This is a first step of a research program we intend to pursue

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

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

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)