Gottfried_Leibniz에 따르면, 현실세계는 무한히 많은 가능세계들 중 하나일 뿐이다. 우리 세계는 모든 가능세계들 중 최선의 것이다. .... 문장이 참(진리,truth)이라고 말하는 것은 현실세계에서 참이라고 말하는 것이다. 그러나 어떤 참인 문장들은 (현실세계에서 뿐만 아니라) 다른 모든 가능세계에서도 참이다. 이런 문장들이 필연적 참(필연적진리,necessary_truth)들이다. 현실세계에서는 참이지만 모든 가능세계에서 참인 것은 아닌 문장들은 '우연적 참들'이라 불린다. 과학 법칙들은 후자에 속하는 것으로 여겨진다. 반면에 수학이나 논리학에서의 참은 현실세계를 포함한 모든 가능세계에서 참인 것으로 이야기된다.
... 라이프니츠는 때때로 상상가능성,conceivability{w 한 사태(원어? event?)는 그 사태가 존재한다는 가정,assumption으로부터 어떠한 모순,contradiction도 따라 나오지 않는다면 상상가능하다. }의 개념을 가지고 가능성,possibility과 필연성,necessity을 설명한다. 문장이 주장하는 바의 정반대 상황이 상상되어질 수 없다면 그 문장은 필연적으로 참이다. ....
(기호논리학,Elementary_Logic p39)
... 라이프니츠는 때때로 상상가능성,conceivability{w 한 사태(원어? event?)는 그 사태가 존재한다는 가정,assumption으로부터 어떠한 모순,contradiction도 따라 나오지 않는다면 상상가능하다. }의 개념을 가지고 가능성,possibility과 필연성,necessity을 설명한다. 문장이 주장하는 바의 정반대 상황이 상상되어질 수 없다면 그 문장은 필연적으로 참이다. ....
(기호논리학,Elementary_Logic p39)
https://ko.wikipedia.org/wiki/가능세계론
https://en.wikipedia.org/wiki/Possible_world
https://ja.wikipedia.org/wiki/可能世界論
https://plato.stanford.edu/entries/possible-worlds/
https://en.wikipedia.org/wiki/Possible_world
https://ja.wikipedia.org/wiki/可能世界論
https://plato.stanford.edu/entries/possible-worlds/
possible world's' semantics
{
가능세계의미론
{
가능세계의미론
Cmp: 우주,universe