Skip to main content
Log in

Emergence and interacting hierarchies in shock physics

  • Original paper in Philosophy of Physics
  • Published:
European Journal for Philosophy of Science Aims and scope Submit manuscript

Abstract

It is argued that explanations of shock waves display explanatory emergence in two different ways. Firstly, the use of discontinuities to model jumps in flow variables is an example of “physics avoidance”. This is where microphysical details can be ignored in an abstract model thus allowing us access to modal information which cannot be attained in principle in any other way. Secondly, Whitham’s interleaving criterion for continuous shock structure is an example of the way different characteristic scales interact in shock dynamics. To fully explain the shock structure one must take account of these different scales, and by doing so explanations of shock structure have irreducible aspects. Lastly, the implications of this explanatory irreducibility are examined in the context of explanatory indispensability arguments used in realism debates elsewhere in the philosophy of science. It is concluded that explanatory emergence on its own only supports an epistemic form of emergence. Yet this epistemic emergence is fully objective.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3

Similar content being viewed by others

Notes

  1. Of course there are many other areas where emergence is discussed, such as the philosophy of mind and chemistry (e.g., Gibb 2012; O’Connor and Wong 2005; Hendry 2010).

  2. For Strevens all explanation is reductive. My account here rejects this extra premise of his kairetic account.

  3. There is a debate about whether asymptotic methods are explanatory or descriptive. Bueno and French 2012 argue they are descriptive, whereas Pexton 2013 argues they are explanatory. I will assume they are explanatory for the purposes of discussion.

