Return to search

Um sistema de Gentzen para Cálculos com Identidade Parcial e Universos Abertos / A Gentzen System for Calculations Partial identity and Open Universes

Os sistemas Q1 e Q2, desenvolvidos por Andréa Lopari?, perfazem três principais modificações na semântica clássica: primeiramente, o universo do discurso pode não estar limitado aos objetos que pertencem ao domínio de uma dada estrutura; em segundo lugar, a relação de identidade é determinada como a diagonal desse domínio (assim, tal relação pode não ser aplicável a todas as coisas sobre as quais a linguagem possa falar); em terceiro lugar, o quantificador existencial, em Q1, bem como o universal, em Q2, podem alcançar valores que estejam fora do domínio da estrutura. Como consequência, embora definida classicamente, a negação apresenta alguns comportamentos não clássicos - a negação de um predicado numa fórmula atômica, por exemplo, pode caracterizar algo maior que, e não tão bem definido quanto, o complemento da extensão desse predicado relativamente ao domínio. [...]. / The systems Q1 and Q2, developed by Andréa Lopari?, make up three main changes in classical semantics: first, the universe of discourse can be not limited by the objects that belongs to the domain of a given structure; second, the relation of identity is fixed as a diagonal of this domain (so, it may be not applicable to all things about what the language can speak); third, the existential quantifier in Q1, as well as the universal in Q2, may capture values out of the domain of the structure. As a consequence, although classically defined, the negation presents some non-classical behavior - a negated predicate in an atomic formula, for instance, may characterize something larger and not as well defined as the complement of the extension of this predicate relatively to the domain. [...].

Identiferoai:union.ndltd.org:usp.br/oai:teses.usp.br:tde-21072010-112112
Date22 June 2010
CreatorsMazak, Rene Pierre Maximilian Eduard
ContributorsLoparic, Andrea Maria Altino de Campos
PublisherBiblioteca Digitais de Teses e Dissertações da USP
Source SetsUniversidade de São Paulo
LanguagePortuguese
Detected LanguagePortuguese
TypeDissertação de Mestrado
Formatapplication/pdf
RightsLiberar o conteúdo para acesso público.

Page generated in 0.0023 seconds