Mostrar el registro sencillo del ítem
dc.contributor.author
Barrio, Eduardo Alejandro
dc.contributor.author
Pailos, Federico Matias
dc.contributor.author
Szmuc, Damián Enrique
dc.date.available
2019-03-29T18:10:53Z
dc.date.issued
2017-08
dc.identifier.citation
Barrio, Eduardo Alejandro; Pailos, Federico Matias; Szmuc, Damián Enrique; A paraconsistent route to semantic closure; Oxford University Press; Logic Journal of the IGPL (print); 25; 4; 8-2017; 387-407
dc.identifier.issn
1367-0751
dc.identifier.uri
http://hdl.handle.net/11336/72852
dc.description.abstract
In this article, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and complete three-sided sequent calculus for this expressively rich theory.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Oxford University Press
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
Paraconsistency
dc.subject
Paradoxes
dc.subject
Self-Reference
dc.subject
Semantic Closure
dc.subject
Truth
dc.subject.classification
Estudios Religiosos
dc.subject.classification
Filosofía, Ética y Religión
dc.subject.classification
HUMANIDADES
dc.title
A paraconsistent route to semantic closure
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2019-03-29T12:11:36Z
dc.journal.volume
25
dc.journal.number
4
dc.journal.pagination
387-407
dc.journal.pais
Reino Unido
dc.journal.ciudad
Oxford
dc.description.fil
Fil: Barrio, Eduardo Alejandro. Instituto de Investigaciones Filosóficas - Sadaf; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.description.fil
Fil: Pailos, Federico Matias. Instituto de Investigaciones Filosóficas - Sadaf; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.description.fil
Fil: Szmuc, Damián Enrique. Instituto de Investigaciones Filosóficas - Sadaf; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina
dc.journal.title
Logic Journal of the IGPL (print)
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1093/jigpal/jzx009
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://academic.oup.com/jigpal/article-abstract/25/4/387/3891483
Archivos asociados
Tamaño:
331.4Kb
Formato:
PDF