2008-09-13から1日間の記事一覧
上のエントリを読み返していて、ふと「ニセの手がかり」なるものを真面目に扱える論理体系って何だろう、と気になって、考えてみた。ヒントは、ヒビルテにあった知識論理。以下引用すると、こんなの。 K(φ,ψ) := □(φ→ψ) → □φ → □ψ φ→ψ であることを知ってい…
どうも、「うみねこ」作者が後期クイーン問題なるものに言及し、物議を醸しているようです。曰く、 「後期クイーン問題」とは非常に簡単に説明すると、探偵(読者)の知り得てる情報が “全て”であるとの証明が自身には不可能である、というものです。 この問…