References

  • Anderson, P. W. (1972). More is different. Science, 177(4047), 393–396.

    Article  Google Scholar 

  • Baker, A. (2009). Mathematical explanation in science. The British Journal for the Philosophy of Science, 60(3), 611–663.

    Article  Google Scholar 

  • Batterman, R. W. (2002). The devil in the details: Asymptotic reasoning in explanation, reduction, and emergence. Oxford: Oxford University Press.

    Google Scholar 

  • Batterman, R. W. (2013). The tyranny of scales. Oxford handbook of the philosophy of physics, 256–286.

  • Bedau, M. A. (2008). Is weak emergence just in the mind? Minds and Machines, 18(4), 443–459.

    Article  Google Scholar 

  • Bokulich, A. (2008). Can classical structures explain quantum phenomena? British Journal for the Philosophy of Science, 59(2), 217–235.

    Article  Google Scholar 

  • Broad, C. D. (1925). Mind and its place in nature. London: Routledge & Kegan Paul.

    Google Scholar 

  • Bueno, O., & French, S. (2012). Can mathematics explain physical phenomena? The British Journal for the Philosophy of Science, 63(1), 85–113.

    Article  Google Scholar 

  • Butterfield, J. N., & Isham, C. J. (1999). On the emergence of time in quantum gravity. In J. N. Butterfield (Ed.), The Arguments of Time. Oxford University Press.

  • Dyson, J. E., & Williams, D. A. (1980). Physics of the Interstellar Medium. Manchester University Press.

  • Falle, S. A. E. G. (2001). Interstellar Shock Structures in Weakly Ionised Gases. In Godunov Methods (pp. 301–307), Springer US.

  • French, S., & Ladyman, J. (2011). In defence of ontic structural realism. In Scientific structuralism. Springer Netherlands.

  • Gibb, S. (2012). Nonreductive physicalism and the problem of strong closure. American Philosophical Quarterly, 49(1), 29–41.

    Google Scholar 

  • Hacking, I. (1982). Experimentation and scientific realism. Philosophical Topics, 13(1), 71–87.

    Article  Google Scholar 

  • Hempel, C., & Oppenheim, P. (1965). On the idea of emergence. In C. Hempel (Ed.), Aspects of scientific explanation and other essays in the philosophy of science (pp. 258–264). New York: Free Press.

    Google Scholar 

  • Hendry, R. F. (2010). Ontological reduction and molecular structure. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 41(2), 183–191.

    Article  Google Scholar 

  • Ho, M. T., Datta, A., & Bhattacharyya, S. P. (2000). Generalizations of the Hermite–Biehler theorem: the complex case. Linear Algebra and Its Applications, 320(1), 23–36.

    Article  Google Scholar 

  • Howard, D. (2007). Reduction and emergence in the physical sciences: Some lessons from the particle physics and condensed matter debate. In N. Murphy & W. R. Stoeger (Eds.), Evolution and emergence: Systems, organisms, persons (pp. 141–157). Oxford: Oxford University Press.

    Google Scholar 

  • Hughes, R. I. G. (2010). The theoretical practices of physics: Philosophical essays. Oxford: Oxford University Press.

    Google Scholar 

  • Humphreys, P. (1997). How properties emerge. Philosophy of Science, 1–17.

  • Huneman, P. (2012). Determinism, predictability and open-ended evolution: lessons from computational emergence. Synthese, 185(2), 195–214.

  • Kitcher, P. (1984). 1953 and all that: a tale of two sciences. The Philosophical Review, 93(3), 335–373.

    Article  Google Scholar 

  • Knuuttila, T., & Boon, M. (2011). How do models give us knowledge? The case of Carnot’s ideal heat engine. European Journal for Philosophy of Science, 1(3), 309–334.

    Article  Google Scholar 

  • Ladyman, J., & Ross, D. (with David Spurrett and John Collier). (2007). Every Thing Must Go: Metaphysics Naturalized.

  • Laudan, L. (1981). A confutation of convergent realism. Philosophy of Science, 48, 19–49.

    Article  Google Scholar 

  • Laughlin, R. B., & Pines, D. (2000). The theory of everything. Proceedings of the National Academy of Sciences, 97(1), 28–31.

  • Levy, A. (2011). Information in biology: a fictionalist account. Noûs, 45(4), 640–657.

    Article  Google Scholar 

  • Mainwood, P. (2006). Is more different? Emergent properties in physics (Doctoral dissertation, University of Oxford).

  • McIntyre, L. (2007). Emergence and reduction in chemistry: ontological or epistemological concepts? Synthese, 155(3), 337–343.

    Article  Google Scholar 

  • Menzies, P., & List, C. (2010). The causal autonomy of the special sciences (pp. 108-129). New York, NY: Oxford University Press.

  • Morrison, M. (2012). Emergent physics and micro-ontology. Philosophy of Science, 79(1), 141–166.

    Article  Google Scholar 

  • Nagel, E. (1961). The Structure of Science: problems in the logic of scientific explanation. Routledge & Kegan Paul.

  • O'Connor, T., & Wong, H. Y. (2005). The metaphysics of emergence. Noûs, 39(4), 658–678.

    Article  Google Scholar 

  • Pexton, M. (2013). Non-causal explanation in science. University of Leeds. http://etheses.whiterose.ac.uk/4872/1/MP1.pdf.

  • Pexton, M. (2014a). How dimensional analysis can explain. Synthese, 191(10), 2333–2351.

  • Pexton, M. (2014b). Can asymptotic models be explanatory? European Journal for Philosophy of Science, 4(2), 233–252.

  • Pittard, J. M., Knight, M. I., Pexton, M., Falle, S. A., Dyson, J. E., Hartquist, T. W., & Arthur, S. J. (2003). The evolution of mass loaded supernova remnants. II. Temperature dependent mass injection rates. Astronomy & Astrophysics, 401(astro-ph/0303258), 1027–1038.

    Article  Google Scholar 

  • Putnam, H. (1975). Mind, Language and Reality: Philosophical Papers, volume 2. Cambridge University Press.

  • Rueger, A. (2000). Physical emergence, diachronic and synchronic. Synthese, 124(3), 297–322.

    Article  Google Scholar 

  • Saatsi, J. (2011). The enhanced indispensability argument: representational versus explanatory role of mathematics in science. The British Journal for the Philosophy of Science, 62(1), 143–154.

    Article  Google Scholar 

  • Saatsi, J., & Pexton, M. (2013). Reassessing woodward’s account of explanation: regularities, counterfactuals, and noncausal explanations. Philosophy of Science, 80(5), 613–624.

  • Silberstein, M., & McGeever, J. (1999). The search for ontological emergence. The Philosophical Quarterly, 49(195), 201–214.

    Article  Google Scholar 

  • Strevens, M. (2008). Depth: An account of scientific explanation. Harvard University Press.

  • Teller, P. (1986). Relational holism and quantum mechanics. British Journal for the Philosophy of Science, 37, 71–81.

  • Weslake, B. (2010). Explanatory depth. Philosophy of Science, 77(2), 273–294.

    Article  Google Scholar 

  • Whitham, G. B. (1974) [2011]. Linear and nonlinear waves (Vol. 42). John Wiley & Sons.

  • Wilson, J. (2010). Non-reductive physicalism and degrees of freedom. The British Journal for the Philosophy of Science, 61(2), 279–311.

    Article  Google Scholar 

  • Wilson, M. (1993). Honorable intensions. In S. J. Wagner & R. Warner (Eds.), Naturalism: A Critical Appraisal (pp. 53–94). Notre Dame: Notre Dame University Press.

  • Wilson, M. (2009). Determinism and the Mystery of the Missing Physics. The British Journal for the Philosophy of Science, axn052.

  • Wilson, M. (2010). Mixed-level explanation. Philosophy of Science, 77(5), 933–946.

    Article  Google Scholar 

  • Woodward, J. (2003). Making things happen: A theory of causal explanation. Oxford University Press.

