論理が未来を一本の線に縛る

明日、海戦は起こるか。

2300年以上前にアリストテレスがこの問いを立てた。答えは出ていない。出ないのではなく、出せない。「起こる」と答えれば未来は決定済みになる。「起こらない」と答えれば海戦は不可能になる。「どちらでもない」と答えれば、論理学の土台が割れる。

あなたは明日の予定を手帳に書き込む。アラームを設定する。友人と約束する。そのすべては、未来が開かれているという暗黙の前提の上に成り立っている。しかしその前提を論理の言葉で正当化しようとした瞬間、足元から地面が消える。

アリストテレスの罠

『命題論(De Interpretatione)』第9章。アリストテレスはここで、すべての命題は真か偽かのどちらかであるという原則、いわゆる二値原理(principle of bivalence)を未来の偶然的事象に適用したとき何が起こるかを問うた。

論理はこう要求する。「明日、海戦が起こる」という命題は、今この瞬間、真か偽かのどちらかである。もし真なら、海戦は必然的に起こる。もし偽なら、海戦は必然的に起こらない。どちらの場合も、未来はすでに確定している。偶然など存在しない。

これは「論理的決定論」あるいは「論理的宿命論」と呼ばれる立場だ。物理法則が未来を決めるのではない。因果関係が未来を決めるのでもない。論理そのものが、未来を一本の線に縛りつけてしまう。

アリストテレス自身はこの帰結を拒んだ。彼は、未来の偶然的事象に関する命題については二値原理の適用を保留すべきだと考えた(とされている。ただし、彼が正確に何を主張したかについては2300年経った今も合意がない)。排中律、つまり「海戦は起こるか、起こらないか」という選言そのものは成り立つ。しかし各選言肢がそれぞれ確定的に真であったり偽であったりするわけではない。

この区別がどれほど微妙で、どれほど危ういかは、後の歴史が証明している。

三つ目の値

1920年、ポーランドの論理学者ヤン・ルカシェヴィチ(Jan Łukasiewicz)は、アリストテレスの問題に形式的な回答を試みた。真と偽に加えて第三の値「未定(indeterminate)」を導入する三値論理の体系を構築したのだ。

未来の偶然的事象に関する命題は、真でも偽でもなく「未定」である。排中律の崩壊のように見えるが、ルカシェヴィチの体系では排中律は特殊な形で保持される。「Pまたは非P」は常に真だが、Pと非Pのそれぞれは未定でありうる。

きわめてエレガントだ。しかし代価は高い。古典論理の推論規則の一部が使えなくなる。二重否定の除去、対偶法、背理法。日常的な推論の道具が、三値の世界では信頼できなくなる。未来を救おうとして、現在の論理を傷つけた。

そしてもっと根本的な問題がある。「未定」とは何なのか。真でも偽でもない状態とは、世界の側の性質なのか、私たちの認識の限界を言い換えているだけなのか。偶然はどこにもないで問うたように、偶然性そのものが存在論的に実在するのか、それとも単に無知の別名なのか。ルカシェヴィチの体系は、この問いに答えていない。体系の外側に追い出しただけだ。

時制のなかの真理

1950年代から60年代にかけて、ニュージーランド出身の論理学者A.N.プライアー(Arthur Norman Prior)は、時間を論理の内部に組み込むという別の道を開いた。時制論理(tense logic)と呼ばれる体系だ。

プライアーの着想はこうだ。「明日、海戦が起こる」は、今この瞬間に真でも偽でもない。しかしそれは、この命題が真理値を「持たない」からではなく、この命題が指す事態がまだ存在しないからだ。未来は現在とは存在論的に異なるカテゴリーに属する。過去の事実は確定している。現在の事実は確定している。しかし未来の事実は、文字どおり「まだない」。

これはチャールズ・サンダース・パースの形而上学に遡る発想で、プライアーはこれを「パースの直観」と呼んだ。未来は、現在から分岐する可能性の束として存在する。どの枝が実現するかは、まだ決まっていない。

近年、パトリック・トッドはこの立場をさらに推し進めた。彼の主張はこうだ。未来の偶然的事象に関する命題は体系的に「偽」である。「明日、海戦が起こる」は偽。「明日、海戦が起こらない」も偽。一見すると排中律の否定に見えるが、トッドはこれを排中律と整合させる。なぜなら「明日海戦が起こるか起こらないか」という選言は、そもそも排中律のインスタンスではないと彼は論じるからだ。

大胆な提案だが、直感に反する帰結を伴う。「明日、太陽は昇る」もまた、厳密には偽であることになる。

どの道を選んでも、何かが犠牲になる。論理を守れば未来が死に、未来を守れば論理が傷つく。何も確かではないという不安は、認識の表層ではなく、実在の根底から湧き上がってくるものなのかもしれない。

