생각검색

명제의 뜻을 ‘푸는 방법’으로 읽을 수 있을까요?

안드레이 콜모고로프의 「Zur Deutung der intuitionistischen Logik」(1932)를 따라, 직관주의 논리를 문제와 해법의 계산으로 해석하고 함의·부정·전칭·존재의 뜻을 구성 행위로 읽는 과정을 살핍니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

증명 답안의 점수를 인공지능(AI)에게 맡겨도 될까?

수학올림피아드 증명 평가 연구에서 자동 채점의 어려움을 읽습니다. 예시 확인과 일반 증명을 구별하는 작은 답안으로 채점 근거를 점검합니다.

맞는 사례 두 개와 모든 경우의 증명다음은 원대회 문제를 옮기지 않은 LTCT의 자체 과제입니다. 범위는 정수이며, 홀수는 어떤 정수 k에 대해 2k+1로 나타낼 수 있는 수라고 정의합니다. 답안 A는 1+3=4, 5+7=12를 제시한 뒤 ‘그러므로 항상 짝수’라고 말합니다. 계산은 맞지만 가능한 모든 홀수 쌍을 다루는 연결이 없습니다.

모든 집합을 모으면 왜 모순이 생길까?

집합·원소와 자기 자신에 대한 포함 관계부터 시작해 러셀 역설의 두 경우를 검토하고, 조건에 따라 집합을 만드는 원리의 한계를 설명합니다.

수학의 모든 증명에 모순이 없다는 사실도 증명할 수 있을까?

힐베르트의 무모순성 계획과 유한주의, 엡실론 계산법, 괴델의 제2불완전성 정리, 겐첸의 후속 무모순성 증명을 연결해 설명합니다.

스토아학파는 ‘만약’으로 어떻게 결론을 이었을까?

조건문과 두 번째 전제를 바꾸며 스토아의 두 기본 논증 형식과, 그럴듯하지만 따라오지 않는 역추론을 네 경우로 확인합니다.

스토아 논리는 낱말보다 완전한 말의 연결을 보았습니다아리스토텔레스의 삼단논법이 ‘모든 A는 B다’ 같은 항의 관계를 중심으로 전개되었다면, 스토아 논리학자들은 ‘만약 첫째라면 둘째다’처럼 완전한 주장들이 어떻게 이어지는지도 체계적으로 다루었습니다. 오늘의 기호로는 P와 Q라는 두 명제를 잇는 조건 논증입니다.

증명할 수 있으면 모든 해석에서도 참일까?

고전 1차 논리의 건전성과 완전성은 증명 규칙과 의미론적 모델이 어디에서 만나는지를 보여 줍니다.

방법과 핵심 결과건전성은 형식적으로 증명된 결론이 전제를 참으로 만드는 모든 모델에서 보존된다는 방향이고, 완전성은 의미론적으로 따라오는 결론에 형식 증명이 있다는 반대 방향입니다. 수치와 범주는 원문이 보고한 범위에서만 사용하며, 본문에 없는 값을 보충하지 않았습니다.

행동을 하나의 논리 연산자로 다룰 수 있을까?

세계를 바꾸는 행동과 실행 결과의 보장을 어떻게 논리식으로 나타내는가?

핵심 결과[α]P는 모든 실행 결과, ⟨α⟩P는 적어도 한 결과에서 P가 참이라는 뜻입니다. {P}S{Q}는 정상 종료 조건부 보장입니다.

‘모든 의사는 전문가다’ 같은 지식을 기계가 어떻게 모순 없이 묶을까?

기술논리의 개념·역할·개체 구분과 TBox·ABox 구조를 통해 분류, 포함, 만족 가능성 검사가 어떻게 지식 표현의 논리적 뼈대가 되는지 설명합니다.

세 종류의 조각‘의사’나 ‘전문가’처럼 대상의 집합을 가리키는 것은 개념, ‘가르친다’처럼 두 대상을 잇는 것은 역할, ‘민지’처럼 특정 대상을 가리키는 것은 개체다. 개념은 교집합, 합집합, 부정, 존재·전칭 역할 제한으로 조립된다. 예컨대 ‘어떤 환자를 진료하는 의사’는 의사 개념과 ‘진료한다’ 역할의 존재 조건을 결합한다. 문장의 단어를 바로 화살표로 잇기보다 각 조각의 논리적 종류를 먼저 정해야 한다.