연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
어떤 문장에 참과 거짓을 함께 부여해도, 관계없는 결론까지 받아들여야 할까요? 그레이엄 프리스트의 논리는 세 가지 진리값을 사용해 이 질문을 검토합니다. 참·거짓 표지를 직접 계산하면서 어떤 추론이 유지되는지 살펴봅니다.
Graham Priest, The Logic of Paradox (1979)
앞조건과 뒤조건의 네 조합을 바꾸어 물질조건문을 거짓으로 만드는 유일한 반례를 찾고, 진리표와 일상 조건문의 범위를 구분합니다.
forall x: Calgary, Chapter 10: Truth-functional connectives
알프레트 타르스키의 《Pojęcie prawdy w językach nauk dedukcyjnych》(1933)를 따라, 대상언어와 메타언어를 나누고 만족 관계에서 진리 정의와 자기진리의 한계를 세우는 과정을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Alfred Tarski, Pojęcie prawdy w językach nauk dedukcyjnych (1933)
Kripke의 진리 이론을 통해 다른 문장에 의존하는 진리 판정이 단계적으로 안정되는 과정과 자기지시 문장의 미정 상태를 살펴봅니다.
Outline of a Theory of Truth
Priest의 역설 논리를 통해 모순 허용과 폭발 원리의 거부가 어떻게 구분되는지 탐구합니다.
The Logic of Paradox
1–5 / 12편
