SOBRE A VERDADE LÓGICA

SEGUINDO A CONCEPÇÃO TAUTOLÓGICA DA VERDADE LÓGICA, AS VERDADES LÓGICAS SÃO INDEPENDENTES DA REALIDADE, DA EXPERIÊNCIA, DO CONHECIMENTO. ASSIM, COMO DISSE WITTGENSTEIN, QUANDO SEI QUE CHOVE OU QUE NÃO CHOVE, NADA SEI DO OBJETO DO TEMPO QUE FAZ. AS VERDADES LÓGICAS SÃO OBVIEDADES, TRIVIALIDADES, TAUTOLOGIAS...SEGUNDO O ROBERT, UMA OBVIEDADE É UMA """"AFIRMAÇÃO EVIDENTE QUE FAZ RIR"""". IMAGINE-SE, POIS, AS REAÇÕES DE MATEMÁTICOS QUANDO ALGUNS PRETENDERAM QUE VERDADES MATEMÁTICAS NADA MAIS ERAM QUE TAUTOLOGIAS. HOJE A TESE LÓGICA NÃO ESTÁ MAIS À FRENTE DE CENA, ELA APARECE EM DESUSO...ENTRETANTO, DESEJAMOS MOSTRAR AQUI QUE NEM A DIVISÃO DA LÓGICA EM LÓGICAS NEM O ADVENTO DA SEMÂNTICA E DA TEORIA DOS MODELOS TRANSGRIDEM A CONCEPÇÃO TAUTOLÓGICA...NOSSA PROVA VAI DE ENCONTRO A UMA NOVA VERSÃO DA CONCEPÇÃO TAUTOLÓGICA DA VERDADE LÓGICA QUE SE APÓIA EM UM TRATAMENTO ESPECIAL DA QUANTIFICAÇÃO E NO QUE CHAMAMOS O MÉTODO REALISTA.