통합검색

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

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

Linear Logic

‘또 늦었다’의 ‘또’는 실제 반복을 증명할까?

반복 표현·앞 사건·관점 주체·뒤 문장의 정정을 바꾸어 지지된 전제, 보완된 전제와 충돌하는 해석을 나눕니다.

Presupposition

반달의 각도 하나로 태양까지의 거리를 잴 수 있을까?

달이 정확히 반만 밝을 때 지구·달·태양은 직각삼각형을 이룹니다. 아리스타르코스의 87° 관측과 18~20배 결론을 따라가며, 같은 증명도 각도 오차에 따라 거리비가 크게 달라지는 까닭을 검산합니다.

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

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

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

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

A Logic for Default Reasoning