TEORIA DA RELATIVIDADE E LÓGICA TEMPORAL

A LÓGICA TEMPORAL SURGIU NO SÉCULO XX COMO UMA ALTERNATIVA À LIMITAÇÃO DA LÓGICA CLÁSSICA QUE NÃO LEVA EM CONTA O TEMPO VERBAL DAS SENTENÇAS EM SUA ANÁLISE DA NOÇÃO DE CONSEQUÊNCIA LÓGICA. A LÓGICA TEMPORAL, POR SUA VEZ, LEVA EM CONSIDERAÇÃO O TEMPO NA FORMALIZAÇÃO DE SENTENÇAS E ARGUMENTOS EM PELO MENOS DOIS ASPECTOS: 1) RECONHECENDO QUE CERTAS SENTENÇAS USUALMENTE MUDAM SEU VALOR DE VERDADE DE ACORDO COM O MOMENTO EM QUE SÃO ENUNCIADAS; 2) LEVANDO EM CONTA QUE EM ALGUNS CASOS, O TEMPO VERBAL DAS SENTENÇAS QUE COMPÕEM UM ARGUMENTO INFLUENCIA DIRETAMENTE NA DETERMINAÇÃO DA SUA VALIDADE OU INVALIDADE. ISSO LEVA MUITAS ABORDAGENS A CONSIDERAR QUE O MUNDO ESTÁ, DE ALGUM MODO, TEMPORALMENTE ESTRUTURADO. A FORMA COMO SE CARACTERIZA ESSA ESTRUTURA É ESSENCIAL PARA SE DETERMINAR COMO O VALOR DE VERDADE DE SENTENÇAS NA LÓGICA TEMPORAL DEPENDE DO TEMPO. CONCEPÇÕES DIFERENTES DE PASSAGEM DO TEMPO LEVAM A SISTEMAS LÓGICOS TEMPORAIS DISTINTOS. POR SER O TEMPO UM CONCEITO MUITO DISCUTIDO, PODEMOS ENCONTRAR INÚMERAS CONCEPÇÕES DE TEMPO AO LONGO DA HISTÓRIA DA FILOSOFIA E TAMBÉM DA FÍSICA. UMA DAS FORMAS DE SE PENSAR A PASSAGEM DO TEMPO PODE SER AQUELA DESCRITA DA TEORIA DA RELATIVIDADE RESTRITA, DESENVOLVIDA PELO FÍSICO ALBERT EINSTEIN. COMO VEREMOS, A NOÇÃO DE TEMPO NA TEORIA DA RELATIVIDADE DIFERE DAQUELE PENSADO NA FÍSICA CLÁSSICA E EM OUTRAS TEORIAS FÍSICAS, INCLUSIVE COM O SURGIMENTO DE ALGUNS “PARADOXOS” ACERCA DA PASSAGEM DO TEMPO. É ESTA CONCEPÇÃO DE TEMPO QUE INTERESSA-NOS INVESTIGAR, A FIM DE IDENTIFICAR UM SISTEMA LÓGICO TEMPORAL CAPAZ DE REPRESENTAR TAL CONCEPÇÃO DE TEMPO. ALGUNS ESFORÇOS JÁ FORAM FEITOS A FIM DE TENTAR COMPREENDER A ESTRUTURA LÓGICA DO TEMPO DA TEORIA DA RELATIVIDADE RESTRITA ATRAVÉS DO DESENVOLVIMENTO DE SISTEMAS LÓGICOS TEMPORAIS. FAREMOS UMA INVESTIGAÇÃO COM BASE NESTES ESFORÇOS A FIM DE OBTERMOS UM ESCLARECIMENTO MAIS ABRANGENTE DA CONCEPÇÃO DE TEMPO DA TEORIA DA RELATIVIDADE E SUA RELAÇÃO COM UMA LÓGICA TEMPORAL. UM TRABALHO DESTA NATUREZA É IMPORTANTE PARA SE COMPREENDER A ESTRUTURA LÓGICA DE UMA DAS TEORIAS MAIS CONHECIDAS DA FÍSICA MODERNA, E COMO A FILOSOFIA PODE CONTRIBUIR NA COMPREENSÃO DE ASPECTOS DA FÍSICA, ATRAVÉS DE APLICAÇÕES DA LÓGICA TEMPORAL.