Esta iniciação científica foi parte de um projeto de pesquisa maior sobre a questão da natureza das teorias científicas e, mais geralmente, sobre fundamentos de ciência e aplicações de métodos formais em ciência. Este primeiro estudo foi dividido em duas etapas: uma etapa de revisão da literatura e uma outra mais técnica, matemática.

O ponto de partida escolhido, após a revisão da literatura, motivados pelo debate sobre teorias, foi estudar a relação entre sintaxe e semântica de um ponto de vista formal. Para isso, analisamos alguns trabalhos do filósofo e lógico Hans Halvorson, expoente contemporâneo no que diz respeito a fundamentos de ciência e métodos formais em filosofia. 

Dentro do tema do trabalho, sobre a natureza das teorias científicas, nosso objetivo principal foi estudar o debate sintaxe-semântica no contexto de teorias e, usando um resultado formal conhecido como Dualidade de Stone, como feito em The Logic in Philosophy of Science de Hans Halvorson, mostrar que as distinções, de um ponto de vista formal, entre sintaxe e semântica, são ilusórias.

A abordagem metodológica de pesquisa escolhida durante o projeto, lembrando que houve a pandemia da COVID, foi a leitura dos textos e discussões semanais por webconferência. Nas discussões, o conteúdo lido/estudado era apresentado e comparado com resultados obtidos anteriormente ou da literatura.

Abaixo é apresentado um esquema aproximado de como as atividades foram divididas durante o projeto:

• agosto/2021 até outubro/2021: Visão Recebida de teorias científicas
• novembro/2021 até dezembro/2022: Revisão de Metalógica
• janeiro/2021 até março/2022: Teoria Elementar da Categoria Set
• março/2021 até abril/2022: Categoria das teorias e traduções, Th
• abril/2021 até julho/2022: Dualidades e Dualidade de Stone