Download references

Acknowledgments

I would like to thank Alex Carruth for helpful comments on an earlier draft and the comments of anonymous referees for their helpful insights.

Funding

This work was supported by the John Templeton Foundation as part of the Durham Emergence Project.

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Mark Pexton.

Appendices

Appendix 1: Example MHD shock

As a concrete example consider an ideal magnetohydrodynamic (MHD) gas with a magnetic field B. We can ignore displacement currents and assume perfect conductivity, hence (in natural units):

$$ \mathbf{E}=-\mathbf{v}\times \mathbf{B},\mathbf{j}=\nabla \times \mathbf{B} $$

The energy density is given by:

$$ e=\frac{P}{\gamma -1}+\frac{1}{2}\rho {v}_x^2+\frac{{\mathbf{B}}^2}{2} $$

The gas pressure is \( P=\frac{a^2\rho }{\gamma } \) (a is the sound speed and γ is the polytropic index). This gives a set of conserved variables and fluxes:

$$ \mathbf{u}=\left(\begin{array}{c}\hfill \rho \hfill \\ {}\hfill \rho {v}_x\hfill \\ {}\hfill \rho {v}_y\hfill \\ {}\hfill \rho {v}_z\hfill \\ {}\hfill e\hfill \\ {}\hfill {B}_y\hfill \\ {}\hfill {B}_z\hfill \end{array}\right)\kern1em \mathbf{f}=\left(\begin{array}{c}\hfill \rho {v}_x\hfill \\ {}\hfill \rho {v}_x^2+P+\frac{{\mathrm{B}}^2}{2}-{B}_x^2\hfill \\ {}\hfill \rho {v}_x{v}_y-{B}_x{B}_y\hfill \\ {}\hfill \rho {v}_x{v}_z-{B}_x{B}_z\hfill \\ {}\hfill \left(e+P+\frac{{\mathbf{B}}^2}{2}\right){v}_x-{B}_x\mathbf{v}\cdot \mathbf{B}\hfill \\ {}\hfill {v}_x{B}_y-{v}_y{B}_x\hfill \\ {}\hfill {v}_x{B}_z-{v}_z{B}_x\hfill \end{array}\right) $$

An MHD gas can support three distinct waves (the eigenvalues of the Jacobian): slow (cs), fast (cf) and intermediate (ci).

$$ \begin{array}{l}{c}_{f,s}=\frac{1}{\sqrt{2}}{\left[{v}_A^2+{a}^2\pm \sqrt{v_A^4+{a}^4-2{v}_A^2{a}^2 \cos \left(2\theta \right)}\right]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$2$}\right.}\hfill \\ {}\kern5em {c}_i={v}_A \cos \left(\theta \right)\hfill \end{array} $$

Where θ is the angle between the direction of propagation and the upstream magnetic field, and \( {v}_A=\frac{\left|\mathbf{B}\right|}{\sqrt{\rho }} \) is the Alfven speed. From the jump conditions it is possible to show that:

