数学の哲学と論理学間の類似点
数学の哲学と論理学は(ユニオンペディアに)共通で30ものを持っています: 形式論理学、バートランド・ラッセル、ラッセルのパラドックス、ルドルフ・カルナップ、ヒルベルト・プログラム、ダフィット・ヒルベルト、命題、アリストテレス、アルフレッド・ノース・ホワイトヘッド、アルフレト・タルスキ、イマヌエル・カント、エウクレイデス、クルト・ゲーデル、ゲーデルの不完全性定理、ゴットロープ・フレーゲ、ゴットフリート・ライプニッツ、哲学、公理、研究、科学哲学、直観論理、記号、言語哲学、自然言語、自然数、集合論、数学、数理論理学、19世紀、20世紀。
形式論理学
形式論理(けいしきろんり)とは、.
形式論理学と数学の哲学 · 形式論理学と論理学 ·
バートランド・ラッセル
3代ラッセル伯爵、バートランド・アーサー・ウィリアム・ラッセル(Bertrand Arthur William Russell, 3rd Earl Russell, OM, FRS、1872年5月18日 - 1970年2月2日)は、イギリスの哲学者、論理学者、数学者であり、社会批評家、政治活動家である。ラッセル伯爵家の貴族であり、イギリスの首相を2度務めた初代ラッセル伯ジョン・ラッセルは祖父にあたる。名付け親は同じくイギリスの哲学者ジョン・スチュアート・ミル。ミルはラッセル誕生の翌年に死去したが、その著作はラッセルの生涯に大きな影響を与えた。生涯に4度結婚し、最後の結婚は80歳のときであった。1950年にノーベル文学賞を受賞している。.
バートランド・ラッセルと数学の哲学 · バートランド・ラッセルと論理学 ·
ラッセルのパラドックス
ラッセルのパラドックス(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日)は、ドイツの数学者。「現代数学の父」と呼ばれる。名はダヴィット,ダヴィド、ダーフィットなどとも表記される。.
ダフィット・ヒルベルトと数学の哲学 · ダフィット・ヒルベルトと論理学 ·
命題
命題(めいだい、proposition)とは、論理学において判断を言語で表したもので、真または偽という性質をもつもの。また数学で、真偽の判断の対象となる文章または式。定理または問題のこと。西周による訳語の一つ。 厳密な意味での命題の存在は、「意味」の存在と同様に、疑問を投げかける哲学者もいる。また、「意味」の概念が許容される場合にあっても、その本質は何であるかということにはなお議論のあるところである。古い文献では、語の集まりあるいはその語の集まりの表す「意味」という意味で命題という術語を用いているかどうかということが、つねに十分に明らかにされているわけではなかった。 現在では、論争や存在論的な含みを持つことを避けるため、ある解釈の下で(真か偽のいずれであるかという)真理の担い手となる記号列自体について述べる時は、「命題」という代わりに「文 (sentence)」という術語を用いる。ストローソンは「言明 ("statement")」 という術語を用いることを提唱した。.
アリストテレス
アリストテレス(アリストテレース、Ἀριστοτέλης - 、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年とする記述も散見されるが、これは誤りである。 アリストテレス、クルト・ゲーデル、ゴットロープ・フレーゲとともに、「四人の偉大な論理学者」の一人として数えられる。また、彼の名前は「バナッハ=タルスキーの定理」などで知られる。.
アルフレト・タルスキと数学の哲学 · アルフレト・タルスキと論理学 ·
イマヌエル・カント
イマヌエル・カント(Immanuel Kant、1724年4月22日 - 1804年2月12日)は、プロイセン王国(ドイツ)の哲学者であり、ケーニヒスベルク大学の哲学教授である。『純粋理性批判』、『実践理性批判』、『判断力批判』の三批判書を発表し、批判哲学を提唱して、認識論における、いわゆる「コペルニクス的転回」をもたらした。フィヒテ、シェリング、そしてヘーゲルへと続くドイツ古典主義哲学(ドイツ観念論哲学)の祖とされる。彼が定めた超越論哲学の枠組みは、以後の西洋哲学全体に強い影響を及ぼしている。.
イマヌエル・カントと数学の哲学 · イマヌエル・カントと論理学 ·
エウクレイデス
ラファエロの壁画「アテナイの学堂」に画かれたエウクレイデス アレクサンドリアのエウクレイデス(、、(ユークリッド)、紀元前3世紀? - )は、古代ギリシアの数学者、天文学者とされる。数学史上最も重要な著作の1つ『原論』(ユークリッド原論)の著者であり、「幾何学の父」と称される。 プトレマイオス1世治世下(紀元前323年-283年)のアレクサンドリアで活動した。『原論』は19世紀末から20世紀初頭まで数学(特に幾何学)の教科書として使われ続けた。線の定義について、「線は幅のない長さである」、「線の端は点である」など述べられている。基本的にその中で今日ユークリッド幾何学と呼ばれている体系が少数の公理系から構築されている。エウクレイデスは他に光学、透視図法、円錐曲線論、球面天文学、誤謬推理論、図形分割論、天秤などについても著述を残したとされている。 なお、エウクレイデスという名はギリシア語で「よき栄光」を意味する。その実在を疑う説もあり、その説によると『原論』は複数人の共著であり、エウクレイデスは共同筆名とされる。 確実に言えることは、彼が古代の卓越した数学者で、アレクサンドリアで数学を教えていたこと、またそこで数学の一派をなしたことである。ユークリッド幾何学の祖で、原論では平面・立体幾何学、整数論、無理数論などの当時の数学が公理的方法によって組み立てられているが、これは古代ギリシア数学の一つの成果として受け止められている。.
クルト・ゲーデル
ルト・ゲーデル(Kurt Gödel, 1906年4月28日 - 1978年1月14日)は、オーストリア・ハンガリー二重帝国(現チェコ)のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。.
クルト・ゲーデルと数学の哲学 · クルト・ゲーデルと論理学 ·
ゲーデルの不完全性定理
ーデルの不完全性定理(ゲーデルのふかんぜんせいていり、)又は単に不完全性定理とは、数学基礎論における重要な定理で、クルト・ゲーデルが1930年に証明したものである。;第1不完全性定理: 自然数論を含む帰納的公理化可能な理論が、ω無矛盾であれば、証明も反証もできない命題が存在する。;第2不完全性定理: 自然数論を含む帰納的公理化可能な理論が、無矛盾であれば、自身の無矛盾性を証明できない。.
ゲーデルの不完全性定理と数学の哲学 · ゲーデルの不完全性定理と論理学 ·
ゴットロープ・フレーゲ
フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲ(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 の発音は、(ライプニッツ)としているものと、(ライブニッツ)としているものとがある。ルネ・デカルトやバールーフ・デ・スピノザなどとともに近世の大陸合理主義を代表する哲学者である。主著は、『モナドロジー』、『形而上学叙説』、『人間知性新論』など。.
ゴットフリート・ライプニッツと数学の哲学 · ゴットフリート・ライプニッツと論理学 ·
哲学
哲学(てつがく、Φιλοσοφία、philosophia、philosophy、philosophie、Philosophie)は、語義的には「愛智」を意味する学問的活動である。日本語辞典の広辞苑では、次のように説明している。 観念論的な形而上学に対して、唯物論的な形而上学もある。諸科学が分化独立した現在では、哲学は学問とされることが多いが、科学とされる場合哲学は「自然および社会,人間の思考,その知識獲得の過程にかんする一般的法則を研究する科学」である。出典は、青木書店『哲学事典』。もある。.
公理
公理(こうり、axiom)とは、その他の命題を導きだすための前提として導入される最も基本的な仮定のことである。一つの形式体系における議論の前提として置かれる一連の公理の集まりを (axiomatic system) という 。公理を前提として演繹手続きによって導きだされる命題は定理とよばれる。多くの文脈で「公理」と同じ概念をさすものとして仮定や前提という言葉も並列して用いられている。 公理とは他の結果を導きだすための議論の前提となるべき論理的に定式化された(形式的な)言明であるにすぎず、真実であることが明らかな自明の理が採用されるとは限らない。知の体系の公理化は、いくつかの基本的でよく知られた事柄からその体系の主張が導きだせることを示すためになされることが多い。 なお、ユークリッド原論などの古典的な数学観では、最も自明(絶対的)な前提を公理、それに準じて要請される前提を公準 (postulate) として区別していた。.
研究
(けんきゅう、research リサーチ)とは、ある特定の物事について、人間の知識を集めて考察し、実験、観察、調査などを通して調べて、その物事についての事実を深く追求する一連の過程のことである。語義としては「研ぎ澄まし究めること」の意。.
科学哲学
科学哲学(かがくてつがく、philosophy of science)とは、科学を対象とする哲学的な考察のことである『岩波 哲学・思想事典』【科学哲学】野家啓一 執筆『世界大百科事典』【科学哲学】坂本百大 執筆。.
数学の哲学と科学哲学 · 科学哲学と論理学 ·
直観論理
観主義論理(intuitionistic logic)、直観論理あるいは構成的論理(constructive logic)とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。例えば古典論理では、全ての論理式に真か偽の真理値 (\) が割り当てられる。このときその真理値に対する直接的なエビデンスを持つか否かは問題にしない。これはどのような曖昧な命題においても「真か偽かが決定可能である」ということを意味する。対照的に直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。 Instead they remain of unknown truth value, until they are either proved or disproved.
数学の哲学と直観論理 · 直観論理と論理学 ·
記号
記号(きごう、Sign)とは、情報伝達や思考・感情・芸術などの精神行為の働きを助ける媒体のことである。狭義には、文字やマーク、絵など、意味を付された図形を指すが、広義には表現物、ファッションや様々な行為(およびその結果など)までをも含む。.
言語哲学
言語哲学(げんごてつがく、英語:philosophy of language)とは、語義的に二つの意味に大別される。.
数学の哲学と言語哲学 · 言語哲学と論理学 ·
自然言語
自然言語(しぜんげんご、natural language)とは、人間によって日常の意思疎通のために用いられる、文化的背景を持って自然に発展してきた言語である。分類として、音声言語と文字言語、口頭言語と書記言語、口語と文語といったような分類があるが、いずれも似ているようだが着目点や対比軸が異なる分類であり、混同してはならない。また、以上のような分類がいずれも当たらない言語もあり、例えば日本手話(「日本語対応手話」とは異なる)がそうである。.
数学の哲学と自然言語 · 自然言語と論理学 ·
自然数
自然数(しぜんすう、natural number)とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる(詳しくは自然数の歴史と零の地位の節を参照)。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数(例えば 3 や 18)を指して自然数ということもある。.
集合論
集合論(しゅうごうろん、set theory, théorie des ensembles, Mengenlehre)は、集合とよばれる数学的対象をあつかう数学理論である。 通常、「集合」はいろいろな数学的対象の集まりを表していると見なされる。これは日常的な意味でのものの集まりやその要素、特定のものが入っているかいないか、という概念を包摂している。現代数学の定式化においては集合論がさまざまな数学的対象を描写する言葉をあたえている。(論理や述語論理とともに)集合論は数学の公理的な基礎付けをあたえ、数学的な対象を形式的に(無定義語の)「集合」と「帰属関係」によって構成することが可能になる。また、集合論の公理として何を仮定するとどんな体系が得られるか、といった集合それ自体の研究も活発に行われている。 集合論における基本的な操作には、あたえられた集合のべき集合や直積集合をとる、などがある。また二つの集合の元同士の関係(二項関係)を通じて定義される順序関係や写像などの概念が集合の分類に重要な役割を果たす。集合論では二つの集合はそれぞれの集合の元の間に全単射が存在するとき濃度が等しいという。そこで集合を濃度の等しさによって類別した各々の同値類のことを濃度という。この定義では濃度は真のクラスになってしまうので、濃度そのものを集合論的な対象として取り扱い難い。選択公理を仮定すると任意の集合は整列可能であることが導かれる。整列集合の順序型を順序同型で類別した各々の同値類と定義してしまうと、それは真のクラスとなってしまう。幸いなことに任意の整列集合は順序数と呼ばれる特別な集合(を帰属関係で順序付けしたもの)と順序同型となる。そのためそれら順序数を整列集合の順序型と定義することができる。また順序数全体 \mathrm(これは真のクラスになる)もまた整列順序付けられている。以上のもとで、集合の濃度を と定義することができる。すなわち濃度というのを特別な順序数として定義するわけである。このようにすることで濃度の定義から真のクラスを追放することができる。ただし選択公理を仮定することなく濃度を定義し取り扱うことはできる。基本的なアイデアは濃度で類別した各々同値類から累積階層の意味で階数が最小なものだけを分出するというものである。詳細はを参照。.
数学
数学(すうがく、μαθηματικά, mathematica, math)は、量(数)、構造、空間、変化について研究する学問である。数学の範囲と定義については、数学者や哲学者の間で様々な見解がある。.
数理論理学
数理論理学(mathematische Logik、mathematical logic)は、論理学(形式論理学)の数学への応用の探求ないしは論理学の数学的な解析を主たる目的とする、数学の関連分野である。局所的には数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。数理論理学の共通な課題としては形式体系の表現力や形式証明系の演繹の能力の研究が含まれる。 数理論理学はしばしば集合論、モデル理論、再帰理論、証明論の4つの領域に分類される。これらの領域はロジックのとくに一階述語論理や定義可能性に関する結果を共有している。計算機科学(とくに)における数理論理学の役割の詳細はこの記事には含まれていない。詳細はを参照。 この分野が始まって以来、数理論理学は数学基礎論の研究に貢献し、また逆に動機付けられてきた。数学基礎論は幾何学、算術、解析学に対する公理的な枠組みの開発とともに19世紀末に始まった。20世紀初頭、数学基礎論は、ヒルベルトのプログラムによって、数学の基礎理論の無矛盾性を証明するものとして形成された。クルト・ゲーデルとゲルハルト・ゲンツェンによる結果やその他は、プログラムの部分的な解決を提供しつつ、無矛盾性の証明に伴う問題点を明らかにした。集合論における仕事は殆ど全ての通常の数学を集合の言葉で形式化できることを示した。しかしながら、集合論に共通の公理からは証明することができない幾つかの命題が存在することも知られた。むしろ現代の数学基礎論では、全ての数学を展開できる公理系を見つけるよりも、数学の一部がどのような特定の形式的体系で形式化することが可能であるか(逆数学のように)ということに焦点を当てている。.
数学の哲学と数理論理学 · 数理論理学と論理学 ·
19世紀
19世紀に君臨した大英帝国。 19世紀(じゅうきゅうせいき)は、西暦1801年から西暦1900年までの100年間を指す世紀。.
19世紀と数学の哲学 · 19世紀と論理学 ·
20世紀
摩天楼群) 20世紀(にじっせいき、にじゅっせいき)とは、西暦1901年から西暦2000年までの100年間を指す世紀。2千年紀における最後の世紀である。漢字で二十世紀の他に、廿世紀と表記される場合もある。.
20世紀と数学の哲学 · 20世紀と論理学 ·
上記のリストは以下の質問に答えます
- 何数学の哲学と論理学ことは共通しています
- 何が数学の哲学と論理学間の類似点があります
数学の哲学と論理学の間の比較
論理学が92を有している数学の哲学は、197の関係を有しています。 彼らは一般的な30で持っているように、ジャカード指数は10.38%です = 30 / (197 + 92)。
参考文献
この記事では、数学の哲学と論理学との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください: