検索結果

論理学（ろんりがく、英: logic、ロジック）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。 現代においては、アリストテレス的な論理学#伝統的論理学、古典論理学、直観主義の論理学などに分かれており、古典論理以降は数理論理学として扱われる。これ以外に、応用分野で多岐に分類されている（ファジィ論理など）…

論理…

論理的帰結（ろんりてききけつ、伴意、英: logical consequence, entailment）は、論理学における最も基本的な概念であり、複数の文（または命題）の集合と1つの文（命題）の間が「～だから、当然～」という繋がり方をする関係を指す。例えば、「カーミットは緑色だ」という文は、「全…

推論 > 論理的推論 論理的推論（ろんりてきすいろん、英: logical reasoning）は、論理学において演繹、帰納、アブダクション（仮説形成）の3種類に区別され得る。前提条件 (precondition)、結論 (conclusion)、そして前提条件は結論を含意するという規則 (rule)…

論理的真理（ろんりてきしんり、英語: logical truth）は、論理学の基本的な概念の一つ。その性質については様々な説がある。論理的真理とは、真であり、かつ、論理定項以外の構成要素があらゆる解釈（英語版）のもとで真であり続ける言明（英語版）のことである。これは分析的…

論証 > 誤謬 論理学における誤謬（ごびゅう、英: fallacy）とは、誤った推論のことである。平易には「論理の飛躍」などと表現される。誤謬には「形式的」なものと「非形式的」なものがある。論理学やその周辺分野では、結論の正否を問わず「誤謬」という。意図的な誤謬は「詭弁」という。…

などの歴史を経て形成された現代哲学の総称である。なお広辞苑によれば、分析哲学の主唱者はジョージ・エドワード・ムーアである。 これは、現代の記号論理学や論理的言語分析、加えて、自然科学の方法及び成果の尊重を通じて形成された。20世紀には英語圏で主流となった哲学である。たとえばアメリカ合衆国の圧倒的多…

』の「矛と盾」の故事に由来する故事成語。また、西洋の論理学用語の訳語として以下の意味も持つ。 伝統的論理学で、二つの概念または命題が一定の事象を同一の観点から同時に、一方が肯定し他方が否定する場合の両者の関係。 命題論理学で、複合命題からなる論理式の各要素命題にいかなる真理値を与えても必ず偽となる式。…

とその補助命題を通じて、ウィトゲンシュタインは論理的な理念的言語の構成のために必要になる形式的な諸装置を追究した。彼の用いた真理値表は、今では命題論理の意味論を説明するための標準的な手段となっているが、これはそれなしだった場合よりも厳密な考慮を形式論理学にもたらす。 5.2522「或る形式的系列 a, O' a, O'…

て井上尚美は、3つの定義を提唱した。狭義では推論が形式論理学の規則に従っている事を挙げ、次に論証の形式である前提‐結論や主張‐理由という骨格がある事、広義には直感やイメージからの思考ではなく概念的思考である事としている。この論理的思考は、直感的発想にある正確性や明示性に欠ける点を補い、妥当なものか…

数理論理学において論理和（ろんりわ、英: logical disjunction）とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す命題を作る論理演算である。離接（りせつ）、選言（せんげん）とも呼ぶ。 二つの命題 P, Q に対する論理和は記号 ∨ を用いて P ∨ Q…

哲学的論理学（英: Philosophical logic）は、論理学の方法を用いて哲学的な問題を扱う論理学の一分野である。 論理学の哲学が論理学についての考察であれば、哲学的論理学は認識論的、形而上学的な問題について論理学の知識をもとに検討するものと考えることができる。しかし哲学的論理…

排他的論理和（はいたてきろんりわ、英: exclusive or / exclusive disjunction）とは、ブール論理や古典論理、ビット演算などにおいて、2つの入力のどちらか片方が真でもう片方が偽の時には結果が真となり、両方とも真あるいは両方とも偽の時は偽となる演算（論理…

論理演算である。 英語ではequivalence (EQ)。「if and only if」を略して、iff ともいう。否定排他的論理和 (XNOR) に等しい。 演算子記号は ⇔、↔、≡、=、EQ などが使われる。 同値の基本的な性質は以下の通り。 （⇒{\displaystyle…

的にオーバーロードは避けるべきとされている。 一見して自明ではないが、比較演算子は、互いにほかの比較演算子を用いて論理的に同値な命題を構成できる。これは、ちょうどブール論理の論理演算子 XOR、AND、OR、NOT の間で見られる関係に似ている。以下の4つの条件式は互いに論理的同値である。…

『科学的発見の論理』（かがくてきはっけんのろんり、独: Logik der Forschung）はカール・ポパーの1934年の著書。本書はもともとドイツ語で書かれたのだが、何年かのちにポパー自身によって英語で再執筆され、1959年に『The Logic of Scientific…

『場所的論理と呼応の原理』（ばしょてきりろんとこおうのげんり）は、日本の哲学者である高山岩男が著した哲学書。1951年刊行。「呼応の理論」や「呼応の原理」とも云われる。 京都学派四天王と呼ばれる哲学者高山岩男が、自身の哲学の根本原理を確立したとされる。1951年に弘文堂より刊行。1976年創文社により改訂再刊。…

康伯の人となりを慕っていたという。[要出典] 明治30年代（1900年前後）頃、内藤湖南が富永仲基や山片蟠桃と合わせて再評価したのをきっかけに、全国的に有名になった。 明治45年（1912年）、従四位を追贈された。 21世紀現在では、地元安岐町に旧宅や墓（国史跡）があり、近くには宿泊施設、キャンプ…