Reconsidering the Foundations of Thermodynamics from an Engineering Perspective
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
How Dualists Should (Not) Respond to the Objection from Energy
c 2019 Imprint Academic Mind & Matter Vol. 17(1), pp. 95–121 How Dualists Should (Not) Respond to the Objection from Energy Conservation Alin C. Cucu International Academy of Philosophy Mauren, Liechtenstein and J. Brian Pitts Faculty of Philosophy and Trinity College University of Cambridge, United Kingdom Abstract The principle of energy conservation is widely taken to be a se- rious difficulty for interactionist dualism (whether property or sub- stance). Interactionists often have therefore tried to make it satisfy energy conservation. This paper examines several such attempts, especially including E. J. Lowe’s varying constants proposal, show- ing how they all miss their goal due to lack of engagement with the physico-mathematical roots of energy conservation physics: the first Noether theorem (that symmetries imply conservation laws), its converse (that conservation laws imply symmetries), and the locality of continuum/field physics. Thus the “conditionality re- sponse”, which sees conservation as (bi)conditional upon symme- tries and simply accepts energy non-conservation as an aspect of interactionist dualism, is seen to be, perhaps surprisingly, the one most in accord with contemporary physics (apart from quantum mechanics) by not conflicting with mathematical theorems basic to physics. A decent objection to interactionism should be a posteri- ori, based on empirically studying the brain. 1. The Objection from Energy Conservation Formulated Among philosophers of mind and metaphysicians, it is widely believed that the principle of energy conservation poses a serious problem to inter- actionist dualism. Insofar as this objection afflicts interactionist dualisms, it applies to property dualism of that sort (i.e., not epiphenomenalist) as much as to substance dualism (Crane 2001, pp. -
Realizing Monads
anDrás kornai Realizing Monads ABSTrACT We reconstruct monads as cyclic finite state automata whose states are what Leibniz calls perceptions and whose transitions are automatically triggered by the next time tick he calls entelechy. This goes some way toward explaining key as- pects of the Monadology, in particular, the lack of inputs and outputs (§7) and the need for universal harmony (§59). 1. INTrODUCTION Monads are important both in category theory and in programming language de- sign, clearly demonstrating that Leibniz is greatly appreciated as the conceptual forerunner of much of abstract thought both in mathematics and in computer sci- ence. Yet we suspect that Leibniz, the engineer, designer of the Stepped reck- oner, would use the resources of the modern world to build a very different kind of monad. Throughout this paper, we confront Leibniz with our contemporary scientific understanding of the world. This is done to make sure that what we say is not “concretely empty” in the sense of Unger (2014). We are not interested in what we can say about Leibniz, but rather in what Leibniz can say about our cur- rent world model. readers expecting some glib demonstration of how our current scientific theories make Leibniz look like a fool will be sorely disappointed. Looking around, and finding a well-built Calculus ratiocinator in Turing ma- chines, pointer machines, and similar abstract models of computation, Leibniz would no doubt consider his Characteristica Universalis well realized in modern proof checkers such as Mizar, Coq, or Agda to the extent mathematical deduc- tion is concerned, but would be somewhat disappointed in their applicability to natural philosophy in general. -
Orbital Mechanics
Orbital Mechanics These notes provide an alternative and elegant derivation of Kepler's three laws for the motion of two bodies resulting from their gravitational force on each other. Orbit Equation and Kepler I Consider the equation of motion of one of the particles (say, the one with mass m) with respect to the other (with mass M), i.e. the relative motion of m with respect to M: r r = −µ ; (1) r3 with µ given by µ = G(M + m): (2) Let h be the specific angular momentum (i.e. the angular momentum per unit mass) of m, h = r × r:_ (3) The × sign indicates the cross product. Taking the derivative of h with respect to time, t, we can write d (r × r_) = r_ × r_ + r × ¨r dt = 0 + 0 = 0 (4) The first term of the right hand side is zero for obvious reasons; the second term is zero because of Eqn. 1: the vectors r and ¨r are antiparallel. We conclude that h is a constant vector, and its magnitude, h, is constant as well. The vector h is perpendicular to both r and the velocity r_, hence to the plane defined by these two vectors. This plane is the orbital plane. Let us now carry out the cross product of ¨r, given by Eqn. 1, and h, and make use of the vector algebra identity A × (B × C) = (A · C)B − (A · B)C (5) to write µ ¨r × h = − (r · r_)r − r2r_ : (6) r3 { 2 { The r · r_ in this equation can be replaced by rr_ since r · r = r2; and after taking the time derivative of both sides, d d (r · r) = (r2); dt dt 2r · r_ = 2rr;_ r · r_ = rr:_ (7) Substituting Eqn. -
16.346 Astrodynamics Fall 2008
MIT OpenCourseWare http://ocw.mit.edu 16.346 Astrodynamics Fall 2008 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. Lecture 2 The Two Body Problem Continued The Eccentricity Vector or The Laplace Vector µ µe = v × h − r r Explicit Form of the Velocity Vector #3.1 Using the expansion of the triple vector product a × (b × c)=(a · c)b − (a · b)c we have µ h × µe = h × (v × h) − h × r = h2v − (h · v)h − µh × i = h2v − µh i × i r r h r since h and v are perpendicular. Therefore: µ h × µe =⇒ v = i × (e + i ) h h r or hv = i × (e i + i )=e i × i + i × i = e i + i µ h e r h e h r p θ Then since ip = sin f ir + cos f iθ we have hv = e sin f i +(1+e cos f) i µ r θ which is the basic relation for representing the velocity vector in the Hodograph Plane. See Page 1 of Lecture 4 Conservation of Energy hv hv p p 2 1 · = v · v = 2(1 + e cos f)+e 2 − 1=2× − (1 − e 2)=p − µ µ µ r r a which can be written in either of two separate forms each having its own name: 1 µ µ 1 Energy Integral v2 − = − = c 2 r 2a 2 3 2 1 Vis-Viva Integral v 2 = µ − r a The constant c3 is used by Forest Ray Moulton, a Professor at the University of Chicago in his 1902 book “An Introduction to Celestial Mechanics” — the first book on the subject written by an American. -
Leibniz' Dynamical Metaphysicsand the Origins
LEIBNIZ’ DYNAMICAL METAPHYSICSAND THE ORIGINS OF THE VIS VIVA CONTROVERSY* by George Gale Jr. * I am grateful to Marjorie Grene, Neal Gilbert, Ronald Arbini and Rom Harr6 for their comments on earlier drafts of this essay. Systematics Vol. 11 No. 3 Although recent work has begun to clarify the later history and development of the vis viva controversy, the origins of the conflict arc still obscure.1 This is understandable, since it was Leibniz who fired the initial barrage of the battle; and, as always, it is extremely difficult to disentangle the various elements of the great physicist-philosopher’s thought. His conception includes facets of physics, mathematics and, of course, metaphysics. However, one feature is essential to any possible understanding of the genesis of the debate over vis viva: we must note, as did Leibniz, that the vis viva notion was to emerge as the first element of a new science, which differed significantly from that of Descartes and Newton, and which Leibniz called the science of dynamics. In what follows, I attempt to clarify the various strands which were woven into the vis viva concept, noting especially the conceptual framework which emerged and later evolved into the science of dynamics as we know it today. I shall argue, in general, that Leibniz’ science of dynamics developed as a consistent physical interpretation of certain of his metaphysical and mathematical beliefs. Thus the following analysis indicates that at least once in the history of science, an important development in physical conceptualization was intimately dependent upon developments in metaphysical conceptualization. 1. -
Leibniz's Optics and Contingency in Nature
Leibniz's Optics and Contingency in Nature The Harvard community has made this article openly available. Please share how this access benefits you. Your story matters Citation McDonough, Jeffrey K. 2010. Leibniz's Optics and Contingency in Nature. Perspectives on Science 18(4): 432-455. Published Version doi:10.1162/POSC_a_00017 Citable link http://nrs.harvard.edu/urn-3:HUL.InstRepos:5128571 Terms of Use This article was downloaded from Harvard University’s DASH repository, and is made available under the terms and conditions applicable to Open Access Policy Articles, as set forth at http:// nrs.harvard.edu/urn-3:HUL.InstRepos:dash.current.terms-of- use#OAP Leibniz’s Optics and Contingency in Nature Jeffrey K. McDonough Department of Philosophy Harvard University 1 Abstract In the late 1670’s to early 1680’s, Leibniz came to hold that the laws of nature are paradigmatically contingent, that they provide the basis for a new argument from design, and that they presuppose the existence of active, goal-directed powers reminiscent of Aristotelian entelechies. In this essay, I argue that the standard view according to which Leibniz forges these signature theses in the domain of physics and opportunistically carries them over to the domain of optics gets things essentially the wrong way around. The crucial nexus of views at the heart of Leibniz’s mature philosophical understanding of the laws of nature has its most intelligible roots in his optical derivations, which appear to have paved the way – both historically and conceptually – for the philosophical significance he assigns to his discoveries in the domain of physics. -
What Is This Thing Called Knowledge?
what is this thing called knowledge? What is knowledge? Where does it come from? What kinds of knowledge are there? Can we know anything at all? This lucid and engaging introduction grapples with these central questions in the theory of knowledge, offering a clear, non-partisan view of the main themes of epistemology. Both traditional issues and contemporary ideas are discussed in sixteen easily digestible chapters, each of which conclude with a useful summary of the main ideas discussed, study questions, annotated further reading, and a guide to internet resources. Each chapter also features text boxes providing bite-sized summaries of key concepts and major philosophers, and clear and interesting examples are used throughout. The book concludes with an annotated guide to general introductions to epistemology, a glossary of key terms, and a summary of the main examples used in epistemology.This is an ideal first textbook on the theory of knowledge for undergraduates coming to philosophy for the first time. The third edition has been revised and updated throughout and features two new chapters, on religious knowledge and scientific knowledge, as part of a whole new section on what kinds of knowledge there are. In addition, the text as a whole has been refreshed to keep it up to date with current developments. Duncan Pritchard FRSE is Professor of Philosophy at the University of Edinburgh, UK. His main research area is epistemology, and he has published widely in this field, including the books Epistemic Luck (2005), Knowledge (2009), The Nature and Value of Knowledge (with A.Millar and A.Haddock, 2010), and Epistemological Disjunctivism (2012). -
Of Gods and Kings: Natural Philosophy and Politics in the Leibniz-Clarke Disputes Steven Shapin Isis, Vol. 72, No. 2. (Jun., 1981), Pp
Of Gods and Kings: Natural Philosophy and Politics in the Leibniz-Clarke Disputes Steven Shapin Isis, Vol. 72, No. 2. (Jun., 1981), pp. 187-215. Stable URL: http://links.jstor.org/sici?sici=0021-1753%28198106%2972%3A2%3C187%3AOGAKNP%3E2.0.CO%3B2-C Isis is currently published by The University of Chicago Press. Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/about/terms.html. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/journals/ucpress.html. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected]. http://www.jstor.org Mon Aug 20 10:29:37 2007 Of Gods and Kings: Natural Philosophy and Politics in the Leibniz-Clarke Disputes By Steven Shapin* FTER TWO AND A HALF CENTURIES the Newton-Leibniz disputes A continue to inflame the passions. -
Huygens and the Beginnings of Rational Mechanics
b. The addition of Torricellian principle and Galileo's principle of ascent=descent now allows the prior theory to be extended to remove idealizations, in the process removing discrepancies between theory and observation associated with them c. More exacting agreement with observation is being achieved not by adding independent ele- ments to the theory -- as Kepler would or as a theory of resistance would -- but out of largely the same theory, extended only to include Torricellian principle 6. This is the first place we have seen where discrepancies associated with idealizations are being addressed by removing the idealizations without really changing the theory a. When successful, an extremely powerful form of evidence for a theory, for not only dispensing with discrepancies, but showing that theory not ad hoc, since it can account for things beyond what it was originally intended to b. Also showing how effective the theory is in allowing information to be extracted from the world, for original theory the basis for interpreting the discrepancies to be from the idealizations, and not from something else V. "Rational Mechanics": in the Tradition of Huygens A. Leibniz versus Descartes on Conservation Laws 1. Leibniz, perhaps the foremost protegé of Huygens, had come to Paris from 1672 to 1676, asking Huygens for tutelage toward becoming a philosopher a. Huygens recommended that he concentrate on mathematics, working with him for the four years he remained in Paris, and corresponding with him from then on b. Leibniz announced the calculus in the new journal, Acta Eruditorum, in 1682, following it in 1684 with the watershed paper: "A new method for maxima and minima as well as tangents, which is impeded by neither fractional nor irrational quantities, and a remarkable type of calculus for this" -- the differential calculus 2. -
The Leibnizian-Newtonian Debates: Natural Philosophy and Social Psychology
The British Society for the History of Science !"#$%#&'(&)&*(+,#-./(&*($0#'*.#12$,*.34*5$6"&5/1/7"8$*(9$:/;&*5$618;"/5/<8 =3."/4>1?2$@*4/58($A5.&1 :/34;#2$!"#$B4&.&1"$C/34(*5$D/4$."#$E&1./48$/D$:;&#(;#F$G/5H$IF$,/H$J$>0#;HF$KLMN?F$77H$NJN+NMM 63'5&1"#9$'82$@*O'4&9<#$P(&Q#41&.8$64#11$/($'#"*5D$/D$!"#$B4&.&1"$:/;&#.8$D/4$."#$E&1./48 /D$:;&#(;# :.*'5#$PR%2$http://www.jstor.org/stable/4025501 =;;#11#92$KSTUITVUKU$VV2WS Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive only for your personal, non-commercial use. Please contact the publisher regarding any further use of this work. Publisher contact information may be obtained at http://www.jstor.org/action/showPublisher?publisherCode=cup. Each copy of any part of a JSTOR transmission must contain the same copyright notice that appears on the screen or printed page of such transmission. JSTOR is a not-for-profit service that helps scholars, researchers, and students discover, use, and build upon a wide range of content in a trusted digital archive. We use information technology and tools to increase productivity and facilitate new forms of scholarship. -
Conservation of Energy: Missing Features in Its Nature and Justification and Why They Matter Foundations of Science Special Issue on James Joule 29 February 2020
Conservation of Energy: Missing Features in Its Nature and Justification and Why They Matter Foundations of Science Special Issue on James Joule 29 February 2020 J. Brian Pitts University of Cambridge, Faculty of Philosophy, Cambridge, UK University of Lincoln, School of History and Heritage, Lincoln, UK [email protected] ORCID 0000-0002-7299-5137 February 29, 2020 Abstract Misconceptions about energy conservation abound due to the gap between physics and secondary school chemistry. This paper surveys this difference and its relevance to the 1690s-2010s Leibnizian argu- ment that mind-body interaction is impossible due to conservation laws. Justifications for energy conservation are partly empirical, such as Joule’s paddle wheel experiment, and partly theoretical, such as La- grange’s statement in 1811 that energy is conserved if the potential energy does not depend on time. In 1918 Noether generalized results like Lagrange’s and proved a converse: symmetries imply conserva- tion laws and vice versa. Conservation holds if and only if nature is uniform. 1 The rise of field physics during the 1860s-1920s implied that en- ergy is located in particular places and conservation is primordially local: energy cannot disappear in Cambridge and reappear in Lincoln instantaneously or later; neither can it simply disappear in Cambridge or simply appear in Lincoln. A global conservation law can be inferred in some circumstances. Einstein’s General Relativity, which stimulated Noether’s work, is another source of difficulty for conservation laws. As is too rarely real- ized, the theory admits conserved quantities due to symmetries of the Lagrangian, like other theories. -
Falsification and Falsificationism
Available online at www.worldscientificnews.com WSN 51 (2016) 62-71 EISSN 2392-2192 Falsification and falsificationism Karol Kraiński Faculty of Economics and Management, Nicolaus Copernicus University, 13a Gagarina Str., 87-100 Toruń, Poland E-mail address: [email protected] ABSTRACT Falsification is not meant to refute the theory, but only allows you to specify the probability of the truth of posed too. This action can be described as a set of hypotheses that have a researcher to help explain and describe the world around us. Keywords: falsification; falsificationism; counterfeiting; forg ery; fraud 1. INTRODUCTION Falsification (trans. NLC. Falsificatio = counterfeiting, forgery, fraud) ang. falsification; Ger. Falsifikatio. Proceedings aiming to overturn a sentence, that is, an attempt to demonstrate its falsity. Such a procedure usually involves three stages [6]: 1. derivation of appropriate logical consequences of forged hypothesis; those consequences must be sentences observation; 2. execution of relevant experience (observation, experiment, measurement); 3. confrontation with the results derived consequence experience and any decision to reject the hypothesis. Falsifies is usually not a single thesis, but some of their team. Falsification is the criterion on the basis of a scientific conception of science (K. R. Popper), according to which: a) the thesis must be subject to falsification; World Scientific News 51 (2016) 62-71 b) does not attach much importance to the verification procedure, since the assertion can sometimes completely subvert and never can not be completely verified (with the exception of statements regarding finite and relatively not-great number of objects); c) believes that the introduction of science thesis is not even verified valuable than refraining from introducing too insufficiently verified.