자유논리가 어떤거임?

[익명(180.134)]

양상논리 책 읽는데 가능세계의 도메인이 다를경우 보편화도입 존재양화일반화 같은 연역법칙이 타당할 수 없어 토마슨과 크립키 같은 철학자들이 일종의 자유 논리가 적용되는 양상논리체계를 개발하고 있다... 라고 하는 부분이 있는데 자유논리가 정확히 뭐하는건지 모르겠네

[러셀(salvaveritate)]

그냥 쉽게 말하면, 실존하지 않는 존재자들에 대한 존재 양화를 허용하는 논리임. 이런 논리 체계에서는 존재 양화사 ∃와 구분되는 존재(성) 단항 술어 E가 사용되고, E가 성립하는 구별된 도메인이 상정됨. 이 논리의 이점은 실존하지 않는 대상을 지칭하는 이름(empty names)에 대한 부정 존재 진술이 어떤 식으로 의미있는지를 잘 반영한다는 거.

[러셀(salvaveritate)]

https://plato.stanford.edu/entries/logic-free/

[익명(180.134)]

고맙읍니다우