Modalidade e Mundos Possíveis
A metafísica modal diz respeito à necessidade e à possibilidade: o que deve ser o caso, o que poderia ter sido diferente e como analisar tais afirmações. Os mundos possíveis são a ferramenta padrão para representar fatos modais.
Definition
Modalidade é o estudo dos modos de verdade, principalmente necessidade e possibilidade, e da ontologia e semântica usadas para representá-los, como os mundos possíveis.
Scope
Abrange a interpretação de necessidade e possibilidade, semântica de mundos possíveis para lógica modal, modalidade de re e essência, e o status metafísico de mundos possíveis no realismo modal e no atualismo.
Sub-topics
Core questions
- O que significa algo ser necessário ou possível?
- Os mundos possíveis são entidades reais ou ficções úteis?
- As coisas possuem propriedades essenciais das quais não poderiam ter carecido?
- Como as afirmações modais de re sobre indivíduos devem ser compreendidas?
Key concepts
- Necessidade
- Possibilidade
- Mundo possível
- Designação rígida
- De re e de dicto
- Essência
- Contraponto
Key theories
- Realismo modal
- Lewis sustenta que os mundos possíveis são realidades concretas tão reais quanto o mundo atual; o mundo atual é apenas aquele que habitamos, e as afirmações modais são quantificações sobre esses mundos e seus habitantes.
- Designação rígida e necessidade a posteriori
- Kripke argumenta que os nomes são designadores rígidos que selecionam o mesmo indivíduo em todos os mundos, produzindo verdades necessárias conhecíveis apenas a posteriori, como identidades de tipos e origens.
- Essência como anterior à modalidade
- Fine argumenta que a essência não pode ser reduzida à necessidade: a essência de um objeto diz respeito ao que é ser esse objeto, e fundamenta, em vez de coincidir com, as verdades necessárias sobre ele.
History
Leibniz introduziu a discussão sobre mundos possíveis. O desenvolvimento da lógica modal em meados do século XX por Carnap, Barcan Marcus e Kripke forneceu uma semântica formal em termos de mundos possíveis. Naming and Necessity de Kripke reformulou a metafísica modal, Lewis defendeu o realismo modal completo, e Fine e outros reviveram a essência como uma noção distinta da necessidade.
Debates
- A realidade dos mundos possíveis
- Os realistas modais tratam os mundos possíveis como entidades concretas existentes; os atualistas sustentam que apenas o mundo atual é concreto e reconstroem os mundos como objetos abstratos, como estados de coisas maximais.
Key figures
- Gottfried Wilhelm Leibniz
- Saul Kripke
- David Lewis
- Alvin Plantinga
- Kit Fine
- Ruth Barcan Marcus
Related topics
Seminal works
- lewis1986
- kripke1980
- plantinga1974
Frequently asked questions
- O que é um mundo possível?
- Um mundo possível é uma maneira completa como as coisas poderiam ter sido. Filósofos usam mundos possíveis para analisar afirmações modais: uma proposição é necessária se verdadeira em todos os mundos e possível se verdadeira em alguns. Eles discordam sobre se tais mundos são concretos ou abstratos.