같은 ‘필연’이라도 가능한 세계의 연결 방식에 따라 논리가 달라질까?
양상논리의 □와 ◇는 접근 가능한 세계의 구조에 따라 다른 원리를 만족합니다. 기호의 직관과 형식 규칙을 구분해 읽습니다.
Modal Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과270건
검색 결과 제목
정확한 예측이면 언제나 쓸모 있을까?
의사결정곡선 분석은 행동 임계값에서 참양성 이득과 거짓양성 부담을 반영한 순편익을 비교합니다.
Decision Curve Analysis: A Novel Method for Evaluating Prediction Models
게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
확률을 넣은 논리도 여전히 연역논리일 수 있을까?
확률논리는 ‘참/거짓’과 수치적 불확실성을 여러 방식으로 결합합니다. 귀납적 추측과 확률 제약에서의 연역적 함의를 구별해 봅니다.
Logic and Probability
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
증명과 프로그램이 같은 구조라고 말할 수 있을까?
Wadler는 명제-유형 대응을 따라 논리의 증명 규칙과 함수형 프로그램의 형식 규칙이 어떻게 같은 구조를 이루는지 설명합니다.
Propositions as Types
게시 2026-09-13 · 약 11분해외 논리학 연구 해설 읽기 →
양자 명제에서는 분배법칙이 항상 성립할까?
양자논리는 측정 가능한 명제를 힐베르트 공간의 투영으로 나타내며, 그 구조는 일반적으로 불 대수가 아닙니다. 논리 법칙과 측정 맥락의 관계를 살펴봅니다.
Quantum Logic and Probability Theory
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
116–120 / 270편