Explaining the emergence of stochastic irreversible macroscopic dynamics from time-reversible deterministic microscopic dynamics is one of the key problems in philosophy of physics. The Mori-Zwanzig projection operator formalism, which is one of the most important methods of modern nonequilibrium statistical mechanics, allows for a systematic derivation of irreversible transport equations from reversible microdynamics and thus provides a useful framework for understanding this issue. However, discussions of the MZ formalism in philosophy of physics tend to focus on simple variants rather than (...) on the more sophisticated ones used in modern physical research. In this work, I will close this gap by studying the problems of probability and irreversibility using the example of Grabert’s time-dependent projection operator formalism. This allows to better understand how general proposals for understanding probability in statistical mechanics, namely quantum approaches and almost-objective probabilities, can be accomodated in the MZ formalism. Moreover, I will provide a detailed physical analysis, based on the MZ formalism, of various proposals from the philosophical literature, such as Robertson’s theory of justifying coarse-graining via autonomous macrodynamics, Myrvold’s problem of explaining autonomous macrodynamics, and Wallace’s simple dynamical conjecture. (shrink)

The special composition question, which asks under which conditions objects compose a further object, establishes a central debate in modern metaphysics. Recent successes of inductive metaphysics, which studies the implications of the natural sciences for metaphysical problems, suggest that insights into the SCQ can be gained by investigating the physics of composite systems. In this work, I show that the minus first law of thermodynamics, which is concerned with the approach to equilibrium, leads to a new approach to the SCQ, (...) the thermodynamic composition principle : Multiple systems in thermal contact compose a single system. This principle, which is justified based on a systematic classification of possible mereological models for thermodynamic systems, might form the basis of an inductive argument for universalism. A formal analysis of the TCP is provided on the basis of mereotopology, which is a combination of mereology and topology. Here, “thermal contact” can be analyzed using the mereotopological predicate “self-connectedness”. Self-connectedness has to be defined in terms of mereological sums to ensure that scattered objects cannot be self-connected. (shrink)