An observer-based approach to the sorites paradox and the logic derived from that

Each language version is independently generated for its own context, not a direct translation.

1. 問題は何だったのか？（砂の山のパラドックス）

まず、このパラドックスが何を言っているか思い出しましょう。

「砂を一粒ずつ積み上げていくと、いつからが『砂の山』になるのか？」
「1 粒では山ではない。2 粒でも山ではない。……100 万粒なら山だ。」
「じゃあ、99 万 9999 粒と 100 万粒のどちらが『山』で、どちらが『山じゃない』のか？」

ここには**「境界線（ボーダーライン）」が見当たらない**という矛盾があります。常識的には「1 粒増えただけで『山』になるはずがない」と思いますが、結局どこで「山」になったのかを特定できないまま、いつの間にか山になっている。これがパラドックスです。

2. この論文の解決策：「見ている人」と「見ない時間」

著者のアサナシオス・ツォウバラ氏は、この問題を解決するために**「観察者（あなたや私）」と「時間」**に注目しました。

彼の考え方はこうです：
「私たちは、物事を『ずっと、ずっと、途切れることなく』見ているわけではない」

創造的な例え：「砂時計とまばたき」

想像してみてください。あなたが砂を一粒ずつ積み上げる実験をしているとします。

連続して見ている場合： もしあなたが、まばたきもせず、呼吸も止めて、砂が積み上がる瞬間を 1 秒たりとも逃さず見つめ続けたなら、1 粒増えるたびに「まだ山じゃない」「まだ山じゃない」と言い続け、突然「山だ！」と叫ぶ瞬間は訪れないかもしれません。
現実の場合： でも、私たちはまばたきをしたり、別のことに気を取られたりします。

著者は、この**「見ている時間」と「見ていない時間（スキップ）」**の間に、パラドックスの答えがあると言います。

3. 「フラクシング・オブジェクト（流れる物体）」の考え方

この論文では、物事を「固定されたもの」ではなく、**「観察者と時間とともに変化し続けるもの」**として捉えます。

観察者（あなた）： 砂を見ている人。
フラクシング・オブジェクト： 砂の山そのもの。
ウォッチング・ギャップ（観察の隙間）： あなたが砂から目を離した瞬間。

「ウォッチング・ギャップ」が鍵です。

あなたが砂を見ている間（A 時点）、それは「まだ山じゃない」状態です。
しかし、あなたがトイレに行ったり、スマホを見たりして**「見ていない隙間」**が生まれます。
その隙間の間に、砂が何千粒も積み上がっていたとします。

そして、あなたが再び砂を見た瞬間（B 時点）、そこには立派な「砂の山」ができています。

A 時点： 「山じゃない」
B 時点： 「山だ」

「いつ、どこで山になったのか？」 と聞かれても、答えは**「あなたが見ていない『隙間』の中で起きた」となります。
つまり、「境界線」は存在しないのではなく、「境界線が引かれる瞬間は、私たちが『見ていない』からわからないだけ」**なのです。

4. 論理的な裏付け（3 値論理）

この考え方を数学的に整理すると、面白い結果が出ます。

通常、論理は「真（True）」か「偽（False）」の 2 つです。

「これは山だ」＝真
「これは山だ」＝偽

しかし、この論文では**「見ていない隙間」を考慮すると、「どちらとも言い切れない（Undetermined）」という3 つ目の状態**が生まれます。

真（True）： 見ていて、明らかに山だ。
偽（False）： 見ていて、明らかに山じゃない。
未定（Unknown）： 見ていない隙間の間、あるいは「見ている最中に急激に変わった瞬間」は、どちらとも断定できない。

この「真・偽・未定」の 3 つの値を使う論理体系は、実は昔からある**「ストロング・クリーネ論理」**という有名な論理と全く同じであることが証明されています。

5. なぜこれが重要なのか？（人間の生理学的な理由）

著者は、この「見ている隙間」が単なる空想ではなく、人間の脳の仕組みとして現実的だと主張しています。

