page.19 抽象化/一般化
抽象化と一般化については,文脈によってニュアンスを察することが難しくないため,本書でも特に区別していない。
しかし,次のような区別を考えると,この言葉たちが実践されてきたコンテクストによく整合するように思われる。すなわち,あるトークン a に言及する命題 A に対して,それぞれ
一般化:∀xA[a,x]
抽象化:∃xA[a,x]
といった定義をすることによる区別である。
(本項では,論理式 A において,個体パラメター a を,個体変項 x に置き換えて出来る式を,