논리의 기초와 역사

매듭 묶음은 어떻게 창고의 합계를 검산했을까?

잉카의 키푸는 줄에 매듭을 묶어 수량을 기록했습니다. 매듭의 위치를 십진 자리로 읽고, 여러 늘어진 줄과 합계 줄의 관계를 검산하면서 확인된 수 체계와 아직 풀리지 않은 의미를 구별합니다.

모든 문장을 당장 참이나 거짓으로 정해야 할까?

Kripke의 진리 이론을 통해 다른 문장에 의존하는 진리 판정이 단계적으로 안정되는 과정과 자기지시 문장의 미정 상태를 살펴봅니다.

Outline of a Theory of Truth

한 번 쓴 전제를 마음대로 다시 써도 될까?

Girard의 선형논리를 통해 전제를 무한 복제 가능한 사실이 아니라 소비되는 자원으로 다루는 추론을 살펴봅니다.

Linear Logic

산 정상에서 본 수평선만으로 지구의 크기를 잴 수 있을까?

알비루니는 산의 높이와 정상에서 내려다본 수평선 각을 연결해 지구 반지름을 구했습니다. 두 지점의 삼각측량, 접선이 만드는 직각, 작은 각도 오차와 대기 굴절을 차례로 검산하며 ‘좋은 방법’과 ‘정확한 측정값’을 구별합니다.

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

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