オイラー図・ヴェン図推論の翻訳とFree ride

抄録

オイラー図推論の論理学証明論的分析を行う。とくにオイラー図の最も基本的な性質の一つであり、これまで主に認知科学の文脈で議論されてきたfree ride property (Shimojima 1996)の証明論的形式化・分析を行う。また、オイラー図証明と自然演繹に基づく言語的証明の構造を比較するための証明論的枠組みを導入し、オイラー図証明のもつ構造的特徴を分析する。