Quantifiers and the Foundations of Quasi-Set Theory

Neste artigo discutimos algumas questões propostas por Newton da Costa relacionadas aos fundamentos da teoria de quase-conjuntos. Seus questionamentos aqui considerados tratam da possibilidade de uma compreenão semântica da teoria, principalmente devido ao fato de que identidade e diferença podem nã...

Full description

Bibliographic Details
Main Authors: Jonas R. Becker Arenhart, Décio Krause
Format: Article
Language:English
Published: Universidade Federal de Santa Catarina 2009-01-01
Series:Principia: An International Journal of Epistemology
Online Access:https://periodicos.ufsc.br/index.php/principia/article/view/19673
Description
Summary:Neste artigo discutimos algumas questões propostas por Newton da Costa relacionadas aos fundamentos da teoria de quase-conjuntos. Seus questionamentos aqui considerados tratam da possibilidade de uma compreenão semântica da teoria, principalmente devido ao fato de que identidade e diferença podem não ser aplicáveis para algumas das entidades no domínio pretendido da teoria. De acordo com ele, o modo usual de se compreender os quantificadores utilizados na teoria depende da hipótese de que a identidade deve valer para todas as entidades no domínio de discurso. Inspirados pelas suas questões, sugerimos que essas dificuldades podem ser superadas tanto em um nível formal quanto em um nível informal, mostrando como a quantificação sobre itens para os quais a identidade não faz sentido pode ser entendida sem pressupor uma semântica baseada em uma teoria de ‘clássica’ de conjuntos.
ISSN:1414-4247
1808-1711