The reversibility objection against the Second Law of thermodynamics viewed, and avoided, from a logical point of view
The reversibility objection against the Second Law of thermodynamics viewed, and avoided, from a logical point of view
Loading...
Date
2019
Authors
Editors
Journal ISSN
Electronic ISSN
ISBN
Bibliographical data
Publisher
Series
URI (citable link)
DOI (citable link)
International patent number
Link to the license
EU project number
Project
Open Access publication
Collections
Title in another language
Publication type
Journal article
Publication status
Published
Published in
Studies in History and Philosophy of Science Part B : Studies in History and Philosophy of Modern Physics ; 66 (2019). - pp. 52-61. - ISSN 1355-2198. - eISSN 1879-2502
Abstract
In this paper we offer a formal-logical analysis of the famous reversibility objection against the Second Law of thermodynamics. We reconstruct the objection as a deductive argument leading to a contradiction, employing resources of standard quantified modal logic and thereby highlighting explicit and implicit assumptions with respect to possibility, identity, and their interaction. We then describe an alternative framework, case-intensional first order logic, that has greater expressive resources than standard quantified modal logic. We show that in that framework we can account for the role of sortals in possibility judgments. This allows us to formalize the relevant truths involved in the reversibility objection in such a way that no contradiction ensues. We claim that this analysis helps to understand in which way the Second Law is, specifically, a law of thermodynamics, but not of systems of particles in general.
Summary in another language
Subject (DDC)
100 Philosophy
Keywords
Conference
Review
undefined / . - undefined, undefined. - (undefined; undefined)
Cite This
ISO 690
MÜLLER, Thomas, 2019. The reversibility objection against the Second Law of thermodynamics viewed, and avoided, from a logical point of view. In: Studies in History and Philosophy of Science Part B : Studies in History and Philosophy of Modern Physics. 66, pp. 52-61. ISSN 1355-2198. eISSN 1879-2502. Available under: doi: 10.1016/j.shpsb.2018.09.002BibTex
@article{Muller2019-05rever-46273, year={2019}, doi={10.1016/j.shpsb.2018.09.002}, title={The reversibility objection against the Second Law of thermodynamics viewed, and avoided, from a logical point of view}, volume={66}, issn={1355-2198}, journal={Studies in History and Philosophy of Science Part B : Studies in History and Philosophy of Modern Physics}, pages={52--61}, author={Müller, Thomas} }
RDF
<rdf:RDF xmlns:dcterms="http://purl.org/dc/terms/" xmlns:dc="http://purl.org/dc/elements/1.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:void="http://rdfs.org/ns/void#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/46273"> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/> <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/46273/3/Mueller_2-h4ihu76p1pzj1.pdf"/> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> <dc:creator>Müller, Thomas</dc:creator> <dcterms:issued>2019-05</dcterms:issued> <dcterms:abstract xml:lang="eng">In this paper we offer a formal-logical analysis of the famous reversibility objection against the Second Law of thermodynamics. We reconstruct the objection as a deductive argument leading to a contradiction, employing resources of standard quantified modal logic and thereby highlighting explicit and implicit assumptions with respect to possibility, identity, and their interaction. We then describe an alternative framework, case-intensional first order logic, that has greater expressive resources than standard quantified modal logic. We show that in that framework we can account for the role of sortals in possibility judgments. This allows us to formalize the relevant truths involved in the reversibility objection in such a way that no contradiction ensues. We claim that this analysis helps to understand in which way the Second Law is, specifically, a law of thermodynamics, but not of systems of particles in general.</dcterms:abstract> <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by/4.0/"/> <dc:rights>Attribution 4.0 International</dc:rights> <foaf:homepage rdf:resource="http://localhost:8080/"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-07-09T14:51:38Z</dc:date> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/40"/> <dcterms:title>The reversibility objection against the Second Law of thermodynamics viewed, and avoided, from a logical point of view</dcterms:title> <dc:contributor>Müller, Thomas</dc:contributor> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2019-07-09T14:51:38Z</dcterms:available> <dc:language>eng</dc:language> <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/46273/3/Mueller_2-h4ihu76p1pzj1.pdf"/> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/46273"/> </rdf:Description> </rdf:RDF>
Internal note
xmlui.Submission.submit.DescribeStep.inputForms.label.kops_note_fromSubmitter
Examination date of dissertation
Method of financing
Comment on publication
Alliance license
Corresponding Authors der Uni Konstanz vorhanden
International Co-Authors
Bibliography of Konstanz
Yes
Refereed
Yes