ソフトウェアエンジニアリングにおける Gettier 事例 (2019)

哲学を揺るがした3ページの論文: ソフトウェアエンジニアリングにおける Gettier

• Gettier事例の紹介

  • 1963年、哲学者 Edmund Gettier は "Is Justified True Belief Knowledge?" という論文を発表し、哲学界に大きな影響を与えた。
  • 伝統的に知識は「正当化された真なる信念」と定義されてきたが、Gettier はこれに反論する事例を提示した。
  • たとえば、野原にいる牛を見ていると思っているが、実際には紙で作られた模型を見ている状況を想像できる。もし本物の牛がその後ろにいるなら、それは正当化された真なる信念ではあるが、知識とは言えない状況である。

• ソフトウェアエンジニアリングでの Gettier 事例

  • 筆者が勤めていた会社 Genius の CTO は Gettier 事例に強い関心を持っており、これを "gettier" と呼んでいた。
  • ソフトウェア開発では、このような Gettier 事例に似た状況にしばしば遭遇する。
  • たとえば、Webアプリケーションで検索フィールドのフォーカス問題を解決しようとしていたが、実際には別の開発者がフレームワークを変更したことで発生した問題だった。

• 新しい用語の誕生

  • 哲学者たちはこうした事例を真の Gettier 事例とは見なさないかもしれないが、開発者にとっては有用な概念である。
  • 複数の原因があり得る問題状況で、ある一つの原因についての信念を持ってしまう場合を説明するのに役立つ。
  • この概念を通じて、開発者は問題解決の際により注意深くアプローチできる。

GN⁺のまとめ

• Gettier 事例は哲学だけでなくソフトウェアエンジニアリングでも重要な概念であり、複雑な問題解決に役立つ。
• ソフトウェア開発者は、さまざまな原因が絡み合った問題にしばしば直面するため、こうした状況を理解して備えることが重要である。
• この記事は、開発者が問題解決の際により深い思考をできるよう助ける興味深い事例を提供する。
• 類似の機能を持つプロジェクトとして、GitHub のさまざまなオープンソースのデバッグツールを勧めることができる。

[GN⁺]

Hacker Newsの意見

• 哲学者たちとのZoomミーティングで、実際の背景と同じ画面背景を使って彼らをだます冗談があった

  • 哲学専攻として、Gettier問題をめぐる議論は人気があった
  • Gettierの論文は短いので人気があったのだと思う
  • 知識の定義についての終わりのない議論だと思う

• 知識と真理は中央集権的な概念である

  • モデルは不完全で暫定的であり、複数存在する
  • プログラミングではこれを抽象化と呼ぶ
  • 意識、理解、知能などは中央集権的な方式では説明しにくい
  • 検索は分散的な概念で、あらゆる精神機能を含む

• 正当化は0から1までの尺度である

  • 複雑な世界で誰もが神のようになれるわけではない
  • 誤った前提がJTBを強調する
  • 誤った知識でも、皆が同意すれば重要でないかもしれない

• 哲学的議論では「知る」という言葉が過負荷になっている

  • 最初の「知る」は信念である
  • 科学は信念を事実に近づけようと努める
  • 2つ目の「知る」は絶対的真理と一致する概念である

• Gettier事例は真理と知識について興味深い点を教えてくれる

  • 事実に関する主張は、その主張の有効な原因を記述しなければならない
  • 陳述は世界と因果的および記述的な関係を持たなければならない

• 分析哲学は哲学の一部にすぎず、より広く豊かな哲学を求める学生は多い