앞조건이 거짓이면 ‘만약 P라면 Q’는 왜 참으로 계산될까?
앞조건과 뒤조건의 네 조합을 바꾸어 물질조건문을 거짓으로 만드는 유일한 반례를 찾고, 진리표와 일상 조건문의 범위를 구분합니다.
forall x: Calgary, Chapter 10: Truth-functional connectives
게시 2026-10-08 · 약 10분해외 논리학 연구 해설 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과1374건
검색 결과 제목
논문 대담Kurt Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (1931)Monatshefte für Mathematik und Physik, 38, 173–198
체계가 자기 힘만으로 모든 산술 명제를 결정할 수 있을까요?
쿠르트 괴델의 「Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I」(1931)를 따라, 식과 증명을 자연수로 부호화하고 대각화를 통해 체계 안에서 결정되지 않는 문장을 구성하는 과정을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Kurt Gödel, Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I (1931)
게시 2026-10-08해외 논리학 연구 해설 읽기 →
논문 대담Diderik Batens, Adaptive Logics as a Necessary Tool for Relative Rationality: Including a Section on Logical Pluralism (2014)Logic, Reasoning, and Rationality, Logic, Argumentation & Reasoning 5, 1–25
충돌하는 기록이 발견되면, 어떤 결론부터 다시 확인해야 할까요?
“A함이나 B함에 서류가 있다”와 “A함에는 없다”에서 B함을 결론 냈습니다. 그런데 A함에 있다는 기록도 발견되면 어떻게 해야 할까요? 결론에 붙인 조건을 확인하며, 증명 도중 어떤 줄을 보류하고 다시 사용할 수 있는지 살펴봅니다.
Diderik Batens, Adaptive Logics as a Necessary Tool for Relative Rationality: Including a Section on Logical Pluralism (2014)
게시 2026-10-08해외 논리학 연구 해설 읽기 →
논문 대담Thoralf Skolem, Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen (1920)Skrifter utgit av Videnskapsselskapet i Kristiania, I. Mat.-Naturv. Klasse, no. 4, 1–36
“누구에게나 다음 사람이 있다”는 조건을 작은 모형에서도 지킬 수 있을까요?
사람을 몇 명만 골라 모형을 만들 때, “모든 사람에게 연결된 다음 사람이 있다”는 조건이 깨질 수 있습니다. 스콜렘의 방법은 필요한 다음 대상을 계속 포함합니다. 이 과정을 따라가며 가산 모형이 무엇을 보존하는지 살펴봅니다.
Thoralf Skolem, Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen (1920)
게시 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해외 논리학 연구 해설 읽기 →
96–100 / 1374편