한 장면에서 들어갈 수 있으면, 모든 장면에서 반드시 들어갈까?
배지·안내자 단서와 입장 규칙을 바꾸어 가능한 장면, 반례 장면과 ‘가능’·‘필연’ 결론의 성립 여부를 다시 계산합니다.
Modal Logic
개별 글보다 주제 전체를 따라 읽고 싶다면 대표 글과 연관 자료를 함께 보세요.
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
배지·안내자 단서와 입장 규칙을 바꾸어 가능한 장면, 반례 장면과 ‘가능’·‘필연’ 결론의 성립 여부를 다시 계산합니다.
Modal Logic
Program of Thoughts는 언어모델이 계산까지 문장으로 이어 쓰는 대신, 추론을 실행 가능한 프로그램으로 표현하고 계산은 외부 실행기에 맡깁니다.
Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Tasks
Mercier와 Sperber의 논증적 추론 이론은 사람이 이유를 만들고 평가하는 능력이 사회적 교환에서 어떻게 달라지는지 설명합니다. 장점과 비판을 함께 읽습니다.
Why Do Humans Reason? Arguments for an Argumentative Theory
다수의 크기·개인의 집단 포함 여부·직접 응답을 바꾸어 한 사람에 대한 결론과 반례가 남는지 확인합니다.
Quantifiers and Quantification
정답률 50%를 고정하고 확신의 배치를 바꿉니다. 답을 맞히는 능력과 맞힌 답을 구분하는 능력의 차이를 살펴봅니다.
A signal detection theoretic approach for estimating metacognitive sensitivity from confidence ratings
11–15 / 29편