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

관심 주제로 찾아보기
크립키는 진리 판정을 한 번에 끝내지 않고 단계적으로 확장해 고정점에 이르는 방법으로 자기지시와 진리값 공백을 다룹니다.
Outline of a Theory of Truth
실시간 버스 예측 연구는 작은 화면에서 분위수 점그림이 밀도그림보다 확률 추정의 분산을 줄였다고 보고했습니다.
When(ish) is My Bus? User-centered Visualizations of Uncertainty in Everyday, Mobile Predictive Systems
두 사전등록 실험을 통해 선의 위치 평균 추정이 변동성이 큰 구간 쪽으로 편향될 수 있고 점 표시가 그 편향을 줄일 수 있음을 설명합니다.
The Impact of Unequal Variability on the Perception of Line Graphs
Baldur는 전체 Isabelle/HOL 증명을 생성한 뒤 오류 메시지로 수리합니다.
Baldur: Whole-Proof Generation and Repair with Large Language Models
네 연구는 정답을 오답으로 바꾼 경우가 오답을 정답으로 고친 경우보다 더 후회되고 잘 기억돼, 첫 답을 지켜야 한다는 믿음을 강화할 수 있음을 보였습니다.
Counterfactual Thinking and the First Instinct Fallacy
171–175 / 263편