Use este identificador para citar ou linkar para este item: http://repositorio.bc.ufg.br/handle/ri/18514
Tipo do documento: Artigo
Título: Falsity preservation
Autor: Sanz, Wagner de Campos
Abstract: In the following paper we examine falsity preservation phenomena for natural deduction and axiomatic logical systems. We start with Syllogistics and end with a very interesting form o Peano Arithmetic for Refutability in which Gödel’s Incompleteness Theorems hold. The paper presents valid syllogistic moods of falsity preservation based on valid moods for truth preservation and also valid rules of falsity preservation in natural deduction. That such systems can be defined is surprising, but that they resemble truth preservation system is remarkable. That put us in front of an important question: what means do we have to distinguish truth and falsity from a logical point of view?
Palavras-chave: Falsity preservation
Syllogistic
Natural deduction
De Morgan’s laws
Peano arithmetic
Incompleteness
Negation
País: Brasil
Unidade acadêmica: Faculdade de Filosofia - FAFIL (RG)
Citação: SANZ, Wagner Campos. Falsity preservation. CLE e-Prints, Campinas, v. 8, n. 2, p. 1-14, 2008.
Tipo de acesso: Acesso Aberto
URI: http://repositorio.bc.ufg.br/handle/ri/18514
Data de publicação: 2008
Aparece nas coleções:FAFIL - Artigos publicados em periódicos

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
Artigo - Wagner de Campos Sanz - 2008.pdf143,68 kBAdobe PDFThumbnail
Baixar/Abrir


Este item está licenciada sob uma Licença Creative Commons Creative Commons