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

形式論理学 けいしきろんりがくformal logic

ブリタニカ国際大百科事典 小項目事典の解説

形式論理学
けいしきろんりがく
formal logic

判断や推理の抽象的構造 (形式,法則) を内容と切離して研究する学。認識論的論理学に対する。形式論理学を論理学と同一視するのは今日では誤り。いわゆる伝統的形式論理学は,真理発見のための方法論的反省としてのアリストテレス論理学がストアにおいて文法学,修辞学と結びついてまったく形骸化し,中世スコラ学がこれを神学の補強の具とするうちに精緻な体系を得たもので,言語論理学とも呼ばれる。アリストテレスの推理論の三段論法を中心とし,内容がどうあれ前提の2判断が成立すれば結論も成立するという関係をいうのみ。学的体系は概念論,判断論,推理論から成る。概念論は名辞,周延範疇など,判断論は諸判断 (全称肯定A,全称否定E,特称肯定I,特称否定O) とその対当関係 (大小,矛盾,反対,小反対) を,推理論は三段論法を扱う。また根本原理 (思考の法則) として次の4つをあげる。同一原理「AはAである」,矛盾原理「Aは非Aでない」,排中原理「AはBであるか非Bであるかのいずれかである」,充足理由の原理「すべてのものはその十分な理由をもつ」。なお記号論理学は,伝統的形式論理学を数学との連関において記号化し,さらに発展させたものである。

出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報

デジタル大辞泉の解説

けいしき‐ろんりがく【形式論理学】

正しい思考の構造および過程を、思考の内容を捨象してもっぱらその形式・法則の面から取り扱う学問。一般に、アリストテレスに始まり中世を通じて演繹(えんえき)的論理学の体系としてまとめられた伝統的論理学をさすが、現代では記号論理学をもさす。

出典 小学館デジタル大辞泉について 情報 | 凡例

大辞林 第三版の解説

けいしきろんりがく【形式論理学】

推論や議論の妥当性を、その形式的側面に関して考究する学問。弁証法的論理学など経験の内容にかかわる論理学に対する。伝統的形態はアリストテレスによって整備され、推論、特に三段論法を中心に、概念・命題・誤謬などを取り扱う。現代の記号論理学はこれを記号の数学的演算の体系として発展させたもの。

出典 三省堂大辞林 第三版について 情報

日本大百科全書(ニッポニカ)の解説

形式論理学
けいしきろんりがく

出典 小学館 日本大百科全書(ニッポニカ)日本大百科全書(ニッポニカ)について 情報 | 凡例

世界大百科事典内の形式論理学の言及

【主語・述語】より

…まして一般言語学的に(言語一般を対象として)主語の概念規定が確立しているわけではなく,ようやく最近それへの見通しも多少開けつつあるもよう,という程度が実状である。
[形式論理学と文法]
 そもそも主語・述語とは,形式論理学における命題〈AはBである〉のA(それについて語るところのもの)およびB(Aについて語る事がら)に当たるものを,アリストテレスがそれぞれギリシア語でhypokeimenon,katēgoroumenonと表現したことにさかのぼるという。これが,その後ラテン語でそれぞれsubjectum,praedictumと表現され,論理学および文法の用語としてしだいに定着,今日のヨーロッパ諸言語でも継承され(たとえば英語subject,predicate),また他の言語でも用いられるようになり,日本でも主語・述語と訳してきたものである(形式論理学では主辞・賓辞とも,文法では主部・述部とも訳す)。…

※「形式論理学」について言及している用語解説の一部を掲載しています。

出典|株式会社日立ソリューションズ・クリエイト世界大百科事典 第2版について | 情報

形式論理学の関連キーワードジャン ルカシェービチディオドロス・クロノスP. ローレンツェンホワイトヘッドローレンツェン式[三段論法]弁証法的論理学ボヘンスキーカテゴリアイストローソンシジウィック形式言語学名辞論理学ディレンマジグワルト知は力なりオルガノン否定の否定フッサールケインズ

今日のキーワード

ブラックフライデー

米国などで、感謝祭(11月第4木曜日)の翌日の金曜日のこと。休日とする職場が多く、商店にとってはクリスマス商戦の初日に当たる。「ブラック」は、買い物客による混雑、または黒字を連想させることから。→サイ...

続きを読む

コトバンク for iPhone

コトバンク for Android