• 人間は暗黙に「論理的に正しくない推論」をする

  • 人間はコンピュータに「論理的に正しい推論」をさせようとした

  • 論理的な正しさはたくさんある正しさの尺度の中でもかなり応用範囲が狭い

  • コンピュータに「論理的に正しくない推論」をさせる必要がある

  • さらに暗黙にではなく明示的に「論理的に正しくない推論」をさせる

  • 自覚的に「論理的に正しくない推論」をし、それが論理的に正しくないことを覚えておく

  • 事実と解釈を識別する

  • 人間と機械と差別

    • 人間が無自覚に行っていることを機械は観測可能にする