미래에 일어날 일과 언젠가 일어날 일은 같은 뜻일까?
시제논리는 ‘언젠가’, ‘항상’, ‘과거에’ 같은 시간 표현을 논리 연산자로 다루며 시간 구조에 따라 추론이 달라짐을 보여 줍니다.
Temporal Logic
게시 2026-09-12 · 약 9분논리학 학습 글 읽기 →
주제별 자료 · 연구와 학습
논리의 기초와 역사
기초 개념부터 기존 역사 연재까지 한곳에서
학술 연구 15편 · 기초 개념 52편 · 역사 연재 56편을 구분해 찾아보세요.
해외 학술 연구의 7개 분야
논리의 기초와 역사123편
검색 결과 제목
괴델 정리는 ‘아무것도 증명할 수 없다’는 뜻일까?
불완전성 정리는 충분한 산술을 표현하는 일관된 형식 체계에 관한 정밀한 결과입니다. 체계 안의 증명과 바깥 해석을 구분합니다.
Gödel’s Incompleteness Theorems
게시 2026-09-12 · 약 10분논리학 학습 글 읽기 →
전제를 한 번 쓰고 버려야 하는 논리도 있을까?
선형논리는 전제를 무한히 복제하거나 버릴 수 있다는 구조 규칙을 제한해, 명제를 소비되는 자원처럼 추적합니다.
Linear Logic
게시 2026-09-12 · 약 10분논리학 학습 글 읽기 →
새 정보가 들어오면 결론을 거두어도 논리적일까?
비단조 논리는 전제가 늘어날 때 이전 결론을 철회해야 하는 일상 추론을 형식적으로 다룹니다.
Non-monotonic Logic
게시 2026-09-12 · 약 9분논리학 학습 글 읽기 →
‘해야 한다’는 말은 실제로 그렇게 된다는 뜻일까?
의무논리는 의무·허용·금지를 형식화하지만, 의무가 있다는 사실과 실제 이행은 구분해야 합니다.
Deontic Logic
게시 2026-09-12 · 약 9분논리학 학습 글 읽기 →
96–100 / 123편