取り急ぎメモ。のちに白猫本で丁寧に書き直すので、今はわかるひとだけ。

類推の実質:B→A,C→A▶︎B↔︎C

B→C C→B (α同値)

abduction:B→A,C→A▶︎B→C

類推は abduction の亜種。より正確には、abduction を双方向に用いて演繹(deduction)を加えている。

新しく高校の選択科目に導入される論理国語の学習指導要領(p.154)では、推論の仕方として演繹法、帰納法、仮説推論、類推、の４つの類別が列挙されているが、類推は除いた方が美しいように思う。実質的な汎用性を考えると教育には良いのかもしれないけど。