神は賭けに参加しているか

アリストテレスの問いは、中世に入って神学的な爆発力を帯びた。

全知の神は未来を知っている。未来を知っているということは、未来がすでに確定しているということだ。未来が確定しているなら、人間が何を選ぼうと、その選択はすでに知られている。つまり、自由意志は幻想だ。

6世紀、ボエティウスは『哲学の慰め(Consolatio Philosophiae)』において有名な解決を提示した。神は時間の外にいる。神は未来を「予知」しているのではない。永遠の現在から、すべての時間を一望している。あなたが通りを歩く人を高い塔から見下ろすとき、あなたはその人の行動を「知っている」が、その人の自由を制限していない。神の視点はそれと同じだ、と。

エレガントだが、問題を解消したとは言いがたい。「永遠の現在」とは何なのか。時間の外から時間を見るとはどういうことなのか。その比喩は、比喩以上のものになりうるのか。

20世紀後半から21世紀にかけて、「開放的有神論(open theism)」と呼ばれる神学的立場が登場した。この立場は、神も未来の偶然的事象については知らないと主張する。神の全知は完全だが、知るべき対象がまだ存在しないのだから、知らないことは全知の欠如ではない。未来に関する可能性を可能性として知っている。それが完全な知識のあり方だ、と。

全知の退屈で問うたように、すべてを知っている存在は、何に驚くのか。開放的有神論は、この退屈から神を救おうとする試みだとも読める。もっとも、「すべてを知るはずの存在が知らないことがある」という命題そのものが、信仰の体系にどれだけの亀裂を走らせるかは、また別の問いだ。

量子力学は味方か

20世紀の物理学は、決定論に対する強力な反証を提供したように見える。

量子力学における重ね合わせの状態。観測されるまで、粒子はスピン上向きでもスピン下向きでもない。ある確率で上向きであり、ある確率で下向きである。観測した瞬間に、状態が一つに確定する。

これはアリストテレスの「未定」に驚くほど似ている。物理的な世界そのものが、二値を拒んでいるように見える。

しかし、この類比は慎重に扱う必要がある。量子力学の不確定性は、特定の物理量の測定に関するものであり、命題の真理値に関する論理的な問題とは次元が異なる。量子力学が「未来は開かれている」と証明したわけではない。量子力学が示したのは、私たちが世界を記述するために使っている枠組みが、世界の側の構造と一致しているかどうかは自明ではないということだ。

そして仮に物理学が決定論を否定したとしても、それで自由意志が救われるわけでもない。ランダムな揺らぎは、自由な選択とは別のものだ。サイコロを振るのは自由意志の行使ではない。人生に筋書きはないという直感は、決定論の否定からは導けない。因果的に決まっていないことと、自分で決めることは、同じではない。

あなたの手帳は嘘をつく

ここまでの議論を、日常の出来事に落とし込もう。

明日の午前10時にプレゼンがある。準備する。スライドを作り、原稿を見直し、早めに寝ようとする。この一連の行動は、「明日のプレゼンは起こる」という命題が少なくとも蓋然的に真であるという前提に基づいている。

しかし厳密に言えば、明日のプレゼンが起こるかどうかは知りえない。知りえないにもかかわらず、準備する。準備するのは、未来が開かれているからだ。未来が確定していたら、準備する意味がない。しかし未来が完全に不確定なら、やはり準備する意味がない。

なおも自由という夢を見るように、私たちは自分の選択が何かを変えうるという感覚のなかで生きている。しかしその感覚を論理的に正当化しようとすると、アリストテレスと同じ袋小路に入り込む。選択が未来を変えうるなら、変わる前の未来とは何だったのか。選択が未来を変えられないなら、選択とは何なのか。

天気予報は「明日80%の確率で雨」と告げる。この文は真か偽か。確率的命題の真理値という問題に踏み込めば、話はさらに複雑になる。80%の雨という予報が「真」であるためには、何が起きればいいのか。雨が降れば真なのか。降らなくても予報の時点では真だったのか。確率は世界の側にあるのか、私たちの無知の度合いを表しているだけなのか。

論理が死んだ水曜日で描いたように、「来る」と知っているはずのものが、来たとき必ず驚きになる。論理は「来ない」と証明し、現実は予告どおりに到来する。開放的未来のパラドックスもまた、論理と現実の同じ亀裂の上に立っている。

海は静かだ

パラドックスは解かれていない。2300年と数え切れない論文を経ても、解かれる見込みもない。

