연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
게르하르트 겐첸의 「Untersuchungen über das logische Schließen」 I–II(1935)를 따라, 자연연역과 시퀀트 계산에서 컷 제거와 부분식 성질이 증명의 정보를 어떻게 드러내는지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Gerhard Gentzen, Untersuchungen über das logische Schließen I–II (1935)
Oaksford와 Chater의 선택 과제 분석을 통해 사람들이 반례만 찾기보다 드문 사건의 정보 가치를 고려해 카드를 고를 수 있다는 관점을 살펴봅니다.
A Rational Analysis of the Selection Task as Optimal Data Selection
증명론적 의미론은 논리 기호의 뜻을 그 기호를 도입하고 제거하는 추론 규칙에서 찾습니다. 규칙 쌍의 ‘조화’가 왜 필요한지 반례와 함께 살펴봅니다.
Proof-Theoretic Semantics
논리식의 연결 방식과 프로그램의 자료형·계산 규칙이 대응한다는 명제-유형 대응을 살펴봅니다. 명제에 맞는 프로그램 구성법을 직접 골라 보세요.
Propositions as Types
베이지안 접근은 일부 비형식적 오류의 설득력이 사전확률과 증거 생성 과정에 따라 연속적으로 달라진다고 본다.
The Rationality of Informal Argumentation: A Bayesian Approach to Reasoning Fallacies
1–5 / 23편
