<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	xmlns:georss="http://www.georss.org/georss" xmlns:geo="http://www.w3.org/2003/01/geo/wgs84_pos#" xmlns:media="http://search.yahoo.com/mrss/"
	>

<channel>
	<title>The truth makes me fret.</title>
	<atom:link href="http://aeolist.wordpress.com/feed/" rel="self" type="application/rss+xml" />
	<link>http://aeolist.wordpress.com</link>
	<description>An online notepad. Most of what you read here is probably wildly inaccurate.</description>
	<lastBuildDate>Mon, 20 May 2013 20:57:02 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.com/</generator>
<cloud domain='aeolist.wordpress.com' port='80' path='/?rsscloud=notify' registerProcedure='' protocol='http-post' />
<image>
		<url>http://s2.wp.com/i/buttonw-com.png</url>
		<title>The truth makes me fret.</title>
		<link>http://aeolist.wordpress.com</link>
	</image>
	<atom:link rel="search" type="application/opensearchdescription+xml" href="http://aeolist.wordpress.com/osd.xml" title="The truth makes me fret." />
	<atom:link rel='hub' href='http://aeolist.wordpress.com/?pushpress=hub'/>
		<item>
		<title>More on Frisch</title>
		<link>http://aeolist.wordpress.com/2012/02/12/more-on-frisch/</link>
		<comments>http://aeolist.wordpress.com/2012/02/12/more-on-frisch/#comments</comments>
		<pubDate>Sun, 12 Feb 2012 06:56:35 +0000</pubDate>
		<dc:creator>Ponder Stibbons</dc:creator>
				<category><![CDATA[philosophy]]></category>
		<category><![CDATA[physics]]></category>

		<guid isPermaLink="false">http://aeolist.wordpress.com/?p=1034</guid>
		<description><![CDATA[More puzzlement about something in Frisch&#8217;s book. On p. 17: These is disagreement between those who think that the domains of applicability of all scientific theories are essentially limited and those who have a hierarchical conception of science according to which the ultimate aim of science is to discover some universal theory of everything. My [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=1034&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>More puzzlement about something in <a href="http://www.amazon.com/gp/product/0195172159?ie=UTF8&amp;tag=thetrutmakeme-20&amp;linkCode=xm2&amp;camp=1789&amp;creativeASIN=0195172159">Frisch&#8217;s book</a>. On p. 17:</p>
<blockquote><p>These is disagreement between those who think that the domains of applicability of <em>all </em>scientific theories are essentially limited and those who have a hierarchical conception of science according to which the ultimate aim of science is to discover some universal theory of everything. My claim that classical electrodynamics is (and to the best of our knowledge will remain) one of the core theories of physics is independent of that debate&#8230; For, first, we need to distinguish between the <em>content</em> of a theory and our <em>attitude</em> toward that content. Even if we took the content of classical electrodynamics to be given by universal claims with unrestricted scope about classical electromagnetic worlds, our attitude can be that we accept or endorse those claims only insofar as they concern phenomena within the theory&#8217;s domain of validity.</p></blockquote>
<p>Unlike Frisch, I do not see the point (other than the obvious rhetorical one of avoiding terminological disputes) of distinguishing between the content of a theory and our attitude towards it. Under Frisch&#8217;s account, that part of the content of the theory that encompasses claims about what the entire universe is like is irrelevant to our knowledge of the physical world, because we accept only claims of the theory that fall within the theory&#8217;s domain of validity. What, then, is the purpose of attributing these useless claims, which have no bearing on our knowledge of the world, to the content of the theory?</p>
<p>It may sound here like I am just arguing about terminology, but I do think this particular use of language, which is deeply entrenched in philosophy of physics, is pernicious. It is pernicious because by elevating some particular construal of the mathematical structure of the theory to be straightforwardly &#8220;the content&#8221; of the theory, one is led to an overemphasis on the mathematical structure as being informative about the world, while overlooking the informativeness inherent in how that structure fails to perfectly map onto the world. This terminology in effect provides a licence to focus solely on formal features of the mathematical structure as being the &#8220;essence&#8221; of the theory without seriously considering how the structure hooks on to the actual world, as opposed to how it hooks on to the philosopher&#8217;s possible worlds.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/aeolist.wordpress.com/1034/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/aeolist.wordpress.com/1034/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=1034&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://aeolist.wordpress.com/2012/02/12/more-on-frisch/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/11d2547d938c21d53968d6d048a851d3?s=96&#38;d=identicon" medium="image">
			<media:title type="html">Ponder Stibbons</media:title>
		</media:content>
	</item>
		<item>
		<title>Frisch on reliable theories</title>
		<link>http://aeolist.wordpress.com/2012/02/12/frisch-on-reliable-theories/</link>
		<comments>http://aeolist.wordpress.com/2012/02/12/frisch-on-reliable-theories/#comments</comments>
		<pubDate>Sun, 12 Feb 2012 06:25:54 +0000</pubDate>
		<dc:creator>Ponder Stibbons</dc:creator>
				<category><![CDATA[philosophy]]></category>
		<category><![CDATA[physics]]></category>
		<category><![CDATA[science]]></category>

		<guid isPermaLink="false">http://aeolist.wordpress.com/?p=995</guid>
		<description><![CDATA[There&#8217;s a really confusing passage in p. 42 of Mathias Frisch&#8217;s book on inconsistency in classical electrodynamics. He suggests, in response to the &#8220;problem&#8221; of inconsistency in classical electrodynamics, that we modify our account of theory acceptance: this problem disappears if in accepting a theory, we are committed to something weaker than the truth of [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=995&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>There&#8217;s a really confusing passage in p. 42 of Mathias Frisch&#8217;s <a href="http://www.amazon.com/gp/product/0195172159?ie=UTF8&amp;tag=thetrutmakeme-20&amp;linkCode=xm2&amp;camp=1789&amp;creativeASIN=0195172159">book</a> on inconsistency in classical electrodynamics. He suggests, in response to the &#8220;problem&#8221; of inconsistency in classical electrodynamics, that we modify our account of theory acceptance:</p>
<blockquote><p>this problem disappears if in accepting a theory, we are committed to something weaker than the truth of the theory&#8217;s empirical consequences. I want to suggest that in accepting a theory, our commitment is only that the theory allows us to construct successful models of the phenomena in its domain, where part of what it is for a model to be successful is that it represents the phenomenon at issue to whatever degree of accuracy is appropriate in the case at issue. That is, in accepting a theory we are committed to the claim that the theory is <em>reliable</em>, but we are not committed to its literal truth or even just of its empirical consequences. This does not mean that we have to be instrumentalists. Our commitment might also extend to the ontology or the &#8216;mechanisms&#8217; postulated by the theory. Thus, a scientific realist might be committed to the reality of electrons and of the electromagnetic field, yet demand only that electromagnetic models represent the behavior of these &#8216;unobservables&#8217; reliably, while an empiricist could be content with the fact that the models are reliable as far as the theory&#8217;s observable consequences are concerned.</p>
<p>If acceptance involves only a commitment to the reliability of a theory, then accepting an inconsistent theory can be compatible with our standards of rationality, as long as inconsistent consequences of the theory agree approximately and to the appropriate degree of accuracy&#8230; our commitment can extend to mutually inconsistent subsets of a theory as long as predictions based on mutually inconsistent subsets agree approximately.*</p></blockquote>
<p>What confuses me about this is that I do not know what Frisch could mean by a theory being reliable apart from its consistently producing predictions that agree with experiment. Frisch wants to avoid instrumentalism by claiming that in accepting a theory, all we are committed not just to the observable consequences of the theory, but also possibly to the reality of the ontology and mechanisms of the theory. That is, in accepting the theory of electrodynamics, we might also be committed to the claim that electromagnetic models represent the behavior of &#8216;unobservables&#8217; like ontology and mechanisms reliably. But what does it mean to represent reliably, apart from being a representation that reliably leads to predictions that agree with experiment? What does Frisch mean in the excerpt above by &#8220;represents the phenomenon at issue to whatever degree of accuracy is appropriate&#8221;? How can degrees of accuracy be attributed to representations over and above the accuracy of their experimental predictions?</p>
<p>Incidentally, I&#8217;m appalled at how expensive Frisch&#8217;s book is now. I bought it for $9 on Amazon when OUP slashed prices after having decided to stop printing it. Now it costs $60. The Kindle Edition costs $53.72!</p>
<p>* Frisch, M. (2005). <em>Inconsistency, Asymmetry, and Non-Locality: A Philosophical Investigation of Classical</em><em>Electrodynamics</em>. Oxford University Press, USA.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/aeolist.wordpress.com/995/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/aeolist.wordpress.com/995/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=995&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://aeolist.wordpress.com/2012/02/12/frisch-on-reliable-theories/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/11d2547d938c21d53968d6d048a851d3?s=96&#38;d=identicon" medium="image">
			<media:title type="html">Ponder Stibbons</media:title>
		</media:content>
	</item>
		<item>
		<title>What is a &#8216;fundamental theory&#8217;?</title>
		<link>http://aeolist.wordpress.com/2011/03/20/what-is-a-fundamental-theory/</link>
		<comments>http://aeolist.wordpress.com/2011/03/20/what-is-a-fundamental-theory/#comments</comments>
		<pubDate>Sun, 20 Mar 2011 20:37:49 +0000</pubDate>
		<dc:creator>Ponder Stibbons</dc:creator>
				<category><![CDATA[philosophy]]></category>
		<category><![CDATA[physics]]></category>

		<guid isPermaLink="false">http://aeolist.wordpress.com/?p=988</guid>
		<description><![CDATA[&#8216;Fundamental theory&#8217; is a phrase that is often used by philosophers and scientists alike, but I&#8217;m not sure what they mean by that. In this paper, Mathias Frisch writes: In the case of non-fundamental theories, domain restrictions may also include restrictions to certain length- or energy-scales. This suggests that fundamental theories are supposed to apply [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=988&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>&#8216;Fundamental theory&#8217; is a phrase that is often used by philosophers and scientists alike, but I&#8217;m not sure what they mean by that. In <a href="http://dx.doi.org/10.1111/j.1747-9991.2008.00192.x">this paper</a>, Mathias Frisch writes:</p>
<blockquote><p>In the case of non-fundamental theories, domain restrictions may also include restrictions to certain length- or energy-scales.</p></blockquote>
<p>This suggests that fundamental theories are supposed to apply to all length- and energy-scales.</p>
<p>In the paper that Frisch is replying to, Gordon Belot <a href="http://muse.jhu.edu/journals/canadian_journal_of_philosophy/v037/37.2belot.pdf">writes</a>:</p>
<blockquote><p>We will of course need further principles that demarcate the domain of applicability of each theory &#8212; but <em>every</em> non-fundamental theory involves such principles.</p></blockquote>
<p>Do fundamental theories, then, have no such restrictions on their domains of applicability? If so, does that mean that fundamental theories are just &#8216;theories of everything&#8217;? Does it also mean that we have no real examples of fundamental theories for our world, since all of our theories apply only to limited kinds or arrangements of matter?</p>
<p>Elena Castellani <a href="http://dx.doi.org/10.1016/S1355-2198(02)00003-5">gives</a> a quite different account of &#8216;fundamental physics&#8217;:</p>
<blockquote><p>“fundamental physics” is the physics concerned with the search for the ultimate constituents of the universe and the laws governing their behavior and interactions. Fundamentality, on this view, is the prerogative of the physics of smaller and smaller distances (or higher and higher energies), and, accordingly, particle physics and cosmology are currently identified as the fields where the quest for the “final theory” takes place.</p></blockquote>
<p>I find the quick move from &#8216;fundamentality&#8217; to &#8216;finality&#8217; in her last sentence quite intriguing. But that aside, note that Castellani here takes fundamental physics to refer to the study of the &#8220;ultimate constituents&#8221; of the universe and their behaviour. This characterisation is quite different from Frisch&#8217;s &#8212; Castellani&#8217;s &#8216;fundamental physics&#8217; may involve a restriction to certain length scales (the very small). But perhaps she has a notion of &#8216;fundamental theory&#8217; that is distinct from that of &#8216;fundamental physics&#8217;.</p>
<p>In fact, although they never explicitly state this, the discussion between Frisch and Belot regarding the consistency of classical electrodynamics often refers to a certain subset of the equations of classical electrodynamics as characterising the &#8216;fundamental theory&#8217;, with other subsets being non-fundamental theories of classical electrodynamics. But we know that classical electrodynamics has a limited domain of applicability. So I&#8217;m not sure what they mean by &#8216;fundamental theory&#8217; in this context.</p>
<p>There is also a notion of &#8216;fundamental&#8217; at work that talks about theories being more or less fundamental than other theories, but may not call any one theory &#8216;fundamental&#8217; tout court. <a href="http://dx.doi.org/10.1016/S1355-2198(01)00005-3">Stephan Hartmann</a>, for example, characterises one theory as &#8216;more fundamental&#8217; than another if it covers a broader range of energy scale which includes the energy scales at which the &#8216;less fundamental&#8217; theory is valid. In the same paper, Hartmann quotes Steven Weinberg as claiming that a more fundamental theory is ‘on a level closer to the source of the arrows of explanation than other areas of physics&#8217;. However, this characterisation doesn&#8217;t mesh so well with debates in philosophy of science about whether a less fundamental theory can explain phenomena better than a more fundamental theory. If theories are to be defined as more fundamental according to the &#8216;arrows of explanation&#8217;, then it is simply by definition that there are no phenomena that can be explained better by less fundamental theories.</p>
<p>Next, we have Carlo Rovelli, who <a href="http://www.amazon.com/gp/product/0521602726?ie=UTF8&amp;tag=thetrutmakeme-20&amp;linkCode=xm2&amp;camp=1789&amp;creativeASIN=0521602726">suggests that a limited domain of validity renders a theory non-fundamental, yet claims that QFT is &#8220;the fundamental theory of motion&#8221;</a> (p. 257 of the linked book):</p>
<blockquote><p>
General relativity cannot be seen as a &#8216;fundamental&#8217; theory since it neglects the quantum behavior of the gravitational field, but many of the directions that are explored with the aim of finding a quantum theory of the gravitational field and/or extending the Standard Model &#8212; perhaps to a theory of everything &#8212; are grounded in QFT. Thus, one may regard QFT as <em>the fundamental theory of motion</em> at our present stage of knowledge &#8212; playing the role that Newtonian mechanics and its Lagrangian and Hamiltonian extensions played in the eighteenth and nineteenth centuries.
</p></blockquote>
<p>Rovelli seems to be implying here that a &#8216;fundamental&#8217; theory is one that proves to be fruitful in a large number of ways &#8212; at least that&#8217;s what I take his comparison with Newtonian mechanics, and his quip about the current role of quantum field theory, to imply. Yet he disqualifies GR as a fundamental theory on account of its neglect of quantum behavior.</p>
<p>So, what <em>is</em> a fundamental theory?</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/aeolist.wordpress.com/988/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/aeolist.wordpress.com/988/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=988&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://aeolist.wordpress.com/2011/03/20/what-is-a-fundamental-theory/feed/</wfw:commentRss>
		<slash:comments>8</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/11d2547d938c21d53968d6d048a851d3?s=96&#38;d=identicon" medium="image">
			<media:title type="html">Ponder Stibbons</media:title>
		</media:content>
	</item>
		<item>
		<title>Tyndall on the Value of Science</title>
		<link>http://aeolist.wordpress.com/2011/02/15/tyndall-on-the-value-of-science/</link>
		<comments>http://aeolist.wordpress.com/2011/02/15/tyndall-on-the-value-of-science/#comments</comments>
		<pubDate>Tue, 15 Feb 2011 22:49:06 +0000</pubDate>
		<dc:creator>Ponder Stibbons</dc:creator>
				<category><![CDATA[science]]></category>

		<guid isPermaLink="false">http://aeolist.wordpress.com/?p=984</guid>
		<description><![CDATA[The old applications vs intrinsic value debate again. But I just love the way Tyndall writes: Thus, in brief outline, have been brought before you a few of the results of recent enquiry. If you ask me what is the use of them, I can hardly answer you, unless you define the term use. If [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=984&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>The old applications vs intrinsic value debate again. But I just love the way Tyndall writes:</p>
<blockquote><p>Thus, in brief outline, have been brought before you a few of the results of recent enquiry. If you ask me what is the use of them, I can hardly answer you, unless you define the term use. If you meant to ask whether those dark rays which clear away the Alpine snows, will ever be applied to the roasting of turkeys, or the driving of steam-engines &#8212; while affirming their power to do both, I would frankly confess that they are not at present capable of competing profitably with coal in these particulars. Still they may have great uses unknown to me; and when our coal-fields are exhausted, it is possible that a more ethereal race than we are may cook their victuals, and perform their work, in this transcendental way. But is it necessary that the student of science should have his labours tested by their possible practical applications? What is the practical value of Homer&#8217;s Iliad? You smile, and possibly think that Homer&#8217;s Iliad is good as a means of culture. There&#8217;s the rub. The people who demand of science practical uses, forget, or do not know, that it also is great as a means of culture &#8212; that the knowledge of this wonderful universe is a thing profitable in itself, and requiring no practical application to justify its pursuit.</p>
<p>But while the student of Nature distinctly refuses to have his labours judged by their practical issues, unless the term practical be made to include mental as well as material good, he knows full well that the greatest practical triumphs have been episodes in the search after pure natural truth. The electric telegraph is the standing wonder of this age, and the men whose scientific knowledge, and mechanical skill, have made the telegraph what it is, are deserving of all honour. In fact, they have had their reward, both in reputation and in those more substantial benefits which the direct service of the public always carries in its train. But who, I would ask, put the soul into this telegraphic body? Who snatched from heaven the fire that flashes along the line? This, I am bound to say, was done by two men, the one a dweller in Italy,* the other a dweller in England,** who never in their enquiries consciously set a practical object before them &#8212; whose only stimulus was the fascination which draws the climber to a never-trodden peak, and would have made Caesar quit his victories for the sources of the Nile. That the knowledge brought to us by those prophets, priests, and kings of science is what the world calls &#8216;useful knowledge&#8217;, the triumphant application of their discoveries proves. But science has another function to fulfil, in the storing and the training of the human mind; and I would base my appeal to you on the specimen which has this evening been brought before you, whether any system of education at the present day can be deemed even approximately complete, in which the knowledge of Nature is neglected or ignored.
</p></blockquote>
<p>That was from <a href="http://books.google.com/books?id=-RMqAAAAYAAJ">Fragments of Science</a>, vol. 1, pp. 94-5.</p>
<p>*Volta.<br />
**Faraday.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/aeolist.wordpress.com/984/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/aeolist.wordpress.com/984/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=984&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://aeolist.wordpress.com/2011/02/15/tyndall-on-the-value-of-science/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/11d2547d938c21d53968d6d048a851d3?s=96&#38;d=identicon" medium="image">
			<media:title type="html">Ponder Stibbons</media:title>
		</media:content>
	</item>
		<item>
		<title>Metaphysics and Effective Theories</title>
		<link>http://aeolist.wordpress.com/2011/02/11/metaphysics-and-effective-theories/</link>
		<comments>http://aeolist.wordpress.com/2011/02/11/metaphysics-and-effective-theories/#comments</comments>
		<pubDate>Fri, 11 Feb 2011 21:21:24 +0000</pubDate>
		<dc:creator>Ponder Stibbons</dc:creator>
				<category><![CDATA[philosophy]]></category>
		<category><![CDATA[physics]]></category>

		<guid isPermaLink="false">http://aeolist.wordpress.com/?p=981</guid>
		<description><![CDATA[I&#8217;ve lately been finding it really difficult to get myself interested in alleged metaphysical issues stemming from assuming that a certain physical theory applies to the entire universe. Many of the &#8216;philosophical&#8217; problems of quantum mechanics, for example, are of this ilk, as are many in algebraic quantum field theory and general relativity. The standard [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=981&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>I&#8217;ve lately been finding it really difficult to get myself interested in alleged metaphysical issues stemming from assuming that a certain physical theory applies to the entire universe. Many of the &#8216;philosophical&#8217; problems of quantum mechanics, for example, are of this ilk, as are many in algebraic quantum field theory and general relativity.</p>
<p>The standard practice in philosophy of physics is to use a so-called fundamental theory for your metaphysical inferences. Effective theories are for the most part ignored. The intuition is that the &#8216;fundamental theory&#8217; describes &#8216;what is really out there&#8217; while effective theories are somehow more phenomenological, or derivative of the fundamental theory (and hence need not be considered in addition to the fundamental theory).</p>
<p>A question arose in class today as to why is it that people who worry about entanglement in quantum mechanics typically worry about it in relation to special relativity rather than general relativity. The standard answer is that gravity is an effect that is negligible in the entanglement experiments we are considering, so we do not have to worry about what a quantum theory of gravity would have to say about the issue.</p>
<p>That got me wondering about how far someone could use that answer and still maintain that it is useful to figure out what the metaphysics of our world is by supposing that quantum mechanics applies to the entire universe. My worry is this. By using the &#8216;gravity is negligible&#8217; reason, one is admitting that quantum mechanics is really just another effective theory &#8212; it has a limited domain of application. If so, then either</p>
<ol>
<li>One thinks that in general it is legitimate to derive metaphysical conclusions using effective theories, or</li>
<li>One thinks that there is something special about quantum mechanics as an effective theory, which allows one to derive metaphysical conclusions from it, as opposed to other effective theories that are typically ignored (e.g. effective field theories).</li>
</ol>
<p>If one goes with 1., then it seems to me that the right way to do scientifically-informed metaphysics is to take the various theories we have as each being informative about their respective domains of applicability. This has the implication that <em>we should not be applying quantum mechanics to the entire universe and taking the metaphysical implications of that seriously</em>. For it is classical theories that are most effective at large size scales, not quantum mechanics.</p>
<p>As for 2., I am still struggling to imagine what could be special about quantum mechanics that licenses us to treat it in a different way from other effective theories. One possible reason is that one thinks that the most important aspects of quantum mechanics will still persist in a &#8216;final theory&#8217; which applies to the entire universe. But whatever these preserved aspects are, it&#8217;s not clear to me that they are the same aspects as those that lead to the traditional philosophical problems in quantum mechanics. It might be that the mathematics of the final theory is such that the problems with locality and whatnot that manifest themselves in quantum mechanics are somehow dodged. One can apply the same consideration to other issues in philosophy of physics. Maybe underdetermination in general relativity won&#8217;t actually translate to an underdetermination problem in the final theory.</p>
<p>In addition, if you look at the history of physics, it doesn&#8217;t seem to me that the aspects of older theories that are preserved in newer theories are those which tend to preserve philosophical problems in the older theories. It doesn&#8217;t seem to me as though <em>any</em> of the aspects of classical physics that are preserved in quantum mechanics are those that are philosophically problematic for either theory. In other words, the <em>robust</em> aspects of physical theories often aren&#8217;t those that lead to traditional philosophical problems.</p>
<p>Someone help me out here. I seem to be missing out on a lot of fun by being so pessimistic about this enterprise of reading metaphysics off &#8216;fundamental&#8217; theories.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/aeolist.wordpress.com/981/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/aeolist.wordpress.com/981/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=981&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://aeolist.wordpress.com/2011/02/11/metaphysics-and-effective-theories/feed/</wfw:commentRss>
		<slash:comments>13</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/11d2547d938c21d53968d6d048a851d3?s=96&#38;d=identicon" medium="image">
			<media:title type="html">Ponder Stibbons</media:title>
		</media:content>
	</item>
		<item>
		<title>Epistemic opacity in simulations</title>
		<link>http://aeolist.wordpress.com/2011/01/10/epistemic-opacity-in-simulations/</link>
		<comments>http://aeolist.wordpress.com/2011/01/10/epistemic-opacity-in-simulations/#comments</comments>
		<pubDate>Tue, 11 Jan 2011 03:55:19 +0000</pubDate>
		<dc:creator>Ponder Stibbons</dc:creator>
				<category><![CDATA[mathematics]]></category>
		<category><![CDATA[philosophy]]></category>
		<category><![CDATA[science]]></category>

		<guid isPermaLink="false">http://aeolist.wordpress.com/?p=970</guid>
		<description><![CDATA[This post is the result of reading Wittgenstein and the philosophy of simulation literature in close temporal proximity. Here is Paul Humphreys on epistemic opacity in computer simulations: a process is epistemically opaque relative to a cognitive agent X at time t just in case X does not know at t all of the epistemically [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=970&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>This post is the result of reading Wittgenstein and the philosophy of simulation literature in close temporal proximity.</p>
<p><a href="http://dx.doi.org/10.1007/s11229-008-9435-2">Here</a> is Paul Humphreys on epistemic opacity in computer simulations:</p>
<blockquote><p>
a process is epistemically opaque relative to a cognitive agent X at time t just in case X does not know at t all of the epistemically relevant elements of the process. A process is essentially epistemically opaque to X if and only if it is impossible, given the nature of X, for X to know all of the epistemically relevant elements of the process. For a mathematical proof, one agent may consider a particular step in the proof to be an epistemically relevant part of the justiﬁcation of the theorem, whereas to another, the step is sufﬁciently trivial to be eliminable. In the case of scientiﬁc instruments, it is a long-standing issue in the philosophy of science whether the user needs to know details of the processes between input and output in order to know that what the instruments display accurately represents a real entity.
</p></blockquote>
<p>The charge is that simulations bring something new to philosophy of science because they are epistemically opaque, unlike, say, the process of solving an equation analytically.</p>
<p>However, I&#8217;m not sure I understand how simulations are any more epistemically opaque than physical experiments or non-automated calculations in mathematics. First, consider experiments. It seems to me that the checks we make to ensure that the results of experiments are reliable are almost completely analogous to those we make to ensure that the results of simulations are reliable. Allan Franklin has a <a href="http://plato.stanford.edu/entries/physics-experiment/#EE">good list</a> of the kinds of checks we make to ensure that experiments produce reliable results. All the seven criteria he describes there seem to be used to validate simulations as well as physical experiments. We do check that the simulation reproduces known results and artifacts. We do try to eliminate plausible sources of error. If the simulation produces a striking pattern that can&#8217;t be explained by plausible sources of error, we do use that pattern itself to argue for the validity of that pattern as a legitimate result. If multiple independently corroborated theories account for the results of a simulation, that does add to the validity of the results. Simulations are often based on well-corroborated theories. Finally, statistical arguments are used to argue that patterns seen in simulations are real.</p>
<p>So what is epistemically relevant in simulations that humans cannot know, that can be known in the case of physical experiments and mental or pen-and-paper mathematical calculations? I&#8217;m guessing that what Humphreys takes to be epistemically relevant in simulations but inaccessible to human knowledge is something like the results of each computational step in the simulation, or whether the mechanistic workings of the simulating apparatus produces mathematically correct results. But are the results of each computational step epistemically relevant? Here  is one reason to think not. In a physical experiment, one <em>never</em> has a complete working theory of the apparatus that tells us the exact consequences of every step in the experiment. It seems to me that demanding that the result of every computational step in the simulation be epistemically accessible to humans is analogous to demanding that every step in the experiment be justified by a theory that describes <em>every</em> aspect of the apparatus.</p>
<p>What if Humphreys considers the reliability of the simulating apparatus, that is, whether it is producing mathematically correct results, as the epistemically relevant aspect of simulations that is essentially inaccessible to humans? As noted above, the same way one can validate the reliability of experiments without having a complete theory of the experimental setup, we have ways of validating the reliability of simulations. But they are not foolproof of course. Suppose we take seriously the possibility that our methods of validation still leave out epistemically relevant information. It is possible that even though our checks show that the results are reliable in a large variety of situations, some hocus-pocus is going on which can be discovered only by going through every single step in the simulation, which humans cannot do. But there is an analogous &#8220;problem&#8221; when it comes to mental or pen-and-paper arithmetic. One&#8217;s belief that one is calculating 2098&#215;98723 correctly, if one is doing it for the first time, is based on one&#8217;s past success in calculating various other things correctly. <em>Of course</em> some hocus-pocus could be going on just <em>this</em> time, for the new calculation, a kind of hocus-pocus which did not show itself in previous calculations. But this possibility does not lead us to say that there is something epistemically missing from the new calculation. If one really wants to be paranoid, one could always doubt the results of mental or pen-and-paper calculations, because after all <em>we do not know, mechanistically, how the human mind consistently applies arithmetical rules, and whether it always correctly applies them</em>. We act as though it always consistently applies them because of prior evidence of its reliability, but these do not suffice to ensure with certainty that it will always consistently apply them. How is this different from the case of simulations? In simulations, we also only have the prior results of simulations, and the backing of mathematics and physical theories relating to the mechanics of the simulation, to assure us that <em>this</em> time the simulation will also be reliable.</p>
<p>Humphreys&#8217; ascription of epistemic opacity to machine calculations but not human calculations is an interesting inversion of one point of view that Wittgenstein discusses at various points in his <a href="http://www.amazon.com/gp/product/0262730170?ie=UTF8&amp;tag=thetrutmakeme-20&amp;linkCode=xm2&amp;camp=1789&amp;creativeASIN=0262730170">philosophy of mathematics</a>. Wittgenstein identifies the philosopher of mathematics&#8217; love for axiomatic reductions of mathematics due to the idea of &#8220;<em>mechanical</em> insurance against contradiction&#8221; (RFM, p. 107e, his emphasis). The idea is that by reducing mathematics to a set of rules that even a machine can follow, one excludes mistakes from mathematics:</p>
<blockquote><p>We may trust &#8216;mechanical&#8217; means of calculating or counting more than our memories. Why? &#8212; Need it be like this? I may have miscounted, but the machine, once constructed by us in such-and-such a way, cannot have miscounted. Must I adopt this point of view? &#8212; &#8220;Well, experience has taught us that calculating my machine is more trustworthy than by memory. It has taught us that our life goes smoother when we calculate with machines.&#8221; But must smoothness necessarily be our ideal (must it be our ideal to have everything wrapped in cellophane? (RFM, 106e)</p></blockquote>
<p><span style="float:left;padding:5px;"><a href="http://www.researchblogging.org"><img alt="ResearchBlogging.org" src="http://www.researchblogging.org/public/citation_icons/rb2_small.png" style="border:0;" /></a></span><br />
<span class="Z3988" title="ctx_ver=Z39.88-2004&amp;rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&amp;rft.jtitle=Synthese&amp;rft_id=info%3Adoi%2F10.1007%2Fs11229-008-9435-2&amp;rfr_id=info%3Asid%2Fresearchblogging.org&amp;rft.atitle=The+philosophical+novelty+of+computer+simulation+methods&amp;rft.issn=0039-7857&amp;rft.date=2008&amp;rft.volume=169&amp;rft.issue=3&amp;rft.spage=615&amp;rft.epage=626&amp;rft.artnum=http%3A%2F%2Fwww.springerlink.com%2Findex%2F10.1007%2Fs11229-008-9435-2&amp;rft.au=Humphreys%2C+P.&amp;rfe_dat=bpr3.included=1;bpr3.tags=Philosophy%2CPhilosophy+of+Science">Humphreys, P. (2008). The philosophical novelty of computer simulation methods <span style="font-style:italic;">Synthese, 169</span> (3), 615-626 DOI: <a rev="review" href="http://dx.doi.org/10.1007/s11229-008-9435-2">10.1007/s11229-008-9435-2</a></span><br />
Wittgenstein, L. (1967). <em>Remarks on the Foundations of Mathematics</em>, ed. G. H. von Wright, R. Rhees, and G. E. M. Anscombe, trans. G. E. M. Anscombe.  MIT Press.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/aeolist.wordpress.com/970/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/aeolist.wordpress.com/970/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=970&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://aeolist.wordpress.com/2011/01/10/epistemic-opacity-in-simulations/feed/</wfw:commentRss>
		<slash:comments>5</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/11d2547d938c21d53968d6d048a851d3?s=96&#38;d=identicon" medium="image">
			<media:title type="html">Ponder Stibbons</media:title>
		</media:content>

		<media:content url="http://www.researchblogging.org/public/citation_icons/rb2_small.png" medium="image">
			<media:title type="html">ResearchBlogging.org</media:title>
		</media:content>
	</item>
		<item>
		<title>Yes</title>
		<link>http://aeolist.wordpress.com/2010/10/23/yes/</link>
		<comments>http://aeolist.wordpress.com/2010/10/23/yes/#comments</comments>
		<pubDate>Sun, 24 Oct 2010 00:17:00 +0000</pubDate>
		<dc:creator>Ponder Stibbons</dc:creator>
				<category><![CDATA[literature]]></category>

		<guid isPermaLink="false">http://aeolist.wordpress.com/?p=965</guid>
		<description><![CDATA[It says something about Thomas Bernhard that one of his more upbeat novels ends with a suicide. I have been stuck in this rut in my fiction reading habits, where I find most characters in most books alienating. Thomas Bernhard&#8217;s are an exception, but it&#8217;s not clear that reading the monologues of depressives and master [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=965&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>It says something about Thomas Bernhard that one of his more upbeat novels ends with a suicide.</p>
<p>I have been stuck in this rut in my fiction reading habits, where I find most characters in most books alienating. Thomas Bernhard&#8217;s are an exception, but it&#8217;s not clear that reading the monologues of depressives and master procrastinators adds to my quality of life.</p>
<p>I had to nearly coerce myself to finish reading <em>The Limeworks</em> because the entire thing is nothing but the inner thoughts of a procrastinator who isolates himself and his invalid wife in an inaccessible abode, ostensibly so that he can carry out his research in peace, but never actually manages to write down any of his research results, and most days barely gets any experiments done. Right at the start of the book you&#8217;re told that the protagonist has killed his wife and gone crazy and is now in police custody. The rest of the book consists almost entirely of his maniacal habits and thoughts preceding that event. Most of Bernhard&#8217;s books are that way &#8212; heavy on monologues, light on events.</p>
<p>Which was why I was pleasantly surprised by <em>Yes</em>. It is similar to <em>The Limeworks</em> in also having a protagonist who is a master procrastinator and has not been able to get any research done for several months. But things actually happen in <em>Yes</em>. The protagonist meets a mysterious Persian woman whose life story is gradually revealed. They briefly help each other out of depression. Then they get bored, realise they are only reinforcing each other&#8217;s foibles, and stop meeting. The woman locks herself in a half-built house and starts decomposing. The protagonist visits her against his better judgment and is told to never do it again. He doesn&#8217;t. She eventually throws herself under a lorry.</p>
<p>That&#8217;s actually an upbeat ending. I was expecting it to end with just her continued wasting away, which would have been more depressing. Also, unusually for Bernhard, the positive development in the middle of the story actually led to some rather lyrical writing. Finally, it&#8217;s rare to see intensely expressed emotions in Bernhard that aren&#8217;t negative. One can&#8217;t help but wonder if any events in Bernhard&#8217;s life paralleled the writing of this relatively positive book.</p>
<p>I wonder why Bernhard hates Linz so much. Many of his books contain rants about that city.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/aeolist.wordpress.com/965/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/aeolist.wordpress.com/965/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=965&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://aeolist.wordpress.com/2010/10/23/yes/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/11d2547d938c21d53968d6d048a851d3?s=96&#38;d=identicon" medium="image">
			<media:title type="html">Ponder Stibbons</media:title>
		</media:content>
	</item>
		<item>
		<title>Formalist Analogies in Statistical Mechanics</title>
		<link>http://aeolist.wordpress.com/2010/07/31/formalist-analogies-in-statistical-mechanics/</link>
		<comments>http://aeolist.wordpress.com/2010/07/31/formalist-analogies-in-statistical-mechanics/#comments</comments>
		<pubDate>Sun, 01 Aug 2010 00:30:49 +0000</pubDate>
		<dc:creator>Ponder Stibbons</dc:creator>
				<category><![CDATA[philosophy]]></category>
		<category><![CDATA[physics]]></category>

		<guid isPermaLink="false">http://aeolist.wordpress.com/?p=950</guid>
		<description><![CDATA[I recently read Mark Steiner&#8217;s neat little book on the applicability of mathematics in physics. His main thesis is that the ways in which mathematics is successfully applied in physics are often anthropocentric. He takes this as a strike against naturalism. One example of anthropocentric reasoning he identifies is the use of what he calls [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=950&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>I recently read Mark Steiner&#8217;s <a href="http://www.amazon.com/gp/product/0674009703?ie=UTF8&amp;tag=thetrutmakeme-20&amp;linkCode=xm2&amp;camp=1789&amp;creativeASIN=0674009703">neat little book</a> on the applicability of mathematics in physics. His main thesis is that the ways in which mathematics is successfully applied in physics are often anthropocentric. He takes this as a strike against naturalism.</p>
<p>One example of anthropocentric reasoning he identifies is the use of what he calls formalist analogies in the discovery/construction of new theories. One example that bugs many philosophers is &#8220;quantization&#8221;, where the quantum mechanical description of a system is derived by considering its classical description and replacing classical observables with quantum mechanical operators. This technique was introduced by Heisenberg, whose heuristics I expressed amazement at in my last post. There are problems with this heuristic, such as how to deal with descriptions containing products of classical variables, given that quantum mechanical operators don&#8217;t necessarily commute, but there are some standard workarounds that seem to work for most cases. Those problems are not really the issue Steiner is getting at, though. His issue is that the matrices Heisenberg uses to replace classical observables &#8220;have no independent physical meaning&#8221;; they are mere formalisms. The matrix equation one gets from a quantization of a classical equation is parasitic on the classical equation, which is itself &#8220;false&#8221; according to quantum mechanics. This lack of independent physical meaning, Steiner argues, means that we are not entitled to use induction to infer that since quantization works in certain model cases, it will work for all cases.</p>
<p>I&#8217;ve always been disturbed by the approach to statistical mechanics that makes use of Gibbsian ensembles, particularly the grand canonical ensemble. Part of my discomfort with it may be because many textbooks introduce them using formalist analogies, in Steiner&#8217;s sense. Gibbs himself was thoroughly instrumentalist about the ensembles and did not ascribe any physical meaning to them, but modern textbooks are liable to be more cavalier about physical meaning. Thus, one often finds them treating the ensembles as more than just a calculational technique, which I think treads into formalist analogy territory.</p>
<p>Gibbs emphasizes throughout his <a href="http://www.amazon.com/gp/product/1408660970?ie=UTF8&amp;tag=thetrutmakeme-20&amp;linkCode=xm2&amp;camp=1789&amp;creativeASIN=1408660970">classic monograph</a> that his ensembles are purely imaginary and meant to make calculations easier. However, later textbooks have a tendency to try to justify the use of ensembles by a mixture of physical and formal analogies. For example, textbook authors often speak of the equilibrium ensemble derived from combining two grand canonical ensembles (<a href="http://www.amazon.com/gp/product/0486638960?ie=UTF8&amp;tag=thetrutmakeme-20&amp;linkCode=xm2&amp;camp=1789&amp;creativeASIN=0486638960">Tolman</a> is one example). They take the resultant ensemble as the equilibrium that would result from combining a representative from one ensemble with that from another. Taken merely as a calculational tool, this is unproblematic. The formalistic reasoning comes into play when the outcome of the interaction of <em>ensembles</em> is straightforwardly taken, without further justification, to represent the outcome of the interactions of actual systems. For, as in the quantization analogy, the ensemble is parasitic on the actual system for its physical relevance. When two systems interact, we do not have two ensembles interacting. So there is no <em>physical</em> case to be made that the outcome of the ensembles&#8217; interaction also represents that of the systems&#8217; interaction. Just as the success of quantization in a few cases doesn&#8217;t seem to give us reason to expect a successful induction to all cases, the success of representing a system on its own with an ensemble doesn&#8217;t seem to give us reason to expect a successful induction to cases where multiple systems interact.</p>
<p>Certainly there exist authors who are more careful about using ensembles. <a href="http://www.amazon.com/gp/product/B000L57D90?ie=UTF8&amp;tag=thetrutmakeme-20&amp;linkCode=xm2&amp;camp=1789&amp;creativeASIN=B000L57D90">Fowler</a> for example justifies their use not by claiming that the entire ensemble represents the system of interest, but rather that the system is itself a small part of some larger system that has the characteristics of an ensemble. This makes more physical sense, but it means checking for more physically realistic conditions that your system of interest must fulfill, before applying ensemble methods. In Fowler&#8217;s case, he requires that the system of interest is one of many subsystems of a large ensemble-like system, where the subsystems exchange only small amounts of energy &#8212; small compared to the total energy of the ensemble. At the same time, however, their interactions with one another must be significant enough to allow the entire ensemble to attain an equilibrium state.</p>
<p>Newer textbooks, however, have a tendency to simply introduce Gibbsian ensembles, without checking for physical sense and the restrictions that must accompany them, and &#8220;justifying&#8221; them with mere formal analogies. One wonders what the point of such &#8220;justifications&#8221; is &#8212; I prefer Gibbs&#8217; honest admission that he introduces ensembles only because they give him the correct answers.</p>
<p>Even more annoying are cases where a &#8220;justification&#8221; for using an ensemble is introduced with reference to a realistic physical model, but the ensemble is then used for examples where the physical conditions in that model, the conditions that were relevant to the justification, do not hold! For example, <a href="http://www.amazon.com/gp/product/0750624698?ie=UTF8&amp;tag=thetrutmakeme-20&amp;linkCode=xm2&amp;camp=1789&amp;creativeASIN=0750624698">Pathria</a> introduces the grand canonical ensemble by considering a system exchanging particles and heat with a large reservoir. However, all the problems he next considers, to which the grand canonical ensemble is applied, are cases where particle number is conserved! The only exception is an example of adsorption of particles on a surface, which appears as an exercise at the end of the chapter. We know that the grand canonical ensemble gives us the right answers even for systems that have a constant number of particles because for many-particle systems, the equilibrium ensemble contains is composed mostly of systems with the &#8220;equilibrium&#8221; number of particles, so when you average over the ensemble to get the equilibrium number, systems with a non-equilibrium number of particles contribute nearly nothing to the average. But this merely justifies the grand canonical ensemble as a <em>calculational</em> trick and is wholly separate from the <em>physical</em> model that was used to justify the ensemble method, a model whose salient features were then thoroughly ignored when the ensemble method was applied to other systems.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/aeolist.wordpress.com/950/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/aeolist.wordpress.com/950/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=950&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://aeolist.wordpress.com/2010/07/31/formalist-analogies-in-statistical-mechanics/feed/</wfw:commentRss>
		<slash:comments>13</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/11d2547d938c21d53968d6d048a851d3?s=96&#38;d=identicon" medium="image">
			<media:title type="html">Ponder Stibbons</media:title>
		</media:content>
	</item>
		<item>
		<title>It feels like cheating.</title>
		<link>http://aeolist.wordpress.com/2010/07/23/it-feels-like-cheating/</link>
		<comments>http://aeolist.wordpress.com/2010/07/23/it-feels-like-cheating/#comments</comments>
		<pubDate>Fri, 23 Jul 2010 06:50:24 +0000</pubDate>
		<dc:creator>Ponder Stibbons</dc:creator>
				<category><![CDATA[physics]]></category>

		<guid isPermaLink="false">http://aeolist.wordpress.com/?p=925</guid>
		<description><![CDATA[I continue to be amazed at the flimsiness of the heuristics that physicists use, often successfully, to make important theoretical progress. A particularly shocking example I&#8217;ve just read is Heisenberg&#8217;s &#8220;discovery&#8221; that systems with symmetric wavefunctions correspond to those that obey Bose-Einstein statistics, and that those with anti-symmetric wavefunctions correspond to those that obey Pauli&#8217;s [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=925&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>I continue to be amazed at the flimsiness of the heuristics that physicists use, often successfully, to make important theoretical progress. A particularly shocking example I&#8217;ve just read is Heisenberg&#8217;s <a href="http://www.springerlink.com/content/mth33737521280v1">&#8220;discovery&#8221;</a> that systems with symmetric wavefunctions correspond to those that obey Bose-Einstein statistics, and that those with anti-symmetric wavefunctions correspond to those that obey Pauli&#8217;s exclusion principle. He does not refer to Fermi-Dirac statistics since this was before Dirac <a href="http://dx.doi.org/10.1098/rspa.1926.0133">&#8220;discovered&#8221;</a> them, and Fermi&#8217;s discovery was also published in German only <a href="http://www.springerlink.com/content/k763270092273181">later</a> (although he had published it in Italian earlier).</p>
<p>Why it feels like cheating:</p>
<ol>
<li>The entire paper is based on the analysis of systems of coupled harmonic oscillators. He gives a quantum mechanical treatment of them that results in two groups of possible solutions, and shows that transitions between solutions can take place only between the members of each group. He then notes that we see only one of the two possible systems of ortho- and para-helium in nature, and suggests that this one-sidedness is due to the dichotomy he&#8217;d derived from his model. He then proceeds to generalise the dichotomy to all systems in nature:<br />
<blockquote><p>
For the helium spectrum it is an empirical fact that only one system exists&#8230; that the other systems are not realised in nature. In fact it seems to me to indicate &#8212; if we assume, that the results we have derived for two systems can be generalised to arbitrarily many systems &#8212; on the one hand, an actual connection between the highlighted quantum mechanical indeterminacy [between which type of system exists], and on the other hand, the Pauli rule and the Einstein-Bose counting.
</p></blockquote>
<p>(Pardon my amateur translation.) No justification for the generalisation exists in the paper.</li>
<li>Shortly after he admits:<br />
<blockquote><p>
Grounds that this is the only system, of all the possible quantum mechanical solutions, that occurs, will scarcely be derived from the simple quantum mechanical calculation.
</p></blockquote>
</li>
<li>Despite all that, he still feels justified to extend the conclusions of his model into the realm of metaphysics:<br />
<blockquote><p>
[The symmetric/anti-symmetric restrictions on wavefunctions] mean that it makes no physical sense to speak of the movement or the matrix representing the movement of an individual electron or of the matrix of any non-symmetric function of electrons in a system of atoms&#8230; Therefore e.g. the exchange relations in their familiar form also generally contain no physical sense
</p></blockquote>
</li>
</ol>
<p>Of course, there is no question about the subsequent empirical success of relating anti-symmetric wavefunctions to Fermi-Dirac statistics and symmetric wavefunctions to Bose-Einstein statistics, but it remains amazing to me that such heuristics and casual generalizations as the ones Heisenberg uses are so successful. I do not think this is a one-off occurrence, either. In fact it seems to me that most theoretical development in physics proceeds this way, <em>particularly</em> the &#8220;revolutionary&#8221; developments.</p>
<p><span style="float:left;padding:5px;"><a href="http://www.researchblogging.org"><img alt="ResearchBlogging.org" src="http://www.researchblogging.org/public/citation_icons/rb2_small.png" style="border:0;" /></a></span><br />
<span class="Z3988" title="ctx_ver=Z39.88-2004&amp;rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&amp;rft.jtitle=Proceedings+of+the+Royal+Society+of+London.+Series+A%2C+Containing+Papers+of+a+Mathematical+and+Physical+Character+%281905-1934%29&amp;rft_id=info%3Adoi%2F10.1098%2Frspa.1926.0133&amp;rfr_id=info%3Asid%2Fresearchblogging.org&amp;rft.atitle=On+the+Theory+of+Quantum+Mechanics&amp;rft.issn=0950-1207&amp;rft.date=1926&amp;rft.volume=112&amp;rft.issue=762&amp;rft.spage=661&amp;rft.epage=677&amp;rft.artnum=http%3A%2F%2Frspa.royalsocietypublishing.org%2Fcgi%2Fdoi%2F10.1098%2Frspa.1926.0133&amp;rft.au=Dirac%2C+P.&amp;rfe_dat=bpr3.included=1;bpr3.tags=Physics%2CQuantum+Physics">Dirac, P. (1926). On the Theory of Quantum Mechanics <span style="font-style:italic;">Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character (1905-1934), 112</span> (762), 661-677 DOI: <a rev="review" href="http://dx.doi.org/10.1098/rspa.1926.0133">10.1098/rspa.1926.0133</a></span><br />
<span class="Z3988" title="ctx_ver=Z39.88-2004&amp;rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&amp;rft.jtitle=Zeitschrift+f%C3%BCr+Physik&amp;rft_id=info%3Adoi%2F10.1007%2FBF01400221&amp;rfr_id=info%3Asid%2Fresearchblogging.org&amp;rft.atitle=Zur+Quantelung+des+idealen+einatomigen+Gases&amp;rft.issn=1434-6001&amp;rft.date=1926&amp;rft.volume=36&amp;rft.issue=11-12&amp;rft.spage=902&amp;rft.epage=912&amp;rft.artnum=http%3A%2F%2Fwww.springerlink.com%2Findex%2F10.1007%2FBF01400221&amp;rft.au=Fermi%2C+E.&amp;rfe_dat=bpr3.included=1;bpr3.tags=Physics%2CQuantum+Physics">Fermi, E. (1926). Zur Quantelung des idealen einatomigen Gases <span style="font-style:italic;">Zeitschrift für Physik, 36</span> (11-12), 902-912 DOI: <a rev="review" href="http://dx.doi.org/10.1007/BF01400221">10.1007/BF01400221</a></span><br />
<span class="Z3988" title="ctx_ver=Z39.88-2004&amp;rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&amp;rft.jtitle=Zeitschrift+f%C3%BCr+Physik&amp;rft_id=info%3Adoi%2F10.1007%2FBF01397160&amp;rfr_id=info%3Asid%2Fresearchblogging.org&amp;rft.atitle=Mehrk%C3%B6rperproblem+und+Resonanz+in+der+Quantenmechanik&amp;rft.issn=1434-6001&amp;rft.date=1926&amp;rft.volume=38&amp;rft.issue=6-7&amp;rft.spage=411&amp;rft.epage=426&amp;rft.artnum=http%3A%2F%2Fwww.springerlink.com%2Findex%2F10.1007%2FBF01397160&amp;rft.au=Heisenberg%2C+W.&amp;rfe_dat=bpr3.included=1;bpr3.tags=Physics%2CQuantum+Physics">Heisenberg, W. (1926). Mehrkörperproblem und Resonanz in der Quantenmechanik <span style="font-style:italic;">Zeitschrift für Physik, 38</span> (6-7), 411-426 DOI: <a rev="review" href="http://dx.doi.org/10.1007/BF01397160">10.1007/BF01397160</a></span></p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/aeolist.wordpress.com/925/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/aeolist.wordpress.com/925/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=925&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://aeolist.wordpress.com/2010/07/23/it-feels-like-cheating/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/11d2547d938c21d53968d6d048a851d3?s=96&#38;d=identicon" medium="image">
			<media:title type="html">Ponder Stibbons</media:title>
		</media:content>

		<media:content url="http://www.researchblogging.org/public/citation_icons/rb2_small.png" medium="image">
			<media:title type="html">ResearchBlogging.org</media:title>
		</media:content>
	</item>
		<item>
		<title>Truesdell on European versus American science</title>
		<link>http://aeolist.wordpress.com/2010/06/19/truesdell-on-european-versus-american-science/</link>
		<comments>http://aeolist.wordpress.com/2010/06/19/truesdell-on-european-versus-american-science/#comments</comments>
		<pubDate>Sat, 19 Jun 2010 05:14:28 +0000</pubDate>
		<dc:creator>Ponder Stibbons</dc:creator>
				<category><![CDATA[science]]></category>

		<guid isPermaLink="false">http://aeolist.wordpress.com/?p=906</guid>
		<description><![CDATA[I don&#8217;t know if Clifford Truesdell was just deluded when he said this in 1966, or if things have really changed that much since then: The European assistant who disagrees openly with his professor risks losing all chance of going on with his research, not to mention failure ever to get a decent job. In [&#8230;]<img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=906&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></description>
				<content:encoded><![CDATA[<p>I don&#8217;t know if Clifford Truesdell was just deluded when he said this in 1966, or if things have really changed that much since then:</p>
<blockquote><p>The European assistant who disagrees openly with his professor risks losing all chance of going on with his research, not to mention failure ever to get a decent job. In the United States, a paper is no more esteemed if it appears within covers sealed by an academy or professional society, no less so if it has been rejected by such a body before being published in a private journal, and for the young giant, trampling upon his professors is a more honorable path to fame, promotion, and such modest prosperity as the scientific trade allows than is the fawning filial piety the European professor expects and receives from his disciples as long as he lives. Our academic life presents to the foreigner a lamentable scene of chaos. No-one knows who is on top.</p></blockquote>
<p> &#8211; C. Truesdell, Early Kinetic Theories of Gases, in <em>Essays in the History of Mechanics</em>, Springer-Verlag, New York, 1968.</p>
<br />  <a rel="nofollow" href="http://feeds.wordpress.com/1.0/gocomments/aeolist.wordpress.com/906/"><img alt="" border="0" src="http://feeds.wordpress.com/1.0/comments/aeolist.wordpress.com/906/" /></a> <img alt="" border="0" src="http://stats.wordpress.com/b.gif?host=aeolist.wordpress.com&#038;blog=230171&#038;post=906&#038;subd=aeolist&#038;ref=&#038;feed=1" width="1" height="1" />]]></content:encoded>
			<wfw:commentRss>http://aeolist.wordpress.com/2010/06/19/truesdell-on-european-versus-american-science/feed/</wfw:commentRss>
		<slash:comments>2</slash:comments>
	
		<media:content url="http://1.gravatar.com/avatar/11d2547d938c21d53968d6d048a851d3?s=96&#38;d=identicon" medium="image">
			<media:title type="html">Ponder Stibbons</media:title>
		</media:content>
	</item>
	</channel>
</rss>
