| 演題番号 | 1E1-4 |
|---|---|
| 題目 | オイラー図・ヴェン図を用いた図形推論の証明論的分析 |
| 著者 | 峯島 宏次(慶応義塾大学 文学部 哲学科) 岡田 光弘(慶応義塾大学 文学部 哲学科) 佐藤 有理(慶応義塾大学 文学研究科 哲学専攻) 竹村 亮(慶応義塾大学 文学部 哲学科) |
| 時間 | 06月09日(Wed) 10:00〜10:20 |
| 概要 | 近年、論理学や人工知能、認知科学など様々な分野で、図形やグラフ表現に基づく推論の研究が進められている。特にオイラー図は、論理推論の補助手段としてインフォーマルに用いられてきたが、1990年代から現代論理学による体系的研究が始められた。本研究ではオイラー図に対する自然な操作を自然演繹を基に形式化し、その図形推論体系の特徴についてヴェン図との比較も含め、論理学及び認知科学の観点から議論する。 |
| 論文 | PDFファイル |