Two topics figure prominently in recent discussions of mathematical structuralism: challenges to the purported metaphysical insight provided by sui generis structuralism and the significance of category theory for understanding and articulating mathematical structuralism. This article presents an overview of central themes related to these topics.

The intuition of the naı¨ve realist, miracle arguments notwithstanding, is countered forcefully by a host of considerations, including the possibility of underdetermination, and criticisms of abductive inferences to explanatory hypotheses. Some have suggested that an induction may be performed, from the perspective of present theories, on their predecessors. Past theories are thought to be false, strictly speaking; it is thus likely that present-day theories are also false, and will be taken as such at an appropriate future time.

A response is given here to Benacerraf's (1965) non-uniqueness (or multiple-reductions) objection to mathematical platonism. It is argued that non-uniqueness is simply not a problem for platonism; more specifically, it is argued that platonists can simply embrace non-uniqueness—i.e., that one can endorse the thesis that our mathematical theories truly describe collections of abstract mathematical objects while rejecting the thesis that such theories truly describe unique collections of such objects. I also argue that part of the motivation for this stance is (...) that it dovetails with the correct response to Benacerraf's other objection to platonism, i.e., his (1973) epistemological objection. (shrink)

It is our contention that an ontological commitment to propositions faces a number of problems; so many, in fact, that an attitude of realism towards propositions—understood the usual “platonistic” way, as a kind of mind- and language-independent abstract entity—is ultimately untenable. The particular worries about propositions that marshal parallel problems that Paul Benacerraf has raised for mathematical platonists. At the same time, the utility of “proposition-talk”—indeed, the apparent linguistic commitment evident in our use of 'that'-clauses (in offering explanations and making (...) predictions)—is also in need of explanation. We account for this with a fictionalist analysis of our use of 'that'-clauses. Our account avoids certain problems that arise for the usual error-theoretic versions of fictionalism because we apply the notion of semantic pretense to develop an alternative, pretense-involving, non-error-theoretic, fictionalist account of proposition-talk. (shrink)

In this paper, we describe "metaphysical reductions", in which the well-defined terms and predicates of arbitrary mathematical theories are uniquely interpreted within an axiomatic, metaphysical theory of abstract objects. Once certain (constitutive) facts about a mathematical theory T have been added to the metaphysical theory of objects, theorems of the metaphysical theory yield both an analysis of the reference of the terms and predicates of T and an analysis of the truth of the sentences of T. The well-defined terms and (...) predicates of T are analyzed as denoting abstract objects and abstract relations, respectively, in the background metaphysics, and the sentences of T have a reading on which they are true. After the technical details are sketched, the paper concludes with some observations about the approach. One important observation concerns the fact that the proper axioms of the background theory abstract objects can be reformulated in a way that makes them sound more like logical axioms. Some philosophers have argued that we should accept (something like) them as being logical. (shrink)

ABSTRACT Historical structuralist views have been ontological. They either deny that there are any mathematical objects or they maintain that mathematical objects are structures or positions in them. Non-ontological structuralism offers no account of the nature of mathematical objects. My own structuralism has evolved from an early sui generis version to a non-ontological version that embraces Quine’s doctrine of ontological relativity. In this paper I further develop and explain this view.

In recent philosophy of mathematics avariety of writers have presented ``structuralist''views and arguments. There are, however, a number ofsubstantive differences in what their proponents take``structuralism'' to be. In this paper we make explicitthese differences, as well as some underlyingsimilarities and common roots. We thus identifysystematically and in detail, several main variants ofstructuralism, including some not often recognized assuch. As a result the relations between thesevariants, and between the respective problems theyface, become manifest. Throughout our focus is onsemantic and metaphysical issues, (...) including what is orcould be meant by ``structure'' in this connection. (shrink)

In “Mathematical Truth,” Paul Benacerraf raises an epistemic challenge for mathematical platonists. In this paper, I examine the assumptions that motivate Benacerraf’s original challenge, and use them to construct a new causal challenge for the epistemology of mathematics. This new challenge, which I call ‘Gödel’s Gap’, appeals to intuitive insights into mathematical knowledge. Though it is a causal challenge, it does not rely on any obviously objectionable constraints on knowledge. As a result, it is more compelling than the original challenge. (...) It is also more general; the challenge applies equally to platonistic and non-platonistic accounts of mathematical truth. And it can be generalized beyond the case of mathematical knowledge to pose a challenge for, e.g., moral knowledge. (shrink)

The formal sciences - mathematical as opposed to natural sciences, such as operations research, statistics, theoretical computer science, systems engineering - appear to have achieved mathematically provable knowledge directly about the real world. It is argued that this appearance is correct.

Se puede considerar que Berkeley y Hume son antecedentes filosóficos del Formalismo Matemático. Ambos sostienen una visión instrumentalista y no-realista de las matemáticas. En la conferencia se explora las diferencias y similitudes de ambos autores, así como el porque se les puede considerar ser antecesores del Formalismo.

Existen diversos tipos de realismo matemático. Desde una perspectiva filosófica, en la mayoría de los casos, los realistas asumen algunas o todas de las siguientes tesis: 1) Existen los objetos matemáticos; 2) Los objetos matemáticos son abstractos y 3)Los objetos matemáticos son independientes a agentes, lenguajes y prácticas. En este trabajo discutiré algunos problemas con respecto al tercer punto, referente a la independencia entre el lenguaje y los objetos matemáticos. La independencia del lenguaje implica que, sin importar el lenguaje que (...) se utilice, el objeto matemático será el mismo. En mi opinión, se puede problematizar esta idea de independencia; y para mostrar esto presentaré algunos ejemplos en los sistemas de numeración indoarábigo y romano, en los que el lenguaje parece incidir en el entendimiento y las operaciones aritméticas de los números naturales. Con esto se abre la puerta a otras maneras posibles de entender la relación entre los pretendidos objetos matemáticos y los lenguajes que los describen. (shrink)

Platonism is the view that there exist such things as abstract objects — where an abstract object is an object that does not exist in space or time and which is therefore entirely non-physical and nonmental. Platonism in this sense is a contemporary view. It is obviously related to the views of Plato in important ways, but it is not entirely clear that Plato endorsed this view, as it is defined here. In order to remain neutral on this question, the (...) term ‘platonism’ is spelled with a lower-case ‘p’. (See entry on Plato.) The most important figure in the development of modern platonism is Gottlob Frege (1884, 1892, 1893-1903, 1919). The view has also been endorsed by many others, including Kurt Gödel (1964), Bertrand Russell (1912), and W.V.O. Quine (1948, 1951). (shrink)