Uma abordagem formal da Ética de Spinoza por meio de Lógicas Deônticas

Descrição

O presente projeto de pesquisa tem como objetivo formalizar a ética de Spinoza utilizando os instrumentos das lógicas deônticas. A investigação parte do reconhecimento de que, por se propor a ser apresentada segundo o método geométrico, a Ética de Spinoza parece particularmente promissora para uma renderização por meio de um sistema axiomático formal. A hipótese central do projeto é que os termos notoriamente ontológicos do sistema spinoziano (tais como essência, potência, conatus, e necessidade) podem ser reinterpretados como termos normativos usuais da ética e da lógica deôntica, como “obrigatoriedade” e “permissibilidade”. Lembremos que a lógica deôntica recebe o seu nome da palavra grega déon, entendido como necessidade, o que é preciso. A ideia fundamental é que a essência se relaciona com a obrigatoriedade na medida em que ambas expressam uma necessidade de caráter interno, derivada da própria natureza dos seres, enquanto a potência e a permissibilidade se vinculam à possibilidade dos seres de agirem. Metodologicamente, o projeto se divide em três etapas: (i) estudo sistemático da Ética de Spinoza, com vistas à extração de suas proposições normativas fundamentais; (ii) estudo das lógicas deônticas e suas respectivas semânticas de mundos possíveis, visando à formalização do sistema spinoziano; (iii) implementação do sistema formalizado em uma linguagem de programação adequada e verificação computacional de sua consistência interna, bem como os limites e alcances da formalização proposta.