A HISTÓRIA ENQUANTO ESTÁ SENDO CONHECIDA. ESTRUTURAS TEMPORAIS COM PASSADO RAMIFICADO, LÓGICA DE ANÚNCIOS HISTÓRICOS E UMA TEORIA FORMAL SOBRE CONSENSOS E ATUALIZAÇÕES EM CIÊNCIAS HISTÓRICAS

ESTA TESE ELABORA UMA ANÁLISE FILOSÓFICA E UMA NOVA INTERPRETAÇÃO LÓGICO-MATEMÁTICA DA NOÇÃO DE CONHECIMENTO HISTÓRICO ENQUANTO CONHECIMENTO CIENTÍFICO ACERCA DE FATOS INSTANCIADOS NO TEMPO. TAL INTERPRETAÇÃO É FORMULADA DE MODO INDIRETO, UTILIZANDO PROPOSIÇÕES EM UMA ESTRUTURA TEMPORAL RAMIFICADA DEFINIDA EM UMA VERSÃO ESTÁTICA E, DEPOIS, TAMBÉM EM UMA VERSÃO DINÂMICA; DAS DUAS MANEIRAS, É USADA UMA LINGUAGEM QUE POSSA TRADUZIR CONSENSOS OU DISSENSOS ACERCA DESSAS PROPOSIÇÕES NO TEMPO. ASSIM, A ANÁLISE OBJETIVA CAPTURAR TANTO A DIFERENÇA ENTRE CONSENSO E DISSENSO ACERCA DE FATOS HISTÓRICOS QUANTO TAMBÉM A DINÂMICA DO PROGRESSO DO CONHECIMENTO EM CIÊNCIAS HISTÓRICAS, TAIS COMO A ARQUEOLOGIA, A PALEONTOLOGIA, A GEOLOGIA E A COSMOLOGIA, SOB A HIPÓTESE DE QUE PROPOSIÇÕES ANTES CONSIDERADAS PROVÁVEIS POR CIENTISTAS DESSAS ÁREAS POSSAM SER FALSEADAS À LUZ DE NOVAS EVIDÊNCIAS AMPLAMENTE ACEITAS NA COMUNIDADE CIENTÍFICA. MEDIANTE CONCEITOS DA FILOSOFIA DA CIÊNCIA E DA FILOSOFIA DA LINGUAGEM, ESTRUTURAS DE KRIPKE, MODIFICAÇÃO TEMPORAL PEIRCIANA, MODALIDADES TEMPORAIS DE PRIOR, TEORIA DOS JOGOS E UMA INTERPRETAÇÃO DA LÓGICA DO ANÚNCIO PÚBLICO, ESTA TESE INVESTIGA, EM TERMOS GERAIS E ABSTRATOS, AS NOÇÕES DE FATO E TEMPO HISTÓRICO, BEM COMO OS PRESSUPOSTOS PARA UMA VERSÃO METAFISICAMENTE NEUTRA DE CONHECIMENTO HISTÓRICO E DE CONSENSO NAS CIÊNCIAS HISTÓRICAS; FINALMENTE, CONSTRÓI E ESTUDA DUAS NOVAS FAMÍLIAS DE SISTEMAS LÓGICOS DE TEMPO COM RAMIFICAÇÃO: OS SISTEMAS DE CONSENSO PEIRCIANO PC E OS SISTEMAS DE LÓGICA DO ANÚNCIO HISTÓRICO HAL, ALÉM DE UMA FUSÃO DE AMBOS POR UMA SEMÂNTICA BITEMPORAL (COM HISTÓRIAS PROVÁVEIS E HISTÓRIAS POSSÍVEIS). OS SISTEMAS PC SÃO DEFINIDOS A PARTIR DE UMA GENERALIZAÇÃO PARA AMBAS AS DIREÇÕES DO TEMPO (PASSADO E FUTURO) DA LÓGICA DE TEMPO DE RAMIFICAÇÃO PEIRCIANA; ENQUANTO QUE OS SISTEMAS HAL SÃO DEFINIDOS A PARTIR DE UMA RELEITURA DA LÓGICA DO ANÚNCIO PÚBLICO, ADAPTANDO-A PARA UM CONTEXTO DE LÓGICA TEMPORAL. E A SEMÂNTICA BITEMPORAL SURGE AO SE PERMITIR DOIS CONJUNTOS DE INSTANTES DE TEMPO (UM SUBCONJUNTO DO OUTRO), DE MODO QUE O SUBCONJUNTO DE INSTANTES CHAMADOS PROVÁVEIS SÃO AQUELES RELACIONADOS A EVENTOS QUE PODEM TER OCORRIDO, ENQUANTO QUE O SUBCONJUNTO DE INSTANTES MERAMENTE POSSÍVEIS (OU IMPROVÁVEIS) SÃO AQUELES DE EVENTOS CONTRAFACTUAIS. CONCLUSIVAMENTE, A SEMÂNTICA BITEMPORAL PROPOSTA E OS DIFERENTES SISTEMAS NAS MENCIONADAS DUAS NOVAS FAMÍLIAS DE LÓGICAS MOSTRAM-SE ÚTEIS PARA ARREGIMENTAR MATEMATICAMENTE DIFERENTES CONCEPÇÕES DE CONHECIMENTO HISTÓRICO E SEU PROGRESSO, BEM COMO PARA ESTUDAR LOGICAMENTE FORMAS VÁLIDAS DE INFERÊNCIA (EM SENTIDO CLÁSSICO) QUE ENVOLVAM CONHECIMENTOS DESCRITIVOS OU EXPLICATIVOS EM NÍVEL PROPOSICIONAL NAS CIÊNCIAS HISTÓRICAS.