直観主義 (数学の哲学) とは?

Mazii

Trải nghiệm ứng dụng Mazii

Tra cứu

Từ vựng Hán tự Mẫu câu Ngữ pháp

Nhật - Nhật

Kết quả tra cứu tiếng Nhât của từ 直観主義 (数学の哲学)

直観主義 (数学の哲学)

数学の哲学において、直観主義（ちょっかんしゅぎ、英: Intuitionism）とは、数学の基礎を数学者の直観におく立場のことを指す。これに類する主張は、カントールの集合論に対抗する形でクロネッカーやポアンカレによってもなされていたが、最も明確に表明したのはオランダの

Từ điển Nhật - Nhật

Các từ liên quan tới 直観主義 (数学の哲学)

数学の哲学

Numbersを出版し、その中でクワインの不可欠性論法を退け、実際に覆したときに有名となった。クワインは、数学は私たちのもっとも優れた科学的な諸理論のために不可欠であり、したがって独立に存在する事物について言及する真理の主要部として受け入れなくてはならないとしたが、フィールドは不可欠ではなく、したがって実在的

直観主義

直観主義（ちょっかんしゅぎ、英: intuitionism）。なお、直感主義と書くのは誤り。直覚説。直覚主義。認識は経験や推論ではなく直観によるという考え。数学の哲学としての直観主義。排中律を使わないで数学を構築すべきだという考え。倫理的直観主義。道徳的判断は直観によるという考え。

合理主義哲学

合理主義哲学（ごうりしゅぎてつがく、英: Rationalism）は、17-18世紀の近代哲学・認識論における一派。大陸合理主義（英: Continental Rationalism）、大陸合理論とも呼ばれる。大陸合理主義の思想的内容は、通常、当時のイギリスにおいてロック、ヒュームらによって担われ

構成主義 (数学)

しないことを仮定して矛盾を導くことがよくある。この背理法というものは構成的に見ると十分ではない。構成的な見地は、古典的な解釈をもって中途半端なままである、存在記号の意味を確かめることを含む。構成主義には多くの形があり、以下のようなものが含まれる。ブラウワーによって創始された直観主義のプログラム

論理主義 (数学)

数学についての論理主義（ろんりしゅぎ、英: Logicism、仏: Logicism、独: Logizismus）は、数学全体を論理学の一部とみなし、数学を基礎付け、数学を論理学へと還元できるとする立場である。方法的には、論理学の諸規則から数学のそれを演繹することが出来ると主張する。

形式主義 (数学)

数学における形式主義（英: formalism）とは、数学における命題を少数の記号によって表し、証明において使われる推論を純粋に記号の操作と捉える考え方のことを指す。形式主義の最も原理的な見方では、数学は決められたルール（公理と推論法則）に従って行われるゲームであり、ルールを取り替えることによっ

哲学

ように）。ところが、哲学の場合は名前を聞いただけでは何を研究する学問なのか分からない。これは哲学という学問の対象が決して一定しておらず様々な考え方があることを示しており、哲学はまさにその字義のとおり「知を愛する学」とでもいうほかに仕方ないような特徴を備えている。（→#哲学の対象・主題）このよう

機能主義 (心の哲学)

脳と精神の根本理論を求めて』白揚社、2001年、36–38頁。ISBN 4-8269-0106-2。OCLC 676068112。ダニエル・デネット『解明される意識』青土社、1998年、47–48頁。ISBN 4-7917-5596-0。OCLC 676311517。 Functionalism （英語）