The connection between logical and thermodynamic irreversibility


Authors
James Ladyman
University of Bristol
Abstract
There has recently been a good deal of controversy about Landauer's Principle, which is often stated as follows: The erasure of one bit of information in a computational device is necessarily accompanied by a generation of kTln2 heat. This is often generalised to the claim that any logically irreversible operation cannot be implemented in a thermodynamically reversible way. John Norton (2005) and Owen Maroney (2005) both argue that Landauer's Principle has not been shown to hold in general, and Maroney offers a method that he claims instantiates the operation Reset in a thermodynamically reversible way. In this paper we defend the qualitative form of Landauer's Principle, and clarify its quantitative consequences (assuming the second law of thermodynamics). We analyse in detail what it means for a physical system to implement a logical transformation L, and we make this precise by defining the notion of an L-machine. Then we show that logical irreversibility of L implies thermodynamic irreversibility of every corresponding L-machine. We do this in two ways. First, by assuming the phenomenological validity of the Kelvin statement of the second law, and second, by using information-theoretic reasoning. We illustrate our results with the example of the logical transformation 'Reset', and thereby recover the quantitative form of Landauer's Principle.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.shpsb.2006.03.007
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 40,683
Through your library

References found in this work BETA

Bluff Your Way in the Second Law of Thermodynamics.Jos Uffink - 2001 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 32 (3):305-394.
Eaters of the Lotus: Landauer's Principle and the Return of Maxwell's Demon.John D. Norton - 2004 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (2):375-411.
Notes on Landauer's Principle, Reversible Computation, and Maxwell's Demon.Charles H. Bennett - 2003 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 34 (3):501-510.
Exorcist XIV: The Wrath of Maxwell's Demon. Part I. From Maxwell to Szilard.John Earman & John D. Norton - 1998 - Studies in History and Philosophy of Modern Physics 29 (4):435-471.
The Relationship Between Thermodynamic and Logical Reversibility.O. J. E. Maroney - 2005 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 36 (2):355-374.

View all 6 references / Add more references

Citations of this work BETA

Waiting for Landauer.John D. Norton - 2011 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 42 (3):184-198.
Time in Thermodynamics.Jill North - 2011 - In Criag Callender (ed.), The Oxford Handbook of Philosophy of Time. Oxford University Press. pp. 312--350.
Does a Computer Have an Arrow of Time?Owen J. E. Maroney - 2010 - Foundations of Physics 40 (2):205-238.

View all 13 citations / Add more citations

Similar books and articles

The Thought Experiment of Maxwell’s Demon and the Origin of Irreversibility.Aspasia S. Moue - 2008 - Journal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 39 (1):69 - 84.
The Arrow of Time and Meaning.Pierre Uzan - 2007 - Foundations of Science 12 (2):109-137.
The Logical Connection Argument and de Re Necessity.William D. Gean - 1975 - American Philosophical Quarterly 12 (4):349 - 354.
A Rule of Minimal Rationality: The Logical Link Between Beliefs and Values.Jeffrey Foss - 1976 - Inquiry: An Interdisciplinary Journal of Philosophy 19 (1-4):341 – 353.
Relativistic Transformations of Thermodynamic Quantities.Noam Agmon - 1977 - Foundations of Physics 7 (5-6):331-339.
Landauer Defended: Reply to Norton.James Ladyman & Katie Robertson - 2013 - Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 44 (3):263-271.
Reviving the Logical Connection Argument.James Otten - 1977 - Canadian Journal of Philosophy 7 (4):725-743.

Analytics

Added to PP index
2009-01-28

Total views
122 ( #59,639 of 2,242,901 )

Recent downloads (6 months)
10 ( #128,478 of 2,242,901 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature