ブラウザよりも高速アクセス！
14 関係: 山本光雄、岩波書店、帰納、三段論法、井上忠、分析、アリストテレス、オルガノン、論争術、論点先取、論証、背理法、接続法、推論。
山本光雄
山本 光雄（やまもと みつお、1905年 ‐ 1981年）は、古代哲学研究者、東京都立大学名誉教授。 福岡県生まれ。東京帝国大学文学部哲学科卒業。1967年まで東京都立大学教授。.
新しい！!: 分析論前書と山本光雄 · 続きを見る »
岩波書店
株式会社岩波書店（いわなみしょてん、Iwanami Shoten, Publishers. ）は、日本の出版社。.
新しい！!: 分析論前書と岩波書店 · 続きを見る »
帰納
帰納（きのう、、）とは、個別的・特殊的な事例から一般的・普遍的な規則・法則を見出そうとする論理的推論の方法のこと。演繹においては前提が真であれば結論も必然的に真であるが、帰納においては前提が真であるからといって結論が真であることは保証されない。 なお数学的帰納法・構造的帰納法・整礎帰納法・完全帰納法・累積帰納法・超限帰納法などの帰納法は、名前と違い帰納ではなく演繹である。.
三段論法
三段論法（さんだんろんぽう、συλλογισμός, シュロギスモス、syllogismus、syllogism）は、論理学における論理的推論の型式のひとつ。典型的には、大前提、小前提および結論という3個の命題を取り扱う。これを用いた結論が真であるためには、前提が真であること、および論理の法則（同一律、無矛盾律、排中律、および充足理由律）が守られることが必要とされる。 アリストテレスの『オルガノン』（『分析論前書』『分析論後書』）によって整備された。.
新しい！!: 分析論前書と三段論法 · 続きを見る »
井上忠
井上 忠（いのうえ ただし、1926年3月25日 - 2014年9月20日）は、日本の哲学者。東京大学名誉教授。.
分析
分析（ぶんせき、希: ἀνάλυσις、羅、英: Analysis、 独、仏: Analyse）は、.
アリストテレス
アリストテレス（アリストテレース、Ἀριστοτέλης - 、Aristotelēs、前384年 - 前322年3月7日）は、古代ギリシアの哲学者である。 プラトンの弟子であり、ソクラテス、プラトンとともに、しばしば「西洋」最大の哲学者の一人とされ、その多岐にわたる自然研究の業績から「万学の祖」とも呼ばれる。特に動物に関する体系的な研究は古代世界では東西に類を見ない。イスラーム哲学や中世スコラ学、さらには近代哲学・論理学に多大な影響を与えた。また、マケドニア王アレクサンドロス3世（通称アレクサンドロス大王）の家庭教師であったことでも知られる。 アリストテレスは、人間の本性が「知を愛する」ことにあると考えた。ギリシャ語ではこれをフィロソフィア（）と呼ぶ。フィロは「愛する」、ソフィアは「知」を意味する。この言葉がヨーロッパの各国の言語で「哲学」を意味する言葉の語源となった。著作集は日本語版で17巻に及ぶが、内訳は形而上学、倫理学、論理学といった哲学関係のほか、政治学、宇宙論、天体学、自然学（物理学）、気象学、博物誌学的なものから分析的なもの、その他、生物学、詩学、演劇学、および現在でいう心理学なども含まれており多岐にわたる。アリストテレスはこれらをすべてフィロソフィアと呼んでいた。アリストテレスのいう「哲学」とは知的欲求を満たす知的行為そのものと、その行為の結果全体であり、現在の学問のほとんどが彼の「哲学」の範疇に含まれている立花隆『脳を究める』（2001年3月1日 朝日文庫）。 名前の由来はギリシア語の aristos （最高の）と telos （目的）から 。.
新しい！!: 分析論前書とアリストテレス · 続きを見る »
オルガノン
『オルガノン』（、）は、古代ギリシアの哲学者アリストテレスにより執筆された論理学に関する著作群の総称。.
新しい！!: 分析論前書とオルガノン · 続きを見る »
論争術
論争術（ろんそうじゅつ、εριστική, エリスティケー、eristic）とは、古代ギリシアにおける論争・議論・討論で相手を言い負かす技術のこと。今日で言うところの「ディベート」の技術に相当する。「問答競技」とも訳される。 「不和・争い」「口論・論争」を意味する「エリス」（ερις）から派生した語。.
論点先取
アリストテレスの胸像。彼は『分析論前書』の中で論点先取について論じた。 論点先取（ろんてんせんしゅ、、）とは、証明すべき命題が暗黙または明示的に前提の1つとして使われるという誤謬の一種。論点先取の虚偽（ろんてんせんしゅのきょぎ）とも言われる。論点先取は、循環論法の誤謬と関連している。西洋での最初の定義としては、古代ギリシアの哲学者アリストテレスが紀元前350年ごろに行ったものが知られており、その著書『分析論前書』(Prior Analytics) にある。.
新しい！!: 分析論前書と論点先取 · 続きを見る »
論証
論証（ろんしょう、Logical argument）とは、論理学の用語で、前提（premises）と呼ばれる宣言的文の集まりと結論（conclusion）と呼ばれる宣言的文から構成され、前提群から結論が真であることが導き出せることを主張したものである。そのような論証には、妥当なものと妥当でないものがある。なお、個々の宣言的文は真（true）か偽（false）かで判断されるが、論証は妥当（valid）か妥当でないかで判断される。英語では、宣言的文を Statement とか命題（Proposition）と呼んでいたが、最近では哲学的な含意を避けるため Sentence と呼ぶことが多い。.
背理法
背理法（はいりほう、proof by contradiction, reduction to the absurd, indirect proof, apagogical argument など、reductio ad absurdum）とは、ある命題 P を証明したいときに、P が偽であると仮定して、そこから矛盾を導くことにより、P が偽であるという仮定が誤り、つまり P は真であると結論付けることである。帰謬法（きびゅうほう）とも言う。 P を仮定すると、矛盾が導けることにより、P の否定 ¬P を結論付けることは否定の導入などと呼ばれる。これに対して ¬P を仮定すると矛盾が導けることにより P を結論付けることを狭義の背理法あるいは否定の除去ということがある。否定の導入と狭義の背理法をあわせて広義の背理法ということもある。 一般的には、背理法と言った場合広義の背理法を指す。否定の導入により、¬P から矛盾が導けた場合、¬¬P を結論できるが、いわゆる古典論理では推論規則として二重否定の除去が認められているため、結局 P が結論できることになる。排中律や二重否定の除去が成り立たない直観論理では、狭義の背理法による証明は成立しないが、否定の導入や、¬¬¬P から ¬P を結論することは、認められる。 背理法を使って証明される有名な定理には、\sqrt が無理数であること、素数が無限に存在すること、中間値の定理，ハイネ・カントールの定理などがあり、無限を相手にした証明には基本的に背理法のスタイルを取らざるを得ないものが多くある。 しかし例えば、\sqrt が無理数である（すなわち有理数でない）ことの証明は、狭義の背理法ではなく否定の導入によって証明することができる。 背理法の証明において仮定に矛盾する結論を導く場合は，容易に非背理法証明に直すことができる．たとえば，ハイネ・カントールの定理：「有界閉集合上の連続関数は一様連続である」は，有界閉集合上の連続関数 f は一様連続でないと仮定して議論を進め， f が連続でないことを導いて矛盾を出すが，これは連続性を仮定せず「有界閉集合上の関数 f が一様連続でない」と仮定し，連続でないことを示すことによって，対偶としてハイネ・カントールの定理が直接証明できる（((P かつ Q)⇒R) ⇔ ((P かつ ￢R)⇒￢Q) ということを用いる）．.
接続法
接続法（せつぞくほう、coniunctivus、subjunctive、subjonctif、Konjunktiv、congiuntivo、subjuntivo）は、インド・ヨーロッパ語族に属する言語での法の1つ。勧告・命令・禁止・願望・後悔など、願われたことや考えられたことを述べる法 moodである。対語は直説法 Indicative Mood。 英語ではあまり意識されることはないが、フランス語やドイツ語など英語以外の言語では頻繁に使われる。なお、日本語では英語にあるsubjunctiveと呼ばれる同様の法に仮定法という訳語を当てているが、ここでまとめて取り扱う。 主な使い方としては、.
推論
推論（すいろん、inference）とは、既知の事柄を元にして未知の事柄について予想し、論じる事である。.
