논리의 기초와 역사

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

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

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

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

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

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

Outline of a Theory of Truth

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

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

Linear Logic

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

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