Verdade lógica
De Wikipedia, a enciclopédia encyclopedia
Verdade lógica é um dos conceitos mais fundamentais na lógica. Existem diferentes teorias sobre sua natureza. Uma verdade lógica é uma declaração verdadeira, ela permanece verdadeira independentemente de diferentes interpretações sobre seus componentes em detrimento de suas constantes lógicas. É um tipo de declaração analítica. Toda lógica filosófica pode ser reescrita e trabalhada com verdades lógicas, o mesmo pode ser feito para consequência lógica.[1]
Este artigo não cita fontes confiáveis. (Setembro de 2021) |
Verdades lógicas (incluindo tautologias) são verdades consideradas necessariamente verdadeiras. Isso significa que elas não poderiam ser não verdadeiras e que não existe situação que causaria a rejeição de uma verdade lógica. Porém, não é universalmente aceito que existam afirmações que sejam necessariamente verdades.
Uma verdade lógica foi considerada por Ludwig Wittgenstein como uma declaração que é verdade em todos os mundos possíveis.[2][3] Para verificar, abrimos uma árvore de possibilidades com o valor-verdade da declaração negado (começamos com v(φ) = 1, negamos, logo temos v(¬φ) = 0), se acharmos contradições em todos os mundos possíveis podemos afirmar que é uma verdade lógica (como negando chegamos achamos contradições em todos os mundos possiveis, por absurdo tiramos que para v(φ) = 1 é uma verdade lógica). As proposições "se ρ e θ, então ρ", e "todas as pessoas casadas são casadas" são verdades lógicas por não dependerem de fatos do mundo, mas somente de seus componentes inerentes. Depois, com a chegada da lógica formal, a verdade lógica foi considerada como uma declaração que é verdadeira sob qualquer interpretação.
A existência de verdades lógicas é vista por alguns como uma objeção ao empirismo, porque é impossível dar conta do nosso conhecimento de verdades lógicas com práticas empíricas.