ブラウザよりも高速アクセス！数学の哲学と量化間の類似点
数学の哲学と量化は（ユニオンペディアに）共通で18ものを持っています: 二階述語論理、形式言語、チャールズ・サンダース・パース、バートランド・ラッセル、ダフィット・ヒルベルト、アリストテレス、アルフレッド・ノース・ホワイトヘッド、ウィラード・ヴァン・オーマン・クワイン、クルト・ゲーデル、ゲーデルの完全性定理、ゲーデルの不完全性定理、ゴットロープ・フレーゲ、公理的集合論、無理数、解析学、論理学、自然言語、自然数。
二階述語論理
二階述語論理（にかいじゅつごろんり、second-order predicate logic）あるいは単に二階論理（にかいろんり、second-order logic）は、一階述語論理を拡張した論理体系であり、一階述語論理自体も命題論理を拡張したものである。二階述語論理もさらに高階述語論理や型理論に拡張される。 一階述語論理と同様に議論領域（ドメイン）の考え方を使う。ドメインとは、量化可能な個々の元の集合である。一階述語論理では、そのドメインの個々の元が変項の値となり、量化される。例えば、一階の論理式 ∀x (x ≠ x + 1) では、変項 x は任意の個体を表す。二階述語論理は個体の集合を変項の値とし、量化することができる。例えば、二階の論理式 ∀S ∀x (x ∈ S ∨ x ∉ S) は、個体の全ての集合 S と全ての個体 x について、x が S に属するか、あるいは属さないかのどちらかであるということを主張している。最も一般化された二階述語論理は関数の量化をする変項も含んでいる（詳しくは後述）。.
形式言語
形式言語（けいしきげんご、formal language）は、その文法（構文、統語論）が、場合によっては意味（意味論）も、形式的に与えられている（形式体系を参照）言語である。形式的でないために、しばしば曖昧さが曖昧なまま残されたり、話者集団という不特定多数によってうつろいゆくような自然言語のそれに対して、一部の人工言語や、いわゆる機械可読な（機械可読目録を参照）ドキュメント類などは形式言語である。この記事では形式的な統語論すなわち構文の形式的な定義と形式文法について述べる。形式的な意味論については形式意味論の記事を参照。.
形式言語と数学の哲学 · 形式言語と量化 ·
チャールズ・サンダース・パース
チャールズ・サンダース・パース（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年にノーベル文学賞を受賞している。.
バートランド・ラッセルと数学の哲学 · バートランド・ラッセルと量化 ·
ダフィット・ヒルベルト
ーニヒスベルクにて私講師を務めていた頃（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日）は、オーストリア・ハンガリー二重帝国（現チェコ）のブルノ生まれの数学者・論理学者である。業績には、完全性定理及び不完全性定理、連続体仮説に関する研究が知られる。.
クルト・ゲーデルと数学の哲学 · クルト・ゲーデルと量化 ·
ゲーデルの完全性定理
数理論理学においてゲーデルの完全性定理（ゲーデルのかんぜんせいていり、Gödel's completeness theorem、Gödelscher Vollständigkeitssatz）とは、第一階述語論理の恒真な論理式はその公理系からすべて導出可能であることを示した定理を言う。1929年にクルト・ゲーデルが証明した。.
ゲーデルの完全性定理と数学の哲学 · ゲーデルの完全性定理と量化 ·
ゲーデルの不完全性定理
ーデルの不完全性定理（ゲーデルのふかんぜんせいていり、）又は単に不完全性定理とは、数学基礎論における重要な定理で、クルト・ゲーデルが1930年に証明したものである。;第1不完全性定理: 自然数論を含む帰納的公理化可能な理論が、ω無矛盾であれば、証明も反証もできない命題が存在する。;第2不完全性定理: 自然数論を含む帰納的公理化可能な理論が、無矛盾であれば、自身の無矛盾性を証明できない。.
ゲーデルの不完全性定理と数学の哲学 · ゲーデルの不完全性定理と量化 ·
ゴットロープ・フレーゲ
フリードリヒ・ルートヴィヒ・ゴットロープ・フレーゲ（Friedrich Ludwig Gottlob Frege, 1848年11月8日 - 1925年7月26日）は、ドイツの哲学者、論理学者、数学者であり、現代の数理論理学、分析哲学の祖にあたる。 フレーゲはバルト海に面したドイツの港町ヴィスマールの生まれである。母のアウグステ・ビアロブロツキーはポーランド系である。彼ははじめイェーナ大学で学び、その後ゲッティンゲン大学に移り1873年に博士号を取得した。その後イェーナに戻り、1896年から数学教授。1925年に死去した。.
ゴットロープ・フレーゲと数学の哲学 · ゴットロープ・フレーゲと量化 ·
公理的集合論
公理的集合論（こうりてきしゅうごうろん、axiomatic set theory）とは、公理化された集合論のことである。.
無理数
無理数（むりすう、 irrational number）とは、有理数ではない実数、つまり分子・分母ともに整数である分数（比.
解析学
解析学（かいせきがく、英語：analysis, mathematical analysis）とは、極限や収束といった概念を扱う数学の分野である 日本数学会編、『岩波数学辞典 第4版』、岩波書店、2007年、項目「解析学」より。ISBN978-4-00-080309-0 C3541 。代数学、幾何学と合わせ数学の三大分野をなす。 数学用語としての解析学は要素還元主義とは異なっており、初等的には微積分や級数などを用いて関数の変化量などの性質を調べる分野と言われることが多い。これは解析学がもともとテイラー級数やフーリエ級数などを用いて関数の性質を研究していたことに由来する。 例えばある関数の変数を少しだけずらした場合、その関数の値がどのようにどのぐらい変化するかを調べる問題は解析学として扱われる。 解析学の最も基本的な部分は、微分積分学、または微積分学と呼ばれる。また微分積分学を学ぶために必要な数学はprecalculus(calculusは微積分の意、接頭辞preにより直訳すれば微積分の前といった意味になる)と呼ばれ、現代日本の高校1、2年程度の内容に相当する。また解析学は応用分野において微分方程式を用いた理論やモデルを解くためにも発達し、物理学や工学といった数学を用いる学問ではよく用いられる数学の分野の一つである。 解析学は微積分をもとに、微分方程式や関数論など多岐に渡って発達しており、現代では確率論をも含む。 現代日本においては解析学の基本的分野は概ね高校2年から大学2年程度で習い、進度の差はあれ世界中の高校や大学等で教えられている。.
論理学
論理学（ろんりがく、）とは、「論理」を成り立たせる論証の構成やその体系を研究する学問である。.
自然言語
自然言語（しぜんげんご、natural language）とは、人間によって日常の意思疎通のために用いられる、文化的背景を持って自然に発展してきた言語である。分類として、音声言語と文字言語、口頭言語と書記言語、口語と文語といったような分類があるが、いずれも似ているようだが着目点や対比軸が異なる分類であり、混同してはならない。また、以上のような分類がいずれも当たらない言語もあり、例えば日本手話（「日本語対応手話」とは異なる）がそうである。.
数学の哲学と自然言語 · 自然言語と量化 ·
自然数
自然数（しぜんすう、natural number）とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる（詳しくは自然数の歴史と零の地位の節を参照）。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数（例えば 3 や 18）を指して自然数ということもある。.
上記のリストは以下の質問に答えます
- 何数学の哲学と量化ことは共通しています
- 何が数学の哲学と量化間の類似点があります
数学の哲学と量化の間の比較
量化が58を有している数学の哲学は、197の関係を有しています。 彼らは一般的な18で持っているように、ジャカード指数は7.06%です = 18 / (197 + 58)。
参考文献
この記事では、数学の哲学と量化との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください:
