応用哲学会・非古典論理セミナー（グレアム・プリースト）

哲学 logic

本日の内容は

以下の通り

  • 午前10時〜午後１時 Session 5: many-valued logic & fuzzy logic


Graham Priest on the Sorites Paradox

  • 午後2時半〜午後5時半 Session 6: Relevant Logic


Graham Priest on Relevant logic (1)

Graham Priest on Relevant logic (2)

参加者の記念撮影

村上祐子さんによるTwitter同時中継のまとめ（二日分）

2月15日（月）〜17日（水）に行われた、グレアム・プリーストさんによる非古典論理セミナーのまとめを以下に貼り付けます。

質問時間

は以下の質問が出ました。

  • 矛盾許容論理には、何らかの工学的な応用があるのですか？
  • 関係論理の意味論では、例えば B\to Bが真でない不可能世界を考え、 A\to (B\to B) が証明できないことを示しますが、こんな式が証明できないなんて、論理としてやばいんじゃないですか。

（後で追加します）