ロゴ
ユニオンペディア
コミュニケーション
Google Play で手に入れよう
新しい! あなたのAndroid™デバイスでユニオンペディアをダウンロードしてください!
ダウンロード
ブラウザよりも高速アクセス!
 

バートランド・ラッセルと論理学

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

バートランド・ラッセルと論理学の違い

バートランド・ラッセル vs. 論理学

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

バートランド・ラッセルと論理学間の類似点

バートランド・ラッセルと論理学は(ユニオンペディアに)共通で20ものを持っています: ラッセルのパラドックスルドルフ・カルナップダフィット・ヒルベルト命題論理アリストテレスアルフレッド・ノース・ホワイトヘッドアルフレト・タルスキエウクレイデスオーガスタス・ド・モルガンクルト・ゲーデルゲオルク・カントールゴットロープ・フレーゲゴットフリート・ライプニッツジョージ・ブール哲学者科学哲学言語哲学論理学者数学数理論理学

ラッセルのパラドックス

ラッセルのパラドックス(Russell's paradox)とは、素朴集合論において矛盾を導くパラドックスである。バートランド・ラッセルからゴットロープ・フレーゲへの1902年6月16日付けの書簡における、フレーゲの『算術の基本法則』における矛盾を指摘する記述に表れる。これは1903年に出版されたフレーゲの『算術の基本法則』第II巻(Grundgesetze der Arithmetik II)の後書きに収録されている。同じパラドックスはツェルメロが1年先に発見していたが、彼はその発見を公開せず、ヒルベルトやフッサールなどのゲッティンゲン大学の同僚たちだけに知られているだけだった。 ラッセルが型理論(階型理論)を生み出した目的にはこの種のパラドックスを解消するということも含まれていた。.

バートランド・ラッセルとラッセルのパラドックス · ラッセルのパラドックスと論理学 · 続きを見る »

ルドルフ・カルナップ

ルドルフ・カルナップ(Rudolf Carnap, 1891年5月18日 - 1970年9月14日)はドイツの哲学者。論理実証主義の代表的論客として知られる。 ドイツのロンスドルフ(現在のヴッパータル)生まれ。バルメンのギムナジウムで学び、その後フライブルク大学で、数学、物理、および哲学を学ぶ。初め物理に興味を持っていたが、第一次世界大戦で研究を中断。その後、哲学者ブルーノ・バウフのもとでDer Raum(「空間」)と題した博士論文を提出し、引き続き論理実証主義の視点から物理学上の問題について研究した。1924年から1925年にかけてはフッサールの講義に出席している。 1926年にはウィーン大学で職を得、またウィーン学団の一員となる。当時のウィーン学団にはハンス・ハーン、モーリッツ・シュリック、フリードリヒ・ヴァイスマン、オットー・ノイラートなどがいた。またウィトゲンシュタインとも接触している。1928年の著書Der logische Aufbau der Welt(『世界の論理的構成』)では、科学的知識の経験主義的再構築を試みた。 1931年からプラハで自然哲学の教授を務める。1935年にはアメリカへ渡り、1941年に帰化。シカゴ大学、プリンストン高等研究所を経てカリフォルニア大学ロサンゼルス校(UCLA)で教鞭を執った。カルナップは一時期意味論の研究を行ったあと再び関心を科学的知識に向け、分析命題と総合命題の区別などについて論じた。.

バートランド・ラッセルとルドルフ・カルナップ · ルドルフ・カルナップと論理学 · 続きを見る »

ダフィット・ヒルベルト

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

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

命題論理

命題論理(propositional logic)とは、数理論理学(記号論理学)の基礎的な一部門であり、命題全体を1つの記号に置き換えて単純化し、論理演算を表す記号(論理記号・論理演算子)を用いて、その命題(記号)間の結合パターンを表現・研究・把握することを目的とした分野のこと。ブール論理はブール代数で形式化され2値の意味論を与えられた命題論理とみることができる。 命題を1つの記号で大まかに置き換える命題論理に対して、命題の述語(P)と主語(S)を、関数のF(x)のように別記号で表現し、更に量化子で主語(S)の数・量・範囲もいくらか表現し分けることを可能にした、すなわちより詳細に命題の内部構造を表現できるようにしたものを、述語論理と呼ぶ。.

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

アリストテレス

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

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

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

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

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

アルフレト・タルスキ

アルフレト・タルスキ(Alfred Tarski, 1901年1月14日 - 1983年10月26日)はポーランドおよびアメリカの数学者・論理学者。彼の生年を1902年とする記述も散見されるが、これは誤りである。 アリストテレス、クルト・ゲーデル、ゴットロープ・フレーゲとともに、「四人の偉大な論理学者」の一人として数えられる。また、彼の名前は「バナッハ=タルスキーの定理」などで知られる。.

アルフレト・タルスキとバートランド・ラッセル · アルフレト・タルスキと論理学 · 続きを見る »

エウクレイデス

ラファエロの壁画「アテナイの学堂」に画かれたエウクレイデス アレクサンドリアのエウクレイデス(、、(ユークリッド)、紀元前3世紀? - )は、古代ギリシアの数学者、天文学者とされる。数学史上最も重要な著作の1つ『原論』(ユークリッド原論)の著者であり、「幾何学の父」と称される。 プトレマイオス1世治世下(紀元前323年-283年)のアレクサンドリアで活動した。『原論』は19世紀末から20世紀初頭まで数学(特に幾何学)の教科書として使われ続けた。線の定義について、「線は幅のない長さである」、「線の端は点である」など述べられている。基本的にその中で今日ユークリッド幾何学と呼ばれている体系が少数の公理系から構築されている。エウクレイデスは他に光学、透視図法、円錐曲線論、球面天文学、誤謬推理論、図形分割論、天秤などについても著述を残したとされている。 なお、エウクレイデスという名はギリシア語で「よき栄光」を意味する。その実在を疑う説もあり、その説によると『原論』は複数人の共著であり、エウクレイデスは共同筆名とされる。 確実に言えることは、彼が古代の卓越した数学者で、アレクサンドリアで数学を教えていたこと、またそこで数学の一派をなしたことである。ユークリッド幾何学の祖で、原論では平面・立体幾何学、整数論、無理数論などの当時の数学が公理的方法によって組み立てられているが、これは古代ギリシア数学の一つの成果として受け止められている。.

エウクレイデスとバートランド・ラッセル · エウクレイデスと論理学 · 続きを見る »

オーガスタス・ド・モルガン

ーガスタス・ド・モルガン(Augustus de Morgan, 1806年6月27日 - 1871年3月18日)は、インド生まれのイギリスの数学者。 ド・モルガンの法則を発案した。 父親がイギリス東インド会社で働いていたため、インドのマドゥライで生まれるが、生後1年もたたないうちにイングランドに戻る。16歳でケンブリッジ大学のトリニティ・カレッジに入学、ウィリアム・ヒューウェルやジョージ・ピーコックの元で学ぶ。1828年からユニヴァーシティ・カレッジ(現ユニヴァーシティ・カレッジ・ロンドン)の教授を務めた。.

オーガスタス・ド・モルガンとバートランド・ラッセル · オーガスタス・ド・モルガンと論理学 · 続きを見る »

クルト・ゲーデル

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

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

ゲオルク・カントール

ルク・カントール ゲオルク・フェルディナント・ルートヴィッヒ・フィリップ・カントール(Georg Ferdinand Ludwig Philipp Cantor, 1845年3月3日 - 1918年1月6日)は、ドイツで活躍した数学者。.

ゲオルク・カントールとバートランド・ラッセル · ゲオルク・カントールと論理学 · 続きを見る »

ゴットロープ・フレーゲ

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

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

ゴットフリート・ライプニッツ

ットフリート・ヴィルヘルム・ライプニッツ(Gottfried Wilhelm Leibniz、1646年7月1日(グレゴリオ暦)/6月21日(ユリウス暦) - 1716年11月14日)は、ドイツの哲学者、数学者。ライプツィヒ出身。なお Leibniz の発音は、(ライプニッツ)としているものと、(ライブニッツ)としているものとがある。ルネ・デカルトやバールーフ・デ・スピノザなどとともに近世の大陸合理主義を代表する哲学者である。主著は、『モナドロジー』、『形而上学叙説』、『人間知性新論』など。.

ゴットフリート・ライプニッツとバートランド・ラッセル · ゴットフリート・ライプニッツと論理学 · 続きを見る »

ジョージ・ブール

ョージ・ブール(George Boole, 1815年11月2日 - 1864年12月8日)は、イギリスの数学者・哲学者。多くの仕事があるが、こんにちのコンピュータ科学の分野の基礎的な理論のひとつであるブール代数(ブール論理)が現代では広く知られている。.

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

哲学者

哲学者とは、広義に、哲学を研究する者のことである。「哲学者(フィロソファー)」という語は、「知恵を愛する者」を意味する古代ギリシャ語のφιλόσοφος(フィロソフォス)に由来する。ギリシャの思想家ピタゴラスによって導入された。.

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

科学哲学

科学哲学(かがくてつがく、philosophy of science)とは、科学を対象とする哲学的な考察のことである『岩波 哲学・思想事典』【科学哲学】野家啓一 執筆『世界大百科事典』【科学哲学】坂本百大 執筆。.

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

言語哲学

言語哲学(げんごてつがく、英語:philosophy of language)とは、語義的に二つの意味に大別される。.

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

論理学者

論理学者(ろんりがくしゃ)とは、論理学を専門に研究する人のことである。.

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

数学

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

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

数理論理学

数理論理学(mathematische Logik、mathematical logic)は、論理学(形式論理学)の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学(とくに)における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか(逆数学のように)ということに焦点を当てている。.

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

上記のリストは以下の質問に答えます

バートランド・ラッセルと論理学の間の比較

論理学が92を有しているバートランド・ラッセルは、230の関係を有しています。 彼らは一般的な20で持っているように、ジャカード指数は6.21%です = 20 / (230 + 92)。

参考文献

この記事では、バートランド・ラッセルと論理学との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください:

ヘイ!私たちは今、Facebook上です! »