증명 이야기The MonadologyWikisource
모든 사실에는 왜 그렇게 되었는지 설명할 이유가 있을까?
라이프니츠의 충분이유율을 일상적 설명의 사례에서 시작해 우연·필연·존재의 이유에 관한 논증과 반론까지 검토합니다.
The Monadology
게시 2026-10-17해외 논리학 연구 해설 읽기 →
주제별 자료 · 연구와 학습
논리의 기초와 역사
기초 개념부터 기존 역사 연재까지 한곳에서
학술 연구 76편 · 기초 개념 52편 · 역사 연재 56편을 구분해 찾아보세요.
해외 학술 연구의 7개 분야
논리의 기초와 역사184편
검색 결과 제목
논문 대담Johan van Benthem · Nick Bezhanishvili · Sebastian Enqvist, A New Game Equivalence, its Logic and Algebra (2019)Journal of Philosophical Logic 48 (2019), 649–684; online 2018
두 게임의 결과가 같아도, 상대에게 남기는 선택권은 다를까요?
두 게임이 최종 결과 p·q·r을 똑같이 내놓아도, 한 선수가 상대에게 허용하는 결과 집합은 다를 수 있습니다. 기본 능력의 정의로 두 나무를 끝까지 비교합니다.
Johan van Benthem · Nick Bezhanishvili · Sebastian Enqvist, A New Game Equivalence, its Logic and Algebra (2019)
게시 2026-10-17해외 논리학 연구 해설 읽기 →
논문 대담Robert C. Stalnaker, A Theory of Conditionals (1968)American Philosophical Quarterly Monograph 2 (1968), pp. 98–112; reprint in Causation and Conditionals, pp. 28–45
스위치를 켜지 않았는데, 켰다면 알람이 울렸다고 말할 수 있을까요?
스위치를 켜지 않은 현재 상태에서도 '켰다면'의 진위를 평가할 수 있을까요? 실제 상태와 가장 적절하게 선택된 가정 세계의 결과를 구별합니다.
Robert C. Stalnaker, A Theory of Conditionals (1968)
게시 2026-10-17해외 논리학 연구 해설 읽기 →
증명 이야기The Early Development of Set TheoryStanford Encyclopedia of Philosophy
한 집합의 원소보다 그 부분집합이 언제나 더 많을까?
세 동아리의 부분집합 여덟 개부터 시작해 칸토어의 멱집합 정리를 함수 f, 대각선 집합 D, 두 갈래 모순으로 엄밀하게 증명합니다.
The Early Development of Set Theory
게시 2026-10-16해외 논리학 연구 해설 읽기 →
증명 이야기Gödel's Incompleteness TheoremsStanford Encyclopedia of Philosophy
수학에는 참이지만 증명할 수 없는 사실이 있을까?
괴델의 제1·제2불완전성 정리를 번호 부호화, 대각화, 무모순성과 오메가 무모순성, 로서의 개선, 1차 논리 완전성 정리와의 차이까지 단계별로 설명합니다.
Gödel's Incompleteness Theorems
게시 2026-10-16해외 논리학 연구 해설 읽기 →
6–10 / 184편