合理主義哲学と論理主義 (数学)

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

合理主義哲学と論理主義 (数学)の違い

合理主義哲学 vs. 論理主義 (数学)

合理主義哲学（ごうりしゅぎてつがく、Rationalism）は、17-18世紀の近代哲学・認識論における一派。大陸合理主義（Continental Rationalism）、大陸合理論とも呼ばれる。. 数学における論理主義（ろんりしゅぎ、Logicism、Logicism、Logizismus）は、数学全体を論理学の一部とみなすことで、数学の基礎付け、数学の論理学への還元、つまり論理学の諸規則から数学のそれを演繹することが出来るとする立場である。.

形式主義 (数学)

数学における形式主義（）とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。.

合理主義哲学と形式主義 (数学) · 形式主義 (数学)と論理主義 (数学) · 続きを見る »

バートランド・ラッセル

3代ラッセル伯爵、バートランド・アーサー・ウィリアム・ラッセル（Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS、1872年5月18日 - 1970年2月2日）は、イギリスの哲学者、論理学者、数学者であり、社会批評家、政治活動家である。ラッセル伯爵家の貴族であり、イギリスの首相を2度務めた初代ラッセル伯ジョン・ラッセルは祖父にあたる。名付け親は同じくイギリスの哲学者ジョン・スチュアート・ミル。ミルはラッセル誕生の翌年に死去したが、その著作はラッセルの生涯に大きな影響を与えた。生涯に4度結婚し、最後の結婚は80歳のときであった。1950年にノーベル文学賞を受賞している。.

バートランド・ラッセルと合理主義哲学 · バートランド・ラッセルと論理主義 (数学) · 続きを見る »

ダフィット・ヒルベルト

ーニヒスベルクにて私講師を務めていた頃（1886年） ヒルベルトの墓碑。「我々は知らねばならない、我々は知るだろう」と記されている。 ダフィット・ヒルベルト（David Hilbert,, 1862年1月23日 - 1943年2月14日）は、ドイツの数学者。「現代数学の父」と呼ばれる。名はダヴィット，ダヴィド、ダーフィットなどとも表記される。.

ダフィット・ヒルベルトと合理主義哲学 · ダフィット・ヒルベルトと論理主義 (数学) · 続きを見る »

ゴットロープ・フレーゲ

フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲ（Friedrich Ludwig Gottlob Frege, 1848年11月8日 - 1925年7月26日）は、ドイツの哲学者、論理学者、数学者であり、現代の数理論理学、分析哲学の祖にあたる。 フレーゲはバルト海に面したドイツの港町ヴィスマールの生まれである。母のアウグステ・ビアロブロツキーはポーランド系である。彼ははじめイェーナ大学で学び、その後ゲッティンゲン大学に移り1873年に博士号を取得した。その後イェーナに戻り、1896年から数学教授。1925年に死去した。.

ゴットロープ・フレーゲと合理主義哲学 · ゴットロープ・フレーゲと論理主義 (数学) · 続きを見る »

論理学

論理学（ろんりがく、）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。.

合理主義哲学と論理学 · 論理主義 (数学)と論理学 · 続きを見る »

演繹

演繹（えんえき、）は、一般的・普遍的な前提から、より個別的・特殊的な結論を得る論理的推論の方法である。 帰納に於ける前提と結論の導出関係が「蓋然的」に正しいとされるのみであるのに対し、演繹の導出関係は、その前提を認めるなら、「絶対的」「必然的」に正しい。したがって理論上は、前提が間違っていたり適切でない前提が用いられたりした場合には、誤った結論が導き出されることになる。近代では、演繹法とは記号論理学によって記述できる論法の事を指す。.

合理主義哲学と演繹 · 演繹と論理主義 (数学) · 続きを見る »

数学

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

合理主義哲学と数学 · 数学と論理主義 (数学) · 続きを見る »