‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?
증명가능성 논리는 ‘이 문장은 어떤 형식 체계에서 증명된다’를 상자 기호로 다루며, 자기언급과 괴델의 불완전성 정리를 한 언어 안에서 분석합니다.
Provability Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과304건
검색 결과 제목
공개 발표 뒤에는 왜 ‘서로 알고 있다는 사실’까지 공유될까?
동적 인식논리는 공개 발표가 가능한 세계를 줄여 각 행위자의 지식과 공통지식을 어떻게 바꾸는지 추적합니다.
Dynamic Epistemic Logic
게시 2026-09-13 · 약 10분논리학 학습 글 읽기 →
양자 명제에서는 분배법칙이 항상 성립할까?
양자논리는 측정 가능한 명제를 힐베르트 공간의 투영으로 나타내며, 그 구조는 일반적으로 불 대수가 아닙니다. 논리 법칙과 측정 맥락의 관계를 살펴봅니다.
Quantum Logic and Probability Theory
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
질문은 정보를 묻기만 할까?
200만 단어가 넘는 세 장르의 논증 대화를 분석한 연구는 네 질문 유형이 논증 구조를 서로 다르게 움직인다고 분류했습니다.
Questions in argumentative dialogue
게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
무작위 숫자를 본 뒤의 추정치는 왜 그 숫자 쪽으로 끌릴까?
Tversky와 Kahneman의 기준점 실험은 무관한 시작값도 수량 추정의 출발점이 되어 조정이 부족할 수 있음을 보여 줍니다.
Judgment under Uncertainty: Heuristics and Biases
게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
151–155 / 304편