논리의 기초와 역사

“참이거나 거짓”이라고 말하려면 어느 쪽을 보여야 할까?

직관주의 논리에서 증명은 단순한 정답표가 아니라 구성을 제시하는 일입니다. 선언과 이중부정의 차이를 읽습니다.

상자 안의 표지가 빨강인지 파랑인지 아직 확인하지 못했습니다. “빨강이거나 빨강이 아니다”는 문장을 이유 없이 정답으로 적어도 될까요? 고전논리에서는 배중률이 일반적으로 성립하지만, 직관주의 논리는 증명을 구성하는 방법을 요구하며 이 문장을 자동 승인하지 않습니다.

학술 자료의 내용

연구를 읽는 두 가지 질문

무엇을 증명으로 볼 것인가

Joan Moschovakis의 해설은 Brouwer와 Heyting에서 이어진 직관주의 논리를 고전논리와 비교합니다. 직관주의 해석에서 A∨B의 증명에는 A의 증명 또는 B의 증명과 어느 쪽인지에 대한 정보가 필요합니다. ∃xA(x)는 조건을 만족하는 대상을 구성하고 그 성질을 증명해야 합니다. 단순히 반례가 없다는 주장과 실제 구성을 구별하는 접근입니다. [1]

배중률과 이중부정

일반적인 A∨¬A와 ¬¬A→A는 직관주의 논리의 정리로 채택되지 않습니다. 그렇다고 모든 고전 정리가 거짓이라고 선언하는 것은 아닙니다. 특정 A에 대해 A나 ¬A를 실제로 증명할 수 있으면 그 선언은 당연히 증명할 수 있습니다. 모순에서 임의의 결론을 얻는 원리는 유지되므로, 준일관논리와도 목적과 규칙이 다릅니다. [1]

학술적 맥락

이 관점은 수학적 객체와 계산 가능한 증인의 관계를 분명히 하며 형식화된 수학과 컴퓨터 과학에 영향을 주었습니다. 하지만 직관주의에도 여러 의미론과 수학 철학이 있고, 모든 구성주의를 한 규칙으로 동일시할 수 없습니다. 이번 글은 보존판의 명제논리와 증명 해석에 한정하며 고차 산술의 세부 결과를 다루지 않습니다. [1]

그림으로 생각하기

봉인된 표지 상자를 어떻게 분류할까요?

가상의 상자에는 하나의 표지가 들어 있고 규칙상 빨강 또는 파랑만 허용됩니다. 검사자는 봉인을 뜯어 빨강 표지를 제시했습니다. 이때 “빨강이거나 파랑”은 빨강이라는 증인과 함께 구성적으로 확인됩니다. 그림의 첫 행은 주장, 필요한 구성, 현재 상태를 나란히 놓습니다.

다른 상자는 봉인이 훼손되어 표지를 볼 수 없습니다. “빨강이 아님을 가정하면 모순”이라는 절차도 아직 제시하지 못했습니다. 이 상태에서 선택지가 둘뿐이라는 규정만 반복하면 실제 어느 선언의 증명을 가진 것인지 드러나지 않습니다. 미확인은 파랑의 증명이 아니며 빨강의 반증도 아닙니다.

세 번째 행의 “빨강이 아님이 아님”을 얻었다고 가정해도, 직관주의에서는 추가 절차 없이 빨강 표지를 꺼내 보여 준 것과 같게 취급하지 않습니다. 고전 규칙을 쓰는 문제라면 이중부정 제거가 허용될 수 있으므로, 시험에서는 채택한 논리 체계를 먼저 밝혀야 같은 답을 공정하게 평가할 수 있습니다.

빨강 또는 파랑 주장에는 한쪽 표지의 증명이 필요하고, 존재 주장에는 실제 상자와 검증이 필요하며, 이중부정만으로 빨강 구성이 완료되지는 않는다는 세 행 표.
출처: Moschovakis의 증명 해석을 바탕으로 LTCT가 새로 만든 구성 요구표. 상자 사례는 자체 예시입니다. 그림 크게 보기 ↗

어디까지 말할 수 있을까요?

  • 상자 규정은 유한한 일상 사례입니다. 직관주의 수학의 무한 대상과 선택 원리를 이 예 하나로 설명할 수는 없습니다.
  • “증명하지 못했다”와 “거짓임을 증명했다”는 다릅니다. 현재 지식의 부족을 형식적 부정으로 바꾸지 않아야 합니다.

원문에 근거한 한계와 LTCT의 적용 범위 검토입니다. [1]

배운 내용을 수업에 적용하기

교육 현장과 연결해 보면

수업에서는 결론만 고르는 대신 선언에는 어느 쪽의 증명, 존재 명제에는 어떤 증인을 제시했는지 연결하게 할 수 있습니다. 답과 증명 객체를 짝짓는 시각 문항이 가능합니다.

고전논리 문제와 섞을 때는 적용 규칙을 제목과 지시문에서 구분해야 합니다.

한 번 더 생각하기

“표지는 빨강이 아니거나 파랑이다”라는 말도 자동으로 인정되나요?

생각을 비교할 해설 펼치기

그렇지 않습니다. 이 선언을 구성적으로 증명하려면 빨강이 아님의 증명 또는 파랑의 증명 중 하나가 필요합니다. 가능한 색이 둘이라는 배경 규칙만으로 어느 쪽의 증명 객체를 갖고 있는지 생략해서는 안 됩니다.

원문과 출처 정보

한국어 제목은 이해를 돕기 위한 LTCT 번역입니다. 한글 제목 뒤 괄호에 원제를 함께 표기했습니다. 저자·학술지·원문 버전은 원문 서지정보를 기준으로 확인할 수 있습니다.

  1. 직관주의 논리 (Intuitionistic Logic)

    Joan Moschovakis (2024). The Stanford Encyclopedia of Philosophy, Summer 2026 Edition.

    자료 성격
    전문가 집필 학술 백과 해설
    읽은 버전
    2026년 여름 보존판 · 최초 1999-09-01 · 주요 개정 2022-12-16 · 소폭 수정 2024-06-04
    확인 범위
    공개 본문 전체 중 서론, 제1절 형식화, 제2절 증명·모형, 제4절 의미론을 확인. 실험 연구가 아님.
    원문 확인일
    영구 식별
    DOI 미기재 · 아래 보존판 주소로 안내

이 글은 한국어 해설이며 원문 전문 번역이 아닙니다. 도식과 활동의 제작·재구성 범위는 각 그림과 본문에 표시했습니다. 자료 선정과 출처 기준

출처·개념 네트워크

같은 연구 흐름에서 이어 읽기

같은 원문, 저자·연구 흐름, 공통 개념 태그를 기준으로 연결한 관련 해설입니다.