논리의 기초와 역사

추론 규칙도 전제로 적으면 논증이 더 확실해질까?

추론 규칙을 전제로만 계속 추가하면 적용을 위한 다음 규칙이 남습니다. 전제 추가와 실제 적용을 분리해 봅니다.

What the Tortoise Said to Achilles

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

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

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

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

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

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

Outline of a Theory of Truth

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

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

Linear Logic