Falsity preservation
dc.creator | Sanz, Wagner de Campos | |
dc.date.accessioned | 2020-01-15T12:10:42Z | |
dc.date.available | 2020-01-15T12:10:42Z | |
dc.date.issued | 2008 | |
dc.description.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? | pt_BR |
dc.identifier.citation | SANZ, Wagner Campos. Falsity preservation. CLE e-Prints, Campinas, v. 8, n. 2, p. 1-14, 2008. | pt_BR |
dc.identifier.issn | e- 1519-9681 | |
dc.identifier.uri | http://repositorio.bc.ufg.br/handle/ri/18514 | |
dc.language.iso | eng | pt_BR |
dc.publisher.country | Brasil | pt_BR |
dc.publisher.department | Faculdade de Filosofia - FAFIL (RG) | pt_BR |
dc.rights | Acesso Aberto | pt_BR |
dc.subject | Falsity preservation | pt_BR |
dc.subject | Syllogistic | pt_BR |
dc.subject | Natural deduction | pt_BR |
dc.subject | De Morgan’s laws | pt_BR |
dc.subject | Peano arithmetic | pt_BR |
dc.subject | Incompleteness | pt_BR |
dc.subject | Negation | pt_BR |
dc.title | Falsity preservation | pt_BR |
dc.type | Artigo | pt_BR |
Arquivos
Pacote Original
1 - 1 de 1
Carregando...
- Nome:
- Artigo - Wagner de Campos Sanz - 2008.pdf
- Tamanho:
- 143.68 KB
- Formato:
- Adobe Portable Document Format
Licença do Pacote
1 - 1 de 1
Nenhuma Miniatura disponível
- Nome:
- license.txt
- Tamanho:
- 1.71 KB
- Formato:
- Item-specific license agreed upon to submission
- Descrição: