Mathematical Symbolic Logic
Mostrando 1-8 de 8 artigos, teses e dissertações.
-
1. Os modelos na ciência: traços da evolução histórico-epistemológica
Resumo O que é um modelo? Neste artigo apresentamos alguns aspectos históricos e epistemológicos da noção de modelo desde sua inserção na ciência até a sua concepção mais contemporânea. O cenário é limitado às ciências formais e factuais. Analisando algumas discussões entre filósofos da ciência e cientistas, a respeito das diferentes noç�
Rev. Bras. Ensino Fís.. Publicado em: 10/06/2019
-
2. Sobre os fundamentos de programação lógica paraconsistente / On the foundations of paraconsistent logic programming
A Programação Lógica nasce da interação entre a Lógica e os fundamentos da Ciência da Computação: teorias de primeira ordem podem ser interpretadas como programas de computador. A Programação Lógica tem sido extensamente utilizada em ramos da Inteligência Artificial tais como Representação do Conhecimento e Raciocínio de Senso Comum. Esta apr
Publicado em: 2010
-
3. Multimodalidades anodicas e catodicas : a negação controlada em logicas multimodais e seu poder expressivo
O presente trabalho tem por objetivo investigar o papel da negação no âmbito das modalidades, de forma a poder esclarecer até que ponto a negação pode ser atenuada, controlada ou mesmo totalmente eliminada em favor da melhor expressabilidade lógica de certas teorias, asserções ou raciocínios que sofrem os efeitos da negação. Contudo, atenuar ou e
Publicado em: 2009
-
4. Os fundamentos do pensamento matematico no seculo XX e a relevancia fundacional da teoria de modelos / The foudations of mathematical thought in the twentieth century and the foundational relevance of model theory
The aim of the present Thesis is to bring some light to the question about the status and relevance of Model Theory to a reflection about the mathematical knowledge in the twentieth century. To pursue this target, we will, first of all, try to reach a comprehension of the reflection about the mathematical knowledge, itself, what will be designated as Foundat
Publicado em: 2009
-
5. Concetivos flexiveis : uma abordagem categorial as semanticas de traduções possives
We present a general study of a new formalism of decomposition of logics, the Possible- Translations Coverings (in short PTC s) which constitute a formal version of Possible-Translations Semantics, introduced by W. Carnielli in 1990. We show how the adoption of a more general notion of propositional signatures morphism allows us to define a category Sigω
Publicado em: 2008
-
6. Uma visita ao universo matemático de Lewis Carrol e o (re)encontro com sua lógica do nonsense
Notable mathematics teacher, Lewis Carroll, pseudonym of Charles Lutwidge Dodgson (1832-1898), made the mixture of mathematics with literature a ludic environment for learning that discipline. Author of Alices Adventures In Wonderland and its sequel Alice Through The Looking Glass, he eventually created a real and complex universe which uses what we call the
Publicado em: 2007
-
7. Representação e combinação de logicas : questões conceituais / Representatain and combination of logics : conceptual questions
Visando a atingir um esclarecimento sobre os conceitos fundamentais envolvidos no estudo das combinações entre lógicas, empreendemos uma alise do problema da representação geral de sistemas lógicos (com ênfase no conceito central de conseqüência lógica), juntamente com o do estabelecimento de uma noção apropriada de tradução ou morfismo entre o
Publicado em: 2007
-
8. Representação e combinação de logicas : questões conceituais / Representatain and combination of logics : conceptual questions
Visando a atingir um esclarecimento sobre os conceitos fundamentais envolvidos no estudo das combinações entre lógicas, empreendemos uma alise do problema da representação geral de sistemas lógicos (com ênfase no conceito central de conseqüência lógica), juntamente com o do estabelecimento de uma noção apropriada de tradução ou morfismo entre o
Publicado em: 2007