神経の疲労： 専門家の意見によると、人間は同じものをじっと見続けると、網膜の神経が疲れて、視界がぼやけてきます（「スクリーンセーバー」のように目を動かす必要がある）。
注意の断続性： 人間の注意は、連続した川のように流れているのではなく、「点と点」のように断続的にしか機能しません。

つまり、**「私たちは物理的に、物事を『途切れなく』見続けることができない」**のです。だから、境界線がいつ引かれたのかを特定できないのは、私たちの観察能力の限界（生理学的な制約）による自然な現象だ、というわけです。

まとめ：パラドックスの消滅

この論文の結論はシンプルで力強いものです。

「ソリステスのパラドックスは、私たちが『見ている隙間』を無視していることから生まれる幻想に過ぎない。」

砂が「山」になる瞬間は、私たちが目を離した**「ウォッチング・ギャップ」**の中で静かに起こります。
私たちが再び目を開けた時、そこにはすでに「山」があります。
「いつ変わったのか？」と問うこと自体が、「私はずっと見ていたはずだ」という誤った前提に基づいています。

私たちが「見ている」と思っている時間は、実は**「見ている時間」と「見えていない時間」の断続的な集まり**です。その「見えていない時間」こそが、物事が劇的に変わる（境界を越える）ための隠れた舞台なのです。

このように、**「不完全な観察者」**としての人間を認めることで、あの長年の哲学的な難問は、シンプルで現実的な解決策を見つけたのです。

Each language version is independently generated for its own context, not a direct translation.

論文概要：ソリス悖論に対する観測者ベース・時間依存アプローチ

1. 問題提起：ソリス悖論と従来のアプローチの限界

ソリス悖論（例：「1 粒の砂は山ではない。1 粒足しても山ではない。これを繰り返すと、いつ山になるのか？」）は、離散的な曖昧性（baldness, heapness など）において、帰納法の破綻として現れる古典的な論理的難問です。
数学的には、ある曖昧述語 $P$ に対して、 $P(n) \Rightarrow P(n+1)$ が成り立つにもかかわらず、 $P$ の拡張と $\neg P$ の拡張の間に明確な境界が存在せず、自然数集合 $\mathbb{N}$ 内で最小要素を持たない部分集合が生じるという矛盾を指します。
従来の解決策の一つとして、非標準解析モデル（標準自然数 $\mathbb{N}$ を含む非標準モデル $\mathbb{M}$ を用いる）が提案されていますが、非標準整数は現実の経験や日常言語において実行不可能（infeasible）であり、実用的な解決策とはなり得ません。

2. 方法論：フラクシング・オブジェクト意味論（FOS）

本論文は、標準的な自然数 $\mathbb{N}$ の枠組みを維持しつつ、ソリス悖論を解消するための新しい形式意味論を提案しています。その核心は以下の要素にあります。

観測者（エージェント）と時間の依存性:
真理値は、絶対的なものではなく、特定の観測者 $i$ と時間 $t$ に依存して定義されます。
フラクシング・オブジェクト（Fluxing Objects）:
対象物は定数ではなく、時間と観測者の関数として定義されます。具体的には、有限集合 $A$ （対象物の形態）から、観測者集合 $I$ と時間軸 $\mathbb{N}$ の直積 $I \times \mathbb{N}$ への部分関数 $f$ としてモデル化されます。
$f: I \times \mathbb{N} \rightharpoonup A$
ここで、 $f(i, t)$ が定義されている場合、観測者 $i$ が時間 $t$ に対象 $f$ を知覚していることを意味します。
観測ギャップ（Watching Gaps）:
関数が部分関数であることが本質的です。ある観測者 $i$ $i$ にとって、連続する時刻 $t$ $t$ と $s$ $s$ で $f(i, t)$ $f (i, t)$ と $f(i, s)$ $f (i, s)$ が定義されていても、その間の $t'$ $t^{'}$ で $f(i, t')$ $f (i, t^{'})$ が定義されていない（観測が中断されている）状態が存在します。これを「観測ギャップ」と呼びます。
- 生理学的根拠: 人間の視覚や注意の持続には限界があり（神経疲労など）、連続的な観測は不可能であり、観測は断続的（intermittent）であるという認知心理学・視覚科学の知見に基づいています。
不可感知変化（Imperceptibly Changing, i.c.）:
対象物 $f$ が述語 $\phi$ に関して「不可感知に変化する」とは、観測者が連続する時刻 $t, t+1$ で観測している場合、 $\phi(f)$ の真理値は変化しないことを意味します。
$\langle i, t \rangle \Vdash \phi(f) \iff \langle i, t+1 \rangle \Vdash \phi(f)$
したがって、真理値の変化（例えば「山ではない」から「山である」への移行）は、連続した観測中ではなく、必ず観測ギャップの間に発生する必要があります。

