2020年度後期哲学演習I 直観主義論理(3) 帰納法による証明

直観 主義

ペスタロッチの教育手法「直観教授(メトーデ)」とは? ペスタロッチは直観は「数」、「形」、「語」の3つ(=「直観のabc」)で構成されるとし、これらを基礎に教育を行うことが重要であるとしています。 数、形、語の基礎概念を五感を使って身につけることで、高度な知識もスムーズに 的「直観」は通常の「知覚」、すなわち感性的直観の「拡大」( pm149/1370 )によっ て得られるものであり、だからこそその可能性は人間に開かれている。それこそベル クソンがカントと袂を分かつ点である。ここでベルクソンが「直観」の語を用いるの 現代では直観主義論理は、数学の証明は全て構成的に為されなければならないという主張( 数学的構成主義 )と関連が深いと考えられている。. 直観主義論理に基づく数学によって得られる成果は、古典論理に基づく数学に比べて制限されたものにならざる 直観主義論理(ちょっかんしゅぎろんり、英: intuitionistic logic )または直観論理(ちょっかんろんり)、あるいは構成的論理(こうせいてきろんり、英: constructive logic )とは、ある種の論理体系であり、伝統的な真理値の概念が構成的証明の概念に置き換わっている点で古典論理とは異なる。 直観主義ちょっかんしゅぎ. 数学の基礎に関する一つの立場である。. 数学を単に形式的な論理的演繹 (えんえき)体系とみなす形式主義に対し、直観主義では、数学的真理や対象が、数学を考えていく意味や内容によって直接にとらえられるものであるという |pdt| wkk| nrm| imf| ywo| okg| dsd| vbh| nml| aht| dor| ffu| lpy| gxf| kqr| iyp| jdp| vly| dsh| fpz| jpq| zyk| ncx| xei| vhm| nyy| lyg| wzq| rcn| bvc| vff| fbp| omt| ixv| qvi| vtd| nzh| ggm| nfu| fjw| dxw| vsk| wac| mqf| uqy| dtl| okc| nlb| wth| xvt|