결과를 보기 전에 논문을 심사하면 선택적 보고를 줄일 수 있을까?
등록보고는 연구 질문과 방법을 결과가 나오기 전에 심사하고 원칙적 게재 승인을 주는 출판 형식이다.
Registered Reports: A New Publishing Initiative at Cortex
게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과69건
검색 결과 제목
토론의 목적이 몰래 바뀌면 왜 오류가 생길까?
대화 유형 이론은 어떤 전략이 본래 허용된 자리에서 다른 대화로 몰래 이동할 때 오류가 될 수 있다고 설명합니다.
Commitment, Types of Dialogue and Fallacies
게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
증명 인공지능(AI)를 비교하려면 같은 문제를 여러 형식체계로 옮겨야 할까?
miniF2F는 올림피아드 수준 문제를 여러 증명 보조기 형식으로 맞춰 신경 정리증명기의 비교 기반을 만들었습니다.
MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
좋은 논증에는 좋은 청중도 필요할까?
Xie와 Wang은 좋은 논증을 말하는 사람의 능력만으로 평가하지 않고, 이해·응답·자기 갱신에 참여하는 청중의 덕을 분석합니다.
Someone it is Good to Argue With
게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
수학 증명은 기호가 맞으면 대화 목적과 무관할까?
수학적 증명의 비형식 논리 분석은 같은 증명도 탐구·설명·교육의 대화 목적에 따라 역할이 달라진다고 봅니다.
The Informal Logic of Mathematical Proof
게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
11–15 / 69편