논리의 기초와 역사

부울은 논리를 0과 1의 계산으로 바꾸었을까?

조지 부울은 부류를 x·y·z로, 전체를 1로, 빈 부류를 0으로 나타내며 논리 추론을 계산하는 방법을 세웠다. 다만 그의 덧셈과 뺄셈, 0과 1은 오늘날의 불 대수나 컴퓨터 비트와 완전히 같지 않았다. 원전의 규칙을 직접 계산하고 두 체계의 닮음과 차이를 판별한다.

목록의 대각선을 뒤집으면 왜 반드시 새 항목이 생길까?

게오르크 칸토어는 무한한 두 기호 수열을 모두 적었다고 가정한 뒤, n번째 수열의 n번째 기호만 반대로 바꾸어 목록 어디에도 없는 수열을 만들었다. 원문의 m·w 수열과 0·1 함수 논증을 따라가며 대각선 논법이 무엇을 증명하고 무엇까지는 말하지 않는지 검산한다.

가장 큰 소수를 찾을 수 있을까?

유클리드 『원론』 제9권 명제 20을 따라, 어떤 유한한 소수 목록을 주어도 그 밖의 소수가 존재한다는 사실을 원전의 흐름과 현대 기호로 함께 읽습니다.

Euclid, Elements IX.20

가능하다면, 반드시 존재할까?

괴델의 존재론적 논증을 따라, 긍정적 속성의 공리에서 신적 존재의 가능성과 필연성이 어떻게 연결되는지 양상논리식과 설명으로 읽습니다.

Stanford Encyclopedia of Philosophy · Ontological Arguments

두 전제에서 결론이 반드시 따라오려면 무엇이 필요할까요?

아리스토텔레스의 《Prior Analytics》를 따라, 전제와 항, 보편·특수, 중항의 위치가 만드는 세 도형, 전환·환원·반례로 필연적 귀결을 가르는 방법을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Aristotle, Prior Analytics (기원전 4세기)