Abstract
Scientific practice involves two kinds of induction. In one, generalizations are drawn about the states of a particular system of variables. In the other, generalizations are drawn across systems in a class. We can discern two questions of correctness about both kinds of induction: (P1) what distinguishes those systems and classes of system that are ‘projectible’ in Goodman’s (Fact, fiction and forecast, 1955) sense from those that are not, and (P2) what are the methods by which we are able to identify kinds that are likely to be projectible? In answer to the first question, numerous theories of ‘natural kinds’ have been advanced, but none has satisfactorily addressed both questions simultaneously. I propose a shift in perspective. Both essentialist and cluster property theories have traditionally characterized kinds directly in terms of the causally salient properties their members possess. Instead, we should focus on ‘dynamical symmetries’, transformations of a system to which the causal structure of that system is indifferent. I suggest that to be a member of natural kind it is necessary and sufficient to possess a particular collection of dynamical symmetries. I show that membership in such a kind is in turn necessary and sufficient for the presence of the sort of causal structure that accounts for success in both kinds of induction, thus demonstrating that (P1) has been answered satisfactorily. More dramatically, I demonstrate that this new theory of ‘dynamical kinds’ provides an answer to (P2) with methodological implications concerning the discovery of projectible kinds.
Similar content being viewed by others
Notes
I don’t mean to suggest that this is all which empirical science involves or aims at. Nor do I intend to suggest that this is a complete taxonomy of the kinds of inductive practice. For an example of a more complete taxonomy, see (Earman 1985).
Though Goodman (1955) frames his problem in terms of predicates—linguistic entities—his solution is in terms of the extensions of those predicates. Specifically, what he calls “entrenchment” pertains to a class that may be named by many predicates.
I mean (P1) in a thin sense: the shared feature of a kind may or may not be that in virtue of which it is projectible.
Quine, for instance, restricts the term ‘kind’ to collections defined by similarity relations. Since, in his view, mature sciences have no use for such similarity relations, there are no ‘natural kinds’ in science. I am only interested in notions of natural kind that stand as possible responses to (P1). Most of the views considered here take scientific categories to be paradigm examples of natural kinds.
There is some ambiguity as to whether these mechanisms are taken to be homeostatic with respect to the individual, as described in the text, or with respect to the kind. In the latter case, there is some causal mechanism such that the occurrence of one of the properties in the cluster tends to cause the occurrence of the others, though not necessarily in the same individual. The connection between properties is robustly maintained across many instances by the mechanism, but in any one individual the connection may be fragile over time. Boyd (1999) recognizes both possibilities, but the majority of discussion over HPC assumes that each individual belonging to a kind is a distinct instance of a type of causal mechanism. That is, each member of a kind possesses a cluster of properties maintained by an instance of the same type of homeostatic causal mechanism.
There are complex features common to all members of the class. For instance, energy and momentum are conserved. But what is the ‘causal mechanism’ that maintains the association between the two properties “conserves momentum” and “conserves energy”?
Slater (2014) and others have pointed out that it seems to have trouble with kinds such as chemical elements. But it’s not clear that this is really the sort of induction central to scientific practice.
Slater is also motivated by arguments suggesting that causal mechanisms are neither necessary nor sufficient for the sort of robust counterfactual association of properties required for successful projection.
I am neglecting a great deal of detail in Slater’s account—in particular, his use of Lange’s (2009) notion of ‘non-nomic stability’ to spell out a precise sense of counterfactual robustness. But the rough argument I’ve provided is adaptable to these details.
I won’t worry here about Woodward’s definitions of direct, indirect, or contributing causes. While these are useful concepts, we can get far enough with total causation alone.
Precipitation is the sudden formation of a solid from solution that tends to sink or float as a powder or collection of small crystals.
A ‘simple compound’ is just a compound that is composed of one acid and one base or one metal and one non-metallic element.
More precisely still, Wigner equated each kind of elementary particle with one of the irreducible representations of the Poincaré group (which he calls the inhomogeneous Lorentz group).
To be more accurate, Wigner equated irreducible representations of the Poincaré group with what he called an “elementary system.” In a later paper with Newton, he argued that the category of “elementary particle” is narrower, and carries the additional condition that “...it should not be useful to consider the particle as a union of other particles”(Newton and Wigner 1949, p. 400). The latter condition turns out to be problematic, so I’m sticking with the broader category. This includes such things as hydrogen atoms in their ground state. What’s not an elementary system? For one, any unstable particle (Wigner and Newton cite the \(\pi \)-meson) that exhibits a change in state that is not relativistically invariant.
I am using “dynamical” in its broad sense of “active” or “potent”, not in the narrow sense of involving forces.
For finite sets of transformations, the composition function is equivalent to a multiplication table. But for infinite sets, we cannot write an explicit multiplication table.
If the variables are casually complete in the sense that there are no latent causal influences on the variables, then the identity transformation is a symmetry of the system for every choice of variable and index. Therefore, the system possesses a symmetry structure. To show that it is not trivial, suppose that \(X\) is a total cause of \(Y\). By definition, this means that there are some values \(x_0\) and \(x_1\), such that an intervention taking \(X\) from \(x_0\) to \(x_1\) induces the value of \(Y\) to change. In general, the dependence of \(Y\) on \(X\) can be described by a function, \(f(x, y_0)\), where \(y_0\) is the value of \(Y\) when \(X = x_0\), i.e., \(f(x_0, y_0)=y_0\). Since the change in \(X\) induces a change in \(Y\), we know that \(f(x_1, y_0) \ne y_0\). Consider a transformation, \(\sigma (y)=y_0\). Applying \(\sigma \) and then changing \(X\) takes us from a state \((x_0,y_0)\) to \(f(x_1,\sigma (y_0))=f(x_1,y_0)\). Changing \(X\) and then applying \(\sigma \) takes us from a state \((x_0,y_0)\) to \(\sigma (f(x_1,y_0)) = y_0 \ne f(x_1,y_0)\). Thus, \(\sigma \) fails to be a symmetry, and so the symmetry structure cannot be trivial.
Incidentally, the category of first-order chemical reactions mentioned earlier is a dynamical kind characterized by an analogous family of scaling transformations.
In particular, there is ample discussion of the use of symmetry arguments in solving physical problems, and of ’Curie’s Principle’—the claim that asymmetries in an effect must be present in the cause (Ismael 1997; Rosen 1995; Fraassen 1990). These are rich topics, but well beyond the scope of this essay.
Unfortunately, Wigner calls these “dynamic principles of invariance,” and, as with virtually every term associated with symmetry, similar phrases have been used throughout the literature to refer to a variety of distinct notions. Obviously, I am not helping the situation with my choice of terminology. However, the phrase ‘dynamical symmetry’ seems best to express what I have in mind and, in many of it’s previous uses, is not so far off from the concept presented here. I beg the reader’s indulgence for further overloading the term.
This story is recounted in Pais (1986).
See (Neuenschwander 2011) for a thorough discussion.
References
Belot, G. (2003). Symmetry and gauge freedom. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 34(2), 189–225.
Boyd, R. (1988). How to be a moral realist. In G. Sayre-McCord (Ed.), Moral realism. Ithaca, NY: Cornell University Press.
Boyd, R. (1989). What realism implies and what it does not. Dialectica, 43(1–2), 5–29.
Boyd, R. (1991). Realism, anti-foundationalism and the enthusiasm for natural kinds. Philosophical Studies, 61(1/2), 127–148.
Boyd, R. (1999). Homeostasis, species, and higher taxa. In R. A. Wilson (Ed.), Species : New interdisciplinary essays (pp. 141–185). Cambridge, MA: MIT Press.
Brading, K., & Castellani, E. (Eds.). (2003). Symmetries in physics: Philosophical reflections. Cambridge: Cambridge University Press.
Cao, T. Y. (2010). From current algebra to quantum chromodynamics: A case for structural realism. Cambridge, New York: Cambridge University Press.
Castellani, E. (2002). Symmetry, quantum mechanics, and beyond. Foundations of Science, 7(1–2), 181–196.
Chakravartty, A. (2007). A metaphysics for scientific realism: Knowing the unobservable. Cambridge: Cambridge University Press.
Charnov, E. L. (1993). Life history invariants: Some explorations of symmetry in evolutionary ecology. Oxford series in ecology and evolution. Oxford: Oxford University Press.
Craver, C. F. (2009). Mechanisms and natural kinds. Philosophical Psychology, 22(5), 575–594.
Earman, J. (1985). Concepts of projectibility and the problems of induction. Noûs, 19(4), 521.
Earman, J. (2002). Gauge matters. Philosophy of Science, 69(S3), S209–S220.
Ellis, B. (2005). Physical realism. Ratio, 18(4), 371–384.
Ellis, B. D. (2001). Scientific essentialism. Cambridge studies in philosophy. New York: Cambridge University Press.
Fresenius, C. R. (1913). Manual of qualitative chemical analysis (16th ed.). New York: Wiley.
Giacovazzo, C. (Ed.). (2011). Fundamentals of crystallography (3rd ed., Vol. 15)., IUCr texts on crystallography Oxford: Oxford University Press.
Goodman, N. (1955). Fact, fiction and forecast. Cambridge: Harvard University Press.
Griffiths, P. E. (1999). Squaring the circle: Natural kinds with historical essences. In R. A. Wilson (Ed.), Species: New interdisciplinary essays (pp. 209–228). Cambridge, MA: MIT Press.
Gross, D. (1995). Symmetry in physics: Wigner’s legacy. Physics Today, 48(46–50), 12.
Gross, D. J. (1996). The role of symmetry in fundamental physics. Proceedings of the National Academy of Sciences of the United States of America, 93(25), 14256–14259.
Haag, R. (1996). Local quantum physics: Fields, particles, algebras, texts and monographs in physics (2nd ed.). Berlin: Springer.
Hawley, K., & Bird, A. (2011). What are natural kinds? Philosophical Perspectives, 25(1), 205–221.
Healey, R. (2007). Gauging what’s real: The conceptual foundations of contemporary gauge theories. Oxford: Oxford University Press.
Hon, G., & Goldstein, B. R. (2008). From summetria to symmetry: The making of a revolutionary scientific concept. London: Springer.
Ismael, J. (1997). Curie’s principle. Synthese, 110(2), 167–190.
Kornblith, H. (1993). Inductive inference and its natural ground: An essay in naturalistic epistemology. Cambridge, MA: MIT Press.
Kripke, S. A. (1980). Naming and necessity. Oxford: Blackwell.
Lange, M. (2009). Laws and lawmakers: Science, metaphysics, and the laws of nature. Oxford: Oxford University Press.
Laudan, L. (1981). Science and hypothesis. Dordrecht: D. Reidel Publishing Company.
Lewis, D. (1983). New work for a theory of universals. Australasian Journal of Philosophy, 61(4), 343–377.
Lowe, E. J. (2006). The four-category ontology: A metaphysical foundation for natural science. Oxford: Clarendon Press.
Mainzer, K. (1996). Symmetries of nature: A handbook for philosophy of nature and science. New York: Walter de Gruyter.
Martin, C. (2002). Gauge principles, gauge arguments and the logic of nature. Philosophy of Science, 69(S3), S221–S234.
Martin, C. A. (2003). On continuous symmetries and the foundations of modern physics. In K. Brading & E. Castellani (Eds.), Symmetries in physics: Philosophical reflections (pp. 29–60). Cambridge: Cambridge University Press.
Mattingly, J., & Warwick, W. (2009). Projectible predicates in analogue and simulated systems. Synthese, 169(3), 465–482.
Mill, J. S. (1858). A system of logic, ratiocinative and inductive. New York: Harper & brothers.
Moriyasu, K. (1983). An elementary primer for gauge theory. Singapore: World Scientific.
Neuenschwander, D. E. (2011). Emmy Noether’s wonderful theorem. Baltimore, MD: Johns Hopkins University Press.
Newton, T. D., & Wigner, E. P. (1949). Localized states for elementary systems. Reviews of Modern Physics, 21(3), 400–406.
Pais, A. (1986). Inward bound: Of matter and forces in the physical world. Oxford: Clarendon Press University Press.
Pearl, J. (2000). Causality: Models, reasoning, and inference. Cambridge: Cambridge University Press.
Popper, K. R. (2007). The logic of scientific discovery. Cambridge: International Society for Science and Religion.
Putnam, H. (1973). Meaning and reference. The Journal of Philosophy, 70(19), 699–711.
Putnam, H. (1975). Mind, language, and reality. Cambridge: Cambridge University Press.
Quine, W. V. (1969). Ontological relativity and other essays. New York: Columbia University Press.
Redhead, M. (2003). The interpretation of gauge symmetry. In K. Brading & E. Castellani (Eds.), Symmetries in physics: Philosophical reflections (pp. 124–139). Cambridge: Cambridge University Press.
Reynolds, O. (1883). An experimental investigation of the circumstances which determine whether the motion of water shall be direct or sinuous, and of the law of resistance in parallel channels. Philosophical Transactions of the Royal Society of London, 174, 935–982.
Rosen, J. (1975). Symmetry discovered: Concepts and applications in natureand science. Cambridge: Cambridge University Press.
Rosen, J. (1995). Symmetry in science: An introduction to the general theory. New York: Springer.
Rosen, J. (2008). Symmetry rules how science and nature are founded on symmetry. Berlin: Springer.
Schmidt, M., & Lipson, H. (2009). Distilling free-form natural laws from experimental data. Science, 324(5923), 81–85.
Slater, M. (2014). Natural kindness. The British Journal for the Philosophy of Science. doi:10.1093/bjps/axt033.
Spirtes, P., Glymour, C. N., & Scheines, R. (2000). Causation, prediction, and search, adaptive computation and machine learning (2nd ed.). Cambridge, MA: MIT Press.
Sundermeyer, K. (2014). Symmetries in fundamental physics, fundamental theories of physics (Vol. 176). Berlin: Springer.
van Fraassen, B. C. (1990). Laws and symmetry. Oxford: Oxford University Press.
Venn, J. (1866). The logic of chance. London: Macmillan and co.
Vogel, A. I. (1996). Vogel’s qualitative inorganic analysis (7th ed.). Harlow: Longman.
Wigner, E. (1939). On unitary representations of the inhomogeneous lorentz group. The Annals of Mathematics, 40(149–204), 1.
Wigner, E. P. (1967). Symmetries and reflections: Scientific essays of Eugene P. Wigner. Bloomington: Indiana University Press.
Wilkerson, T. E. (1988). Natural kinds. Philosophy, 63(243), 29–42.
Williams, N. E. (2011). Arthritis and nature’s joints: Topics in contemporary philosophy, In J. K. Campbell, M. O’Rourke, & M. H. Slater (Eds.), Carving nature at its joints: Natural kinds in metaphysics and science. Cambridge, MA: MIT Press.
Wilson, R. A. (1999). Realism, essentialism, and kind: Resuscitating species essentialism? In R. A. Wilson (Ed.), Species: New Interdisciplinary Essays (pp. 187–207). Cambridge, MA: MIT Press.
Woodward, J. (1997). Explanation, invariance, and intervention. Philosophy of Science, 64, S26–S41.
Woodward, J. (2000). Explanation and invariance in the special sciences. The British Journal for the Philosophy of Science, 51(2), 197–254.
Woodward, J. (2001). Law and explanation in biology: Invariance is the kind of stability that matters. Philosophy of Science, 68(1–20), 1.
Woodward, J. (2003). Making things happen: A theory of causal explanation. New York: Oxford University Press.
Acknowledgments
I would like to thank the participants of the 2013 Ontology & Methodology conference at Virginia Tech, Anjan Chakravartty, and Richard Burian for helpful discussion of the ideas presented here. I am especially grateful to Kelly Trogdon and two anonymous referees for comments on earlier drafts.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Jantzen, B.C. Projection, symmetry, and natural kinds. Synthese 192, 3617–3646 (2015). https://doi.org/10.1007/s11229-014-0637-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-014-0637-5