バートランド・ラッセルと量化

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

バートランド・ラッセルと量化の違い

バートランド・ラッセル vs. 量化

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

型理論

型理論（かたりろん、Type theory）は、数理論理学の一分野であり、「型」の階層を構築し、それぞれの型に数学的（あるいはそれ以外の）実体を割り当てるものである。階型理論（かいけいりろん、Theory of Types）とも。ある型のオブジェクトはその前提となる型のオブジェクトから構築される。この場合の「型」とは形而上的な意味での「型」である。バートランド・ラッセルは、彼が発見したラッセルのパラドックスにより素朴集合論の問題が明らかにされたことを受けて、型理論を構築した。型理論の詳細はホワイトヘッドとラッセルの 『プリンキピア・マテマティカ』にある。 型理論は、プログラミング言語の理論における型システムのベースにもなっている。「型システム」と「型理論」の語はほぼ同義として扱われることもあるが、ここでは、この記事では数理論理学の範囲を説明し、プログラミング言語の理論については型システムの記事で説明する。.

バートランド・ラッセルと型理論 · 型理論と量化 · 続きを見る »

ダフィット・ヒルベルト

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

ダフィット・ヒルベルトとバートランド・ラッセル · ダフィット・ヒルベルトと量化 · 続きを見る »

アリストテレス

アリストテレス（アリストテレース、Ἀριστοτέλης - 、Aristotelēs、前384年 - 前322年3月7日）は、古代ギリシアの哲学者である。 プラトンの弟子であり、ソクラテス、プラトンとともに、しばしば「西洋」最大の哲学者の一人とされ、その多岐にわたる自然研究の業績から「万学の祖」とも呼ばれる。特に動物に関する体系的な研究は古代世界では東西に類を見ない。イスラーム哲学や中世スコラ学、さらには近代哲学・論理学に多大な影響を与えた。また、マケドニア王アレクサンドロス3世（通称アレクサンドロス大王）の家庭教師であったことでも知られる。 アリストテレスは、人間の本性が「知を愛する」ことにあると考えた。ギリシャ語ではこれをフィロソフィア（）と呼ぶ。フィロは「愛する」、ソフィアは「知」を意味する。この言葉がヨーロッパの各国の言語で「哲学」を意味する言葉の語源となった。著作集は日本語版で17巻に及ぶが、内訳は形而上学、倫理学、論理学といった哲学関係のほか、政治学、宇宙論、天体学、自然学（物理学）、気象学、博物誌学的なものから分析的なもの、その他、生物学、詩学、演劇学、および現在でいう心理学なども含まれており多岐にわたる。アリストテレスはこれらをすべてフィロソフィアと呼んでいた。アリストテレスのいう「哲学」とは知的欲求を満たす知的行為そのものと、その行為の結果全体であり、現在の学問のほとんどが彼の「哲学」の範疇に含まれている立花隆『脳を究める』（2001年3月1日 朝日文庫）。 名前の由来はギリシア語の aristos （最高の）と telos （目的）から 。.

アリストテレスとバートランド・ラッセル · アリストテレスと量化 · 続きを見る »

アルフレッド・ノース・ホワイトヘッド

アルフレッド・ノース・ホワイトヘッド （Alfred North Whitehead、1861年2月15日 - 1947年12月30日）は、イギリスの数学者、哲学者である。論理学、科学哲学、数学、高等教育論、宗教哲学などに功績を残す。ケンブリッジ大学、ユニバーシティ・カレッジ・ロンドン、インペリアル・カレッジ・ロンドン、ハーバード大学の各大学において、教鞭をとる。哲学者としての彼の業績は、ハーバード大学に招聘されてからが主体であり、その時既に63歳であった。.

アルフレッド・ノース・ホワイトヘッドとバートランド・ラッセル · アルフレッド・ノース・ホワイトヘッドと量化 · 続きを見る »

ウィラード・ヴァン・オーマン・クワイン

ウィラード・ヴァン・オーマン・クワイン（Willard van Orman Quine, 1908年6月25日 - 2000年12月25日）は、アメリカ合衆国の哲学者、論理学者であり、20世紀の哲学者のなかで最も影響力のある人物の一人である。分析哲学の伝統の正当な継承者であるが、哲学は概念分析ではないという考えの主たる提唱者でもあった。母校であるハーバード大学で哲学と数学を教えた。主要な業績に「経験主義のふたつのドグマ」（『論理的観点から』所収）があり、分析命題と総合命題とを区別できるとする論理実証主義がはらむような経験主義を批判し、個別の命題だけでは経験によった確証は得られない（確証されるのは命題体系全体である）とする確証の全体論（ホーリズム）を提唱した（参考：デュエム-クワイン・テーゼ）。『ことばと対象』ではさらにこの立場を発展させ、有名な翻訳の不確定性テーゼを導入した。.

ウィラード・ヴァン・オーマン・クワインとバートランド・ラッセル · ウィラード・ヴァン・オーマン・クワインと量化 · 続きを見る »

クルト・ゲーデル

ルト・ゲーデル（Kurt Gödel, 1906年4月28日 - 1978年1月14日）は、オーストリア・ハンガリー二重帝国（現チェコ）のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。.

クルト・ゲーデルとバートランド・ラッセル · クルト・ゲーデルと量化 · 続きを見る »

ゴットロープ・フレーゲ

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

ゴットロープ・フレーゲとバートランド・ラッセル · ゴットロープ・フレーゲと量化 · 続きを見る »

ジュゼッペ・ペアノ

ュゼッペ・ペアノ（ペアーノ、Giuseppe Peano, 1858年8月27日、ピエモンテ州クーネオ – 1932年4月20日、トリノ）はイタリアの数学者。トリノ大学教授。自然数の公理系 （ペアノの公理）、ペアノ曲線の考案者として知られる。 人工言語の一つである無活用ラテン語を提唱したことでも知られる。.

ジュゼッペ・ペアノとバートランド・ラッセル · ジュゼッペ・ペアノと量化 · 続きを見る »

論理学

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

バートランド・ラッセルと論理学 · 論理学と量化 · 続きを見る »