論理構造図

本図は第一論文の論証構造を視覚化したものである。再現性議論における暗黙の前提の確認から始まり、問題空間とDTC条件の形式的定義を経て、区別命題——再現性の失敗と問題同一性の失敗は形式的に区別可能である——に至る論理の流れを示す。

各ノードにホバーすると詳細が表示される。論証の全体は第一論文 → に展開されている。

ノードにホバーすると詳細を表示。図の中でスクロールすると全体を確認できる。

本図は4つの論理的層から構成される。第一層（§1–§2）は再現性議論が問題同一性を前提としており、自然言語記述ではその条件を保証できないことを示す。第二層（§3–§4）は問題空間 M = (S, τ, Γ) の形式的定義と、問題同一性の基準としての構造同型を導入する。第三層（§5）はDTC条件とCondition Eの下での再構成可能性の十分性と各条件の必要性を証明する。第四層（§6–§8）は4事例への適用を経て区別命題を導出する。