Verdade

Os filósofos chamam qualquer entidade que pode ser verdadeira ou falsa de portador da verdade. Assim, um portador da verdade, no sentido filosófico, não é uma pessoa ou Deus.

Para alguns filósofos, alguns portadores da verdade são primitivos; outros são derivados. Filósofos dizem, por exemplo, que as proposições são as únicas coisas literalmente verdadeiras. 

Uma proposição é uma entidade abstrata a qual é expressa por uma frase, defendida em uma crença ou afirmada em um juízo. 

Nossa capacidade de aprender proposições é a razão ou entendimento. 

Todas essas manifestações da linguagem são ditas verdadeiras apenas se expressam, defendem ou afirmam proposições verdadeiras. Assim, frases em diferentes línguas, como por exemplo, o português e o inglês, podem expressar a mesma proposição. 

A frase "O céu é azul" expressa a mesma proposição que a frase "The sky is blue".

Já para outros filósofos proposições e entidades abstratas em geral são misteriosas, e por isso pouco auxiliam na explicação. Por isso tomam as frases e outras manifestações da linguagem como os portadores da verdade fundamentais. 

Tipos de verdade

A verdade é uma interpretação mental da realidade transmitida pelos sentidos, confirmada por outros seres humanos com cérebros normais e despidos de preconceitos (desejo de crer que algo seja verdade), e confirmada por equações matemáticas e linguísticas formando um modelo capaz de prever acontecimentos futuros diante das  mesmas coordenadas^.

  §  Verdade material é a adequação entre o que é e o que é dito.

  §  Verdade formal é a validade de uma conclusão à qual se chega seguindo as regras de inferência a partir de postulados e axiomas aceitos.

  §  É uma verdade analítica a frase na qual o predicado está contido no sujeito. Por exemplo: "Todos os porcos são mamíferos".

  §  É uma verdade sintética a frase na qual o predicado não está contido no sujeito.

  §  Sofisma é todo tipo de discurso que se baseia num antecedente falso tentando chegar a uma conclusão lógica válida.

.