$$ \left[\left(\frac{v_x^2}{c_i^2}-1\right){B}_z\right]=0 $$

Where B z is the transverse component of the magnetic field and v x is the flow velocity in the shock frame parallel to the direction of propagation.

Defining the flow velocity as (1): c f  < v x , (2): c i  < v x  < c f , (3): c S  < v x  < c i , (4): v x  < c s then six types of MHD shock are possible: fast (1 → 2), slow (3 → 4), and intermediate (1 → 3, 2 → 3, 1 → 4, 2 → 4).

From the jump conditions alone we can say what happens to B z for these types of shock. For fast shocks B z increases in magnitude but does not change sign. For slow shocks B z decreases in magnitude but does not change sign. For intermediate shocks B z changes sign and may increase or decrease in magnitude.

Appendix 2: Example flood waves and dissipative MHD shock

We can illustrate this we a simple example of flood waves. Imagine flood water running down a rectangular channel of constant inclination α. Call h the water depth, v the mean velocity and g gravitational acceleration. Then let g’ = g cos α and our initial values of h and v be h 0 and v 0 respectively.

We have conserved variables, fluxes and sources given by:

$$ \mathbf{u}=\left(\begin{array}{c}\hfill h\hfill \\ {}\hfill hv\hfill \end{array}\right),\mathbf{f}=\left(\begin{array}{c}\hfill hv\hfill \\ {}\hfill h{v}^2+\frac{1}{2}g^{\prime }{h}^2\hfill \end{array}\right),\mathbf{S}=\left(\begin{array}{c}\hfill 0\hfill \\ {}\hfill g^{\prime }h \tan \alpha -{v}^2g^{\prime}\frac{h_0}{v_0^2} \tan \alpha \hfill \end{array}\right) $$

This means we have frozen and equilibrium wavespeeds given by:

$$ \begin{array}{c}\hfill {a}_1=v+\sqrt{g^{\prime }h},{a}_2=v-\sqrt{g^{\prime }h},\hfill \\ {}\hfill b=\frac{3v}{2}\hfill \end{array} $$

For the uniform flow h = h 0, v = v 0 so the condition for stable uniform flow is:

$$ {v}_0-\sqrt{g^{\prime }{h}_0}<\frac{3{v}_0}{2}<{v}_0+\sqrt{g^{\prime }{h}_0} $$

From the Whitham criterion we can say that a shock in the equilibrium wavespeeds of speed Vs will not contain a sub-shock if:

$$ {v}^{(2)}-\sqrt{g^{\prime }{h}^{(2)}}<{V}_S<{v}^{(1)}+\sqrt{g^{\prime }{h}^{(1)}} $$

A simple example like flood waves only shows the interaction of two different scales. We can see how Whitham’s interleaving stability criterion can reflect a more complex interaction of multiple scales by considering the MHD system of section 3.

Let us now replace our simple expression for the electric field with a more complicated one (a realistic expression for a molecular cloud of different charged species if we neglect grain inertia):

$$ \mathbf{E}=-\mathbf{v}\times \mathbf{B}+{v}_{||}\left(\mathbf{j}\cdot \mathbf{B}\right)\widehat{\mathbf{B}}-{v}_H\left(\mathbf{j}\times \mathbf{B}\right)-{v}_P\left(\mathbf{j}\times \mathbf{B}\right)\times \widehat{\mathbf{B}} $$

Where \( {v}_{\left|\right|}=\frac{1}{\sigma_{\left|\right|}},{v}_H=\frac{\sigma_H}{\sigma_H^2+{\sigma}_P^2},{v}_P=\frac{\sigma_P}{\left({\sigma}_H^2+{\sigma}_P^2\right)} \). The components of the conductivity tensor are; the conductivity parallel to the magnetic field:

$$ {\sigma}_{||}=\frac{e}{B}{\displaystyle \sum_j{n}_j{Z}_j{\beta}_j} $$

The Hall conductivity:

$$ {\sigma}_H=\frac{e}{B}{\displaystyle \sum_j\frac{n_j{Z}_j}{1+{\beta}_j}} $$

The Pederson conductivity:

$$ {\sigma}_P=\frac{e}{B}{\displaystyle \sum_j\frac{n_j{Z}_j{\beta}_j}{1+{\beta}_j}} $$

