in·tu·i·tion·is·tic
C2technical직관주의의; 특히 수학·논리학에서 직관주의적인
adjective형용사
- 1
직관주의의, 직관주의적인 — 직관주의와 관련된; 특히 수학·논리학에서 구성 가능한 증명을 중시하는 직관주의적 체계나 방법에 관한C2〔mathematics; logic; philosophy〕
relating to intuitionism, especially a mathematical or logical approach that emphasizes constructive proof and does not accept some principles of classical logic without such proof
Intuitionistic logic does not accept every instance of the law of excluded middle.
직관주의 논리는 배중률의 모든 경우를 받아들이지는 않는다.
Her paper compares classical and intuitionistic proofs of the theorem.
그녀의 논문은 그 정리의 고전적 증명과 직관주의적 증명을 비교한다.
뉘앙스 · 쓰임
intuitive는 ‘직관적으로 이해하기 쉬운’이라는 일반적 형용사이고, intuitionistic은 ‘직관주의라는 학파나 형식 체계와 관련된’이라는 전문적 의미입니다. constructive와 의미가 가까울 때가 있지만, constructive는 더 넓게 ‘구성적 방법을 쓰는’이라는 뜻으로도 쓰입니다.
학술적·전문적 맥락에서 쓰이는 단어입니다. 일반적인 감이나 본능에 따른 판단을 말할 때는 intuitionistic이 아니라 intuitive를 써야 합니다.
유의어 뉘앙스 비교
- intuitionist
- 형용사로 쓰일 때 거의 같은 뜻이지만, intuitionist는 명사로도 ‘직관주의자’를 뜻한다.
- constructive
- 수학·논리학에서 관련이 있지만 더 넓은 말이며, 반드시 직관주의 학파에 속한다는 뜻은 아니다.
반의어
- classical
- 논리·수학에서 고전 논리나 고전적 증명 방식을 가리킬 때 대조된다.
자주 쓰는 표현 · Collocations
adj+noun
- intuitionistic logic직관주의 논리
- intuitionistic mathematics직관주의 수학
- intuitionistic proof직관주의적 증명
- intuitionistic type theory직관주의적 유형 이론
- intuitionistic set theory직관주의 집합론
어원 · 암기 팁
[English]intuitionism에서 파생된 형용사로, intuition은 라틴어 intuitio ‘바라봄, 숙고’에서 온 말이다.
intuitionism ‘직관주의’ + -istic ‘…주의의, …와 관련된’
💡 intuitionistic logic은 ‘직관으로 쉬운 논리’가 아니라 ‘intuitionism이라는 학파의 논리’라고 기억한다.