マガジンのカバー画像

“白い”ねこのーと

26
喧嘩と論理の深淵。その冒険記。
運営しているクリエイター

#形式論理学

page.23 Question and Induction

page.23 Question and Induction

 命題 A における───それが述語記号であれ,個体記号であれ──定項を変項 x に置き換えて得られる ?xA(x) を,A の un-gestalt と呼ぶ。そして,本書の考える「問い」の本質とはそれである。

 当然だが,A はその un-gestalt の答えの一つたり得ることになる。

 ? はこれを疑問子と呼び,疑問子はそれが係る変項にたいして前置記法で記す。(たとえば,?yB(y)∧C

もっとみる