Here β j is the Hall parameter (the product of gyrofrequency and the timescale for collisions with neutrals), Z j is the charge of species j, n j is the number density of species j and e and B are the electric charge and magnetic field magnitude respectively.

The system is now of the dissipative form:

$$ \frac{\partial \mathbf{u}}{\partial t}+\frac{\partial \mathrm{f}}{\partial x}=\frac{\partial }{\partial x}\mathbf{D}\frac{\partial \mathbf{u}}{\partial x} $$

Or linearizing:

$$ \frac{\partial \mathbf{u}}{\partial t}+\mathbf{A}\frac{\partial \mathbf{u}}{\partial x}=\mathbf{D}\frac{\partial^2\mathbf{u}}{\partial^2x} $$

If again we assume solutions of the form u = u 0 e i(ωt − kx) we get a dispersion relation:

$$ \left|\frac{\omega }{k}\mathbf{I}-\mathbf{A}-ik\mathbf{D}\right|=0 $$

Which produces a polynomial for the form:

$$ {Q}_0\left(\frac{\omega }{k}\right)-ik\left[{v}_{||}{Q}_1\left(\frac{w}{k}\right)+{v}_p{Q}_2\left(\frac{\omega }{k}\right)\right]-{k}^2\left({v}_{||}{v}_p+{v}_p^2+{v}_H^2\right){Q}_3\left(\frac{\omega }{k}\right) $$
$$ \begin{array}{l}{Q}_0\left(\frac{\omega }{k}\right)={\displaystyle {\prod}_{i=1}^7\left(\frac{\omega }{k}-{\lambda}_{0,i}\right),{Q}_{1,2}\left(\frac{\omega }{k}\right)={\displaystyle {\prod}_{i=1}^6\left(\frac{\omega }{k}-{\lambda}_{1,2,i}\right)},}\hfill \\ {}{Q}_3\left(\frac{\omega }{k}\right)={\displaystyle \prod_{i=1}^5\left(\frac{\omega }{k}-{\lambda}_{3,i}\right)}\hfill \end{array} $$

Where λ represents characteristic wavespeeds in the limit of the system to the respective coefficients, e.g., λ 0 are the wavespeeds of the ideal non-dissipative system.

$$ \begin{array}{l}{\lambda}_{0,i}={v}_{x,i},{v}_x\pm {c}_{f,s},{v}_x\pm {c}_i\cdot {\lambda}_{1,i}={v}_x,{v}_x,{v}_x\pm {c}_{f,s}\cdot {\lambda}_{2,i}={v}_x,{v}_x,{v}_x\pm g\pm \hfill \\ {}{\lambda}_{3,i}={v}_x,{v}_x,{v}_x,{v}_x\pm a\hfill \end{array} $$

Where:

$$ {g}_{\pm}^2=\frac{1}{2}\left[{a}^2+\frac{2{\mathbf{B}}^2{B}_x^2}{\rho \left({\mathbf{B}}^2+{B}_x^2\right)}\pm {\left[{\left({a}^2+\frac{2{\mathbf{B}}^2{B}_x^2}{\rho \left({\mathbf{B}}^2+{B}_x^2\right)}\right)}^2-\frac{4{a}^2{B}_x^2}{\rho}\right]}^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$2$}\right.}\right] $$

Again we can apply the Hermite-Biehler theorem and say that the uniform flow will be stable if the roots of the imaginary part interleave with the roots of the real part, i.e., Q 1,2 interleaves with Q 0 and Q 3 interleaves with Q 1,2. Similarly we can apply the interleaving condition to determine if we have a sub-shock. Note now that we have three scales interacting with each other to produce the final shock structure.

Fig. 4
figure 4

Schematic of a dissipative MHD shock. The figure on the left shows a smooth shock structure; on the right we have a sub-shock due to the interaction of higher-order waves. (Adapted from Pexton, M. Multi-fluid shocks, unpublished manuscript)

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Pexton, M. Emergence and interacting hierarchies in shock physics. Euro Jnl Phil Sci 6, 91–122 (2016). https://doi.org/10.1007/s13194-015-0126-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13194-015-0126-9

Keywords

Navigation