Quasi-Set Semantics and Ontological Compromise

Detalhes bibliográficos
Autor(a) principal: Arenhart, Jonas R. Becker
Data de Publicação: 2013
Outros Autores: Krause, Décio
Tipo de documento: Artigo
Idioma: por
Título da fonte: Cognitio (São Paulo. Online)
Texto Completo: https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/12868
Resumo: In this paper we will present a Tarski-like Semantics for first-orderlanguages by resorting to a theory of quasi-sets as meta-language. The objectiveis to allow that undistinguishable, though not identical, objects – in the sensedealt with by this theory –, appear in the domain of interpretation and may be values of variables in the Quinean sense. Thus, besides changing theinterpretation of symbols as the identity and the non-logical constants oflanguage, this Semantics will allow us to discuss – in a strict manner – thepossibility of relativizing the famous criterion of Quine’s OntologicalCompromise, according to which, without getting into minute details, a theoryexpressed in first-order language is compromised with the entities that oughtto be in the domain of interpretation so that the formula in question is trueand that such entities must ‘have identity’. As we shall see, by changing thismeta-language theory, we will change the kinds of objects that can belong tothe domain of interpretation.
id PUC_SP-15_33940ac1511be21a1880c75964b583fc
oai_identifier_str oai:ojs.pkp.sfu.ca:article/12868
network_acronym_str PUC_SP-15
network_name_str Cognitio (São Paulo. Online)
repository_id_str
spelling Quasi-Set Semantics and Ontological CompromiseSemântica Quase-conjuntista e Compromisso OntológicoSemanticsQuasi-setsIdentitySemânticaQuase-conjuntosIdentidade.In this paper we will present a Tarski-like Semantics for first-orderlanguages by resorting to a theory of quasi-sets as meta-language. The objectiveis to allow that undistinguishable, though not identical, objects – in the sensedealt with by this theory –, appear in the domain of interpretation and may be values of variables in the Quinean sense. Thus, besides changing theinterpretation of symbols as the identity and the non-logical constants oflanguage, this Semantics will allow us to discuss – in a strict manner – thepossibility of relativizing the famous criterion of Quine’s OntologicalCompromise, according to which, without getting into minute details, a theoryexpressed in first-order language is compromised with the entities that oughtto be in the domain of interpretation so that the formula in question is trueand that such entities must ‘have identity’. As we shall see, by changing thismeta-language theory, we will change the kinds of objects that can belong tothe domain of interpretation.Neste trabalho apresentaremos uma semântica de estilo tarskiano para linguagens de primeira ordem, utilizando-nos de uma teoria de quase-conjuntos como metalinguagem. O objetivo é permitir que objetos indistinguíveis mas não idênticos, no sentido tratado por esta teoria, figurem no domínio de interpretação e possam ser valores de variáveis no sentido quiniano. Desse modo, além de alterar a interpretação de símbolos como a identidade e as constantes não lógicas da linguagem, esta semântica nos permite discutir de modo rigoroso a possibilidade de relativizarmos o famoso critério de compromisso ontológico de Quine, segundo o qual, grosso modo, uma teoria expressa em linguagem de primeira ordem está comprometida com as entidades que devem estar no domínio de interpretação para que a fórmula em questão seja verdadeira, e que essas entidades devem ser "dotadas de identidade". Como veremos, mudando a teoria da metalinguagem, mudamos os tipos de objetos que podem pertencer ao domínio de interpretação.Pontifícia Universidade Católica de São Paulo2013-01-24info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/12868Cognitio: Revista de Filosofia; Vol. 10 No. 2 (2009); 191-207Cognitio: Revista de Filosofia; v. 10 n. 2 (2009); 191-2072316-52781518-7187reponame:Cognitio (São Paulo. Online)instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)instacron:PUC_SPporhttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/12868/9371Copyright (c) 2013 http://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessArenhart, Jonas R. BeckerKrause, Décio2024-07-01T13:09:30Zoai:ojs.pkp.sfu.ca:article/12868Revistahttps://revistas.pucsp.br/index.php/cognitiofilosofiaPRIhttps://revistas.pucsp.br/index.php/cognitiofilosofia/oairevcognitio@gmail.com2316-52781518-7187opendoar:2024-07-01T13:09:30Cognitio (São Paulo. Online) - Pontifícia Universidade Católica de São Paulo (PUC-SP)false
dc.title.none.fl_str_mv Quasi-Set Semantics and Ontological Compromise
Semântica Quase-conjuntista e Compromisso Ontológico
title Quasi-Set Semantics and Ontological Compromise
spellingShingle Quasi-Set Semantics and Ontological Compromise
Arenhart, Jonas R. Becker
Semantics
Quasi-sets
Identity
Semântica
Quase-conjuntos
Identidade.
title_short Quasi-Set Semantics and Ontological Compromise
title_full Quasi-Set Semantics and Ontological Compromise
title_fullStr Quasi-Set Semantics and Ontological Compromise
title_full_unstemmed Quasi-Set Semantics and Ontological Compromise
title_sort Quasi-Set Semantics and Ontological Compromise
author Arenhart, Jonas R. Becker
author_facet Arenhart, Jonas R. Becker
Krause, Décio
author_role author
author2 Krause, Décio
author2_role author
dc.contributor.author.fl_str_mv Arenhart, Jonas R. Becker
Krause, Décio
dc.subject.por.fl_str_mv Semantics
Quasi-sets
Identity
Semântica
Quase-conjuntos
Identidade.
topic Semantics
Quasi-sets
Identity
Semântica
Quase-conjuntos
Identidade.
description In this paper we will present a Tarski-like Semantics for first-orderlanguages by resorting to a theory of quasi-sets as meta-language. The objectiveis to allow that undistinguishable, though not identical, objects – in the sensedealt with by this theory –, appear in the domain of interpretation and may be values of variables in the Quinean sense. Thus, besides changing theinterpretation of symbols as the identity and the non-logical constants oflanguage, this Semantics will allow us to discuss – in a strict manner – thepossibility of relativizing the famous criterion of Quine’s OntologicalCompromise, according to which, without getting into minute details, a theoryexpressed in first-order language is compromised with the entities that oughtto be in the domain of interpretation so that the formula in question is trueand that such entities must ‘have identity’. As we shall see, by changing thismeta-language theory, we will change the kinds of objects that can belong tothe domain of interpretation.
publishDate 2013
dc.date.none.fl_str_mv 2013-01-24
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/12868
url https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/12868
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/12868/9371
dc.rights.driver.fl_str_mv Copyright (c) 2013 http://creativecommons.org/licenses/by/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2013 http://creativecommons.org/licenses/by/4.0/
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
publisher.none.fl_str_mv Pontifícia Universidade Católica de São Paulo
dc.source.none.fl_str_mv Cognitio: Revista de Filosofia; Vol. 10 No. 2 (2009); 191-207
Cognitio: Revista de Filosofia; v. 10 n. 2 (2009); 191-207
2316-5278
1518-7187
reponame:Cognitio (São Paulo. Online)
instname:Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron:PUC_SP
instname_str Pontifícia Universidade Católica de São Paulo (PUC-SP)
instacron_str PUC_SP
institution PUC_SP
reponame_str Cognitio (São Paulo. Online)
collection Cognitio (São Paulo. Online)
repository.name.fl_str_mv Cognitio (São Paulo. Online) - Pontifícia Universidade Católica de São Paulo (PUC-SP)
repository.mail.fl_str_mv revcognitio@gmail.com
_version_ 1803387420422438913