Mundo possível - Possible world
Um mundo possível é uma maneira completa e consistente como o mundo é ou poderia ter sido. Eles são amplamente usados como um dispositivo formal em lógica , filosofia e linguística , a fim de fornecer uma semântica para a lógica intensional e modal . Seu status metafísico tem sido um assunto de controvérsia na filosofia , com realistas modais como David Lewis argumentando que eles estão literalmente existentes em realidades alternativas, e outros como Robert Stalnaker argumentando que não.
Lógica
Os mundos possíveis são um dos conceitos fundamentais nas lógicas modal e intensional . As fórmulas nessas lógicas são usadas para representar afirmações sobre o que pode ser verdade, o que deveria ser verdade, o que se acredita ser verdade e assim por diante. Para dar uma interpretação formal a essas declarações, os lógicos usam estruturas contendo mundos possíveis. Por exemplo, na semântica relacional para lógica modal proposicional clássica, a fórmula (lida como "possivelmente P") é realmente verdadeira se e somente se for verdadeira em algum mundo que é acessível a partir do mundo real.
Os mundos possíveis desempenham um papel central no trabalho de linguistas e filósofos que trabalham com semântica formal . Semântica formal contemporânea é redigida em sistemas formais enraizadas em Montague gramática , que é a própria construída sobre Richard Montague 's lógica intensional . A pesquisa contemporânea em semântica normalmente usa mundos possíveis como ferramentas formais, sem se comprometer com uma teoria particular de seu status metafísico. O termo mundo possível é mantido mesmo por aqueles que não atribuem significado metafísico a eles.
Argumento de maneiras
Os mundos possíveis são freqüentemente vistos com suspeita, razão pela qual seus proponentes têm lutado para encontrar argumentos a seu favor. Um argumento frequentemente citado é chamado de argumento das maneiras . Ele define mundos possíveis como "maneiras como as coisas poderiam ter sido" e se baseia em suas premissas e inferências em suposições da linguagem natural , por exemplo:
- (1) Hillary Clinton poderia ter vencido a eleição de 2016 nos EUA .
- (2) Portanto, há outras maneiras de como as coisas poderiam ter sido.
- (3) Mundos possíveis são maneiras como as coisas poderiam ter sido.
- (4) Portanto, existem outros mundos possíveis.
A etapa central desse argumento ocorre em (2), onde o plausível (1) é interpretado de uma forma que envolve a quantificação de "formas". Muitos filósofos, seguindo Willard Van Orman Quine , sustentam que a quantificação acarreta compromissos ontológicos , neste caso, um compromisso com a existência de mundos possíveis. O próprio Quine restringiu seu método a teorias científicas, mas outros o aplicaram também à linguagem natural, por exemplo, Amie L. Thomasson em sua abordagem fácil da ontologia. A força do argumento das maneiras depende dessas suposições e pode ser desafiada lançando dúvidas sobre o método quantificador da ontologia ou sobre a confiabilidade da linguagem natural como um guia para a ontologia.
Questões filosóficas e aplicações
Metafísica
O status ontológico dos mundos possíveis provocou intenso debate. David Lewis defendeu a famosa posição conhecida como realismo modal , que sustenta que mundos possíveis são lugares reais e concretos que existem exatamente no mesmo sentido em que o mundo real existe. Na conta de Lewis, o mundo real é especial apenas porque vivemos nele. Essa doutrina é chamada de indicialidade da atualidade, uma vez que pode ser entendida como afirmando que o termo "atual" é um indicial , como "agora" e "aqui". Lewis deu uma variedade de argumentos para esta posição. Ele argumentou que, assim como a realidade dos átomos é demonstrada por seu poder explicativo na física, também o são os mundos possíveis justificados por seu poder explicativo na filosofia. Ele também argumentou que os mundos possíveis devem ser reais porque são simplesmente "como as coisas poderiam ter sido" e ninguém duvida de que tais coisas existam. Finalmente, ele argumentou que eles não poderiam ser reduzidos a entidades mais "ontologicamente respeitáveis", como conjuntos de proposições maximamente consistentes, sem tornar as teorias da modalidade circulares. (Ele se referiu a essas teorias como "realismo modal ersatz", que tenta obter os benefícios da semântica de mundos possíveis "de forma barata".)
O realismo modal é controverso. WV Quine rejeitou-o como "metafisicamente extravagante". Stalnaker respondeu aos argumentos de Lewis apontando que um modo como as coisas poderiam ter sido não é em si um mundo, mas sim uma propriedade que tal mundo pode ter. Uma vez que as propriedades podem existir sem que se apliquem a quaisquer objetos existentes, não há razão para concluir que outros mundos como o nosso existam. Outro dos argumentos de Stalnaker ataca a teoria da indicialidade da realidade de Lewis . Stalnaker argumenta que mesmo que a palavra inglesa "real" seja um indexical, isso não significa que outros mundos existam. Para comparação, pode-se usar o "eu" indexical sem acreditar que outras pessoas realmente existam. Alguns filósofos, em vez disso, endossam a visão de mundos possíveis como conjuntos de proposições ou descrições maximamente consistentes, enquanto outros, como Saul Kripke, os tratam como dispositivos puramente formais (isto é, matemáticos).
Explicando necessidade e possibilidade
Pelo menos desde Aristóteles, os filósofos têm se preocupado muito com os status lógicos das proposições, por exemplo, necessidade, contingência e impossibilidade. No século XX, mundos possíveis foram usados para explicar essas noções. Na lógica modal, uma proposição é entendida em termos dos mundos nos quais é verdadeira e mundos nos quais é falsa . Assim, equivalências como as seguintes foram propostas:
- As proposições verdadeiras são aquelas que são verdadeiras no mundo real (por exemplo: " Richard Nixon tornou-se presidente em 1969").
- As proposições falsas são aquelas que são falsas no mundo real (por exemplo: " Ronald Reagan tornou-se presidente em 1969").
- As proposições possíveis são aquelas que são verdadeiras em pelo menos um mundo possível (por exemplo: " Hubert Humphrey tornou-se presidente em 1969"). (Humphrey concorreu à presidência em 1968 e, portanto, poderia ter sido eleito.) Isso inclui proposições que são necessariamente verdadeiras, no sentido abaixo.
- As proposições impossíveis (ou proposições necessariamente falsas ) são aquelas que não são verdadeiras em nenhum mundo possível (por exemplo: "Melissa e Toby são mais altos que o outro ao mesmo tempo").
- As proposições necessariamente verdadeiras (freqüentemente chamadas simplesmente de proposições necessárias ) são aquelas que são verdadeiras em todos os mundos possíveis (por exemplo: "2 + 2 = 4"; "todos os solteiros são solteiros").
- As proposições contingentes são aquelas que são verdadeiras em alguns mundos possíveis e falsas em outros (por exemplo: " Richard Nixon tornou-se presidente em 1969" é contingentemente verdade e " Hubert Humphrey tornou-se presidente em 1969" é contingentemente falso ).
Outros usos
Os mundos possíveis desempenham um papel central em muitos outros debates na filosofia. Isso inclui debates sobre o Argumento do Zumbi e fisicalismo e sobreveniência na filosofia da mente . Muitos debates na filosofia da religião foram despertados pelo uso de mundos possíveis.
História do conceito
A ideia de mundos possíveis é mais comumente atribuída a Gottfried Leibniz , que falou de mundos possíveis como ideias na mente de Deus e usou a noção para argumentar que nosso mundo realmente criado deve ser "o melhor de todos os mundos possíveis ". Arthur Schopenhauer argumentou que, ao contrário, nosso mundo deve ser o pior de todos os mundos possíveis, porque se fosse um pouco pior, não poderia continuar a existir. Os estudiosos encontraram traços anteriores implícitos da ideia de mundos possíveis nas obras de René Descartes , uma grande influência em Leibniz, Al-Ghazali ( A incoerência dos filósofos ), Averroes ( A incoerência da incoerência ), Fakhr al-Din al -Razi ( Matalib al-'Aliya ) e John Duns Scotus .
O uso filosófico moderno da noção foi iniciado por David Lewis e Saul Kripke .
Veja também
- Tradução padrão , uma incorporação de lógicas modais em lógica de primeira ordem que captura sua possível semântica de mundo
- N-universos
- Ficcionalismo modal
- Ficcionalismo
- Mundo impossível
- Realismo modal
- Realismo modal estendido
- História alternativa
- Molinismo
Referências
Leitura adicional
- DM Armstrong, A World of States of Affairs (1997. Cambridge: Cambridge University Press) ISBN 0-521-58948-7
- John Divers, Possible Worlds (2002. London: Routledge) ISBN 0-415-15556-8
- Paul Herrick, The Many Worlds of Logic (1999. Oxford: Oxford University Press) Capítulos 23 e 24. ISBN 978-0-19-515503-7
- David Lewis, On the Plurality of Worlds (1986. Oxford e Nova York: Basil Blackwell) ISBN 0-631-13994-X
- Michael J. Loux [ed.] The Possible and the Actual (1979. Ithaca & London: Cornell University Press) ISBN 0-8014-9178-9
- GW Leibniz, Theodicy (2001. Wipf & Stock Publishers) ISBN 978-0-87548-437-2
- Brian Skyrms, "Possible Worlds, Physics and Metafysics" (1976. Philosophical Studies 30)