논리의 기초와 역사

8분각의 오차는 왜 원 궤도를 버리게 했을까?

케플러는 티코 브라헤의 정밀한 화성 관측을 원 궤도 모형에 맞추다가 8분각의 어긋남을 남겼습니다. 8′=0.133…°를 검산하고, 이 작은 잔차가 왜 무시되지 않았는지, 타원과 등면적 법칙이 무엇을 새로 설명했는지, 한 번의 불일치만으로는 무엇을 증명할 수 없는지 살펴봅니다.

0과 1의 표는 『주역』 괘에서 나온 것일까?

라이프니츠는 0과 1만으로 수를 적는 이진 산술을 정리한 뒤, 조아킴 부베가 보낸 『주역』 괘 배열에서 놀라운 닮음을 보았습니다. 13=1101₂ 계산과 여섯 효 64가지의 조합을 검산하고, 도형의 대응이 발명의 직접 계보를 뜻하는지 연대와 편지로 따져 봅니다.

차변과 대변의 합이 같으면 장부도 옳을까?

한 거래를 두 계정에 같은 금액으로 기록하면 장부의 두 합계가 맞아떨어집니다. 1494년 파치올리가 인쇄본으로 설명한 베네치아식 기록법을 따라 거래→분개→원장→시산표의 검산 경로를 읽고, 합계 일치만으로 찾을 수 없는 오류까지 살펴봅니다.

추론 규칙도 전제로 적으면 논증이 더 확실해질까?

추론 규칙을 전제로만 계속 추가하면 적용을 위한 다음 규칙이 남습니다. 전제 추가와 실제 적용을 분리해 봅니다.

What the Tortoise Said to Achilles

입안의 움직임을 글자 모양으로 옮길 수 있을까?

훈민정음 해례는 ㄱ·ㄴ·ㅁ·ㅅ·ㅇ을 발음 기관의 모양과 연결하고, 획을 더해 관련 자음을 구별했습니다. 원문이 말하는 설계 규칙과 현대적 재구성, 15세기 음가와 오늘날 발음의 차이를 나누어 읽습니다.