Estruturas, Modelos e os Fundamentos da Abordagem Semântica

• Autor(a) principal: Arenhart, Jonas R. Becker
• Data de Publicação: 2010
• Outros Autores: Moraes, Fernando T. F.
• Tipo de documento: Artigo
• Idioma: por
• Título da fonte: Principia (Florianópolis. Online)
• Texto Completo: https://periodicos.ufsc.br/index.php/principia/article/view/1808-1711.2010v14n1p15

In this paper, gathering several topics present in the work of Newton da Costa, we propose a rigorous foundation for a possible formulation of scientific theories according to the semantic approach. Following da Costa, as a first step we develop a general theory of structures; inside this theory we show how we can characterize formal languages as particular kinds of structures, more specifically, as free algebras. Next we discuss how we can link a language to a structure, with which we can formulate the axioms that are intended to capture the theory of the structure. Finally, we show how we can, employing the framework developed, formulate da Costa and Chaqui’s formalization of the so-called Suppes’ Predicate, used to characterize scientific theories in a rigorous way.