コトバンクはYahoo!辞書と技術提携しています。

直接推理 チョクセツスイリ

2件 の用語解説(直接推理の意味・用語解説を検索)

デジタル大辞泉の解説

ちょくせつ‐すいり【直接推理】

論理学で、一つの判断を前提としてそこから直接に結論を導き出す推理。原判断を変形して新判断を導き出すものと、対当関係によるものとの2種に分けられる。→間接推理

出典|小学館 この辞書の凡例を見る
監修:松村明
編集委員:池上秋彦、金田弘、杉崎一雄、鈴木丹士郎、中嶋尚、林巨樹、飛田良文
編集協力:曽根脩
(C)Shogakukan Inc.
それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

大辞林 第三版の解説

ちょくせつすいり【直接推理】

〘論〙 前提とする一つの命題から直接に結論を導き出す推理。原命題の変形によって新命題を導くもの(換質・換位・換質換位など)と、対当関係によるものの二種に分けられる。 ↔ 間接推理

出典|三省堂
(C) Sanseido Co.,Ltd. 編者:松村明 編 発行者:株式会社 三省堂 ※ 書籍版『大辞林第三版』の図表・付録は収録させておりません。 ※ それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。

世界大百科事典内の直接推理の言及

【換質】より

…換位conversionとならぶ伝統的論理学における直接推理の一種。換質とは命題の肯定・否定という質を換える推理であり,(1)肯定命題〈……はPである〉から否定命題〈……は非‐Pでない〉を導出すること,(2)否定命題〈……はPでない〉から肯定命題〈……は非‐Pである〉を導出すること,の2種がある。…

【推理】より

…しかし厳密な意味での〈推理〉としては,論理的に正しい推理をさすことが多い。(1)伝統的論理学ではA,I,E,Oの四つの命題の型(判断)が存するが,前提命題が1個の推理を直接推理,前提命題が2個以上の推理を間接推理と呼ぶ。例えば〈すべてのSPである〉から〈あるSPである〉を導出することは直接推理であり,〈すべてのS1S2である〉〈すべてのS2S3である〉〈すべてのS3S4である〉という3個の前提命題から〈すべてのS1S4である〉を導出することは間接推理である。…

※「直接推理」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト
All Rights Reserved. Copyright (C) 2015, Hitachi Solutions Create,Ltd. 収録データは1998年10月に編集製作されたものです。それぞれの用語は執筆時点での最新のもので、常に最新の内容であることを保証するものではありません。また、本文中の図・表・イラストはご提供しておりません。

直接推理の関連キーワード結論小前提論理学仮言的三段論法間接推理ジレンマ前提大前提論式論点先取の虚偽

今日のキーワード

トランスアジア航空

台湾・台北市に本拠を置く航空会社。中国語名は復興航空。1951年、台湾初の民間航空会社として設立。83年に台湾の国産実業グループに経営移管され、組織改編を実施した。92年に国際チャーター便の運航を始め...

続きを読む

コトバンク for iPhone