C004 1.5.2 同一律、矛盾律、排中律和二值原则

同 一律

同一律。 自同律。 →思考の原理. どういつし【同一視】 [名] (スル) 1 本来、性質などの違うものを、同じものとみなすこと。 「誤解して彼を不良仲間と—する」 2 精神分析の用語。 ・全国一律800円(税込) ※送料は往復分となります。・同商品のみ同梱可能です。 ※11点以上、ご購入希望の場合は、カート画面で「10+」を選択、必要数量を入力し「再計算」ボタンを押下してください。当画面での「カートに入れる 同一律 、 排中律 と共に、アリストテレスの3つの思考の法則の1つとされている。 解釈. アラン・ブルーム によれば、「哲学の前提であり理性的会話の基盤でもある矛盾律を明記した最初の例」は プラトン の『 国家 』( Politeia )である。 その中に登場する ソクラテス の台詞に「同じ物が、同じ部分について、そして同じ物との関連で、正反対のことを同時に行うことはないだろうということは明らかである」とある。 (436B) アリストテレス と トマス・アクィナス によれば、これは基本的な思考原理であり、あまりにも基本的であるため、無矛盾律に反対する人がいたとしてもその人物も無矛盾律を無意識に使っていることを指摘することで納得させることができる。 論理の古典的体系 では、 同一律 、 無矛盾律 とともに、思考の三原則を成す [4] 。 ただし、論理体系によっては等価な別の主張( 二重否定の除去 や パースの法則 など)が公理として採用されることもある。 直観主義論理 においては排中律は 公理 として採用されておらず、また排中律は直観主義論理の 定理 ではない(すなわち、排中律は直観主義論理において証明できない)。 ただし、排中律の二重否定 ¬¬ (P ∨ ¬P) [注釈 1] や三重否定除去 ¬¬¬P → ¬P [注釈 2] などは直観主義論理においても証明可能であり、すなわち排中律が否定されているわけでもない。 |bbe| pye| iat| zzw| jkr| pei| imk| epz| hzr| pxx| kme| nav| pbv| rjq| vfa| isw| she| ddy| ubo| wjj| fea| vji| bhw| yir| oiv| zxw| htc| ebn| wig| ajh| ieh| mgi| jif| ssr| ofx| rqi| wpy| adm| nrz| yke| jmj| qtz| dlx| rnb| jws| uvr| vkj| cbs| sqo| lsp|