<?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/"
	>

<channel>
	<title>神は細部に宿り給う &#187; 公理</title>
	<atom:link href="http://tkido.com/blog/tag/%e5%85%ac%e7%90%86/feed" rel="self" type="application/rss+xml" />
	<link>http://tkido.com/blog</link>
	<description>ゲーム・Web・情報通信・プログラミング・政治・経済・社会・科学・哲学・その他諸々なんでも思いつくままに書いていきます。</description>
	<lastBuildDate>Thu, 09 Feb 2012 02:44:45 +0000</lastBuildDate>
	<language>ja</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.3.1</generator>
		<item>
		<title>科学を信仰してるだけです</title>
		<link>http://tkido.com/blog/706.html</link>
		<comments>http://tkido.com/blog/706.html#comments</comments>
		<pubDate>Thu, 04 Dec 2008 13:46:24 +0000</pubDate>
		<dc:creator>木戸孝紀</dc:creator>
				<category><![CDATA[科学技術哲学]]></category>
		<category><![CDATA[科学]]></category>
		<category><![CDATA[公理]]></category>
		<category><![CDATA[数学]]></category>
		<category><![CDATA[哲学]]></category>

		<guid isPermaLink="false">http://tkido.com/blog/706.html</guid>
		<description><![CDATA[科学を信仰してるだけじゃん みたいな言い回しが後を絶たないな。 この言い回しそのものがおかしいという事を小学生にも分かるように書きたいのだが、 全然うまい事思いつかねー。 こういうのをうまく説明できる頭の良い人がうらやま [...]]]></description>
			<content:encoded><![CDATA[<p>
<a href="http://tkido.com/blog/wp-content/fc2images/20081204223921.jpg" target="_blank"><img src="http://tkido.com/blog/wp-content/fc2images/20081204223921s.jpg" alt="（本文とは無関係）" border="0" /></a>
</p>
<blockquote>
<h3>科学を信仰してるだけじゃん</h3>
<p>
みたいな言い回しが後を絶たないな。<br />
この言い回しそのものがおかしいという事を小学生にも分かるように書きたいのだが、<br />
全然うまい事思いつかねー。<br />
こういうのをうまく説明できる頭の良い人がうらやましいな。<br />
でもあきらめずにもうちょっと考えてみよう。
</p>
<p>
<a href="http://anond.hatelabo.jp/20081204012959" target="_blank">（科学を信仰してるだけじゃん）</a>
</p>
</blockquote>
<p>
　思いつかなくても仕方ない、というか思いついたらすごいよ。それは近代以降の科学哲学の基本だから。ひさびさに『表現の自由を脅すもの』より。
</p>
<blockquote>
<p>
　<strong>宗教活動家達はしばしば、自由科学体制（「世俗的ヒューマニズム」）はそれ自体信仰の一形態、一つの信念体系であり、だから特別の位置づけには値しないとこぼしている。彼らは半分正しい。自由科学を信じることも、一つの信仰であるが、しかしそれは特別の位置づけに値する。</strong>（中略）<strong>異端審問が無くなったのは、人々が信仰無しでやっていけるようになったからではなく、自由社会制度を信奉することを学んだからであった。</strong>何人もチェックを免れることはなく、また何人も自分一人が決めるとは言えないというルールに自らを委ねたのである。こうして人々は、意見の相違を解決する権力は特定個人の手には存しないという自由知識社会の傑出した政治的事実を確立したのであった。そうした大きな権力を委ねても絶対に安心だと言えるような特定個人は決していないのである。
</p>
<p>
　そうだとすれば、科学のルールは、その本性上、知的権威主義の政治的正統性を粉砕する。「真理は使徒達及びその後継者に特に委ねられた」と教皇ヨハネス・パウロ二世は１９８９年に宣言した。自由な文化の中では、そうした種類の主張、というより実は権力奪取は、不法であり忌むべきものである。（中略）自由社会では、誰が正しいかを決める唯一の方法は、批判と質問を通じて互いに公然とチェックし合うという、何の制約もつけないやり方である。それはちょうど、民主主義社会で、政治権力の唯一正当な判定者は、何の制約もつけない民衆の投票であるのと似ている。これ以外の主張は皆インチキである。たとえ教皇、宣伝家、反共主義者、反人種差別主義者であれ、何人であれ、誤った考えの人々を権力から遠ざけるために批判を封じてしまいたいとか、議論を統制したいと思う者は、道徳的権利を持たず、これを無視するより他に仕様がない。
</p>
</blockquote>
<p>
　前に<a href="http://tkido.com/blog/600.html" target="_blank">公理の話</a>をしたが、科学を行うにも数学の公理のように根拠なしに信じなければならないことはある。
</p>
<p>
　まず、なんらかの<strong><a href="http://ja.wikipedia.org/wiki/%E5%AE%9F%E5%9C%A8%E8%AB%96" target="_blank">実在論</a></strong>。
</p>
<p>
　実在論というのは平たく言えば「すべては幻なんだよ！」の反対。「すべては幻なんだよ！」はどうやっても否定できない。それを誰に教えればよいのかという単純だが重大な問題があるので、まともに唱えられることがないだけで。
</p>
<p>
　<strong>思考節約の原理</strong>（<a href="http://ja.wikipedia.org/wiki/%E3%82%AA%E3%83%83%E3%82%AB%E3%83%A0%E3%81%AE%E5%89%83%E5%88%80" target="_blank">オッカムの剃刀</a>）もそう。
</p>
<p>
　より複雑でややこしい説明が真であるとする原理は、すぐさま無限の「正しい」答えを生み出すから実際上はナンセンスにしかならないが、だからと言って、より複雑な説明のどれかが真ではないということにはならない。「そうであってもどうでもいい」ということは確実に言えるが。
</p>
<p>
　<strong>「過去の経験から未来が推論できる」</strong>という命題もそう。
</p>
<p>
　これが真であると証明するにはどうしたらいいだろう。証明したいと思っているからには、現在はまだ真とは限らないわけだ。そして未来のある時点で真となっていてほしいわけだ。だがその時点から見て過去である現在「過去から未来が推論できない」のなら何をしても無駄だ！
</p>
<p>
　そもそも推論できるような未来が存在するということだってそう。
</p>
<p>
　確か<a href="http://ja.wikipedia.org/wiki/%E5%B0%8F%E6%9D%BE%E5%B7%A6%E4%BA%AC" target="_blank">小松左京</a>が2000年のカウントダウンの瞬間突然時空が終わりになるというショートショートを書いていたと思うが、これは実は単なる面白いSFというわけでもない。
</p>
<p>
　現代の宇宙論では真空相転移のような出来事が起こって、原理的に何の前触れもなくいきなり既知の物理法則が通用しない状態に放り出されるようなことは現実に（！）ありうると考えられている。確率が限りなく低いので完全に無視できるだけで。
</p>
<p>
　公理とはちょっとずれるけど、無謬性の否定というようなルールもそう。
</p>
<p>
　現代科学が無謬性を断固として拒否するのは、単に過去の経験に懲りたからであって、宇宙に無謬性が存在してはいけない理由を証明したからではない。
</p>
<p>
　来年の12月に月よりでかいUFOが飛来して、やってきた宇宙人が人間が思いつくようなあらゆる疑問に物理法則の許す限り完璧に答えてしまう、という事態がありえないことは今のところ誰にも保証できない。ない方に迷わず全財産賭けるけれども。
</p>
<h3>関連図書</h3>
<p>
<iframe src="http://rcm-jp.amazon.co.jp/e/cm?t=mebiusproject-22&#038;o=9&#038;p=8&#038;l=as1&#038;asins=4047032751&#038;md=1X69VDGQCMF7Z30FM082&#038;fc1=000000&#038;IS2=1&#038;lt1=_blank&#038;m=amazon&#038;lc1=0000FF&#038;bc1=000000&#038;bg1=FFFFFF&#038;f=ifr" style="width:120px;height:240px;" scrolling="no" marginwidth="0" marginheight="0" frameborder="0"></iframe><iframe src="http://rcm-jp.amazon.co.jp/e/cm?t=mebiusproject-22&#038;o=9&#038;p=8&#038;l=as1&#038;asins=482228252X&#038;md=1X69VDGQCMF7Z30FM082&#038;fc1=000000&#038;IS2=1&#038;lt1=_blank&#038;m=amazon&#038;lc1=0000FF&#038;bc1=000000&#038;bg1=FFFFFF&#038;f=ifr" style="width:120px;height:240px;" scrolling="no" marginwidth="0" marginheight="0" frameborder="0"></iframe><iframe src="http://rcm-jp.amazon.co.jp/e/cm?t=mebiusproject-22&#038;o=9&#038;p=8&#038;l=as1&#038;asins=4883091082&#038;md=1X69VDGQCMF7Z30FM082&#038;fc1=000000&#038;IS2=1&#038;lt1=_blank&#038;m=amazon&#038;lc1=0000FF&#038;bc1=000000&#038;bg1=FFFFFF&#038;f=ifr" style="width:120px;height:240px;" scrolling="no" marginwidth="0" marginheight="0" frameborder="0"></iframe><iframe src="http://rcm-jp.amazon.co.jp/e/cm?t=mebiusproject-22&#038;o=9&#038;p=8&#038;l=as1&#038;asins=479176126X&#038;md=1X69VDGQCMF7Z30FM082&#038;fc1=000000&#038;IS2=1&#038;lt1=_blank&#038;m=amazon&#038;lc1=0000FF&#038;bc1=000000&#038;bg1=FFFFFF&#038;f=ifr" style="width:120px;height:240px;" scrolling="no" marginwidth="0" marginheight="0" frameborder="0"></iframe>
</p>
<h3>おまけ</h3>
<p>
<iframe width="312" height="176" src="http://ext.nicovideo.jp/thumb/sm2382993" scrolling="no" style="border:solid 1px #CCC;" frameborder="0"><a href="http://www.nicovideo.jp/watch/sm2382993">【ニコニコ動画】Tommy Emmanuel &#8211; Guiter Boogie</a></iframe></p>
]]></content:encoded>
			<wfw:commentRss>http://tkido.com/blog/706.html/feed</wfw:commentRss>
		<slash:comments>4</slash:comments>
		</item>
		<item>
		<title>公理の話</title>
		<link>http://tkido.com/blog/600.html</link>
		<comments>http://tkido.com/blog/600.html#comments</comments>
		<pubDate>Sat, 17 May 2008 15:59:05 +0000</pubDate>
		<dc:creator>木戸孝紀</dc:creator>
				<category><![CDATA[科学技術哲学]]></category>
		<category><![CDATA[公理]]></category>
		<category><![CDATA[数学]]></category>

		<guid isPermaLink="false">http://tkido.com/blog/600.html</guid>
		<description><![CDATA[数学に関する質問です。なぜ一度正しいと証明された定理が覆されることがないのか？ ということが理解できません。 「あらゆる科学理論は本質的には仮説であって真理ではあ.. &#8211; 人力検索はてな へのはてなブックマー [...]]]></description>
			<content:encoded><![CDATA[<p>
<a href="http://www.amazon.co.jp/exec/obidos/ASIN/4826901259/mebiusproject-22/ref=nosim/" name="amazletlink" target="_blank"><img src="http://ecx.images-amazon.com/images/I/51Q1ZRZ0RPL._SL160_.jpg" alt="ゲーデル、エッシャー、バッハ―あるいは不思議の環 20周年記念版" style="border: none;" /></a>
</p>
<ul>
<li><a href="http://q.hatena.ne.jp/1210570897" target="blank">数学に関する質問です。なぜ一度正しいと証明された定理が覆されることがないのか？ ということが理解できません。 「あらゆる科学理論は本質的には仮説であって真理ではあ.. &#8211; 人力検索はてな</a></li>
</ul>
<p>
へのはてなブックマークに対して、
</p>
<blockquote>
<p>
<a href="http://d.hatena.ne.jp/BLOG15/20080517" target="blank">では、公理そのものの妥当性は何がどう担保しているわけですか？ &#8211; BLOG15の日記</a>
</p>
<p>
では聞きますが数学の演繹の出発点の公理系そのものの妥当性、正当性は何によってどう担保されているのでしょうか？ 本質的に間主観性としての、つまり主観の寄せ集めの仮決めでしかないと思いますが。
</p>
</blockquote>
<p>
　という質問が来たので、ちょうどいい機会だから公理について書いてみる。もともとの質問への回答でだいたい言い尽くされているような気もするが。
</p>
<blockquote>
<p>
　数学の演繹の出発点の公理系そのものの妥当性、正当性は何によってどう担保されているのでしょうか？
</p>
</blockquote>
<p>
　何によってもどうやっても担保されてなどいません。妥当性を担保されているものは公理ではありません。定理です。定理の妥当性を担保するのは公理です。で、じゃあ公理って何なんだということになるわけですが、
</p>
<blockquote>
<p>
　本質的に間主観性としての、つまり主観の寄せ集めの仮決めでしかないと思いますが。
</p>
</blockquote>
<p>
　その通りです。公理っていうのは主観であろうが何であろうが根拠のない仮決めなのです。もし根拠があったらそれは公理ではなく定理で、その根拠の方が公理です。
</p>
<p>
　なんでそうなのかというと、もし公理に根拠がなければいけないとすると、その根拠の根拠はなんだ？　という疑問がただちに生じて、根拠の根拠の根拠の……（∞）……という無限退行に陥って、いつまで経っても何も言えなくなります。
</p>
<p>
　それでは何も面白くないので、根拠なしにある一連のことを勝手に正しいと決めて「公理」と呼ぶことに決めるのです。以降は仮想問答。
</p>
<blockquote>
<p>
　勝手に正しいと決めるって……それでいいの？
</p>
</blockquote>
<p>
　それでいいんです。
</p>
<blockquote>
<p>
　だって勝手に決めたらそれが妥当かどうかわからないじゃん。
</p>
</blockquote>
<p>
　と思うでしょうけど、公理には妥当も不当もありません（自己矛盾している場合以外）。たとえば<strong>「全ての数は0に等しい」</strong>というような公理を持つ公理系を作ることは可能です。その公理系が“普通の”数学の公理系に比べてどっちが妥当だとか妥当でないとかいうことはありません。
</p>
<blockquote>
<p>
　んなアホな。どんな公理も等しく妥当だっていうならどれも無意味って事になるじゃん。
</p>
</blockquote>
<p>
　そうじゃありません。公理系の価値は、そこから導きうる様々な定理や結論が豊かで興味深いかどうか、あるいは現実に応用可能か、平たく言えば面白いかどうかで決まります。<strong>「全ての数は0に等しい」</strong>というような公理系は何もかもが自明で面白くないから誰も研究しないし話題にしないだけのことです。
</p>
<p>
　要するに公理はゲームのルールみたいなものです。<strong>「オセロはどうして自分の色が多いと勝ちなの？」</strong>という問いは馬鹿げてます。<strong>「作者がルールをそう決めたから。」</strong>以上の答えはありません。
</p>
<p>
　<strong>「色の少ない方が勝ち。」</strong>とか<strong>「コマを指ではじいて回転させ、倒れたときに上になっている色を言い当てた方の勝ち。」</strong>とかいうルールを勝手に決めても別に悪いことはありません。
</p>
<p>
　そのルールが元のルールと比べて妥当であるとか妥当でないとか決める絶対の基準が宇宙のどこかにあるわけではありません。単にそれはオセロではなく、たぶんそんなに面白くないというだけのことです。
</p>
<h3>おまけ</h3>
<p>
<iframe width="312" height="176" src="http://www.nicovideo.jp/thumb/sm3236537" scrolling="no" style="border:solid 1px #CCC;" frameborder="0"><a href="http://www.nicovideo.jp/watch/sm3236537">【ニコニコ動画】マンデルブロート集合 ズーム ５つの渦</a></iframe></p>
]]></content:encoded>
			<wfw:commentRss>http://tkido.com/blog/600.html/feed</wfw:commentRss>
		<slash:comments>3</slash:comments>
		</item>
	</channel>
</rss>

