「ファジイ論理の/と哲学」研究会

哲学 logic 研究集会
  • 日時：2009年11月27日（金）午後4時〜6時
  • 場所：京都大学本部構内文学部校舎第二講義室（図の真ん中辺り）
  • 主催：京都大学文学部哲学研究室
  • 講演者：Libor Behounek & Petr Cintula （チェコ科学アカデミー）
  • タイトル： Formal fuzzy logic
  • 要旨：

In the talk, we shall introduce formal fuzzy logic in its modern form as has been developed since the middle of the 1990's, discuss its motivation and applications, and present the most important metamathematical properties of fuzzy logics. We shall mainly focus on the following topics: the relation of formal fuzzy logic to the sorites paradox and the degree-theoretical approach in the philosophy of vagueness; motivation of formal fuzzy logics as the logics of vague or gradual properties; the applicability of formal fuzzy logic and its difference from engineering fuzzy methods; connections to other families of logics (esp. substructural); natural requirements on formal systems of fuzzy logic; mathematical properties of the deductive calculi and formal semantics of fuzzy logics; construction of on-classical mathematical theories over first-order fuzzy logics; and the significance of the field of research.

（講演は英語で行われ、通訳はありません。）

講演で使用されたスライド

は以下の通りです。

  • Part I (Libor Behounek): Motivations and applications (pdf)
  • Part II (Petr Cintula): Mathematical properties (pdf)

こちらからも入手可能です。

注意：リンク切れを修正（12月7日）

関係者が

言うのも何ですが、非常に良く準備された講演で、感心しました。特にファジイ論理のデザイン方針の話は、非古典論理を創るとはどういうことかについて、非常に示唆的です。スライドは、是非ご覧になってください。また、質疑応答では、ファジイ論理と確率論の関係など、知らない話が多く出て、勉強になりました。