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

Detalhes bibliográficos
Autor(a) principal: Costa, Vítor Medeiros
Data de Publicação: 2024
Tipo de documento: Tese
Idioma: por
Título da fonte: Repositório Institucional da UFSC
Texto Completo: https://repositorio.ufsc.br/handle/123456789/255051
Resumo: Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa Programa de Pós-Graduação em Filosofia, Florianópolis, 2024.
id UFSC_99bffe8c345b830c95501a00e7f56d7f
oai_identifier_str oai:repositorio.ufsc.br:123456789/255051
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str 2373
spelling 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óricasFilosofiaConhecimentoLógicaCiênciaHistóriaTese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa Programa de Pós-Graduação em Filosofia, Florianópolis, 2024.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.Arenhart, Jonas Rafael BeckerUniversidade Federal de Santa CatarinaCosta, Vítor Medeiros2024-04-27T23:23:55Z2024-04-27T23:23:55Z2024info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesis386 p.| grafs.application/pdf386817https://repositorio.ufsc.br/handle/123456789/255051porreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccess2024-04-27T23:23:55Zoai:repositorio.ufsc.br:123456789/255051Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestopendoar:23732024-04-27T23:23:55Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.none.fl_str_mv 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
title 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
spellingShingle 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
Costa, Vítor Medeiros
Filosofia
Conhecimento
Lógica
Ciência
História
title_short 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
title_full 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
title_fullStr 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
title_full_unstemmed 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
title_sort 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
author Costa, Vítor Medeiros
author_facet Costa, Vítor Medeiros
author_role author
dc.contributor.none.fl_str_mv Arenhart, Jonas Rafael Becker
Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Costa, Vítor Medeiros
dc.subject.por.fl_str_mv Filosofia
Conhecimento
Lógica
Ciência
História
topic Filosofia
Conhecimento
Lógica
Ciência
História
description Tese (doutorado) - Universidade Federal de Santa Catarina, Centro de Filosofia e Ciências Humanas, Programa Programa de Pós-Graduação em Filosofia, Florianópolis, 2024.
publishDate 2024
dc.date.none.fl_str_mv 2024-04-27T23:23:55Z
2024-04-27T23:23:55Z
2024
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/doctoralThesis
format doctoralThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv 386817
https://repositorio.ufsc.br/handle/123456789/255051
identifier_str_mv 386817
url https://repositorio.ufsc.br/handle/123456789/255051
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 386 p.| grafs.
application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv
_version_ 1808651998837342208

Registros relacionados