A história enquanto está sendo conhecida: estruturas com passado ramificado, lógica do anúncio histórico e uma teoria formal sobre consensos e atualizações em ciências históricas

Abstract

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, ramificação temporal peirciana, modalidades temporais de Prior, Teoria dos Jogos e uma reinterpretaçã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.

Abstract: This thesis elaborates a philosophical analysis and a new logical-mathematical interpretation of the notion of historical knowledge as scientific knowledge about facts instantiated in time. Such an interpretation is formulated indirectly, using propositions in a branched temporal structure defined in a static version and then also in a dynamic version; in both ways, a language is used that can translate consensus or dissent about these propositions in time. Thus, the analysis aims to capture both the difference between consensus and dissent about historical facts and also the dynamics of the progress of knowledge in historical sciences, such as Archaeology, Paleontology, Geology and Cosmology, under the hypothesis that propositions previously considered probable by scientists in these areas can be falsified in the light of new evidence widely accepted in the scientific community. Using concepts from Philosophy of Science and Philosophy of Language, Kripke's frameworks, Peircian temporal branching, Prior's temporal modalities, Game Theory and a reinterpretation of the public announcement logic, this thesis investigates, in general and abstract terms, the notions of historical fact and time, as well as the presuppositions for a metaphysically neutral version of historical knowledge and consensus in the historical sciences; finally, it constructs and studies two new families of logical systems of time with branching: the systems of Peircian consensus PC and the systems of historical announcement logic HAL, as well as a fusion of both by a bi-temporal semantics (with probable histories and possible histories). The PC systems are defined from a generalization to both directions of time (past and future) of the Peircian branching time logic; while the HAL systems are defined from a re-reading of the public announcement logic, adapting it to a temporal logic context. And bi-temporal semantics arises from allowing two sets of time instants (one subset of the other), so that the subset of so-called probable instants are those related to events that may have occurred, while the subset of merely possible (or improbable) instants are those of counterfactual events. In conclusion, the proposed bi-temporal semantics and the different systems in the aforementioned two new families of logics are useful for mathematically aggregating different conceptions of historical knowledge and its progress, as well as for logically studying valid forms of inference (in the classical sense) that involve descriptive or explanatory knowledge at the propositional level in the historical sciences.