シェア
どろぼう猫
2020年4月4日 02:25
命題 A における───それが述語記号であれ,個体記号であれ──定項を変項 x に置き換えて得られる ?xA(x) を,A の un-gestalt と呼ぶ。そして,本書の考える「問い」の本質とはそれである。 当然だが,A はその un-gestalt の答えの一つたり得ることになる。 ? はこれを疑問子と呼び,疑問子はそれが係る変項にたいして前置記法で記す。(たとえば,?yB(y)∧C