Modalidade e Mundos Possíveis (5)

4 Novembro 2019, 10:00 • Ricardo Santos

As três objecções de Quine às modalidades e as respostas a essas objecções com base na semântica dos mundos possíveis. (1) O necessário definido como verdadeiro em todos os mundos possíveis. (2) A interpretação do operador lógico de necessidade por uma função bem definida, cujos argumentos são conjuntos de mundos possíveis. (3) Os argumentos dos planetas e do ciclista matemático não são válidos, e não mostram nenhuma violação da indiscernibilidade dos idênticos. A regra de inferência da “eliminação da identidade”, quando aplicada em raciocínios modais, requer uma restrição ao uso de designadores rígidos.

Da semântica dos mundos possíveis (uma semântica para uma linguagem formal) à metafísica da modalidade: O que são os mundos possíveis? Isso existe realmente? A resposta actualista, que vê os mundos possíveis como conjuntos de proposições. Situações possíveis e mundos possíveis. A noção de proposição enquanto conteúdo semântico ou mental. Proposições como objectos abstractos. Mundos possíveis como conjuntos de proposições consistentes e máximos. Uma proposição p é verdadeira num mundo m se e só se p pertence a m.