Não tenho o sentimento do mundo nem os poderes de Super-homem mas posso criar quanto mundos permite a imaginação. O que acabo de descobrir é que posso manipulá-los formalmente. Não através de sentenças do tipo ‘x é V’. Basta nomearmos, num modelo, domínio e função. A vantagem do método é excluir sentenças metafísicas do tipo “morte da bezerra” ou “o que seria se não fosse”. Ficam somente estados de coisa necessárias e não a necessidade em si. A lógica não é ciência de outro mundo, nem dela nem minha nem de Deus. Duas proposições contraditórias não podem ser ambas corretas porque dois estados do mundo contraditórios não coexistem. O princípio de contradição é portanto derivado e não primitivo.
Nenhum comentário:
Postar um comentário