질문 속 전제가 확인되지 않았다면 ‘예·아니요’부터 답해야 할까?
질문이 요구하는 직접 답변과 숨은 전제를 분리하고, 전제의 확인 상태에 따라 직접 답변·확인 요청·교정 답변 경로를 바꿉니다.
Questions
게시 2026-10-08 · 약 11분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과66건
검색 결과 제목
증명 이야기Anselm, Proslogion II–III · Jonathan Barnes translationStanford University
생각만으로 존재를 증명할 수 있을까?
안셀무스 『프로슬로기온』 제2·3장을 따라, 이해 속에 있는 가장 위대한 존재의 개념을 현실 존재로 연결하는 논증과 그 전제가 불러온 논쟁을 살펴봅니다.
Anselm, Proslogion II–III · Jonathan Barnes translation
게시 2026-10-08해외 논리학 연구 해설 읽기 →
논문 대담A. N. Kolmogorov, Zur Deutung der intuitionistischen Logik (1932)Mathematische Zeitschrift, 35, 58–65
명제의 뜻을 ‘푸는 방법’으로 읽을 수 있을까요?
안드레이 콜모고로프의 「Zur Deutung der intuitionistischen Logik」(1932)를 따라, 직관주의 논리를 문제와 해법의 계산으로 해석하고 함의·부정·전칭·존재의 뜻을 구성 행위로 읽는 과정을 살핍니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
A. N. Kolmogorov, Zur Deutung der intuitionistischen Logik (1932)
게시 2026-10-08해외 논리학 연구 해설 읽기 →
증명 이야기Stanford Encyclopedia of Philosophy · Ontological ArgumentsStanford Encyclopedia of Philosophy
가능하다면, 반드시 존재할까?
괴델의 존재론적 논증을 따라, 긍정적 속성의 공리에서 신적 존재의 가능성과 필연성이 어떻게 연결되는지 양상논리식과 설명으로 읽습니다.
Stanford Encyclopedia of Philosophy · Ontological Arguments
게시 2026-10-07해외 논리학 연구 해설 읽기 →
실습forall x: Calgary, Chapter 23: Building blocks of FOL논리학 배우기
상자 하나가 통과했으니 전체 상자가 통과했다고 말해도 될까?
점검 범위와 통과 수를 바꾸어 존재·점검 표본 전체·전체 물량 주장을 구분하고, 가능한 반례 배치를 계산합니다.
forall x: Calgary, Chapter 23: Building blocks of FOL
게시 2026-10-06 · 약 27분논리학 학습 글 읽기 →
6–10 / 66편