읽기·생활 추론Modal Logic논리학 배우기
한 장면에서 들어갈 수 있으면, 모든 장면에서 반드시 들어갈까?
배지·안내자 단서와 입장 규칙을 바꾸어 가능한 장면, 반례 장면과 ‘가능’·‘필연’ 결론의 성립 여부를 다시 계산합니다.
Modal Logic
게시 2026-09-23 · 약 29분논리학 학습 글 읽기 →
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과10건
검색 결과 제목
가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?
혼합논리는 한 세계에서만 참인 ‘이름 명제’와 특정 세계로 평가 지점을 옮기는 연산자를 더해, 시간·상태의 동일성과 국소 사실을 표현합니다.
Hybrid Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
불가능한 가정에서도 결론을 서로 다르게 판단할 수 있을까?
불가능세계 의미론은 모순된 믿음과 반가능 조건문을 모두 똑같이 참으로 만들지 않는 방법을 탐구합니다.
Impossible Worlds
게시 2026-09-13 · 약 11분논리학 학습 글 읽기 →
같은 ‘필연’이라도 가능한 세계의 연결 방식에 따라 논리가 달라질까?
양상논리의 □와 ◇는 접근 가능한 세계의 구조에 따라 다른 원리를 만족합니다. 기호의 직관과 형식 규칙을 구분해 읽습니다.
Modal Logic
게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?
증명가능성 논리는 ‘이 문장은 어떤 형식 체계에서 증명된다’를 상자 기호로 다루며, 자기언급과 괴델의 불완전성 정리를 한 언어 안에서 분석합니다.
Provability Logic
게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
1–5 / 10편