두 대상이 같다는 증거가 여러 가지일 수 있을까?
호모토피 유형이론은 등식의 증명을 경로처럼 다루며 동일성과 구조 보존의 관계를 새롭게 조직합니다.
Homotopy Type Theory: Univalent Foundations of Mathematics
게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
호모토피 유형이론은 등식의 증명을 경로처럼 다루며 동일성과 구조 보존의 관계를 새롭게 조직합니다.
Homotopy Type Theory: Univalent Foundations of Mathematics
Slamecka와 Graf의 다섯 실험을 통해 단어를 스스로 생성한 조건이 읽기 조건보다 이후 자유회상과 재인에서 우세했던 생성효과와 그 경계를 살펴봅니다.
The generation effect: Delineation of a phenomenon
Kuhn과 Udell은 좋은 논증이 자기 입장을 지지하는 이유만 늘어놓기보다 상대 입장을 약화시키는 이유와 두 기능을 조정해야 한다고 분석했다.
Coordinating own and other perspectives in argument
투 쿠오케가 원칙의 거짓을 보이는 추론인지, 말하는 사람의 신뢰와 권고를 비판하는 논증인지 구분합니다.
Worries About Tu Quoque as a Fallacy
숨은 연결 전제를 복원하는 연구는 “그 사람이 어떻게 추론했는가”와 “그 추론을 받아들여도 되는가”를 나누어 묻게 합니다.
The Argument Reasoning Comprehension Task: Identification and Reconstruction of Implicit Warrants
71–75 / 251편