한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과19건

검색 결과 제목

  1. 11수학 전체를 논리에서 다시 세울 수 있을까?
  2. 12같은 ‘필연’이라도 가능한 세계의 연결 방식에 따라 논리가 달라질까?
  3. 13같은 규칙에 찬성하려면 찬성하는 이유까지 같아야 할까?
  4. 14가장 좋은 설명을 골랐다면 참인 설명도 찾은 걸까?
  5. 15괴델 정리는 ‘아무것도 증명할 수 없다’는 뜻일까?
논리 어휘와 추론 규칙에서 추상화 원리를 거쳐 자연수와 산술 정리로 올라가는 세 층과 각 층 사이의 검토 질문을 보여 주는 도식.

수학 전체를 논리에서 다시 세울 수 있을까?

논리 어휘와 추론 규칙에서 추상화 원리를 거쳐 자연수와 산술 정리로 올라가는 세 층과 각 층 사이의 검토 질문을 보여 주는 도식.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

수학 전체를 논리에서 다시 세울 수 있을까?

논리주의는 산술과 수학을 논리적 진리와 정의로 환원하려 했고, 신논리주의는 추상화 원리로 그 계획을 더 제한된 형태에서 되살립니다.

Logicism and Neologicism

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
현재 세계 w0에서 A가 참인 w1과 거짓인 w2로 접근하는 화살표와 가능·필연 판정

같은 ‘필연’이라도 가능한 세계의 연결 방식에 따라 논리가 달라질까?

현재 세계 w0에서 A가 참인 w1과 거짓인 w2로 접근하는 화살표와 가능·필연 판정
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

같은 ‘필연’이라도 가능한 세계의 연결 방식에 따라 논리가 달라질까?

양상논리의 □와 ◇는 접근 가능한 세계의 구조에 따라 다른 원리를 만족합니다. 기호의 직관과 형식 규칙을 구분해 읽습니다.

Modal Logic

게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
동일한 두 시간 예약 규칙에 대해 기회, 점검, 장기 작업의 서로 다른 이유와 입장을 제시한 표.

같은 규칙에 찬성하려면 찬성하는 이유까지 같아야 할까?

동일한 두 시간 예약 규칙에 대해 기회, 점검, 장기 작업의 서로 다른 이유와 입장을 제시한 표.
논증과 대화논리학 배우기 · 개념·이론 · 일반

같은 규칙에 찬성하려면 찬성하는 이유까지 같아야 할까?

공적 이성의 논쟁은 공동 규칙을 누구에게 어떤 이유로 정당화해야 하는지 묻습니다. 공통 이유와 서로 다른 이유의 수렴을 구별합니다.

Public Reason

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
물 부족·해충·열기 세 후보를 한 구역 피해, 젖은 흙, 난방기 인접이라는 관찰과 대조하는 확인표.

가장 좋은 설명을 골랐다면 참인 설명도 찾은 걸까?

물 부족·해충·열기 세 후보를 한 구역 피해, 젖은 흙, 난방기 인접이라는 관찰과 대조하는 확인표.
논증과 대화논리학 배우기 · 개념·이론 · 일반

가장 좋은 설명을 골랐다면 참인 설명도 찾은 걸까?

최선의 설명으로의 추론은 비교한 후보들의 범위에 의존합니다. 설명의 순위와 진실의 보장을 구분하고, 빠진 후보를 찾는 질문을 살펴봅니다.

Abduction

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
개별 증명 기록 검사, 체계 F 내부의 증명 가능성, 더 강한 메타이론 M의 설명을 세 층으로 나누고 불완전성 정리의 적용 범위를 표시한 표.

괴델 정리는 ‘아무것도 증명할 수 없다’는 뜻일까?

개별 증명 기록 검사, 체계 F 내부의 증명 가능성, 더 강한 메타이론 M의 설명을 세 층으로 나누고 불완전성 정리의 적용 범위를 표시한 표.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 심화

괴델 정리는 ‘아무것도 증명할 수 없다’는 뜻일까?

불완전성 정리는 충분한 산술을 표현하는 일관된 형식 체계에 관한 정밀한 결과입니다. 체계 안의 증명과 바깥 해석을 구분합니다.

Gödel’s Incompleteness Theorems

게시 2026-09-12 · 약 10분논리학 학습 글 읽기 →

11–15 / 19편