논리의 기초와 역사

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

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

Outline of a Theory of Truth

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

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

Linear Logic

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

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

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

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

흰 말은 정말 말이 아닐까?

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