Question

lógica modal pra fazer mesmo sentido implica em adotar uma ontologia em que os mundo possíveis sejam reais?

Answer 1

Não. A lógica modal não obriga a aceitar que mundos possíveis existam realmente. Isso depende da interpretação filosófica que fazemos da semântica de mundos possíveis.

O realismo modal de David Lewis sustenta que outros mundos possíveis são tão reais quanto o nosso. Mas outras teorias entendem “mundos possíveis” como construções abstratas, descrições consistentes ou simplesmente ferramentas formais para analisar necessidade e possibilidade.

Portanto, você pode usar lógica modal perfeitamente sem assumir uma ontologia à moda de Lewis. A lógica fornece a estrutura; o compromisso ontológico depende da metafísica adotada.