論理

「pならばq」の逆・裏・対偶のうち常に正しいのは対偶のみである理由と、三段論法の基礎となる全称文（すべてのAは～）・特称文（あるAは～）の4通りの組み合わせを整理した覚書。

帰納法の概要と「仮説」としての性質から、枚挙的帰納法（生成）・逆行推論法＝アブダクション（選択）・類推法（転用）の3種類の推論パターンを整理。演繹法との違いや詭弁が入り込む条件も含めた覚書。

三段論法は256通りの組み合わせがあるが、論理的に正しいのは24通りだけ。なぜか？格・型の仕組みと、概念を「包む」規則から詭弁の構造まで、演繹法の基礎を整理する。