논리의 기초와 역사

모순이 하나 있어도, 모든 말이 참이 되어야 할까요?

뉴턴 다 코스타의 《On the Theory of Inconsistent Formal Systems》(1974)을 따라, 모순과 사소성의 구분에서 Cₙ 계층과 NF₁ 집합론까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Newton C. A. da Costa, On the Theory of Inconsistent Formal Systems (1974)

해야 할 일과 하지 말아야 할 일이 겹치면, 모든 것이 의무가 될까요?

다 코스타와 카르니엘리의 《On Paraconsistent Deontic Logic》(1986)을 따라, 충돌하는 의무와 C₁ᴰ의 비사소성, 가능세계 의미론과 한계를 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.

Newton C. A. da Costa · Walter A. Carnielli, On Paraconsistent Deontic Logic (1986)

한 번 쓴 전제를, 다시 써도 될까요?

장이브 지라르의 《Linear Logic》(1987)을 따라, 전제의 사용에서 증명망과 정규화까지 읽습니다. 14개의 문답, 15개의 생각그림, 세 가지 실험을 함께 담았습니다.

Jean-Yves Girard, Linear Logic (1987)

실행하기 전에, 계산량을 보증할 수 있을까요?

이브 라퐁의 《Soft Linear Logic and Polynomial Time》(2004)을 따라, 복제의 규칙에서 계산량의 상한까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험으로 다항시간 보증의 조건을 확인합니다.

Yves Lafont, Soft Linear Logic and Polynomial Time (2004)

다각형을 촘촘히 그리면 원의 넓이를 증명할 수 있을까?

아르키메데스의 『원의 측정』은 원의 넓이가 반지름과 둘레를 두 변으로 하는 직각삼각형의 넓이와 같다고 증명합니다. 내접·외접 다각형이 원에 가까워진다는 눈대중을 넘어, 두 양 사이에 양의 차이가 있다고 가정할 때 더 촘촘한 다각형이 만드는 모순을 따라갑니다.