Expresabilidad, Validez y Recursos Logicos
- Autores
- Barrio, Eduardo Alejandro
- Año de publicación
- 2014
- Idioma
- español castellano
- Tipo de recurso
- artículo
- Estado
- versión publicada
- Descripción
- The aim of this paper is to investigate various limiting results about the concept of validity. In particular, I argue that the higher-order logic with standard semantics cannot be sufficiently expressive to capture its own concept of validity. Moreover, I show that "transparent logic of truth" recently developed by Hartry Field leads to similar limiting results.
Fil: Barrio, Eduardo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires; Argentina - Materia
-
Validity Paradox
Higher-Order Languages
Transparent Truth
Non-classical Logic - Nivel de accesibilidad
- acceso abierto
- Condiciones de uso
- https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
- Repositorio
.jpg)
- Institución
- Consejo Nacional de Investigaciones Científicas y Técnicas
- OAI Identificador
- oai:ri.conicet.gov.ar:11336/51098
Ver los metadatos del registro completo
| id |
CONICETDig_13653da887c41425c180aa00882c6c75 |
|---|---|
| oai_identifier_str |
oai:ri.conicet.gov.ar:11336/51098 |
| network_acronym_str |
CONICETDig |
| repository_id_str |
3498 |
| network_name_str |
CONICET Digital (CONICET) |
| spelling |
Expresabilidad, Validez y Recursos LogicosBarrio, Eduardo AlejandroValidity ParadoxHigher-Order LanguagesTransparent TruthNon-classical Logichttps://purl.org/becyt/ford/6.3https://purl.org/becyt/ford/6The aim of this paper is to investigate various limiting results about the concept of validity. In particular, I argue that the higher-order logic with standard semantics cannot be sufficiently expressive to capture its own concept of validity. Moreover, I show that "transparent logic of truth" recently developed by Hartry Field leads to similar limiting results.Fil: Barrio, Eduardo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires; ArgentinaUniversidad Nacional Autónoma de México2014-12info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/51098Barrio, Eduardo Alejandro; Expresabilidad, Validez y Recursos Logicos; Universidad Nacional Autónoma de México; Crítica; 46; 138; 12-2014; 3-360011-15030011-1533CONICET DigitalCONICETspainfo:eu-repo/semantics/altIdentifier/url/http://critica.filosoficas.unam.mx/pg/es/numeros_detalle.php?numero=138info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-11-12T09:55:13Zoai:ri.conicet.gov.ar:11336/51098instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-11-12 09:55:13.954CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse |
| dc.title.none.fl_str_mv |
Expresabilidad, Validez y Recursos Logicos |
| title |
Expresabilidad, Validez y Recursos Logicos |
| spellingShingle |
Expresabilidad, Validez y Recursos Logicos Barrio, Eduardo Alejandro Validity Paradox Higher-Order Languages Transparent Truth Non-classical Logic |
| title_short |
Expresabilidad, Validez y Recursos Logicos |
| title_full |
Expresabilidad, Validez y Recursos Logicos |
| title_fullStr |
Expresabilidad, Validez y Recursos Logicos |
| title_full_unstemmed |
Expresabilidad, Validez y Recursos Logicos |
| title_sort |
Expresabilidad, Validez y Recursos Logicos |
| dc.creator.none.fl_str_mv |
Barrio, Eduardo Alejandro |
| author |
Barrio, Eduardo Alejandro |
| author_facet |
Barrio, Eduardo Alejandro |
| author_role |
author |
| dc.subject.none.fl_str_mv |
Validity Paradox Higher-Order Languages Transparent Truth Non-classical Logic |
| topic |
Validity Paradox Higher-Order Languages Transparent Truth Non-classical Logic |
| purl_subject.fl_str_mv |
https://purl.org/becyt/ford/6.3 https://purl.org/becyt/ford/6 |
| dc.description.none.fl_txt_mv |
The aim of this paper is to investigate various limiting results about the concept of validity. In particular, I argue that the higher-order logic with standard semantics cannot be sufficiently expressive to capture its own concept of validity. Moreover, I show that "transparent logic of truth" recently developed by Hartry Field leads to similar limiting results. Fil: Barrio, Eduardo Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires; Argentina |
| description |
The aim of this paper is to investigate various limiting results about the concept of validity. In particular, I argue that the higher-order logic with standard semantics cannot be sufficiently expressive to capture its own concept of validity. Moreover, I show that "transparent logic of truth" recently developed by Hartry Field leads to similar limiting results. |
| publishDate |
2014 |
| dc.date.none.fl_str_mv |
2014-12 |
| dc.type.none.fl_str_mv |
info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion http://purl.org/coar/resource_type/c_6501 info:ar-repo/semantics/articulo |
| format |
article |
| status_str |
publishedVersion |
| dc.identifier.none.fl_str_mv |
http://hdl.handle.net/11336/51098 Barrio, Eduardo Alejandro; Expresabilidad, Validez y Recursos Logicos; Universidad Nacional Autónoma de México; Crítica; 46; 138; 12-2014; 3-36 0011-1503 0011-1533 CONICET Digital CONICET |
| url |
http://hdl.handle.net/11336/51098 |
| identifier_str_mv |
Barrio, Eduardo Alejandro; Expresabilidad, Validez y Recursos Logicos; Universidad Nacional Autónoma de México; Crítica; 46; 138; 12-2014; 3-36 0011-1503 0011-1533 CONICET Digital CONICET |
| dc.language.none.fl_str_mv |
spa |
| language |
spa |
| dc.relation.none.fl_str_mv |
info:eu-repo/semantics/altIdentifier/url/http://critica.filosoficas.unam.mx/pg/es/numeros_detalle.php?numero=138 |
| dc.rights.none.fl_str_mv |
info:eu-repo/semantics/openAccess https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ |
| eu_rights_str_mv |
openAccess |
| rights_invalid_str_mv |
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/ |
| dc.format.none.fl_str_mv |
application/pdf application/pdf |
| dc.publisher.none.fl_str_mv |
Universidad Nacional Autónoma de México |
| publisher.none.fl_str_mv |
Universidad Nacional Autónoma de México |
| dc.source.none.fl_str_mv |
reponame:CONICET Digital (CONICET) instname:Consejo Nacional de Investigaciones Científicas y Técnicas |
| reponame_str |
CONICET Digital (CONICET) |
| collection |
CONICET Digital (CONICET) |
| instname_str |
Consejo Nacional de Investigaciones Científicas y Técnicas |
| repository.name.fl_str_mv |
CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas |
| repository.mail.fl_str_mv |
dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar |
| _version_ |
1848598286209908736 |
| score |
12.976206 |