「直観」の版間の差分

[[直観主義論理]]は、[[反実在論]]と同じく、数学に関する直観主義を提供するために、[[アレン・ハイティング]] （Arend Heyting） や[[ルイツェン・ブロウエル]]、最近では[[マイケル・ダメット]]により考案・推進されてきた[[論理学]]のクラスである。これらの論理学の特徴は、[[排中律]]を退けていることである。結果としてこれらの論理学は、[[選言的三段論法]]や[[背理法]]のような規則の大部分を受け入れていない。