Otávio Bueno

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

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)