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:

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

Referências

Leitura adicional

links externos