情報処理学会 第83回全国大会 会期:2021年3月18日~20日 会場:オンライン開催 情報処理学会 第83回全国大会 会期:2021年3月18日~20日 会場:オンライン開催

2F-05
通常の推論を仮説設定に統一する条件
○高原利生(無所属)
思考は、関係命題又は関係を表現する矛盾(運動)モデルの特定のための抽象化、推論、推論結果の具体化からなる。推論は普通、演繹、帰納、仮説設定の三つと考えられている。
形式論理上の演繹は単に一般の特殊化である。変更のしようがない。正しい推論の連鎖による演繹は、論理的網羅による仮説設定を行うことでより正確になる。従来の帰納である命題の無条件の一般化を、論理的網羅の結果によって選んだ条件での一般化に代えることでより正確になる。
論理的網羅の仮説に依存している推論なので完全ではないが、人が行いうるより善い推論が得られる。ある条件の下で、演繹、帰納、仮説設定は、仮説設定で統一できる。この条件を述べる。