Otávio Bueno

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.

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.

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.

Throughout the last two decades, Newton da Costa and his collaborators have developed some frameworks to help the interpretation of science. Two of them are particularly noteworthy: partial structures and quasi-truth (that provide a way of accommodating the openness and partiality of scientific activity), and quasi-set theory (that allows one to take seriously the idea, put forward by several physicists, that we can't meaningfully apply the notion of identity to quantum particles). In this paper I explore the interconnection between these two frameworks. After reviewing the extant formulations of quasi-truth and quasi-set theory, I suggest a way of combining them, advancing a formulation of quasi-truth in quasi-set theory. In this way, a good sense can be made of the idea that quantum mechanics, if not true, is at least quasi-true. I then explore an application of this combined framework, arguing that it provides a conceptual setting appropriate to overcome two (philosophical) difficulties in van Fraassen's modal interpretation of quantum mechanics.

This paper is a historical companion to a previous one, in which it was studied the so-called abstract Galois theory as formulated by the Portuguese mathematician José Sebastião e Silva ). Our purpose is to present some applications of abstract Galois theory to higher-order model theory, to discuss Silva's notion of expressibility and to outline a classical Galois theory that can be obtained inside the two versions of the abstract theory, those of Mark Krasner and of Silva. Some comments are made on the universal theory of structures.