한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과16건

검색 결과 제목

  1. 6증명은 결론만 맞으면 끝일까?
  2. 7셀 수 있는 모형이 ‘셀 수 없는 집합’을 담을 수 있을까?
  3. 8두 대상이 같다는 증거가 여러 가지일 수 있을까?
  4. 9수학 전체를 논리에서 다시 세울 수 있을까?
  5. 10사물뿐 아니라 ‘성질’에도 ‘모든’을 적용할 수 있을까?
전제 A에서 규칙 A이면 B로 B를 얻고, B이면 C로 C에 도달하는 세 개의 상자가 화살표로 연결되어 있다.

증명은 결론만 맞으면 끝일까?

전제 A에서 규칙 A이면 B로 B를 얻고, B이면 C로 C에 도달하는 세 개의 상자가 화살표로 연결되어 있다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

증명은 결론만 맞으면 끝일까?

증명을 참인 문장의 목록이 아니라 규칙에 따라 만들어지고 다시 검사할 수 있는 대상으로 봅니다. 증명 줄의 순서를 직접 바꾸어 근거 연결을 확인하세요.

Proof Theory

게시 2026-09-16 · 약 8분논리학 학습 글 읽기 →
A와 C 사이 직접 경로와 A에서 B를 거쳐 C로 가는 합성 경로가 나란히 표시되고 두 경로의 같음은 별도 질문으로 분리된다.

두 대상이 같다는 증거가 여러 가지일 수 있을까?

A와 C 사이 직접 경로와 A에서 B를 거쳐 C로 가는 합성 경로가 나란히 표시되고 두 경로의 같음은 별도 질문으로 분리된다.
논리의 기초와 역사해외 학술 연구 · 연구 해설 · 심화

두 대상이 같다는 증거가 여러 가지일 수 있을까?

호모토피 유형이론은 등식의 증명을 경로처럼 다루며 동일성과 구조 보존의 관계를 새롭게 조직합니다.

Homotopy Type Theory: Univalent Foundations of Mathematics

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
논리 어휘와 추론 규칙에서 추상화 원리를 거쳐 자연수와 산술 정리로 올라가는 세 층과 각 층 사이의 검토 질문을 보여 주는 도식.

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

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

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

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

Logicism and Neologicism

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
개별 학생을 도는 1차 양화와 성질 집합을 도는 2차 양화가 귀납 주장 검토점에서 합류한다.

사물뿐 아니라 ‘성질’에도 ‘모든’을 적용할 수 있을까?

개별 학생을 도는 1차 양화와 성질 집합을 도는 2차 양화가 귀납 주장 검토점에서 합류한다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 심화

사물뿐 아니라 ‘성질’에도 ‘모든’을 적용할 수 있을까?

2차 논리는 개체뿐 아니라 성질과 관계를 양화해 자연수 구조를 더 강하게 기술하지만, 그 표현력에는 의미론적 대가가 따릅니다.

Second-order and Higher-order Logic

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

6–10 / 16편