“모든 사람”이라는 전제에서 한 사람의 결론은 어떻게 나올까요?

프레게는 추론에서 직관이 끼어드는 지점을 찾아내고, 산술 명제의 증명이 어디에 기대는지 확인하려 했습니다. 자연어는 같은 관계를 여러 문법으로 숨기고 생략을 허용합니다.

그는 현미경이 눈을 없애지 않고 특정 목적에서 정확도를 높이듯, 개념표기법이 자연어를 대체하기보다 엄밀한 추론을 검사하는 도구가 되기를 바랐습니다.

가로 내용획만 붙은 식은 판단 가능한 내용을 제시합니다. 그 앞에 세로 판단획을 더하면 그 내용을 참이라고 단언합니다. 프레게는 주장과 단순 제시를 기호에서 구분합니다.

현대 논리에서 메타언어의 ⊢와 비슷하게 읽을 수 있지만 완전히 같은 관습은 아닙니다. 원전의 획은 이차원 배치와 함께 의미를 가집니다.

“문이 열려 있다”라는 문장을 검토 대상으로 적을 때와 실제로 문이 열려 있다고 주장할 때는 역할이 다릅니다. 프레게는 가로획에 내용을 적고, 왼쪽에 세로 판단획을 더해 그 내용을 참이라고 주장했음을 표시했습니다.

프레게는 판단 가능한 내용을 개념적 내용으로 다룹니다. 추론에 관계없는 표현 방식의 차이를 덜어내고, 다른 판단과 결합될 수 있는 내용을 선 위에 놓습니다.

“플라타이아이에서 그리스군이 페르시아군을 이겼다”와 그 역사의 세부를 감정적으로 묘사한 문장이 같은 추론 내용을 가질 수 있다는 식의 구분입니다.

원전의 조건 기호는 아래 가지의 A가 참이고 위 내용 B가 거짓인 경우를 배제합니다. 현대 진리함수로는 A→B와 같은 조건을 표현합니다.

아래 활동은 조건이 거짓인 유일한 경우를 찾는 편집부 번역 연습입니다. 원전 그림의 위아래 방향은 현대의 가로식 순서와 다르므로 뜻을 먼저 읽어야 합니다.

내용획 아래의 짧은 세로획은 그 내용의 부정을 표시합니다. 조건 기호의 가지에 붙이면 전건이나 후건의 부정을 정확한 위치에 놓을 수 있습니다.

프레게는 부정과 조건을 조합해 선언과 연언에 해당하는 내용을 표현합니다. 현대 기호 ¬A를 병기할 수 있지만 원전의 공간 배치를 지워 읽으면 결합 범위를 놓치기 쉽습니다.

두 기호가 같은 개념적 내용을 나타낸다고 선언하려면 단순한 조건 관계보다 강한 표시가 필요합니다. 프레게는 이를 정의와 약어 도입에 사용합니다.

이 기호는 오늘날 대상 동일성 =와 곧바로 같은 것으로 읽기 어렵습니다. 1879년 체계에서 표현의 내용 동일성을 표시하는 역할을 먼저 보아야 합니다.

아닙니다. 프레게는 라틴 소문자, 대문자, 독일 문자 등을 구분해 빈자리·불특정 내용·일반적으로 묶인 논항을 표시합니다. 기호 모양이 변수의 논리적 역할을 알려 줍니다.

현대 교재는 보통 x,y나 A,B와 양화 기호로 이 역할을 나눕니다. 원전을 읽을 때는 글자체 차이를 장식으로 넘기지 않아야 합니다.

내용획에 파인 오목선 안에 독일 문자를 넣으면 그 문자가 취할 수 있는 모든 값을 포괄합니다. 현대식으로는 ∀xφ(x)에 가까운 전칭 양화입니다.

아래 활동은 오목선의 위치가 바뀔 때 범위가 달라지는 점을 확인합니다. 양화사가 조건 전체를 묶는지, 전건 안만 묶는지 구분해야 합니다.

문장을 주어와 술어로만 나누는 대신, 한 표현의 일부를 빈칸으로 보아 함수로 만들고 나머지를 논항으로 넣습니다. 관계식에는 여러 논항 자리가 생길 수 있습니다.

“x는 y보다 무겁다”처럼 둘 이상의 대상을 잇는 관계를 같은 틀에서 다룰 수 있고, 양화사는 그 빈자리를 묶습니다. 현대 술어논리의 핵심 구조와 연결되는 대목입니다.

현대 기호로 한 단계를 풀어 보겠습니다. H(x)는 “x는 사람이다”, M(x)는 “x는 죽는다”입니다. 전제 ∀x(H(x)→M(x))는 모든 대상 x에 대해 사람이면 죽는다고 말합니다.

먼저 x 자리에 소크라테스 s를 넣어 H(s)→M(s)를 얻습니다. 두 번째 전제 H(s)와 이 조건문을 함께 사용하면 M(s)가 나옵니다. 이렇게 조건문과 그 앞부분에서 뒷부분을 얻는 규칙을 전건 긍정이라고 합니다.

아래는 프레게의 원전 기호를 그대로 복제한 증명이 아니라 추론의 역할을 현대 표기로 설명한 예입니다. 원전에서도 각 줄이 어느 법칙과 대입에서 나왔는지를 추적한다는 점을 함께 볼 수 있습니다.

프레게는 조건과 부정의 법칙들을 기본 식에서 차례로 유도합니다. 오늘날 당연해 보이는 명제도 중간 단계를 기호로 남겨 체계가 실제로 작동하는지 시험합니다.

이 유도들을 현대 공리계의 번호와 섞어 부르면 역사적 차이가 흐려집니다. 원전의 기본 명제와 당시 사용한 변형 규칙 안에서 읽어야 합니다.

프레게는 형식 언어가 수학적 정의와 정리까지 표현하는 도구임을 보이려 합니다. 그래서 관계를 거듭 적용하는 수열의 일반 이론을 전개합니다.

어떤 관계 f가 x에서 y로 이어지는지, 그 관계를 반복해 도달하는지를 기호로 정의하면서 산술의 순서 개념을 위한 토대를 마련합니다.

직접 f-관계와 유한하게 여러 번 f를 적용해 도달하는 경우를 함께 포괄해야 합니다. 프레게는 유전적 성질을 이용해 x에서 시작해 f에 닫힌 모든 성질이 y에도 성립하는지를 묻습니다.

아래 활동은 현대 그래프 예로 직접 후속과 반복 도달을 나눕니다. 이것은 원문의 정의를 이해하기 위한 편집부 모형입니다.

한 관계를 한 번 이상 반복해 얻는 전이적 폐쇄와 가까우며, 어떤 대상이 다른 대상의 조상인지 표현하는 일반 틀을 제공합니다. 프레게의 방법은 이차논리적 양화를 사용합니다.

현대 일차논리 안에서는 임의 관계의 전이적 폐쇄를 한 식으로 정의할 수 없다는 후대의 결과와 구분해야 합니다. 1879년 체계의 표현력은 현대 일차논리와 정확히 같지 않습니다.

프레게의 개념표기법은 판단, 조건, 부정, 일반성, 함수와 논항을 한 체계에 넣고 각 증명 단계의 의존 관계를 기록합니다. 이 방식으로 자연어에서 생략되기 쉬운 추론의 빈칸을 드러낼 수 있습니다.

다만 원전 표기는 현대의 선형 기호와 다르고 체계 전체가 오늘날의 표준 일차논리와 같지도 않습니다. 역사적 기호의 뜻과 현대식 번역을 나란히 두어야 성취와 한계를 함께 볼 수 있습니다.