Logic and thermodynamics: the heat-engine axiomatics of the second law

http://cds.cern.ch, 2003. — 3 p. We challenge the statement that the principle of Thomson and the principle of Clausius are equivalent. A logical mistake in the supposed textbook proof of their equivalency is indicated. On this account we refine the heat-engine axiomatics. We consider the energy exchange in the configuration comprised of two heat reservoirs and one mechanical device and show explicitly the domains banned by the laws of thermodynamics.