Hostname: page-component-78c5997874-94fs2 Total loading time: 0 Render date: 2024-11-14T22:59:18.719Z Has data issue: false hasContentIssue false
  • English
  • Français

Supervenience, Reduction, and Translation

Published online by Cambridge University Press:  01 January 2022

Neil Dewar
Get access Rights & Permissions [Opens in a new window]

Abstract

This article considers the following question: What is the relationship between supervenience and reduction? I investigate this formally: first, by introducing a recent argument by Christian List to the effect that one can have supervenience without reduction; then, by considering how the notion of Nagelian reduction can be related to the formal apparatus of definability and translation theory; then, by showing how, in the context of propositional theories, topological constraints on supervenience serve to enforce reducibility; and, finally, by showing how constraints derived from the theory of ultraproducts can enforce reducibility in the context of first-order theories.

Type
Logic, Formal Epistemology, and Decision Theory
Information
Philosophy of Science , Volume 86 , Issue 5 , December 2019 , pp. 942 - 954
Copyright
Copyright © The Philosophy of Science Association

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

†

Versions of this article were presented at the New Perspectives on Inter-theory Reduction Workshop (held at the University of Salzburg), the Second Annual Bristol-MCMP Workshop on Foundations of Physics (at the Munich Center for Mathematical Philosophy), and the PSA. I am grateful to the audiences at those events for helpful questions and commentary and to Laurenz Hudetz and Katie Robertson for many discussions of these and related ideas.

References

Andréka, H., Madarász, J. X., and Németi, I.. 2008. “Defining New Universes in Many-Sorted Logic.” Unpublished manuscript, Mathematical Institute of the Hungarian Academy of Sciences, Budapest.Google Scholar
Barrett, T. W., and Halvorson, H.. 2016a. “Glymour and Quine on Theoretical Equivalence.” Journal of Philosophical Logic 45 (5): 467–83..CrossRefGoogle Scholar
Barrett, T. W., and Halvorson, H.. 2016b. “Morita Equivalence.” Review of Symbolic Logic 9 (3): 556–82..CrossRefGoogle Scholar
Butterfield, J. 2011a. “Emergence, Reduction and Supervenience: A Varied Landscape.” Foundations of Physics 41 (6): 920–59..CrossRefGoogle Scholar
Butterfield, J.. 2011b. “Less Is Different: Emergence and Reduction Reconciled.” Foundations of Physics 41 (6): 1065–135..CrossRefGoogle Scholar
Dizadji-Bahmani, F., Frigg, R., and Hartmann, S.. 2010. “Who’s Afraid of Nagelian Reduction?” Erkenntnis 73 (3): 393–412..CrossRefGoogle Scholar
Dudley, R. M. 1964. “On Sequential Convergence.” Transactions of the American Mathematical Society 112 (3): 483–507..CrossRefGoogle Scholar
Fletcher, S. C. 2016. “Similarity, Topology, and Physical Significance in Relativity Theory.” British Journal for the Philosophy of Science 67 (2): 365–89..CrossRefGoogle Scholar
Halvorson, H. 2012. “What Scientific Theories Could Not Be.” Philosophy of Science 79 (2): 183–206..CrossRefGoogle Scholar
Halvorson, H., and Tsementzis, D.. 2017. “Categories of Scientific Theories.” In Categories for the Working Philosopher, ed. Landry, E., 402–29. Oxford: Oxford University Press.Google Scholar
Hodges, W. 1997. A Shorter Model Theory. Cambridge: Cambridge University Press.Google Scholar
List, C. 2018. “Levels: Descriptive, Explanatory, and Ontological.” Noûs, forthcoming. https://doi.org/10.1111/nous.12241.CrossRefGoogle Scholar
Nagel, E. 1979. The Structure of Science: Problems in the Logic of Scientific Explanation. Indianapolis: Hackett.Google Scholar
Patten, D. R. 2014. “Problems in the Theory of Convergence Spaces.” PhD diss., Syracuse University.Google Scholar
Suppes, P. 1957. Introduction to Logic. New York: Van Nostrand Reinhold.Google Scholar
Suppes, P.. 1967. “What Is a Scientific Theory? In Philosophy of Science Today, ed. Morgenbesser, S., 55–67. New York: Basic.Google Scholar
van Benthem, J., and Pearce, D.. 1984. “A Mathematical Characterization of Interpretation between Theories.” Studia Logica 43 (3): 295–303..CrossRefGoogle Scholar