論理学と論証

ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。

論理学と論証の違い

論理学 vs. 論証

論理学（ろんりがく、）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。. 論証（ろんしょう、Logical argument）とは、論理学の用語で、前提（premises）と呼ばれる宣言的文の集まりと結論（conclusion）と呼ばれる宣言的文から構成され、前提群から結論が真であることが導き出せることを主張したものである。そのような論証には、妥当なものと妥当でないものがある。なお、個々の宣言的文は真（true）か偽（false）かで判断されるが、論証は妥当（valid）か妥当でないかで判断される。英語では、宣言的文を Statement とか命題（Proposition）と呼んでいたが、最近では哲学的な含意を避けるため Sentence と呼ぶことが多い。.

帰納

帰納（きのう、、）とは、個別的・特殊的な事例から一般的・普遍的な規則・法則を見出そうとする論理的推論の方法のこと。演繹においては前提が真であれば結論も必然的に真であるが、帰納においては前提が真であるからといって結論が真であることは保証されない。 なお数学的帰納法・構造的帰納法・整礎帰納法・完全帰納法・累積帰納法・超限帰納法などの帰納法は、名前と違い帰納ではなく演繹である。.

帰納と論理学 · 帰納と論証 · 続きを見る »

命題

命題（めいだい、proposition）とは、論理学において判断を言語で表したもので、真または偽という性質をもつもの。また数学で、真偽の判断の対象となる文章または式。定理または問題のこと。西周による訳語の一つ。 厳密な意味での命題の存在は、「意味」の存在と同様に、疑問を投げかける哲学者もいる。また、「意味」の概念が許容される場合にあっても、その本質は何であるかということにはなお議論のあるところである。古い文献では、語の集まりあるいはその語の集まりの表す「意味」という意味で命題という術語を用いているかどうかということが、つねに十分に明らかにされているわけではなかった。 現在では、論争や存在論的な含みを持つことを避けるため、ある解釈の下で（真か偽のいずれであるかという）真理の担い手となる記号列自体について述べる時は、「命題」という代わりに「文 (sentence)」という術語を用いる。ストローソンは「言明 ("statement")」 という術語を用いることを提唱した。.

命題と論理学 · 命題と論証 · 続きを見る »

ゲーデルの不完全性定理

ーデルの不完全性定理（ゲーデルのふかんぜんせいていり、）又は単に不完全性定理とは、数学基礎論における重要な定理で、クルト・ゲーデルが1930年に証明したものである。;第1不完全性定理: 自然数論を含む帰納的公理化可能な理論が、ω無矛盾であれば、証明も反証もできない命題が存在する。;第2不完全性定理: 自然数論を含む帰納的公理化可能な理論が、無矛盾であれば、自身の無矛盾性を証明できない。.

ゲーデルの不完全性定理と論理学 · ゲーデルの不完全性定理と論証 · 続きを見る »

物理学

物理学（ぶつりがく, ）は、自然科学の一分野である。自然界に見られる現象には、人間の恣意的な解釈に依らない普遍的な法則があると考え、自然界の現象とその性質を、物質とその間に働く相互作用によって理解すること（力学的理解）、および物質をより基本的な要素に還元して理解すること（原子論的理解）を目的とする。化学、生物学、地学などほかの自然科学に比べ数学との親和性が非常に強い。 古代ギリシアの自然学 にその源があり, という言葉も、元々は自然についての一般的な知識の追求を意味しており、天体現象から生物現象までを含む幅広い概念だった。現在の物理現象のみを追求する として自然哲学から独立した意味を持つようになったのは19世紀からである。 物理学の古典的な研究分野は、物体の運動、光と色彩、音響、電気と磁気、熱、波動、天体の諸現象（物理現象）である。.

物理学と論理学 · 物理学と論証 · 続きを見る »

非形式論理学

非形式論理学（ひけいしきろんりがく、Informal logic）は、現代の論理学がもっぱら扱うのは「A → A ∨ B」といったような人工的・形式的（formal）な記号によって表現する形式論理であるのに対し、自然言語といったような非形式的なものを扱う論理学 and・or その学際的分野である。非形式論理学は1970年代初め、北アメリカで学部学生への論理学入門コースの代替として導入されたのが始まりである。間もなく思考スキル強化の運動と連携し、特に批判的思考（後述）と密接に関連するようになった。後に、学際的研究分野である議論学とも連携するようになった。 非形式論理学の正確な定義には異論もある。Ralph H. Johnson と J. Anthony Blair は非形式論理学を「論理学の一分野で、日常会話における議論・論証の分析・解釈・評価・批評・構築のための非形式的な標準・尺度・手続きを開発することを目的とする」と定義したJohnson, Ralph H., and Blair, J. Anthony (1987), "The Current State of Informal Logic", Informal Logic, 9(2–3), 147–151.

論理学と非形式論理学 · 論証と非形式論理学 · 続きを見る »

数学

数学（すうがく、μαθηματικά, mathematica, math）は、量（数）、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.

数学と論理学 · 数学と論証 · 続きを見る »