Registro completo de metadatos
| Campo DC | Valor | Lengua/Idioma |
|---|---|---|
| dc.provenance | CONICET | - |
| dc.creator | Barrio, Eduardo Alejandro | - |
| dc.creator | Picollo, Lavinia María | - |
| dc.date | 2016-01-15T20:48:39Z | - |
| dc.date | 2016-01-15T20:48:39Z | - |
| dc.date | 2013-12 | - |
| dc.date | 2016-03-30 10:35:44.97925-03 | - |
| dc.date.accessioned | 2019-04-29T15:44:57Z | - |
| dc.date.available | 2019-04-29T15:44:57Z | - |
| dc.date.issued | 2013-12 | - |
| dc.identifier | Barrio, Eduardo Alejandro; Picollo, Lavinia María; Notes on w-inconsistent Theories of Truth in Second-Order Languages; Cambridge University Press; Review of Symbolic Logic; VI; 4; 12-2013; 733-741 | - |
| dc.identifier | 1755-0203 | - |
| dc.identifier | http://hdl.handle.net/11336/3658 | - |
| dc.identifier.uri | http://rodna.bn.gov.ar:8080/jspui/handle/bnmm/301020 | - |
| dc.description | It is widely accepted that a theory of truth for arithmetic should be consistent, but ω-consistency is less frequently required. This paper argues that ω-consistency is a highly desirable feature for such theories. The point has already been made for first-order languages, though the evidence is not entirely conclusive. We show that in the second-order case the consequence of adopting ω-inconsistent truth theories for arithmetic is unsatisfiability. In order to bring out this point, well known ω-inconsistent theories of truth are considered: the revision theory of nearly stable truth T# and the classical theory of symmetric truth FS. Briefly, we present some conceptual problems with ω-inconsistent theories, and demonstrate some technical results that support our criticisms of such theories. | - |
| dc.description | Fil: Barrio, Eduardo Alejandro. Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Filosofía "Dr. Alejandro Korn"; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina | - |
| dc.description | Fil: Picollo, Lavinia María. Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Filosofía "Dr. Alejandro Korn"; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina | - |
| dc.format | application/pdf | - |
| dc.format | application/pdf | - |
| dc.language | eng | - |
| dc.publisher | Cambridge University Press | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/url/http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9082404 | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1017/S1755020313000269 | - |
| dc.relation | info:eu-repo/semantics/altIdentifier/issn/1755-0203 | - |
| dc.rights | info:eu-repo/semantics/restrictedAccess | - |
| dc.rights | https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ | - |
| dc.source | reponame:CONICET Digital (CONICET) | - |
| dc.source | instname:Consejo Nacional de Investigaciones Científicas y Técnicas | - |
| dc.source | instacron:CONICET | - |
| dc.source.uri | http://hdl.handle.net/11336/3658 | - |
| dc.subject | TRUTH | - |
| dc.subject | SECOND ORDER ARITHMETIC | - |
| dc.subject | OMEGA INCONSISTENCY | - |
| dc.subject | Filosofía, Historia y Filosofía de la Ciencia y la Tecnología | - |
| dc.subject | Filosofía, Ética y Religión | - |
| dc.subject | HUMANIDADES | - |
| dc.title | Notes on w-inconsistent Theories of Truth in Second-Order Languages | - |
| dc.type | info:eu-repo/semantics/article | - |
| dc.type | info:eu-repo/semantics/publishedVersion | - |
| dc.type | info:ar-repo/semantics/articulo | - |
| Aparece en las colecciones: | CONICET | |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.