verdade. Assim, portadores da verdade podem ser pessoas ou coisas,sentencas assertivas, proposicoes ou crencas.TIPOS DE VERDADEA verdade e uma interpretacaomental da realidade transmitida pelos sentidos, confirmada por outros sereshumanos com cerebros normais e despidos de preconceitos (desejo de crer quealgo seja verdade), e confirmada por equacoes matematicas e linguisticas formandoum modelo capaz de prever acontecimentos futuros diante das mesmas coordenadas.[carece defontes]Verdade material e a adequacao entre o que e e o que e dito.Verdade formal e a validade de uma conclusao a qual se chega seguindo as regras de inferencia a partir de postulados e axiomas aceitos.E uma verdade analitica a frase na qual o predicado esta contido no sujeito. Por exemplo: "Todos os porcos sao mamiferos".3E uma verdade sintetica a frase na qual o predicado nao esta contido no sujeito.4Sofisma e todo tipo de discurso que se baseia num antecedente falso tentando chegar a uma conclusao logica valida.TEORIAS METAFISICAS DA VERDADEVerdadecomo correspondencia ou adequacaoA teoria correspondentista daverdade e encontrada no aristotelismo (incluindo o tomismo). De acordo com essa concepcao, a verdade e a adequacao entre aquilo que se da na realidade e aquilo que se da na mente. A verdade como correspondencia foi definida por Aristoteles no tratado Da Interpretacao, no qual ele analisa a formacao das frases suscetiveis de seremverdadeiras ou falsas. Uma frase e verdadeira quando diz que o que e e, ou queo que nao e nao e. Uma frase e falsa quando diz que o que e nao e, ou que o quenao e e. O problema dessa concepcao e entender o que significa correspondencia.E um tipo de semelhanca entre o que e e o que e dito? Mas, que tipo desemelhanca pode haver entre as palavras e as coisas? O metodo cientifico, por exemplo, estabelece procedimentos para se realizar essacorrespondencia. Nesse caso um juizo de verdade V e entao legitimado, de formatal que a comunidade de cientisitas (que partilham entre si conhecimento eexperiencias) aceita/certifica como verdadeira a proposicao P, oriunda dacorrespondencia realizada entre P(V) e a "realidade empirica", via metodocientifico.VERDADE POR CORRESPONDENCIAO conceito de verdade comocorrespondencia e o mais antigo e divulgado. Pressuposto por muitas das escolaspre-socraticas, foi pela primeira vez,explicitamente formulado por Platao com a definicao do discurso verdadeiro, no dialogo Cratilo:"Verdadeiro e o discurso que diz as coisas como sao; falso e aquele que asdiz como nao sao." (Crtas.,385b;v.Sof.,262 e; Fil.,37c). Por sua vezAristoteles dizia: "Negar aquilo que e, e afirmar aquilo que nao e, efalso, enquanto afirmar o que e e negar o que nao e, e a verdade." (Met. IV,7,1011b26 e segs.;v.V,29.1024b 25).Aristoteles enunciava tambemos dois teoremas fundamentais deste conceitoda verdade. O primeiro e que a verdade esta no pensamento ou na linguagem, nao no ser ou na coisa (Met. VI,4,1027 b 25). O segundo e que a medida da verdadee o ser ou a coisa, nao o pensamento ou o discurso: de modo que uma coisa nao ebranca porque se afirma com verdade que e assim; mas se afirma com verdade quee assim, porque ela e branca. (Met., IX, 10,1051 b 5).DESMENCAODe acordo com a teoriadesmencionista da verdade, para chegarmos a