"como filosofar com o martelo"Quem concorda sinceramente com uma frase esta alegando que ela e verdadeira. A filosofia estuda a verdade de diversas maneiras. A metafisica se ocupa da natureza da verdade. A logica se ocupa da preservacao da verdade. A epistemologia se ocupa do conhecimento da verdade.O primeiro problema para os filosofos e estabelecer que tipo de coisa e verdadeira ou falsa, qual o portador da verdade (em ingles truth-bearer). Depois ha o problema de se explicar o que torna verdadeiro ou falso o portador da verdade. Ha teorias robustas que tratam a verdade como uma propriedade. E ha teorias deflacionarias, para as quais a verdade e apenas uma ferramenta conveniente da nossa linguagem. Desenvolvimentos da logica formal trazem alguma luz sobre o modo como nos ocupamos da verdade nas linguagens naturais e em linguagens formais.Ha ainda o problema epistemologico do conhecimento da verdade. O modo como sabemos que estamos com dor de dente e diferente do modo como sabemos que o livro esta sobre a mesa. A dor de dente e subjetiva, talvez determinada pela introspeccao. O fato do livro estar sobre a mesa e objetivo, determinado pela percepcao, por observacoes que podem ser partilhadas com outras pessoas, por raciocinios e calculos. Ha ainda a distincao entre verdades relativas a posicao de alguem e verdades absolutas.3.4.1. Definicao da Verdade A verdade e uma interpretacao mental da realidade transmitida pelos sentidos,e confirmada por equacoes matematicas e linguisticas formando um modelo capaz de prever acontecimentos futuros diante das mesmas coordenadas.Uma outra visao do que e verdadeVerdade e um resultado logico (verdadeiro ou falso) de uma operacao mental que depende de dois tipos de conjuntos de juizos: juizos a priori e a posteriori.Os juizos a priori sao conhecidos pela mente antes da realizacao da experiencia, exemplo: a linha reta e a menor distancia entre dois pontos.Os juizos a posteriori dependem do resultado final de uma experiencia cientifica, que deve ser realizada inumeras vezes para que exista a comprovacao de que um fenomeno sobre determinadas condicoes so produz um unico tipo de resultado que pode ser verdadeiro ou falso.Nao existem mecanismos cientificos totalmente eficazes de se prever acontecimentos futuros, dado ao fato da realidade poder ser alterada por elementos nao possiveis de serem previstos pelo conhecimento humano.As condicoes de tempo e espaco nao estao sobre o dominio do homem.A verdade e um fato, que so e real depois de confirmado ou refutado pelo uso da razao.3.4.2 O portador da verdadeOs filosofos chamam qualquer entidade que pode ser verdadeira ou falsa de portador da verdade. Assim, um portador da verdade, no sentido filosofico, nao e uma pessoa, ou Deus.Para alguns filosofos, alguns portadores da verdade sao primitivos, e outros derivados. Filosofos dizem, por exemplo, que as proposicoes sao as unicas coisas literalmente verdadeiras. Uma proposicao e uma entidade abstrata a qual e expressa por uma frase, defendida em uma crenca ou afirmada em um juizo. (Nossa capacidade de apreender proposicoes e a razao ou entendimento.) Todas essas manifestacoes da linguagem sao ditas verdadeiras apenas se expressam, defendem ou afirmam proposicoes verdadeiras. Assim, frases em diferentes