사물뿐 아니라 ‘성질’에도 ‘모든’을 적용할 수 있을까?
2차 논리는 개체뿐 아니라 성질과 관계를 양화해 자연수 구조를 더 강하게 기술하지만, 그 표현력에는 의미론적 대가가 따릅니다.
Second-order and Higher-order Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과133건
검색 결과 제목
‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?
증명가능성 논리는 ‘이 문장은 어떤 형식 체계에서 증명된다’를 상자 기호로 다루며, 자기언급과 괴델의 불완전성 정리를 한 언어 안에서 분석합니다.
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 / 133편