Timothy Williamson é professor de lógica em Oxford. Ele é um dos principais arquitetos do necessitatismo , a tese de que tudo o que existe necessariamente existe. A ontologia é necessária. As coisas não poderiam ter sido de outra forma . O universo não poderia ter evoluído de maneira diferente.

O necessitatismo se opõe à ideia de contingência , que nega que necessariamente tudo o que é algo seja necessariamente algo. A ontologia é contingente. As coisas poderiam ter sido diferentes. Existe acaso ontológico no universo.

O necessitatismo surge da introdução da lógica modal na teoria da quantificação por Ruth Barcan Marcus em 1947, na qual ela provou a necessidade da identidade .

Antes de Marcus, a maioria dos filósofos limitava a necessidade de identidade à autoidentidade. Desde então, David Wiggins, em 1965, e Saul Kripke, em 1971, sugeriram que não existe identidade contingente .

Williamson interpreta Barcan Marcus como uma prova de que tudo é necessariamente o que é, tudo o que existe necessariamente existe.

Williamson escreve seu argumento como

Os argumentos lógicos para a necessidade e permanência da identidade são diretos e amplamente aceitos, pelo menos em alguma forma. Suponha que x seja idêntico a y. Portanto, pela indiscernibilidade dos idênticos, x é o que quer que y seja. Mas y é necessariamente idêntico a y. Portanto, x é necessariamente idêntico a y. Por raciocínio análogo, x é sempre idêntico a y. Mais enfaticamente: necessariamente sempre, se x é idêntico a y, então necessariamente sempre x é idêntico a y. Claro, entendemos 'x' e 'y' aqui como variáveis cujos valores são simplesmente coisas, não como representações de descrições definidas, como 'o número vencedor', que denotam coisas diferentes em relação a diferentes circunstâncias.

( Lógica Modal como Metafísica , pp. 25-26)

Há uma falha grave no raciocínio de que "x é o que quer que y seja. Mas y é necessariamente idêntico a y. Portanto, x é necessariamente idêntico a y."

Tanto Wiggins quanto Kripke cometeram esse erro. Um raciocínio melhor pode começar com "x tem as mesmas propriedades que y". Aqui, devemos analisar as propriedades internas e externas separadamente. Existem objetos com propriedades internas idênticas, notadamente partículas quânticas como elétrons.

Objetos numericamente distintos não podem ter informações extrínsecas (externas) idênticas, ou seja, as mesmas relações com outros objetos em sua vizinhança, como as mesmas posições no espaço e no tempo, a menos que sejam um único e mesmo objeto. Portanto, se "x tem as mesmas propriedades que y" significa que x tem as mesmas propriedades intrínsecas (internas) e as mesmas relações externas, isso ocorre apenas porque ele está na mesma posição que y e, portanto, é numericamente um único e mesmo objeto que x.

Obviamente, isso não pode ser usado para provar que dois objetos físicos são um só. Mas podemos afirmar com certeza que dois objetos são relativamente idênticos.

Contudo, se x e y são proposições lógicas abstratas, e "x tem as mesmas propriedades que y", então, como y é necessariamente idêntico a y, x também é necessariamente idêntico a si mesmo, mas a quê exatamente Trivialmente, podemos concluir logicamente que x é necessariamente idêntico a x. Mas é somente em um sentido não trivial de identidade relativa , que chamamos de " qua " - "em algum aspecto" - que podemos afirmar que "x tem as mesmas propriedades que y" significa que x é necessariamente idêntico a y.

Assim, temos, por exemplo, que se as proposições lógicas x e y têm propriedades idênticas enquanto lógica proposicional, elas são necessariamente proposições idênticas. Isso se verifica na lógica simbólica de Williamson, Marcus, Kripke e Wiggins. Para mais detalhes, veja nossa análise metafísica da identidade .

Assim, Barcan Marcus pode estar correta se pudermos entender que ela está falando sobre um universo de discurso descrito pela lógica de primeira ordem. Como propôs Rudolf Carnap , a linguagem objeto de primeira ordem pode ser analisada quanto aos valores de verdade das funções proposicionais em uma metalinguagem de segunda ordem.

Proposições perfeitamente substituíveis em contextos de lógica modal quantificada são necessariamente idênticas. Mas não existem objetos físicos numericamente distintos que sejam perfeitamente idênticos. A filosofia da informação demonstra que objetos numericamente distintos podem ter uma identidade relativa se suas informações internas intrínsecas forem idênticas.

A filosofia da informação estabeleceu a existência da possibilidade metafísica de duas maneiras. A primeira é a indeterminação da mecânica quântica . A segunda é o aumento da informação no universo cosmológico e biológico. Não pode haver nova informação sem possibilidades, que dependem do acaso ontológico .

Visto que a filosofia da informação demonstrou que o aumento da informação em nosso universo é produto de eventos fortuitos – sem possibilidades não pode haver criação de novas informações – em nossa metafísica , a ontologia é irremediavelmente contingente.

Em um universo determinístico (sem contingências ou possibilidades), a informação total é constante, existe apenas um futuro possível e a evolução do universo está inteiramente presente em todos os momentos.

Isso pode se encaixar bem com o interesse paralelo de Williamson no permanenteismo , que é uma forma de pré-determinismo ou predestinação que se alinha bem com algumas visões teológicas.

---

Capítulo 1.4 - A Filosofia	Capítulo 1.6 - Os Cientistas
Início	Parte Dois - Conhecimento

Normal | Professor | Pesquisador