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

ウィラード・ヴァン・オーマン・クワインと一階述語論理

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

ウィラード・ヴァン・オーマン・クワインと一階述語論理の違い

ウィラード・ヴァン・オーマン・クワイン vs. 一階述語論理

ウィラード・ヴァン・オーマン・クワイン(Willard van Orman Quine, 1908年6月25日 - 2000年12月25日)は、アメリカ合衆国の哲学者、論理学者であり、20世紀の哲学者のなかで最も影響力のある人物の一人である。分析哲学の伝統の正当な継承者であるが、哲学は概念分析ではないという考えの主たる提唱者でもあった。母校であるハーバード大学で哲学と数学を教えた。主要な業績に「経験主義のふたつのドグマ」(『論理的観点から』所収)があり、分析命題と総合命題とを区別できるとする論理実証主義がはらむような経験主義を批判し、個別の命題だけでは経験によった確証は得られない(確証されるのは命題体系全体である)とする確証の全体論(ホーリズム)を提唱した(参考:デュエム-クワイン・テーゼ)。『ことばと対象』ではさらにこの立場を発展させ、有名な翻訳の不確定性テーゼを導入した。. 一階述語論理(いっかいじゅつごろんり、first-order predicate logic)とは、個体の量化のみを許す述語論理 (predicate logic) である。述語論理とは、数理論理学における論理の数学的モデルの一つであり、命題論理を拡張したものである。個体の量化に加えて述語や関数の量化を許す述語論理を二階述語論理(にかいじゅつごろんり、second-order predicate logic)と呼ぶ。それにさらなる一般化を加えた述語論理を高階述語論理(こうかいじゅつごろんり、higher-order predicate logic)という。本項では主に一階述語論理について解説する。二階述語論理や高階述語論理についての詳細は「二階述語論理」「高階述語論理」を参照。.

ウィラード・ヴァン・オーマン・クワインと一階述語論理間の類似点

ウィラード・ヴァン・オーマン・クワインと一階述語論理は(ユニオンペディアに)共通で2ものを持っています: アルフレト・タルスキ量化

アルフレト・タルスキ

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

アルフレト・タルスキとウィラード・ヴァン・オーマン・クワイン · アルフレト・タルスキと一階述語論理 · 続きを見る »

量化

量化(りょうか、Quantification)とは、言語や論理学において、論理式が適用される(または満足される)議論領域の個体の「量」を指定すること。.

ウィラード・ヴァン・オーマン・クワインと量化 · 一階述語論理と量化 · 続きを見る »

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

ウィラード・ヴァン・オーマン・クワインと一階述語論理の間の比較

一階述語論理が49を有しているウィラード・ヴァン・オーマン・クワインは、98の関係を有しています。 彼らは一般的な2で持っているように、ジャカード指数は1.36%です = 2 / (98 + 49)。

参考文献

この記事では、ウィラード・ヴァン・オーマン・クワインと一階述語論理との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください:

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