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

アルフレト・タルスキと論理学者

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

アルフレト・タルスキと論理学者の違い

アルフレト・タルスキ vs. 論理学者

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

アルフレト・タルスキと論理学者間の類似点

アルフレト・タルスキと論理学者は(ユニオンペディアに)共通で14ものを持っています: チャールズ・サンダース・パースバートランド・ラッセルヤン・ウカシェヴィチアリストテレスアンジェイ・モストフスキクルト・ゲーデルゴットロープ・フレーゲスタニスワフ・レシニェフスキ哲学論理学数学数学基礎論数学者数理論理学

チャールズ・サンダース・パース

チャールズ・サンダース・パース(Charles Sanders Peirce、1839年9月10日 - 1914年4月19日)は、アメリカ合衆国の哲学者、論理学者、数学者、科学者であり、プラグマティズムの創始者として知られる。マサチューセッツ州ケンブリッジ生まれ。パースは化学者としての教育を受け、米国沿岸測量局に約三十年間、科学者として雇われていた。「アメリカ合衆国の哲学者たちの中で最も独創的かつ多才であり、そしてアメリカのもっとも偉大な論理学者」ともいわれる。存命中はおおむね無視されつづけ、第二次世界大戦後まで二次文献はわずかしかなかった。莫大な遺稿の全ては今も公表されていない。パースは自分をまず論理学者とみなし、さらに論理学を記号論(semiotics)の一分野とみなした。.

アルフレト・タルスキとチャールズ・サンダース・パース · チャールズ・サンダース・パースと論理学者 · 続きを見る »

バートランド・ラッセル

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

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

ヤン・ウカシェヴィチ

ヤン・ウカシェヴィチ(, 1878年12月21日 - 1956年2月13日)はポーランドの論理学者、哲学者。ルヴフ(現ウクライナのリヴィウ)に生まれ、ルヴフ大学にてカジミェシュ・トヴァルドフスキの薫陶を受ける。 1911年にルヴフ大学員外教授に就任。1915年にはワルシャワ大学に移り、1920年から1939年にかけて教授職を務めた。また、1919年には文部大臣に就任している。ワルシャワではスタニスワフ・レシニェフスキらとともに、いわゆる「」の中心的存在として活躍した。 第二次世界大戦の勃発によりベルギーへの亡命を余儀なくされ、戦後はアイルランドに渡り、ユニバーシティ・カレッジ・ダブリンで教えた。 アリストテレス論理学に関する研究、多値論理に関する研究等が有名。また、式の記法であるいわゆる「ポーランド記法」は、彼の発案によるものである。 1998年に発見された小惑星ウカシェヴィチは、彼の名前に由来する。.

アルフレト・タルスキとヤン・ウカシェヴィチ · ヤン・ウカシェヴィチと論理学者 · 続きを見る »

アリストテレス

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

アリストテレスとアルフレト・タルスキ · アリストテレスと論理学者 · 続きを見る »

アンジェイ・モストフスキ

アンジェイ・モストフスキ(Andrzej Mostowski, 1913年9月1日 – 1975年8月22日)はポーランドの数学者。モストフスキ崩壊補題で有名。 オーストリア=ハンガリー帝国のリヴィウで生まれる。.

アルフレト・タルスキとアンジェイ・モストフスキ · アンジェイ・モストフスキと論理学者 · 続きを見る »

クルト・ゲーデル

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

アルフレト・タルスキとクルト・ゲーデル · クルト・ゲーデルと論理学者 · 続きを見る »

ゴットロープ・フレーゲ

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

アルフレト・タルスキとゴットロープ・フレーゲ · ゴットロープ・フレーゲと論理学者 · 続きを見る »

スタニスワフ・レシニェフスキ

タニスワフ・レシニェフスキ(Stanisław Leśniewski, 1886年3月30日 - 1939年5月13日)はポーランドの論理学者。モスクワ近郊のセルプコフ生まれ。.

アルフレト・タルスキとスタニスワフ・レシニェフスキ · スタニスワフ・レシニェフスキと論理学者 · 続きを見る »

哲学

哲学(てつがく、Φιλοσοφία、philosophia、philosophy、philosophie、Philosophie)は、語義的には「愛智」を意味する学問的活動である。日本語辞典の広辞苑では、次のように説明している。 観念論的な形而上学に対して、唯物論的な形而上学もある。諸科学が分化独立した現在では、哲学は学問とされることが多いが、科学とされる場合哲学は「自然および社会,人間の思考,その知識獲得の過程にかんする一般的法則を研究する科学」である。出典は、青木書店『哲学事典』。もある。.

アルフレト・タルスキと哲学 · 哲学と論理学者 · 続きを見る »

論理学

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

アルフレト・タルスキと論理学 · 論理学と論理学者 · 続きを見る »

数学

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

アルフレト・タルスキと数学 · 数学と論理学者 · 続きを見る »

数学基礎論

数学基礎論(すうがくきそろん、英語:)は、数学の一分野。他の分野が整数・実数・図形・関数などを取り扱うのに対し、数学自体を対象とする。.

アルフレト・タルスキと数学基礎論 · 数学基礎論と論理学者 · 続きを見る »

数学者

数学者(すうがくしゃ、mathematician)とは、数学に属する分野の事柄を第一に、調査および研究する者を指していう呼称である。.

アルフレト・タルスキと数学者 · 数学者と論理学者 · 続きを見る »

数理論理学

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

アルフレト・タルスキと数理論理学 · 数理論理学と論理学者 · 続きを見る »

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

アルフレト・タルスキと論理学者の間の比較

論理学者が41を有しているアルフレト・タルスキは、83の関係を有しています。 彼らは一般的な14で持っているように、ジャカード指数は11.29%です = 14 / (83 + 41)。

参考文献

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

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