{
  "path": "/562",
  "site": "at://did:plc:zxclnyklmf3ehq57qwe56v5m/site.standard.publication/3meej2eztev26",
  "tags": [
    "Sebenta"
  ],
  "$type": "site.standard.document",
  "title": "Lógica da Santíssima Trindade",
  "updatedAt": "2025-07-25T12:03:46+00:00",
  "description": "O problema central sobre o mistério da trindade consiste em explicar a possibilidade que haja um só Deus, mas simultaneamente três pessoas em Deus, sem cair em contradição. As proposições centrais desta doutrina da trindade são, entre outras, as seguintes: Além destas proposições, podem-se acrescentar outras semelhantes sobre o Espírito Santo. Mas para o propósito de analisar a consistência basta as proposições de 1 a 4. Será esse conjunto de proposições consistente? Com recurso à lógica de predicados de primeira ordem (com identidade) pode-se derivar uma contradição e, se isso for correto, prova-se que a doutrina da trindade é falsa […]",
  "publishedAt": "2021-02-11T12:01:00+00:00",
  "textContent": "O problema central sobre o mistério da trindade consiste em explicar a possibilidade que haja um só Deus, mas simultaneamente três pessoas em Deus, sem cair em contradição. As proposições centrais desta doutrina da trindade são, entre outras, as seguintes: Há um só Deus. O Pai é Deus. O Filho é Deus. O Pai não é o Filho. Além destas proposições, podem-se acrescentar outras semelhantes sobre o Espírito Santo. Mas para o propósito de analisar a consistência basta as proposições de 1 a 4. Será esse conjunto de proposições consistente? Com recurso à lógica de predicados de primeira ordem (com identidade) pode-se derivar uma contradição e, se isso for correto, prova-se que a doutrina da trindade é falsa (bem como o cristianismo). Assim, traduzindo as proposições de 1 a 4 para lógica de predicados temos o seguinte resultado: ∃x(Dx∧∀y(Dy→(y=x))) Dp Df (p≠f) Com base em simples regras de inferência, podemos derivar que: (Da∧∀y(Dy→(y=a))) de 1, E∃ ∀y(Dy→(y=a)) de 5, E∧ (Dp→(p=a)) de 6, E∀ (p=a) de 2 e 7, MP (Df→(f=a)) de 6, E∀ (f=a) de 3 e 9, MP (a=f) de 10, simetria (p=f) de 8 e 11, transitividade ((p=f)∧(p≠f)) de 4 e 12, I∧ Ou seja, a partir do conjunto de proposições de 1 a 4 derivamos uma contradição em 13 de que o Pai é o Filho e o Pai não é o Filho. Uma vez que se derivou uma contradição isto significa que a doutrina da trindade é logicamente inconsistente e, dessa forma, tal doutrina é falsa e o cristianismo não pode ser verdadeiro. Será possível resistir a esta conclusão? Existem vários modelos (ver aqui) que visam afastar essa conclusão, apresentando uma interpretação em que as proposições de 1 a 4 não geram uma contradição lógica. Um desses modelos apela à noção, desenvolvida pelos filósofos católicos Peter Geach e Peter van Inwagen, de “identidade relativa”; ou seja, a identidade não é absoluta, mas é relativizada a tipos de coisas. Dessa forma, as coisas podem ser as mesmas relativamente a um tipo de coisas, mas distintas relativamente a outro tipo de coisas. Utilizando um exemplo fornecido por Michael Rea, uma estátua e um pedaço de bronze podem ser o mesmo objeto material, mas ainda assim são entidade diferentes. Com base neste modelo pode-se sustentar que o Pai é o mesmo Deus que o Filho e o Pai não é a mesma pessoa que o Filho. E isso é logicamente consistente. Assim, as proposições de 1 a 4 devem ser formalizadas da seguinte forma, em que “x=Sy” abrevia que “x é a mesma pessoa que y” e em que “x=Dy” abrevia que “x é o mesmo Deus que y”: ∃x(Dx∧∀y(Dy→(y=Dx))) Dp Df (p≠Sf) Daqui pode-se derivar que: (Da∧∀y(Dy→(y=Da))) de 14, E∃ ∀y(Dy→(y=Da)) de 18, E∧ (Dp→(p=Da)) de 19, E∀ (p=Da) de 15 e 20, MP (Df→(f=Da)) de 19, E∀ (f=Da) de 16 e 22, MP (a=Df) de 23, simetria (p=Df) de 21 e 24, transitividade ((p=Df)∧(p≠Sf)) de 17 e 25, I∧ Como se pode constatar, do conjunto de proposições de 14 a 17 derivamos a proposição 26, a qual afirma que o Pai é o mesmo Deus que o Filho e o Pai não é a mesma pessoa que o Filho. Ora, isso não é uma contradição. Assim, embora isto não prove a verdade da doutrina da trindade, pelo menos mostra que esta doutrina é logicamente consistente caso se interprete as relações de identidade como relativas e não absolutas."
}