한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

통합검색521건

검색 결과 제목

  1. 41같은 학생을 다시 재지 않아도 ‘학생들이 변했다’고 말할 수 있을까?
  2. 42앞조건이 거짓이면 ‘만약 P라면 Q’는 왜 참으로 계산될까?
  3. 43생각만으로 존재를 증명할 수 있을까?
  4. 44√2는 왜 분수로 나타낼 수 없을까?
  5. 45체계가 자기 힘만으로 모든 산술 명제를 결정할 수 있을까요?
연구 비교Early Childhood Longitudinal Study, Kindergarten Class of 2010–11해외 학술 연구
논리교육과 평가해외 학술 연구 · 연구 비교 · 일반

같은 학생을 다시 재지 않아도 ‘학생들이 변했다’고 말할 수 있을까?

동일 참여자 추적, 측정 시점, 표본 대표성을 바꾸어 개인 변화와 집단 추세의 허용 범위를 비교합니다.

Early Childhood Longitudinal Study, Kindergarten Class of 2010–11

게시 2026-10-08 · 약 30분해외 논리학 연구 해설 읽기 →
앞조건 P와 뒤조건 Q의 네 조합 중 P가 참이고 Q가 거짓인 행만 반례로 표시한 물질조건문 표

앞조건이 거짓이면 ‘만약 P라면 Q’는 왜 참으로 계산될까?

앞조건 P와 뒤조건 Q의 네 조합 중 P가 참이고 Q가 거짓인 행만 반례로 표시한 물질조건문 표
논리의 기초와 역사해외 학술 연구 · 연구 해설 · 입문

앞조건이 거짓이면 ‘만약 P라면 Q’는 왜 참으로 계산될까?

앞조건과 뒤조건의 네 조합을 바꾸어 물질조건문을 거짓으로 만드는 유일한 반례를 찾고, 진리표와 일상 조건문의 범위를 구분합니다.

forall x: Calgary, Chapter 10: Truth-functional connectives

게시 2026-10-08 · 약 10분해외 논리학 연구 해설 읽기 →
증명 이야기Anselm, Proslogion II–III · Jonathan Barnes translationStanford University
논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

생각만으로 존재를 증명할 수 있을까?

안셀무스 『프로슬로기온』 제2·3장을 따라, 이해 속에 있는 가장 위대한 존재의 개념을 현실 존재로 연결하는 논증과 그 전제가 불러온 논쟁을 살펴봅니다.

Anselm, Proslogion II–III · Jonathan Barnes translation

증명 이야기Aristotle, Prior Analytics I.23Mathematical Association of America
논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

√2는 왜 분수로 나타낼 수 없을까?

정사각형 대각선의 길이 √2가 무리수임을 다섯 단계의 귀류법으로 증명하고, 통약 불가능성을 다룬 고대 문헌과 피타고라스 학파의 발견 전승을 구분해 살펴봅니다.

Aristotle, Prior Analytics I.23

논문 대담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)

41–45 / 521편