Spelling suggestions: "subject:"sequências finita"" "subject:"fequências finita""
1 |
Sobre o conceito semântico de satisfaçãoAlves, Carlos Roberto Teixeira 14 December 2015 (has links)
Made available in DSpace on 2016-04-27T17:27:13Z (GMT). No. of bitstreams: 1
Carlos Roberto Teixeira Alves.pdf: 1331347 bytes, checksum: cebe03a83120937101a3595710844df2 (MD5)
Previous issue date: 2015-12-14 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / 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 / 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
|
Page generated in 0.0583 seconds