사물뿐 아니라 ‘성질’에도 ‘모든’을 적용할 수 있을까?
2차 논리는 개체뿐 아니라 성질과 관계를 양화해 자연수 구조를 더 강하게 기술하지만, 그 표현력에는 의미론적 대가가 따릅니다.
Second-order and Higher-order Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
주제별 자료 · 연구와 학습
논리의 기초와 역사
기초 개념부터 기존 역사 연재까지 한곳에서
학술 연구 15편 · 기초 개념 52편 · 역사 연재 56편을 구분해 찾아보세요.
해외 학술 연구의 7개 분야
논리의 기초와 역사123편
검색 결과 제목
‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?
증명가능성 논리는 ‘이 문장은 어떤 형식 체계에서 증명된다’를 상자 기호로 다루며, 자기언급과 괴델의 불완전성 정리를 한 언어 안에서 분석합니다.
Provability Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
공개 발표 뒤에는 왜 ‘서로 알고 있다는 사실’까지 공유될까?
동적 인식논리는 공개 발표가 가능한 세계를 줄여 각 행위자의 지식과 공통지식을 어떻게 바꾸는지 추적합니다.
Dynamic Epistemic Logic
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
양자 명제에서는 분배법칙이 항상 성립할까?
양자논리는 측정 가능한 명제를 힐베르트 공간의 투영으로 나타내며, 그 구조는 일반적으로 불 대수가 아닙니다. 논리 법칙과 측정 맥락의 관계를 살펴봅니다.
Quantum Logic and Probability Theory
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
문장의 참·거짓을 두 사람의 게임으로 판정할 수 있을까?
논리 게임은 양화사 해석을 두 플레이어의 선택과 승리전략으로 바꿉니다.
Logic and Games
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
81–85 / 123편