Off-campus access
Using PhilPapers from home?
Click here to configure this browser for off-campus access.
- Øystein Linnebo (2008). Structuralism and the Notion of Dependence. Philosophical Quarterly 58 (230):59-79.This paper has two goals. The first goal is to show that the structuralists’ claims about dependence are more significant to their view than is generally recognized. I argue that these dependence claims play an essential role in the most interesting and plausible characterization of this brand of structuralism. The second goal is to defend a compromise view concerning the dependence relations that obtain between mathematical objects. Two extreme views have tended to dominate the debate, namely the view that all mathematical objects depend on the structures to which they belong and the view that none do. I present counterexamples to each of these extreme views. I defend instead a compromise view according to which the structuralists are right about many kinds of mathematical objects (roughly, the algebraic ones), whereas the anti-structuralists are right about others (in particular, the sets). I end with some remarks about how to understand the crucial notion of dependence, which despite being at the heart of the debate is rarely examined in any detail.In my reading list | Discuss this article | Edit | Categorize |My bibliography
| Export citation | Other links: blackwell-synergy.com interscience.wiley.com | Scholar
Discussion of Øystein Linnebo, Structuralism and the notion of dependence
Nothing in this forum yet.
Similar books and articles
The main contribution of this paper is a novel account of ontological dependence. While dependence is often explained in terms of modality and existence, there are relations of dependence that slip through the mesh of such an account. Starting from an idea proposed by Jonathan Lowe, the article develops an account of ontological dependence based on a notion of explanation; on its basis, certain relations of dependence can be established that cannot be accounted by the modal-existential account. Dependence is only (...)
In my reading list
| Discuss this article | Edit | Categorize | My bibliography | Export citation | Other links: springerlink.com | Scholar | More..
| | Other links: springerlink.com | Scholar | More.. The view that mathematical objects are indefinite in nature is presented and defended, hi the first section, Field's argument for fictionalism, given in response to Benacerraf's problem of identification, is closely examined, and it is contended that platonists can solve the problem equally well if they take the view that mathematical objects are indefinite. In the second section, two general arguments against the intelligibility of objectual indefiniteness are shown erroneous, hi the final section, the view is compared to mathematical structuralism, (...)
It is generally assumed that everything that can be said about dependence with the notion of strong global supervenience can also be said with the notion of strong supervenience. It is argued here, however, that strong global supervenience has a metaphysically distinctive role to play. It is shown that when the relevant sets include relations , strong global supervenience and strong supervenience are distinct. It is then concluded that there are claims about dependence of relations that can be made with (...)
This paper considers the nature and role of axioms from the point of view of the current debates about the status of category theory and, in particular, in relation to the “algebraic” approach to mathematical structuralism. My aim is to show that category theory has as much to say about an algebraic consideration of meta-mathematical analyses of logical structure as it does about mathematical analyses of mathematical structure, without either requiring an assertory mathematical or meta-mathematical background theory as a “foundation”, (...)
No categories
We study the expressive power of open formulas of dependence logic introduced in Väänänen [Dependence logic (Vol. 70 of London Mathematical Society Student Texts), 2007]. In particular, we answer a question raised by Wilfrid Hodges: how to characterize the sets of teams definable by means of identity only in dependence logic, or equivalently in independence friendly logic.
There are two general questions which many views in the philosophy of mathematics can be seen as addressing: what are mathematical objects, and how do we have knowledge of them? Naturally, the answers given to these questions are linked, since whatever account we give of how we have knowledge of mathematical objects surely has to take into account what sorts of things we claim they are; conversely, whatever account we give of the nature of mathematical objects must be accompanied by (...)
No categories
'Ontological dependence' is a term of philosophical jargon which stands for a rich family of properties and relations, often taken to be among the most fundamental ontological properties and relations. Notions of ontological dependence are usually thought of as 'carving reality at its ontological joints', and as marking certain forms of ontological 'non-self-sufficiency'. The use of notions of dependence goes back as far as Aristotle's characterization of substances, and these notions are still widely used to characterize other concepts and to (...)
No categories
The debate on structuralism in the philosophy of mathematics has brought into focus a question about the status of meta-mathematics. It has been raised by Shapiro ( 2005 ), where he compares the ongoing discussion on structuralism in category theory to the Frege-Hilbert controversy on axiomatic systems. Shapiro outlines an answer according to which meta-mathematics is understood in structural terms and one according to which it is not. He finds both options viable and does not seem to prefer one over (...)
No categories
Dependence is a common phenomenon, wherever one looks: ecological systems, astronomy, human history, stock markets - but what is the logic of dependence? This book is the first to carry out a systematic logical study of this important concept, giving on the way a precise mathematical treatment of Hintikka’s independence friendly logic. Dependence logic adds the concept of dependence to first order logic. Here the syntax and semantics of dependence logic are studied, dependence logic is given an alternative game theoretic (...)
In modern physics the notion of structure can be treated as an extension of the notion of law of nature. French and Ladyman’s view concerning the ontological priority of structures over objects is confronted with Psillos’ criticism. This kind of view agrees with the paradigmatic case where the structure is an internal symmetry and the instantiations are elementary particles. An ontological model is proposed which demonstrates the relation between structures and their instantiations in this case. This view which may be (...)
No categories
