The Tools of Metaphysics and the Metaphysics of Science

Author(s):  
Theodore Sider

Metaphysics is sensitive to the conceptual tools we choose to articulate metaphysical problems. Those tools are a lens through which we view metaphysical problems; the same problems look different when we change the lens. There has recently been a shift to "postmodal" conceptual tools: concepts of ground, essence, and fundamentality. This shift transforms the debate over structuralism, in many ways. For instance: structuralist theses say that "patterns" are prior to the "nodes" in the patterns. In modal terms it is clear what this means: the nodes cannot vary independently of the pattern. But it's far less clear what its postmodal meaning is. One expects it to mean that the pattern is fundamental, the entities in the pattern, derivative. But what would a fundamental account of reality that speaks only of patterns and not objects in the patterns look like? I examine three structuralist positions through a postmodal lens. First, nomic essentialism, which says that scientific properties are secondary and lawlike relationships among them are primary. Second, structuralism about individuals, a general position of which mathematical structuralism and structural realism are instances, which says that scientific and mathematical objects are secondary and the pattern of relations among them is primary. Third, comparativism about quantities, which says that particular values of scientific quantities, such as having exactly 1000g mass, are secondary, and quantitative relations, such as being-twice-as-massive-as, are primary. Finally, I take a step back and examine the meta-question of when theories are equivalent, and how that impacts the debate over structuralism.

Author(s):  
Theodore Sider

A brief synoptic conclusion. When our aim is a distinctive account of ultimate reality the proper postmodal tool is that of fundamentality. With that tool we can articulate a "fundamentalist vision": an account of the fundamental nature of the facts and laws in the domain in question. This conception of the metaphysics of science fits a certain realist outlook, and undermines some forms of structuralism: nomic essentialism and structural realism (though not comparativism). But the vision faces serious challenges having to do with arbitrariness: arbitrariness in the constituents of the fundamental facts, and arbitrariness in the laws of nature.


2019 ◽  
Vol 27 (3) ◽  
pp. 316-334
Author(s):  
Ladislav Kvasz

Abstract The aim of the paper is to answer some arguments raised against mathematical structuralism developed by Michael Resnik. These arguments stress the abstractness of mathematical objects, especially their causal inertness, and conclude that mathematical objects, the structures posited by Resnik included, are inaccessible to human cognition. In the paper I introduce a distinction between abstract and ideal objects and argue that mathematical objects are primarily ideal. I reconstruct some aspects of the instrumental practice of mathematics, such as symbolic manipulations or ruler-and-compass constructions, and argue that instrumental practice can secure epistemic access to ideal objects of mathematics.


2018 ◽  
Vol 27 (3) ◽  
pp. 362-380 ◽  
Author(s):  
Leon Horsten

Abstract In this article ideas from Kit Fine’s theory of arbitrary objects are applied to questions regarding mathematical structuralism. I discuss how sui generis mathematical structures can be viewed as generic systems of mathematical objects, where mathematical objects are conceived of as arbitrary objects in Fine’s sense.


Author(s):  
Erich H. Reck ◽  
Georg Schiemer

The core idea of mathematical structuralism is that mathematical theories, always or at least in many central cases, are meant to characterize abstract structures (as opposed to more concrete, individual objects). As such, structuralism is a general position about the subject matter of mathematics, namely abstract structures; but it also includes, or is intimately connected with, views about its methodology, since studying such structures involves distinctive tools and procedures. The goal of the present collection of essays is to discuss mathematical structuralism with respect to both aspects. This is done by examining contributions by a number of mathematicians and philosophers of mathematics from the second half of the 19th and the early 20th centuries.


Author(s):  
John Wigglesworth

The grounding relation is thought to have certain structural properties: irreflexivity, asymmetry, transitivity, and well-foundedness. This paper examines a putative case of grounding that serves as a counterexample to almost all of these properties. The example comes from non-eliminative mathematical structuralism, some versions of which argue that mathematical objects depend in some sense on the structure to which they belong, and on the other objects in that structure. Such claims generate prima facie cases of symmetric, reflexive, and non-well-founded dependence. The paper argues that this dependence constitutes a grounding relation in the structuralist case. It then argues that these dependence claims can be given a modal interpretation, and that under this interpretation the dependence claims, and therefore the associated grounding claims, are true. It follows that these cases from mathematical structuralism constitute genuine counterexamples to many of the structural properties traditionally thought to hold of the grounding relation.


2020 ◽  
Vol 60 (3) ◽  
pp. 323-337
Author(s):  
Travis Dumsday ◽  

Structural realism has re-emerged as part of the debate between scientific realism and antirealism. Since then it has branched into several different versions, notably epistemic structural realism and ontic structural realism. The latter theory (which itself has now divided into competing formulations) is still an important perspective in the realism/antirealism dialectic; however, its significance has expanded well beyond that debate. Today ontic structural realism is also an important player in the metaphysics of science literature, engaging with a variety of ontological questions. One of these pertains to the basic categories of ontology, with the proponents of ontic structural realism typically advocating a radical rethinking of how to view substance and relation while calling into question the (allegedly) traditional privileging of the former over and against the latter. In this paper I assess ontic structural realism from the perspective of two major systems: Thomism and Scotism. I argue that the basic commitments of Thomism allow for some surprising convergences with ontic structural realism, while Scotism does not.


Author(s):  
Sean Morris

This chapter examines the development of and motives for Quine’s particular form of mathematical structuralism. It will argue that Quine, unlike many contemporary mathematical structuralists, does not appeal to structuralism as a way of accounting for what the numbers really are in any robust metaphysical sense. Instead, his structuralism is deeply rooted in an earlier structuralist tradition found in scientific philosophers such as Russell and Carnap, which emphasized structuralism as a critique of more metaphysical approaches to philosophy. On this view, a philosophy of mathematics answers, in a sense, only to mathematics itself. An account of mathematical objects requires only that the entities—whatever they are—serving as the mathematical objects satisfy the relevant postulates and theorems. Here we also see how Quine’s early work in the foundations of mathematics leads in a natural way to the more general naturalism of his later philosophy.


2018 ◽  
Vol 48 (2) ◽  
pp. 200-222 ◽  
Author(s):  
Sharon Berry

Since Benacerraf’s ‘What Numbers Could Not Be, ’ there has been a growing interest in mathematical structuralism. An influential form of mathematical structuralism, modal structuralism, uses logical possibility and second order logic to provide paraphrases of mathematical statements which don’t quantify over mathematical objects. These modal structuralist paraphrases are a useful tool for nominalists and realists alike. But their use of second order logic and quantification into the logical possibility operator raises concerns. In this paper, I show that the work of both these elements can be done by a single natural generalization of the logical possibility operator.


Sign in / Sign up

Export Citation Format

Share Document