Logical Consequence and Invariance

Detalhes bibliográficos
Autor(a) principal: Souza, Edelcio G. de
Data de Publicação: 2013
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/13547
Resumo: We present informal definitions of the concept of logical consequence and other correlate concepts and we show some properties of them. In the following, using the notion of valuation structure, we redefine those concepts and prove that they are invariant under the group of automorphism of these structures. Finally, we discuss the notion of invariance in first order general structures.
id PUC_SP-15_284c03f7f5d166139953572d8649d34f
oai_identifier_str oai:ojs.pkp.sfu.ca:article/13547
network_acronym_str PUC_SP-15
network_name_str Cognitio (São Paulo. Online)
repository_id_str
spelling Logical Consequence and InvarianceConseqüência Lógica e InvariânciaConseqüência lógicaValoraçõesAutomorfismosInvariânciaLogical consequenceValuationAutomorphismInvarianceWe present informal definitions of the concept of logical consequence and other correlate concepts and we show some properties of them. In the following, using the notion of valuation structure, we redefine those concepts and prove that they are invariant under the group of automorphism of these structures. Finally, we discuss the notion of invariance in first order general structures.Apresentamos definições informais do conceito de conseqüência lógica e outros conceitos correlatos e extraímos algumas propriedades das mesmas. A seguir, utilizando-se a noção de estrutura valorativa, os conceitos são precisamente redefinidos e provamos que eles são invariantes pelo grupo de automorfismos dessas estruturas. Finalmente, discutimos a noção de invariância em estruturas mais gerais de primeira ordem.Pontifícia Universidade Católica de São Paulo2013-02-01info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionapplication/pdfhttps://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/13547Cognitio: Revista de Filosofia; Vol. 7 No. 2 (2006); 207-216Cognitio: Revista de Filosofia; v. 7 n. 2 (2006); 207-2162316-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/13547/10061Copyright (c) 2013 http://creativecommons.org/licenses/by/4.0/info:eu-repo/semantics/openAccessSouza, Edelcio G. de2024-07-01T13:09:36Zoai:ojs.pkp.sfu.ca:article/13547Revistahttps://revistas.pucsp.br/index.php/cognitiofilosofiaPRIhttps://revistas.pucsp.br/index.php/cognitiofilosofia/oairevcognitio@gmail.com2316-52781518-7187opendoar:2024-07-01T13:09:36Cognitio (São Paulo. Online) - Pontifícia Universidade Católica de São Paulo (PUC-SP)false
dc.title.none.fl_str_mv Logical Consequence and Invariance
Conseqüência Lógica e Invariância
title Logical Consequence and Invariance
spellingShingle Logical Consequence and Invariance
Souza, Edelcio G. de
Conseqüência lógica
Valorações
Automorfismos
Invariância
Logical consequence
Valuation
Automorphism
Invariance
title_short Logical Consequence and Invariance
title_full Logical Consequence and Invariance
title_fullStr Logical Consequence and Invariance
title_full_unstemmed Logical Consequence and Invariance
title_sort Logical Consequence and Invariance
author Souza, Edelcio G. de
author_facet Souza, Edelcio G. de
author_role author
dc.contributor.author.fl_str_mv Souza, Edelcio G. de
dc.subject.por.fl_str_mv Conseqüência lógica
Valorações
Automorfismos
Invariância
Logical consequence
Valuation
Automorphism
Invariance
topic Conseqüência lógica
Valorações
Automorfismos
Invariância
Logical consequence
Valuation
Automorphism
Invariance
description We present informal definitions of the concept of logical consequence and other correlate concepts and we show some properties of them. In the following, using the notion of valuation structure, we redefine those concepts and prove that they are invariant under the group of automorphism of these structures. Finally, we discuss the notion of invariance in first order general structures.
publishDate 2013
dc.date.none.fl_str_mv 2013-02-01
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/13547
url https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/13547
dc.language.iso.fl_str_mv por
language por
dc.relation.none.fl_str_mv https://revistas.pucsp.br/index.php/cognitiofilosofia/article/view/13547/10061
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. 7 No. 2 (2006); 207-216
Cognitio: Revista de Filosofia; v. 7 n. 2 (2006); 207-216
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_ 1803387421230891008

Registros relacionados