통합검색

불가능한 가정에서도 결론을 서로 다르게 판단할 수 있을까?

불가능세계 의미론은 모순된 믿음과 반가능 조건문을 모두 똑같이 참으로 만들지 않는 방법을 탐구합니다.

Impossible Worlds

같은 ‘필연’이라도 가능한 세계의 연결 방식에 따라 논리가 달라질까?

양상논리의 □와 ◇는 접근 가능한 세계의 구조에 따라 다른 원리를 만족합니다. 기호의 직관과 형식 규칙을 구분해 읽습니다.

Modal Logic

‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?

증명가능성 논리는 ‘이 문장은 어떤 형식 체계에서 증명된다’를 상자 기호로 다루며, 자기언급과 괴델의 불완전성 정리를 한 언어 안에서 분석합니다.

Provability Logic

가능하다는 말은 어디까지 보장할까?

한 가지 가능한 계획과 모든 계획에서 유지되는 조건을 구분합니다. 양상논리를 작은 일정표로 읽어봅니다.

Modal Logic

가능한 세계마다 이름을 붙이면 보통 양상논리보다 무엇을 더 말할 수 있을까?

대기, 응시, 제출 세 상태와 응시 상태 이름 e, 현재 위치에서 e로 평가점을 옮기는 화살표