公理と論理学間の類似点
公理と論理学は(ユニオンペディアに)共通で10ものを持っています: 亀がアキレスに言ったこと、ヒルベルト・プログラム、ダフィット・ヒルベルト、命題、エウクレイデス、ゲーデルの不完全性定理、矛盾、科学哲学、直観論理、自然数。
亀がアキレスに言ったこと
亀がアキレスに言ったこと」(かめがアキレスにいったこと、What the Tortoise Said to Achilles)は、1895年にルイス・キャロルが哲学雑誌『Mind』に書いた短い対話編。この文章の中でキャロルによって提示された問題は現在「ルイス・キャロルのパラドックス」(Lewis Caroll's Paradox)、または単に「キャロルのパラドックス」と呼ばれることもある。文中で対話を行う「アキレス」と「亀」は、アキレスが決して亀を追い抜くことができない、という運動に関するゼノンのパラドックスから取られている。キャロルはこの2人の対話を通して、論理学の基礎的な問題をユーモラスに提示してみせた。 この対話において、亀はアキレスに対し「論理の力を使って自分を納得させてみろ」と吹っ掛ける。つまり「単純な演繹からでてくる結論を私に認めさせてみろ」と言う。しかし結局アキレスはそれができない。なぜなら、カメが論理学の基本的な推論規則に対して「なぜそうなのか?」という問いを発し続けてアキレスを無限後退に追いやるためである。.
亀がアキレスに言ったことと公理 · 亀がアキレスに言ったことと論理学 ·
ヒルベルト・プログラム
ヒルベルト・プログラムとは、ダフィット・ヒルベルトによって提唱された、数学を形式化しようとする試みのことをいう。ヒルベルト計画とも呼ばれる。.
ヒルベルト・プログラムと公理 · ヒルベルト・プログラムと論理学 ·
ダフィット・ヒルベルト
ーニヒスベルクにて私講師を務めていた頃(1886年) ヒルベルトの墓碑。「我々は知らねばならない、我々は知るだろう」と記されている。 ダフィット・ヒルベルト(David Hilbert,, 1862年1月23日 - 1943年2月14日)は、ドイツの数学者。「現代数学の父」と呼ばれる。名はダヴィット,ダヴィド、ダーフィットなどとも表記される。.
ダフィット・ヒルベルトと公理 · ダフィット・ヒルベルトと論理学 ·
命題
命題(めいだい、proposition)とは、論理学において判断を言語で表したもので、真または偽という性質をもつもの。また数学で、真偽の判断の対象となる文章または式。定理または問題のこと。西周による訳語の一つ。 厳密な意味での命題の存在は、「意味」の存在と同様に、疑問を投げかける哲学者もいる。また、「意味」の概念が許容される場合にあっても、その本質は何であるかということにはなお議論のあるところである。古い文献では、語の集まりあるいはその語の集まりの表す「意味」という意味で命題という術語を用いているかどうかということが、つねに十分に明らかにされているわけではなかった。 現在では、論争や存在論的な含みを持つことを避けるため、ある解釈の下で(真か偽のいずれであるかという)真理の担い手となる記号列自体について述べる時は、「命題」という代わりに「文 (sentence)」という術語を用いる。ストローソンは「言明 ("statement")」 という術語を用いることを提唱した。.
エウクレイデス
ラファエロの壁画「アテナイの学堂」に画かれたエウクレイデス アレクサンドリアのエウクレイデス(、、(ユークリッド)、紀元前3世紀? - )は、古代ギリシアの数学者、天文学者とされる。数学史上最も重要な著作の1つ『原論』(ユークリッド原論)の著者であり、「幾何学の父」と称される。 プトレマイオス1世治世下(紀元前323年-283年)のアレクサンドリアで活動した。『原論』は19世紀末から20世紀初頭まで数学(特に幾何学)の教科書として使われ続けた。線の定義について、「線は幅のない長さである」、「線の端は点である」など述べられている。基本的にその中で今日ユークリッド幾何学と呼ばれている体系が少数の公理系から構築されている。エウクレイデスは他に光学、透視図法、円錐曲線論、球面天文学、誤謬推理論、図形分割論、天秤などについても著述を残したとされている。 なお、エウクレイデスという名はギリシア語で「よき栄光」を意味する。その実在を疑う説もあり、その説によると『原論』は複数人の共著であり、エウクレイデスは共同筆名とされる。 確実に言えることは、彼が古代の卓越した数学者で、アレクサンドリアで数学を教えていたこと、またそこで数学の一派をなしたことである。ユークリッド幾何学の祖で、原論では平面・立体幾何学、整数論、無理数論などの当時の数学が公理的方法によって組み立てられているが、これは古代ギリシア数学の一つの成果として受け止められている。.
ゲーデルの不完全性定理
ーデルの不完全性定理(ゲーデルのふかんぜんせいていり、)又は単に不完全性定理とは、数学基礎論における重要な定理で、クルト・ゲーデルが1930年に証明したものである。;第1不完全性定理: 自然数論を含む帰納的公理化可能な理論が、ω無矛盾であれば、証明も反証もできない命題が存在する。;第2不完全性定理: 自然数論を含む帰納的公理化可能な理論が、無矛盾であれば、自身の無矛盾性を証明できない。.
ゲーデルの不完全性定理と公理 · ゲーデルの不完全性定理と論理学 ·
矛盾
矛盾(むじゅん、contradiction)とは、あることを一方では肯定し、同時に他方では否定するなど、論理の辻褄(つじつま)が合わないこと。物事の筋道や道理が合わないこと。.
科学哲学
科学哲学(かがくてつがく、philosophy of science)とは、科学を対象とする哲学的な考察のことである『岩波 哲学・思想事典』【科学哲学】野家啓一 執筆『世界大百科事典』【科学哲学】坂本百大 執筆。.
直観論理
観主義論理(intuitionistic logic)、直観論理あるいは構成的論理(constructive logic)とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。例えば古典論理では、全ての論理式に真か偽の真理値 (\) が割り当てられる。このときその真理値に対する直接的なエビデンスを持つか否かは問題にしない。これはどのような曖昧な命題においても「真か偽かが決定可能である」ということを意味する。対照的に直観主義論理では確定的に論理式に真理値を割り当てるのではなく、それが真であるとは「直接的なエビデンス」つまり「証明」があることと見做す。 Instead they remain of unknown truth value, until they are either proved or disproved.
自然数
自然数(しぜんすう、natural number)とは、個数、もしくは順番を表す一群の数のことである。集合論においては、自然数は物の個数を数える基数のうちで有限のものであると考えることもできるし、物の並べ方を示す順序数のうちで有限のものであると考えることもできる。 自然数を 1, 2, 3, … とする流儀と、0, 1, 2, 3, … とする流儀があり、前者は数論などでよく使われ、後者は集合論、論理学などでよく使われる(詳しくは自然数の歴史と零の地位の節を参照)。いずれにしても、0 を自然数に含めるかどうかが問題になるときは、その旨を明記する必要がある。自然数の代わりに非負整数または正整数と言い換えることによりこの問題を避けることもある。 数学の基礎付けにおいては、自然数の間の加法についての形式的な逆元を考えることによって整数を定義する。正の整数ないしは負でない整数を自然数と同一視し、自然数を整数の一部として取扱うことができる。自然数と同様に整数の全体も可算無限集合である。 なお、文脈によっては、その一群に属する個々の数(例えば 3 や 18)を指して自然数ということもある。.
上記のリストは以下の質問に答えます
- 何公理と論理学ことは共通しています
- 何が公理と論理学間の類似点があります
公理と論理学の間の比較
論理学が92を有している公理は、51の関係を有しています。 彼らは一般的な10で持っているように、ジャカード指数は6.99%です = 10 / (51 + 92)。
参考文献
この記事では、公理と論理学との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください: