통합검색

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

혼합논리는 한 세계에서만 참인 ‘이름 명제’와 특정 세계로 평가 지점을 옮기는 연산자를 더해, 시간·상태의 동일성과 국소 사실을 표현합니다.

Hybrid Logic

부분의 부분은 전체의 부분일까? 집합의 원소도 그럴까?

부분 관계와 집합의 원소 관계를 구별하면, 같은 포함 그림을 보고도 어떤 추론을 허용해야 하는지 달라집니다.

Mereology

일어나지 않은 일을 다르게 가정하면 결과도 달라졌다고 말할 수 있을까?

반사실 조건문 이론은 실제가 아닌 가정을 어떤 비교 세계와 대조해야 하는지 묻습니다.

Counterfactuals

부분의 부분은 전체의 부분일까? 집합의 원소도 그럴까?

부분과 부분집합은 추이적이지만 원소 관계에는 1, {1}, {{1}}이라는 반례가 있음을 비교한 표.