모든 유한 조각이 함께 참일 수 있으면 전체도 함께 참일까?
1차 논리의 콤팩트성 정리는 이론의 모든 유한 부분이 모형을 가지면 전체도 모형을 가진다고 말합니다. 유한 점검과 전체 일관성 사이의 정확한 다리를 살펴봅니다.
First-order Model Theory
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
주제별 자료 · 연구와 학습
논리의 기초와 역사
기초 개념부터 기존 역사 연재까지 한곳에서
학술 연구 15편 · 기초 개념 52편 · 역사 연재 56편을 구분해 찾아보세요.
해외 학술 연구의 7개 분야
논리의 기초와 역사123편
검색 결과 제목
불가능한 가정에서도 결론을 서로 다르게 판단할 수 있을까?
불가능세계 의미론은 모순된 믿음과 반가능 조건문을 모두 똑같이 참으로 만들지 않는 방법을 탐구합니다.
Impossible Worlds
게시 2026-09-13 · 약 11분논리학 학습 글 읽기 →
명제를 무한히 이어 붙여도 익숙한 논리 법칙이 성립할까?
무한 논리는 무한한 연언·선언으로 표현력을 넓히지만 콤팩트성·완전성 같은 1차 논리의 성질을 다시 따져야 합니다.
Infinitary Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
정보가 늘면 가능한 세계의 수는 왜 줄어들까?
참인 문장이 들어오면 가능한 상황의 범위가 어떻게 바뀌는가?
Logic and Information
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
논리의 ‘또는’을 보통 덧셈처럼 계산해도 될까?
대수적 논리는 문장의 관계를 연산 구조와 연결합니다. 참·거짓에 숫자를 붙일 때 계산 규칙까지 명확히 해야 하는 이유를 살펴봅니다.
Algebraic Propositional Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
66–70 / 123편