Online research in philosophy

According to ante rem structuralism a branch of mathematics, such as arithmetic, is about a structure, or structures, that exist independent of the mathematician, and independent of any systems that exemplify the structure. A structure is a universal of sorts: structure is to exemplified system as property is to object. So ante rem structuralist is a form of ante rem realism concerning universals. Since the appearance of my Philosophy of mathematics: Structure and ontology, a number of criticisms of the idea of ante rem structures have appeared. Some argue that it is impossible to give identity conditions for places in homogeneous ante rem structures, invoking a version of the identity of indiscernibles. Others raise issues concerning the identity and distinctness of places in different structures, such as the the natural number 2 and the real number 2. The purpose of this paper is to take the measure of these objections, and to further articulate ante rem structuralism to take them into account.

Structuralism is a view about the subject matter of mathematics according to which what matters are structural relationships in abstraction from the intrinsic nature of the related objects. Mathematics is seen as the free exploration of structural possibilities, primarily through creative concept formation, postulation, and deduction. The items making up any particular system exemplifying the structure in question are of no importance; all that matters is that they satisfy certain general conditions—typically spelled out in axioms defining the structure or structures of interest—characteristic of the branch of mathematics in question. Thus, in the basic case of arithmetic, the famous “axioms” of Richard Dedekind (taken over by Giuseppe Peano, as he acknowledged) were conditions in a definition of a “simply infinite system”, with an initial item, each item having a unique next one, no two with the same next one, and all items finitely many steps from the initial one. (The latter condition is guaranteed by the axiom of mathematical induction.) All such systems are structurally identical, and, in a sense to be made more precise, the shared structure is what mathematics investigates. (In other cases, multiple structures are allowed, as in abstract algebra with its many groups, rings, fields, and so forth.) This structuralist view of arithmetic thus contrasts with the absolutist view, associated with Gottlob Frege and Bertrand Russell, that natural numbers must in fact be certain definite objects, namely classes of equinumerous concepts or classes.

This paper is about structuralism as a form of reconstructing theories, associated with the work Sneed, Balzar and Moulines among others, and not about "structuralism" is any of its other manifold senses. The paper is a reflection in that it looks back on some earlier work of my own on the subject of structuralism and explanation, in which I argued that structuralism and my 'instance view' of explanation go well together, with structuralism providing the means to develop the idea of a theoretical instance. Bartelborth has suggested a view that has some similarity with my early ideas, so I reflect on those as well. I suggest, in opposition to both positions, that a causal account of explanation might also sit well with structuralism. This paper will appear in a special edition of Synthese edited by Moulines and devoted to structuralism themes.

This last of three articles on Structuralism and Post-structuralism attempts to do four things: (1) to summarize the dispute between Structuralism and Post-structuralism about the stability of meaning; (2) to present three criticisms of Derrida’s dissemination; (3) to assess the worth of these criticisms; and (4) to offer some concluding remarks on Structuralism and Post-structuralism.

John Searle believes that computational properties are purely formal and that consequently, computational properties are not intrinsic, empirically discoverable, nor causal; and therefore, that an entity’s having certain computational properties could not be sufficient for its having certain mental properties. To make his case, Searle’s employs an argument that had been used before him by Max Newman, against Russell’s structuralism; one that Russell himself considered fatal to his own position. This paper formulates a not-so-explored version of Searle’s problem with computational cognitive science, and refutes it by suggesting how our understanding of computation is far from implying the structuralism Searle vitally attributes to it. On the way, I formulate and argue for a thesis that strengthens Newman’s case against Russell’s structuralism, and thus raises the apparent risk for computational cognitive science too.

John Searle believes that computational properties are purely formal and that consequently, computational properties are not intrinsic, empirically discoverable, nor causal; and therefore, that an entity’s having certain computational properties could not be sufficient for its having certain mental properties. To make his case, Searle’s employs an argument that had been used before him by Max Newman, against Russell’s structuralism; one that Russell himself considered fatal to his own position. This paper formulates a not-so-explored version of Searle’s problem with computational cognitive science, and refutes it by suggesting how our understanding of computation is far from implying the structuralism Searle vitally attributes to it. On the way, I formulate and argue for a thesis that strengthens Newman’s case against Russell’s structuralism, and thus raises the apparent risk for computational cognitive science too.

Three principal varieties of mathematical structuralism are compared: set-theoretic structuralism (‘STS’) using model theory, Shapiro's ante rem structuralism invoking sui generis universals (‘SGS’), and the author's modal-structuralism (‘MS’) invoking logical possibility. Several problems affecting STS are discussed concerning, e.g., multiplicity of universes. SGS overcomes these; but it faces further problems of its own, concerning, e.g., the very intelligibility of purely structural objects and relations. MS, in contrast, overcomes or avoids both sets of problems. Finally, it is argued that the modality of MS or a close cousin appears at crucial junctures in both STS and SGS, so that the above outcome is not obviously tendentious.