논리의 기초와 역사

막대 격자는 파도 속 섬을 어떻게 찾게 했을까?

마셜제도의 항해자는 막대와 조개로 섬의 윤곽보다 너울·섬·항로의 관계를 나타냈습니다. 축척 없는 도해를 어떻게 배우고 기억했는지, 2009년 현지 항해·부이·위성·파랑 모형 연구가 어떤 신호를 설명했고 무엇을 남겨 두었는지 살펴봅니다.

흰 말은 정말 말이 아닐까?

‘말을 데려오라’는 부탁에는 흰 말도 답이 되지만, ‘흰 말을 데려오라’는 부탁에는 갈색 말이 답이 되지 않습니다. 공손룡의 「백마론」을 따라 이름의 범위, 부분집합, 동일성이 어디서 엇갈리는지 살펴봅니다.

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

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

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

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

The Logic of Paradox

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

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