???item.export.label??? ???item.export.type.endnote??? ???item.export.type.bibtex???

Please use this identifier to cite or link to this item: https://tede2.pucsp.br/handle/handle/11703
Tipo do documento: Tese
Título: Sobre o conceito semântico de satisfação
Autor: Alves, Carlos Roberto Teixeira 
Primeiro orientador: Ibri, Ivo Assad
Resumo: Este trabalho tem por objetivo mostrar o tratamento atual da noção semântica de satisfatibilidade para as lógicas de primeira ordem, os problemas relevantes da solução de Tarski para definir essa noção no caso, o uso de sequências infinitas para a satisfação das fórmulas , e propor uma alternativa que contorne esse problema. A noção estabelecida por Tarski tornou-se, nas discussões a respeito do tema, a solução padrão e resultou em ferramentas ricas para operar com as linguagens, em especial ferramentas como a Teoria dos Modelos. No entanto, de um ponto de vista filosófico, é sadio ampliar as perspectivas e olhar o problema sob uma dimensão nova. Nossa proposta é superar a ideia contraintuitiva de elencarmos sequências infinitas de objetos para satisfação das formulas finitas, sabendo que essas sequências infinitas são compostas quase que totalmente de termos supérfluos , dispensáveis no processo de satisfação, mas que devem e são enumerados e indexados no processo. Seria interessante solucionar a questão envolvendo sequências sem termos supérfluos . Proporemos uma estrutura de linguagem de primeira ordem que dispensa variáveis e constantes. A noção de satisfação nesse caso é distinta, o que amplia as possibilidades e fornece uma alternativa à satisfação por sequências infinitas. No fim, mostraremos como nossa solução consegue produzir a satisfação de fórmulas de uma linguagem de primeira ordem dentro de uma estrutura interpretada onde a satisfação ocorre segundo certos critérios específicos e consegue ser realizada por sequências finitas, diferindo essencialmente da solução de Tarski
Abstract: This work aims to show the current treatment of the semantic notion of satisfiability to the logic of the first order, the relevant problems of Tarski's solution to define this notion - in this case, the use of infinite sequences to satisfy the formulas - and propose an alternative to circumvent this problem. The notion established by Tarski became, in discussions on the subject, standard solution and resulted in rich tools to work with the languages, in particular tools such as the Theory of Models. However, from a philosophical point of view, it is very important to broaden perspectives and look at the problem from a new dimension. Our proposal is to avoid the counterintuitive idea of using infinite sequences of objects to satisfy the finite formulas, knowing that these infinite sequences are composed almost entirely of 'superfluous terms', expendable in the process of satisfaction, but they should and are listed and indexed in the process. It would be interesting to solve the issue involving sequences without 'superfluous terms'. We propose a structure of first-order language that dispenses variables and constants. The notion of satisfaction in this case is distinct, which increases the possibilities and provides an alternative to the satisfaction of infinite sequences. In the end, we show how our solution can produce the satisfaction of formulas of a first-order language within a framework where satisfaction is interpreted according to certain specific criteria and can be performed by finite sequences, differing essentially from Tarski solution
Palavras-chave: Satisfatibilidade
Tarski
Lógica de primeira ordem
Sequências finitas
Estruturas relacionais
Critérios de satisfação
Satisfiability
Tarski
First-order logic
Finite sequences
Relational structures
Criteria s satisfaction
Área(s) do CNPq: CNPQ::CIENCIAS HUMANAS::FILOSOFIA
Idioma: por
País: BR
Instituição: Pontifícia Universidade Católica de São Paulo
Sigla da instituição: PUC-SP
Departamento: Filosofia
Programa: Programa de Estudos Pós-Graduados em Filosofia
Citação: Alves, Carlos Roberto Teixeira. Sobre o conceito semântico de satisfação. 2015. 94 f. Tese (Doutorado em Filosofia) - Pontifícia Universidade Católica de São Paulo, São Paulo, 2015.
Tipo de acesso: Acesso Aberto
URI: https://tede2.pucsp.br/handle/handle/11703
Data de defesa: 14-Dec-2015
Appears in Collections:Programa de Estudos Pós-Graduados em Filosofia

Files in This Item:
File Description SizeFormat 
Carlos Roberto Teixeira Alves.pdf1,3 MBAdobe PDFThumbnail

Download/Open Preview


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.