3. 論理的帰結：3 値論理とストロング・クレイニー論理

FOS における真理関係 $\Vdash$ は、関数の部分性（観測ギャップ）により、真理値のギャップ（未定義）を生み出します。

3 値論理の導入:
- $T$ (True): $F, i, t \Vdash \phi$
- $F$ (False): $F, i, t \Vdash \neg \phi$
- $U$ (Undetermined): $F, i, t \not\Vdash \phi$ かつ $F, i, t \not\Vdash \neg \phi$ （観測ギャップ中など）
ストロング・クレイニー論理との同一性:
論理結合子（ $\land, \lor, \neg$ $\land, \lor, \neg$ ）の真理値表を計算すると、この論理は**ストロング・クレイニー 3 値論理（Strong Kleene three-valued logic）**と完全に一致することが証明されています。
- 例： $T \land U = U$ , $F \lor U = U$ , $\neg U = U$ など。
- この論理は健全（sound）ですが不完全（incomplete）です。つまり、矛盾は導出されませんが、すべての命題に対して真理値が決定されるわけではありません。

4. ソリス悖論の解消メカニズム

FOS におけるソリス悖論の解決は以下の論理構造に基づきます。

不可感知変化の条件: 観測者が連続して対象を観測している限り（観測ギャップがない限り）、不可感知に変化する対象について、観測者の見解（述語の適用の有無）は変化しません。
見解の変化と観測ギャップ: もし観測者が時刻 $t$ では「山ではない」と判断し、時刻 $s$ ( $t < s$ ) では「山である」と判断した場合、 Proposition 3.3 により、 $t$ と $s$ の間に必ず観測ギャップが存在しなければなりません。
パラドックスの消滅: 境界を「越える」瞬間は、観測者が不在（観測ギャップ）である期間に起こります。観測者が連続して監視している限り、境界を越えることは不可能です。
- したがって、「いつ、どのように境界を越えたのか」という問いは、観測が途切れた期間にその変化が起きたと解釈することで、論理的矛盾（パラドックス）として解消されます。
- 現実の「地平線の越え（horizon crossing）」も、観測者が注意を逸らしている間に起こる現象として説明可能です。

5. 主要な貢献と意義

標準自然数への回帰: 非標準モデルを用いることなく、標準的な自然数 $\mathbb{N}$ の枠組み内でソリス悖論を形式化し、解消しました。
観測者の役割の形式化: 真理の定義に「観測者」と「時間」を本質的な要素として組み込み、曖昧性の根源を「観測の断続性（部分性）」に帰着させました。
論理と認知科学の統合: 論理的な 3 値論理（ストロング・クレイニー）と、人間の視覚・注意の断続性に関する認知科学的知見（観測ギャップ）を結びつけ、哲学的なパラドックスに実証的な根拠を与えました。
地平線理論への応用: 現象学的な「地平線（horizon）」の概念を、観測ギャップを介した現実的なメカニズムとして再解釈し、非標準数を用いた抽象的なモデルの代わりとなる実用的な枠組みを提供しました。

結論

本論文は、ソリス悖論が「観測の連続性」を前提とした誤った推論に起因することを示し、観測が断続的であるという現実的な制約（観測ギャップ）を形式意味論（FOS）に導入することで、パラドックスを論理的に解消しました。このアプローチは、曖昧な述語の真理値を「観測状態」に依存する相対的なものとして再定義し、ストロング・クレイニー 3 値論理という確立された論理体系と整合する結果を得ています。