논리의 기초와 역사

도르래가 많으면 왜 더 적은 힘으로 돌을 들 수 있을까?

수원 화성의 거중기에는 위아래 도르래와 밧줄, 물레가 함께 놓였습니다. 『기중도설』과 『화성성역의궤』의 기록을 따라 고정된 부분과 움직이는 부분을 구별하고, 무게를 나누어 받는 줄의 수와 더 길게 당겨야 하는 거리를 검산합니다.

모순 하나가 들어오면 아무 결론이나 따라와야 할까?

Priest의 역설 논리를 통해 모순 허용과 폭발 원리의 거부가 어떻게 구분되는지 탐구합니다.

The Logic of Paradox

반달의 각도 하나로 태양까지의 거리를 잴 수 있을까?

달이 정확히 반만 밝을 때 지구·달·태양은 직각삼각형을 이룹니다. 아리스타르코스의 87° 관측과 18~20배 결론을 따라가며, 같은 증명도 각도 오차에 따라 거리비가 크게 달라지는 까닭을 검산합니다.

세 원이 모두 닿을 때, 보이지 않는 길이는 어떻게 드러날까?

한 직선에 닿은 크기가 다른 세 원이 서로도 모두 맞닿으려면 반지름 사이에 어떤 관계가 있어야 할까요? 에도 시대 산가쿠 전통과 1824년 군마의 문제 기록을 따라, 접점을 중심 사이 거리로 바꾸고 세 제곱근 역수의 관계를 증명합니다.

새로운 예외가 들어오면 결론을 거둘 수 있는 논리가 필요할까?

Reiter의 기본 논리를 바탕으로, 정보가 부족할 때 내린 잠정 결론을 예외 정보가 들어오면 철회하는 비단조 추론을 살펴봅니다.

A Logic for Default Reasoning