O portador da verdade

Os filósofos chamam qualquer entidade que pode ser verdadeira ou falsa de portador da verdade. Proposições, frases, afirmações, idéias, crenças e opiniões podem ser considerados portadores 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, e outros 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 apreender 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.

Ou seja a verdade para a filosofia e uma coisa única e contraditoria Pela Mentira

Entre as muitas afirmaçoes sobre a verdade uma em geral é bastante claro sobre o ponto de definiçao de verdade:

[editar] Tipos de verdade

    * 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.