논리의 기초와 역사

세 원이 모두 닿을 때, 보이지 않는 길이는 어떻게 드러날까?

한 직선에 닿은 크기가 다른 세 원이 서로도 모두 맞닿으려면 반지름 사이에 어떤 관계가 있어야 할까요? 에도 시대 산가쿠 전통과 1824년 군마의 문제 기록을 따라, 접점을 중심 사이 거리로 바꾸고 세 제곱근 역수의 관계를 증명합니다.

새로운 예외가 들어오면 결론을 거둘 수 있는 논리가 필요할까?

Reiter의 기본 논리를 바탕으로, 정보가 부족할 때 내린 잠정 결론을 예외 정보가 들어오면 철회하는 비단조 추론을 살펴봅니다.

A Logic for Default Reasoning

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

점·막대·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