통합검색

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

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

Outline of a Theory of Truth

‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?

증명가능성 논리는 ‘이 문장은 어떤 형식 체계에서 증명된다’를 상자 기호로 다루며, 자기언급과 괴델의 불완전성 정리를 한 언어 안에서 분석합니다.

Provability Logic

참인지 거짓인지 아직 정해지지 않은 문장도 논리 안에 둘 수 있을까?

크립키는 진리 판정을 한 번에 끝내지 않고 단계적으로 확장해 고정점에 이르는 방법으로 자기지시와 진리값 공백을 다룹니다.

Outline of a Theory of Truth

자기언급·범위·진리 원리·추론 규칙을 확인하는 최종 독해 순서를 정리했다.

생각그림 16 · 자기언급·범위·진리 원리·추론 규칙을 확인하는 최종 독해 순서를 정리했다.

두 값 원리·진리 원리·자기언급·고전 추론이라는 네 재료가 모순에 이르는 구조를 정리했다.

생각그림 07 · 두 값 원리·진리 원리·자기언급·고전 추론이라는 네 재료가 모순에 이르는 구조를 정리했다.