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

数学の哲学と記号

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

数学の哲学と記号の違い

数学の哲学 vs. 記号

数学の哲学(すうがくのてつがく、philosophy of mathematics)は、哲学(科学哲学)の一分野で、数学を条件付けている哲学的前提や哲学的基礎、そして数学の哲学的意味を研究するものである。数理哲学とも言われる。 数学的哲学(すうがくてきてつがく、mathematical philosophy)という用語が、しばしば「数学の哲学」と同義語として使われる。しかしながら、「数学的哲学」は、別の意味を少なくとも二つ持っている。一つは、例えばスコラ学の神学者の仕事やライプニッツやスピノザの体系が目標にしていたような、美学、倫理学、論理学、形而上学、神学といった哲学的主題を、その主張するところでは、より正確かつ厳密な形へと形式化するプロジェクトを意味する。さらに、個々の数学の実践者や、考えかたの似た現場の数学者の共同体が日頃抱いているものの考え方(=哲学)を意味する。. 記号(きごう、Sign)とは、情報伝達や思考・感情・芸術などの精神行為の働きを助ける媒体のことである。狭義には、文字やマーク、絵など、意味を付された図形を指すが、広義には表現物、ファッションや様々な行為(およびその結果など)までをも含む。.

数学の哲学と記号間の類似点

数学の哲学と記号は(ユニオンペディアに)共通で8ものを持っています: 哲学研究記号学言語学意味数理論理学19世紀20世紀

哲学

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

哲学と数学の哲学 · 哲学と記号 · 続きを見る »

研究

(けんきゅう、research リサーチ)とは、ある特定の物事について、人間の知識を集めて考察し、実験、観察、調査などを通して調べて、その物事についての事実を深く追求する一連の過程のことである。語義としては「研ぎ澄まし究めること」の意。.

数学の哲学と研究 · 研究と記号 · 続きを見る »

記号学

記号学(きごうがく、英: semiology)あるいは 記号論(きごうろん、英: semiotics)は、言語を始めとして、何らかの事象を別の事象で代替して表現する手段について研究する学問である。記号学でいう「記号」は semiosis(:en:Semiosis)で、専門用語などで「記号」と訳されることが多いいわゆるシンボルなどより広い。.

数学の哲学と記号学 · 記号と記号学 · 続きを見る »

言語学

言語学(げんごがく)は、ヒトが使用する言語の構造や意味を科学的に研究する学問である。.

数学の哲学と言語学 · 言語学と記号 · 続きを見る »

意味

意味(いみ)とは、次のような概念である。.

意味と数学の哲学 · 意味と記号 · 続きを見る »

数理論理学

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

数学の哲学と数理論理学 · 数理論理学と記号 · 続きを見る »

19世紀

19世紀に君臨した大英帝国。 19世紀(じゅうきゅうせいき)は、西暦1801年から西暦1900年までの100年間を指す世紀。.

19世紀と数学の哲学 · 19世紀と記号 · 続きを見る »

20世紀

摩天楼群) 20世紀(にじっせいき、にじゅっせいき)とは、西暦1901年から西暦2000年までの100年間を指す世紀。2千年紀における最後の世紀である。漢字で二十世紀の他に、廿世紀と表記される場合もある。.

20世紀と数学の哲学 · 20世紀と記号 · 続きを見る »

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

数学の哲学と記号の間の比較

記号が53を有している数学の哲学は、197の関係を有しています。 彼らは一般的な8で持っているように、ジャカード指数は3.20%です = 8 / (197 + 53)。

参考文献

この記事では、数学の哲学と記号との関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください:

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