정답을 잘 고르는 인공지능(AI)는 반례도 잘 만들까?
2026년 9월 개정된 로직스킬스 연구는 문장의 논리적 표현, 반례 구성, 타당성 판단을 나누어 평가합니다.
LogicSkills: A Structured Benchmark for Formal Reasoning in Large Language Models
게시 2026-09-12 · 약 7분해외 논리학 연구 해설 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과568건
검색 결과 제목
자료를 더 많이 모으면 원인을 알 수 있을까?
연습한 사람이 높은 점수를 받았다고 해서 연습의 효과가 바로 입증되지는 않습니다. 인과 그림으로 비교의 조건을 살펴봅니다.
Causal inference in statistics: An overview
게시 2026-09-12 · 약 6분해외 논리학 연구 해설 읽기 →
감정과 몸짓이 들어오면 논증은 논리가 아닐까?
다중양식 논증 이론에 대한 분석은 감정·몸·직관의 표현도 이유의 공간에서 명료화하고 비판할 수 있다고 주장합니다.
Logics for “Non-Logical” Argumentation: A “Neo-Logicist” Defense of the Primacy of the “Logical” Mode of Argument in Gilbert’s Multi-modal Theory of Argumentation
게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?
AlphaGeometry는 신경 언어모형의 보조 구성 제안과 기호 추론기의 검증을 결합했습니다. 30문제 성과와 적용 범위를 분리해 읽습니다.
Solving Olympiad Geometry without Human Demonstrations
게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
새 정보가 들어오면 결론을 거두어도 논리적일까?
비단조 논리는 전제가 늘어날 때 이전 결론을 철회해야 하는 일상 추론을 형식적으로 다룹니다.
Non-monotonic Logic
게시 2026-09-12 · 약 9분논리학 학습 글 읽기 →
421–425 / 568편