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

Agora exibindo 1 - 1 de 1

Agora exibindo 1 - 1 de 1