논리의 기초와 역사

점과 막대는 어떻게 자릿값을 만들었을까?

점·막대·0 기호만으로 0부터 19를 만들고 아래에서 위로 자릿값을 쌓은 마야 수 표기를 살펴봅니다. 순수한 20진법과 장기력의 1·20·360·7200일 단위를 구별하며, 같은 모양도 사용 맥락에 따라 다른 가중치를 가질 수 있음을 배웁니다.

한 장의 원은 어떻게 ‘예방 가능한 죽음’을 논증했을까?

전쟁터에서 죽은 병사의 수를 원 모양으로 그리면 무엇이 더 분명해질까요? 나이팅게일의 1858~1859년 사망 원인 도표를 따라 달·원인·면적을 구별하고, 시간의 전후 관계가 위생 개선의 효과를 얼마나 뒷받침하는지와 무엇을 더 확인해야 하는지 살펴봅니다.

공격받은 논증도 공격자를 막으면 받아들일 수 있을까?

Dung의 추상 논증틀에서 공격·방어·허용가능성·근거 확장을 구분하고, 주장 내용 대신 공격 관계만으로 수용 집합을 계산합니다.

On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and N-Person Games

표 한 장은 어떻게 계산의 순서를 보여 줄 수 있을까?

결과값만 맞으면 계산 절차도 옳다고 할 수 있을까요? 에이다 러브레이스가 분석기관을 설명하며 남긴 ‘주 G’의 단계표를 따라 연산 명령, 기억장소, 중간값, 반복을 구별하고, 설계된 절차와 실제 실행의 증거가 어떻게 다른지 살펴봅니다.

곱셈표 없이 큰 수를 어떻게 곱했을까?

곱셈 기호와 암기한 구구단이 없다면 13×27을 어떻게 계산할까요? 린드 수학 파피루스에 남은 두 배·열 배 계산의 증거를 따라 한 수를 더하기 쉬운 조각으로 나누고, 고른 줄의 합이 왜 원래 곱과 같은지 검증합니다.