目次 1. 推論規則 Modus Ponens 2. 推論規則 Ex Falso Quodlibet/Ex Contradictione Quodlibet (EFQ/ECQ) 3. EFQ/ECQ の形式的証明 4. 問題: Frege は EFQ/ECQ を認めたか？ 5. Frege の証言 6. Frege は EFQ/ECQ を認めなかったであろう。 7. まとめ ささい…