二値原理を守れば決定論に陥る。三値論理を導入すれば古典的推論が崩壊する。時制論理で未来を「まだない」とすれば、明日への問いはすべて意味を失う。開放的有神論は神を救うために全知を切り落とす。量子力学は不確定性を差し出すが、それは自由ではなく偶然にすぎない。

どの出口にも壁がある。

それでもあなたは明日の予定を立てる。手帳に書く。アラームを設定する。論理が未来を語れないことを知らないまま、あるいは知っていても気にしないまま、明日に向かって準備を続ける。

アリストテレスの海戦は、まだ始まっていない。始まるかどうかもわからない。しかしあなたはもう、岸辺に立っている。

Read more

Capture Oneに待望のネガフィルム変換機能が来た

2026年4月3日、Capture One 16.7.4 がリリースされた。目玉はなんといっても Negative Film Conversion(ネガフィルム変換) の搭載だ。これまで Cultural Heritage エディション限定だったネガ反転処理が、ついに通常の Capture One Pro / Studio でも使えるようになった。 何が変わったのか 従来、Capture One でネガフィルムをポジに変換するには、Cultural Heritage(CH)エディションを使う必要があった。CH は文化財デジタル化向けの専用製品で、Base Characteristics ツールに Film Negative / Film Positive モードが用意されていた。しかし一般の写真愛好家がフィルムスキャンのためだけに CH を導入するのは現実的ではなく、多くのユーザーは Lightroom とそのプラグイン(Negative Lab

By Sakashita Yasunobu

雨の中、歩くべきか走るべきか

傘を忘れた日の永遠の問い、歩くか、走るか、いやいっそ雨宿りをするのか。物理で決着をつける。 モデル 人体を直方体で近似。上面積 $A_{\text{top}}$(頭・肩)、前面積 $A_{\text{front}}$(胸・顔)。雨は鉛直一様(落下速度 $v_r$、数密度 $n$)、距離 $d$ を速度 $v$ で直線移動する。 人体の直方体モデルは、上から見た水平断面が $A_{\text{top}}$、正面から見た鉛直断面が $A_{\text{front}}$ の二面で構成される。移動方向は水平、雨は鉛直に降る。 受ける雨滴数は、上面が $n v_r A_{\text{top}

By Sakashita Yasunobu

T-GRAIN・Core-Shell・旧式乳剤の定量比較

Kodak T-GRAIN、Ilford Core-Shell、旧式立方晶乳剤。写真フィルムの性能を左右する三つの乳剤技術を、特許文献と数式に基づいて比較する。 1. 出発点: 旧式乳剤の構造と限界 T-MAXやDeltaが何を改良したのかを理解するには、まず従来の乳剤がどのようなものだったかを押さえておく必要がある。 1980年代以前、標準的なハロゲン化銀乳剤はAgBrやAgBr(I)の結晶が立方体(cubic)か不定形(irregular)の形をしていた。Tri-XやHP5の祖先にあたるこれらの乳剤では、結晶のアスペクト比(直径対厚さの比)はおおむね1:1から2:1。三次元的にほぼ等方的な粒子が乳剤層にランダムに散らばっていた。 この形態が感度と粒状性のトレードオフに直結する。立方晶粒子を一辺 $a$ の立方体として近似すると、表面積と体積、そしてその比は次のとおりである。 $$ S_{\text{cubic}} = 6a^2, \quad V_{\text{cubic}} = a^3, \quad \frac{S}{V} = \frac{6}

By Sakashita Yasunobu

クジラはなぜがんにならないのか

体が大きい動物ほど細胞の数が多い。細胞が多ければ、そのうちどれかががん化する確率も高くなるはずだ。ところが現実には、クジラやゾウのがん発生率はヒトよりも低い。1977年、疫学者リチャード・ピートがこの矛盾を指摘した。以来この問いは「ピートのパラドックス」と呼ばれ、比較腫瘍学における最大の謎のひとつであり続けている。 種の中では予測通り、種の間では崩れる 同じ種の中では、直感どおりの傾向が確認されている。身長の高いヒトはそうでないヒトよりがんの発生率がやや高く、年齢を重ねるほどがんは増える。細胞の数が多いほど、細胞分裂の回数が多いほど、がん化の確率は上がる。 しかし種を超えて比較すると、この関係が崩壊する。シロナガスクジラの細胞数はヒトの約1000倍にのぼるが、がんの発生率がヒトの1000倍になるわけではない。哺乳類全体を見渡しても、体サイズとがんリスクの間に明確な正の相関は長い間見つかっていなかった。がんの発生率は種が異なっても約2倍の範囲にしか収まらないとされてきた。体サイズの差は100万倍を超えるにもかかわらず。 ゾウが持つ余分ながん抑制遺伝子 最もよく知られた説明は

By Sakashita Yasunobu