The concept of 'measurement' becomes so fuzzy on reflection that it is quite surprising to have it appearing in physical theory at the most fundament… - John Stewart Bell

I expect that mathematicians have classified such s. Certainly they have been much used by physicists. But is there not something to be said for the approach of Euclid? Even now that we know that is (in some sense) not quite true? Is it not good to know what follows from what, even if it is not necessarily FAPP? Suppose for example that quantum mechanics were found to resist precise formulation. Suppose that when formulation beyond FAPP was attempted, we find an unmovable finger obstinately pointing outside the subject, to the mind of the observer, to the Hindu scriptures, to God, or even only Gravitation? Would that not be very, very interesting?

I am a Quantum Engineer, but on Sundays I Have Principles.

The concepts 'system', 'apparatus', 'environment', immediately imply an artificial division of the world, and an intention to neglect, or take only schematic account of, the interaction across the split. The notions of 'microscopic' and 'macroscopic' defy precise definition. So also do the notions of 'reversible' and 'irreversible'.