참인지 거짓인지 아직 정해지지 않은 문장도 논리 안에 둘 수 있을까?
크립키는 진리 판정을 한 번에 끝내지 않고 단계적으로 확장해 고정점에 이르는 방법으로 자기지시와 진리값 공백을 다룹니다.
Outline of a Theory of Truth
게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
크립키는 진리 판정을 한 번에 끝내지 않고 단계적으로 확장해 고정점에 이르는 방법으로 자기지시와 진리값 공백을 다룹니다.
Outline of a Theory of Truth
“눈이 희다”와 “‘눈이 희다’는 참이다”를 같은 층위에서 뒤섞을 때 생기는 문제를 타르스키의 의미론적 진리 구상으로 살펴봅니다.
The Semantic Conception of Truth and the Foundations of Semantics
Correll·Moritz·Heer는 값-억제 불확실성 팔레트를 제안하고 두 온라인 실험에서 읽기 성능과 위험 선택이 어떻게 달라지는지 평가했습니다.
Value-Suppressing Uncertainty Palettes
실시간 버스 예측 연구는 작은 화면에서 분위수 점그림이 밀도그림보다 확률 추정의 분산을 줄였다고 보고했습니다.
When(ish) is My Bus? User-centered Visualizations of Uncertainty in Everyday, Mobile Predictive Systems
Baldur는 전체 Isabelle/HOL 증명을 생성한 뒤 오류 메시지로 수리합니다.
Baldur: Whole-Proof Generation and Repair with Large Language Models
236–240 / 510편