verdade de uma proposicao basta tirarmos as aspas damesma. Por exemplo, a proposicao "A neve e branca" e verdadeira se, esomente se, a neve e branca.DEFLACIONISMODe acordo com o deflacionismo,o predicado de segunda ordem "E verdade que ..." nao acrescenta nada afrase de primeira ordem a qual ele e aplicado. Por exemplo, nao ha nenhumadiferenca logica entre a frase "E verdade que a agua e molhada" e afrase "A agua e molhada".DESVELAMENTOSegundo esta concepcao,verdade e desvelamento. Conhecer a verdade e deixar o ser se manifestar. E estar aberto para oser. Nas versoes modernas do desvelamento, mais pragmaticas, a verdade ealgo "sempre em construcao", e que portanto sempre vai possuir"valor verdade" inferior a 100%.Posicao tipica de Martin Heidegger (em Ser e tempo, paragrafo 44, e naconferencia "Aessencia da verdade").PRAGMATISMOPara o pragmatismo a verdade e o valor de uma coisa.6 Em Habermas a verdade se confunde com avalidade intersubjetiva, ou consenso. Se uma proposicao nao esubmetida ao crivo da comunidade, nada se pode dizer sobre sua falsidade.No Empirismo o pragmatismo nao se opoe a correspondencia, mas se fundea ela: a "verdade empirica" como correspondencia obtida por consensona comunidade cientifica.TEORIAS FORMAISVERDADE LOGICAA logica se preocupa com os padroes de razao que podem nos ajudar a dizer se uma proposicao e verdadeira ou nao. Noentanto, a logica nao lida com a verdade no sentido absoluto, como a metafisica. Os logicos usam linguagem formal para expressar as verdades.Assim so existe verdade em alguma interpretacao logica ou dentro de algum sistema logico.Uma verdade logica (tambemchamada verdade analitica ou verdade necessaria) e uma afirmacao que everdadeira em todos os mundos possiveis 7 ou segundo todas as possiveis interpretacoes, em contraste com um fato (tambem chamado proposicao sintetica ou uma contingencia) que so e verdadeiro neste mundo, talcomo se desenvolveu historicamente. Uma proposicao, como "Se p e q, entaop", e considerada uma verdade logica por causa do significado dos simbolos e palavras que a constituem e nao por causa de qualquer fato de qualquer mundoparticular. Verdades logicas sao tais que nao poderiam ser falsas.VERDADE EM MATEMATICAExistem duas abordagensprincipais para a verdade em matematica: o modelo da teoria da verdade e a teoria da prova da verdade.Com o desenvolvimento da algebra booliana no seculo XIX, modelos matematicos de logica comecaram a tratar a"verdade", tambem representada como "V" ou "1",como uma constante arbitraria. "Falsidade" e tambem uma constantearbitraria que pode ser representado por "F" ou "0". Em logica proposicional, esses simbolos podem ser manipulados de acordo com um conjunto de axiomas e regras de inferencia, muitas vezes dadas na forma de tabelas verdade.Alem disso, desde pelo menos aepoca do programa de Hilbert, na virada do seculo XX, ate a prova dos teoremas da incompletude deGodel e o desenvolvimento da tese de Church-Turing, no inicio daquele seculo, afirmacoes verdadeiras em matematica foramgeralmente assumidas como demonstraveis em um sistema axiomatico formal.Os trabalhos de Godel, Turing e outros abalaram este pressuposto, com o desenvolvimento deproposicoes que sao verdadeiras, mas nao podem ser comprovadas dentro dosistema. 8 Dois exemplos podem serencontrados nos Problemas de Hilbert. O trabalho sobre os 10 problemas de Hilbert levou, no final