수학 증명은 기호가 맞으면 대화 목적과 무관할까?
수학적 증명의 비형식 논리 분석은 같은 증명도 탐구·설명·교육의 대화 목적에 따라 역할이 달라진다고 봅니다.
The Informal Logic of Mathematical Proof
게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기
수학적 증명의 비형식 논리 분석은 같은 증명도 탐구·설명·교육의 대화 목적에 따라 역할이 달라진다고 봅니다.
The Informal Logic of Mathematical Proof
ProofWriter는 정답 분류와 명시적 증명 생성, 모든 결론 열거와 제한적 역추론을 서로 다른 과제로 평가합니다.
ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language
E-value는 관찰연구의 연관성을 설명해 없애려면 미측정 교란이 얼마나 강해야 하는지 비율척도로 묻습니다.
Sensitivity Analysis in Observational Research: Introducing the E-Value
아리스토텔레스의 술로기스모스는 좁은 형식 이름이 아니라 전제로부터 필연적으로 다른 결론이 나오는 연역 전체를 가리켰습니다.
Aristotle’s Logic
Bradford Hill의 아홉 관점을 합격 체크리스트가 아니라 인과 설명을 비판적으로 묻는 틀로 읽습니다.
The Environment and Disease: Association or Causation?
131–135 / 242편