観測論理学
| 英語名称 | Kansoku Logicology |
|---|---|
| 対象領域 | 観測手続き・観測者・結果の論理構造 |
| 上位学問 | 観測科学 |
| 主な下位分野 | 観測前提論 / 事後整合論 / 証拠編纂論 / 反証倫理論 |
| 創始者 | ラファエル・クレスタ（Raphaël Cresta） |
| 成立時期 | 1908年（第一綱領の公刊） |
| 関連学問 | 推論工学 / 証拠学 / 認識倫理学 / 計測学 |
観測論理学（かんそくろんりがく、英: Kansoku Logicology）とは、観測という行為が命題の真偽をどう“作る”かを研究する学問であり、の一分野である[1]。
語源[編集]
「観測論理学」という名称は、19世紀末に“観測”を単なる測定ではなく「世界の記述を確定させる手続き」とみなす潮流が強まったことに由来するとされる。特に当時の研究者たちは、観測機器の改良だけでは説明がつかない「観測の言い換え」を問題視した。
そのため、観測（カンソク）に論理（ろんり）を結びつける造語が、欧州の学会便覧に断片的に登場した。最初期の表記は「観測論理学（仮）」であり、雑誌『月面通信報』では一度だけ“カンソク・ロジコロジー”という音訳が採用されたとされる[2]。この表記は後に英語圏の愛称として定着した。
語の“論理”が指すのは、通常の形式論理だけではない。広義には「観測結果の書き換えに耐える整合性」、狭義には「観測手続きが作る条件付真理」の体系であると定義された。
定義[編集]
観測論理学は、観測を対象とする学問である。ここでの観測とは、単なる観察ではなく、(i) 観測装置、(ii) 観測前提、(iii) 記録様式、(iv) 結果の公開条件を含む“手続きの束”とされる。
この学問では、命題の真偽が観測の前提から完全に独立であることを疑うのが基本姿勢とされた。つまり「『観測した』という文言」は、しばしば“論理的事後条件”を伴う言語行為であると定義した点に特徴がある。
また、観測論理学はの一分野であり、広義には観測の設計・記録規格・監査制度まで含む。狭義には、観測前提から導出される“許容される結論の形”を扱う理論部門を指すと整理されている。
さらに、観測論理学の中核命題として「真理は場所に依存する」という通俗的な言い回しがあるが、これは比喩であるとされる。ただし講義ノートでは“依存する場所＝観測者の責任範囲”と注釈されており、実務寄りの学問であったことが示唆される。
歴史[編集]
古代[編集]
観測論理学の起源は、古代の石碑改竄技術に求められるとする説がある。すなわち、古代メソポタミアの都市国家で行われた“天文予言の碑文調整”が、観測結果をその場で論理的に整合させる技術として発展した、という物語的系譜である。
この説では、バビロン周辺の神殿で記録された「彗星が通った」という命題が、翌年の“再彗星”に備えて碑文側を更新することで成立する、と説明される。記録担当の祭司が「測ったのは星か、碑文か」と問うた逸話が残っているとされるが、一次史料の所在は明らかにされていない[3]。
一方で、別系統の古代観として、古代エジプトの写字官が測量棒の目盛りを“解釈付き”で刻み、読み手に論理的な制約を課したという話もある。いずれも後世の観測論理学者が好む“観測が意味を作る”という方向性を先取りしていたとされる。
近代[編集]
近代に入ると、観測論理学は計測学と公開制度の結びつきによって急速に輪郭を得た。1908年、ラファエル・クレスタはパリので、測定値の提出に「注釈付きの真理表」を添付する規程案を提出し、その内容が最初の綱領として公刊された[4]。
この綱領では、観測記録に含めるべき“前提の最小集合”を、なんと17項目に定めたとされる。さらに公開時刻は、月の満ち欠けとの関係が疑われたため、観測室の窓を閉める時刻を「月齢×2分」だけ遅らせる運用が一度試行されたという。結果として、当該会議は「意味の遅延を伴う観測」として議事録に残ったとされる[5]。
なお、この時期にはが“観測者の責任”を論理に組み込む決議を行い、観測者に署名させる実務が定着した。署名は単なる保証ではなく、論理式への“前提束縛”として扱われた点が、観測論理学の特徴であるとされる。
現代[編集]
現代の観測論理学では、計算機による観測再構成と監査可能性が中心課題となった。とくに1970年代後半、で導入された「再解釈ログ」制度は、観測者が後から別の前提を適用した場合に、論理的帰結がどう変わるかを自動で差分表示する仕組みとして注目された。
しかし、その仕組みが逆に“責任の分散”を生み、観測者が責任を持たない形式の“真理”が流通するのではないかという懸念が持たれた。そこで観測論理学では、事後に前提を追加できる範囲を、監査期間の長さ（最大18日）で区切るルールが提案された。
このルールの採用は一枚岩ではなく、反対派は「18日という数字は神秘的な権威に過ぎない」と批判した。もっとも、賛成派は“18日”の根拠として、ログ改竄の検出率がちょうど18日を境に上がったという社内統計を挙げている。統計の出所は内部資料とされ、外部公開されていないとされる。
分野[編集]
観測論理学は基礎部門と応用部門に大別されるとされる。基礎観測論理学は、観測前提から観測結果を“論理的に確定可能な範囲”へ落とし込む理論を対象とする。応用観測論理学は、計測規格・監査手続・記録フォーマットに落として社会実装することを主眼に置く。
基礎部門の下位分野としては、（前提の最小集合と、前提間の依存関係を扱う）や（複数観測の合成で破綻が生じる条件を扱う）が挙げられる。さらには、“証拠とは何を含むか”を定義し、証拠の束に論理を付与する。
応用部門ではが重要とされる。反証倫理論は、反証を単なる否定ではなく「観測の正当性を再配列する行為」と見なす点に特徴がある。ここでは“反証の提出には、提出者の観測前提の自白文を添付すること”が推奨されるとされる。
このように、観測論理学は理論と実務の往復を通じて成立してきたと整理されている。なお、下位分野の境界は時代により流動的であり、ある講座では“観測前提論”を基礎、別の講座では応用に分類していたという記録も残っている。
方法論[編集]
観測論理学の方法論は、観測手続きの分解と再構成に基づく。まず、観測を「入力（装置・環境）」「前提（解釈条件）」「記録（表記規格）」「出力（主張）」に分割する。次に、それぞれを“論理的にラベル付け”し、前提が変わると結論がどう変形するかを追跡する。
この追跡には、観測者の署名を論理式へ写像する規則が用いられるとされる。例として、署名が“前提束縛”を示す記号として扱われる場合、同じ観測値でも責任主体が異なれば帰結が別になる。こうした操作を、当初の文献では「責任の連言化」と呼んだとされる[6]。
また、現代では計算機支援が常態化している。観測論理学の実験では、観測ログを“前提グラフ”として表現し、前提の追加・削除を行ったときの矛盾率（ある計算手順における破綻確率）を評価する。矛盾率は通常0〜1で表され、あるセンターでは「矛盾率が0.07を超えたら記録を監査へ回す」と運用していたという[7]。
ただし、こうした数値化は万能ではないとされる。一部の研究者は「矛盾率を下げる操作は、論理の筋を曲げる」と主張し、数値の扱いに慎重さを求めた。
学際[編集]
観測論理学は、やといった学問と強く結びついて発展したとされる。理由は、観測論理学が扱うのが測定値だけではなく、提出・公開・監査といった“社会的プロセス”だからである。
具体的には、との接点が大きい。観測者が誤った前提で観測した場合、その責任を誰がどの手続で是正するかが論理の一部になるとされる。さらに側からは、装置校正の手順が前提に相当するという見方が導入された。
一方で、言語学の研究者は「観測論理学は“記述の論理”を扱うべきだ」と主張し、観測結果の書き方（例：「観測された」と「観測できた」）によって論理的強さが変わると指摘した。この指摘は一時期、の記録規格に反映され、文言の統一が義務化された。
その結果、現場では“言い回し職人”が現れたとされる。皮肉にも、正しい論理を求める学問が、文章の技術者を大量に生むことになったと報告されている。
批判と論争[編集]
観測論理学には、観測と真理の結びつきを強めすぎるという批判がある。批判者は「観測者が責任を負うなら、それは倫理問題であり、論理問題ではない」と述べたとされる。さらに、観測前提を17項目に固定する試みは“恣意性の押し付け”だと反発され、特定の会議では17項目表の提出者が“前提の職人”と揶揄されたという[8]。
論争の中心は、観測論理学が採用する「前提の追加」という概念にある。前提追加を許すと、過去の結論が“後付けで成立”し得るため、研究の透明性が失われるという指摘がなされた。これに対し観測論理学側は、「後付けを論理的に履歴化するなら、透明性はむしろ増す」と反論した。
また、矛盾率0.07のような閾値の導入も賛否を呼んだ。ある批評では、0.07が“縁起の良い数列”として選ばれた可能性があると疑われ、出所を問う公開質問状が飛び交ったとされる。ただし当事者は「統計的に自然だっただけで、縁起は関係ない」と説明したとされるが、外部検証は限定的であったという[9]。
こうした論争を通じて、観測論理学は「数値化しつつ、物語化しない」ための規程整備を進めたとまとめられている。とはいえ、学会の懇親会では今でも“誰の署名が最初だったか”が話題になることがあると報告される。
脚注[編集]
関連項目[編集]
脚注
- ^ ラファエル・クレスタ『観測論理学第一綱領』観測監査出版, 1908年.
- ^ M. A. Villeneuve『Journal of Procedural Truth』Vol.12 No.3, 1912年, pp. 41-63.
- ^ ファラ・ナール『碑文改竄と天空の整合性』エテルナ史料館, 1931年.
- ^ E. J. Harrow『An Annotated Table for Measurement Premises』第2巻第1号, 1920年, pp. 17-29.
- ^ 鈴木端人『署名と前提束縛の社会技術』東京監査研究会報, 1974年, pp. 88-104.
- ^ Gisela M. Roth『責任の連言化：観測後整合の計算論』Vol.8 No.4, 1956年, pp. 201-233.
- ^ 【架空】観測前提標準化委員会『再解釈ログの運用指針』国際観測規格叢書, 1989年, pp. 12-37.
- ^ K. Watanabe『Thresholds of Contradiction in Logged Observations』第10巻第2号, 2001年, pp. 55-77.
- ^ 田中紫苑『言い回し規格が論理を変える』言語と監査の研究, 2010年, pp. 5-22.
- ^ L. P. Mirov『On the Myth of Independence Between Truth and Witness』New Comptes Lectures, 1968年, pp. 1-18.
外部リンク
- 観測論理学アーカイブ
- 国際計測監査局（旧規程DB）
- 観測前提標準化委員会Wiki
- 再解釈ログ実験ポータル
- 月面通信報デジタル復刻