Sub specie aeternitatis

Detalhes bibliográficos
Autor(a) principal: Sautter, Frank Thomas
Data de Publicação: 2021
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/48099
Resumo: The formalization of pre-theoretical notions is not a science, but an art. This becomes evident when we have to decide what is indispensable and what is essential in the transition from the intuitive to the formal. I exemplify this type of difficulty with the formalization of an intuitive notion of a finite collection of objects. The observance of greater fidelity to the pre-theoretical notion, even if unnecessary from a formal perspective, resulted in two new definitions of finite set.
id PUC_SP-15_68a2c1097a2a101589c069b985dad31a
oai_identifier_str oai:ojs.pkp.sfu.ca:article/48099
network_acronym_str PUC_SP-15
network_name_str Cognitio (São Paulo. Online)
repository_id_str
spelling Sub specie aeternitatisSub Specie AeternitatisDefiniçãoFinitoFormalPré-teóricoTeoria dos ConjuntosDefinitionFiniteFormalPre-theoreticalSet theoryThe formalization of pre-theoretical notions is not a science, but an art. This becomes evident when we have to decide what is indispensable and what is essential in the transition from the intuitive to the formal. I exemplify this type of difficulty with the formalization of an intuitive notion of a finite collection of objects. The observance of greater fidelity to the pre-theoretical notion, even if unnecessary from a formal perspective, resulted in two new definitions of finite set.A formalização de noções pré-teóricas não é uma ciência, mas uma arte. Isso se evidencia quando temos de decidir o que é indispensável e o que é prescindível na passagem do intuitivo para o formal. Exemplifico esse tipo de dificuldade com a formalização de uma noção intuitiva de coleção finita de objetos. A observância de maior fidelidade à noção pré-teórica, mesmo que desnecessária da perspectiva formal, resultou em duas novas definições de conjunto finito.Pontifícia Universidade Católica de São Paulo2021-01-28info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/4809910.23925/2316-5278.2020v21i2p300-306Cognitio: Revista de Filosofia; Vol. 21 No. 2 (2020): Cognitio: Revista de Filosofia; 300-306Cognitio: Revista de Filosofia; v. 21 n. 2 (2020): Cognitio: Revista de Filosofia; 300-3062316-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/48099/34465Copyright (c) 2021 http://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessSautter, Frank Thomas2021-09-25T08:58:51Zoai:ojs.pkp.sfu.ca:article/48099Revistahttps://revistas.pucsp.br/index.php/cognitiofilosofiaPRIhttps://revistas.pucsp.br/index.php/cognitiofilosofia/oairevcognitio@gmail.com2316-52781518-7187opendoar:2021-09-25T08:58:51Cognitio (São Paulo. Online) - Pontifícia Universidade Católica de São Paulo (PUC-SP)false
dc.title.none.fl_str_mv Sub specie aeternitatis
Sub Specie Aeternitatis
title Sub specie aeternitatis
spellingShingle Sub specie aeternitatis
Sautter, Frank Thomas
Definição
Finito
Formal
Pré-teórico
Teoria dos Conjuntos
Definition
Finite
Formal
Pre-theoretical
Set theory
title_short Sub specie aeternitatis
title_full Sub specie aeternitatis
title_fullStr Sub specie aeternitatis
title_full_unstemmed Sub specie aeternitatis
title_sort Sub specie aeternitatis
author Sautter, Frank Thomas
author_facet Sautter, Frank Thomas
author_role author
dc.contributor.author.fl_str_mv Sautter, Frank Thomas
dc.subject.por.fl_str_mv Definição
Finito
Formal
Pré-teórico
Teoria dos Conjuntos
Definition
Finite
Formal
Pre-theoretical
Set theory
topic Definição
Finito
Formal
Pré-teórico
Teoria dos Conjuntos
Definition
Finite
Formal
Pre-theoretical
Set theory
description The formalization of pre-theoretical notions is not a science, but an art. This becomes evident when we have to decide what is indispensable and what is essential in the transition from the intuitive to the formal. I exemplify this type of difficulty with the formalization of an intuitive notion of a finite collection of objects. The observance of greater fidelity to the pre-theoretical notion, even if unnecessary from a formal perspective, resulted in two new definitions of finite set.
publishDate 2021
dc.date.none.fl_str_mv 2021-01-28
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/48099
10.23925/2316-5278.2020v21i2p300-306
url https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/48099
identifier_str_mv 10.23925/2316-5278.2020v21i2p300-306
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/48099/34465
dc.rights.driver.fl_str_mv Copyright (c) 2021 http://creativecommons.org/licenses/by/4.0/
info:eu-repo/semantics/openAccess
rights_invalid_str_mv Copyright (c) 2021 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. 21 No. 2 (2020): Cognitio: Revista de Filosofia; 300-306
Cognitio: Revista de Filosofia; v. 21 n. 2 (2020): Cognitio: Revista de Filosofia; 300-306
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_ 1803387422296244224

Registros relacionados