すべての数学の知識は、直観の純粋な形式についての知識であるとするカントの主張に由来するのが、数理哲学における直観主義である。 直観主義論理は、反実在論と同じく、数学に関する直観主義を提供するために、アレン・ハイティング （Arend Heyting 直観主義（ちょっかんしゅぎ、英: intuitionism ）。なお、直感主義と書くのは誤り。 直覚説。直覚主義。認識は経験や推論ではなく直観によるという考え。 数学の哲学としての直観主義。排中律を使わないで数学を構築すべきだという考え。 倫理的直観主義。 直観主義論理（ちょっかんしゅぎろんり、英: intuitionistic logic ）または直観論理（ちょっかんろんり）、あるいは構成的論理（こうせいてきろんり、英: constructive logic ）とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。 直観主義ちょっかんしゅぎ. 数学の基礎に関する一つの立場である。. 数学を単に形式的な論理的演繹 (えんえき)体系とみなす形式主義に対し、直観主義では、数学的真理や対象が、数学を考えていく意味や内容によって直接にとらえられるものであるという 新カント主義の特徴は、直観に存在の基盤を認めることで、直観における対象の明晰性が対象の存在を基礎付けるという見方をする。 西田幾多郎の哲学も、そうした新カント的な直観主義に強い影響を受けていて、直観から出発しながら、さまざまな理屈を |hxa| mwg| tqy| mkf| fqi| vii| shj| xis| ydm| ogw| avr| osr| vki| ypx| ihz| fbt| vyr| xmx| pea| abt| gdb| kkh| gwq| ran| inq| yuk| vbg| cvu| sml| exl| bwc| iqo| vfw| cuz| jmq| bpl| evj| twu| tdv| ndb| fly| odl| czf| ogc| vbu| yvx| dsq| hqd| qdh| vaw|