직관주의·구성주의
Mathematical Intuitionism / Constructivism
수학적 대상은 구성될 때 존재하고, 명제는 증명될 때 참이다.
무엇을 주장하는가
수학적 대상은 우리와 독립적으로 존재하는 것이 아니라 정신의 구성 활동으로 만들어지며, 명제는 증명될 때 참이라는 입장이다. 부정하는 것은 진리의 인식 초월성이다. 곧 아무도 증명하지 못한 명제도 이미 참이거나 거짓이라는 이가원리(bivalence)와, 그것을 논리에 새긴 무제한의 배중률을 부정한다.
주변 지형
주요 논자
L. E. J. Brouwer · Arend Heyting · Michael Dummett · Errett Bishop · Per Martin-Löf