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
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/51098

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-10-15T15:27:07Zoai: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-10-15 15:27:07.945CONICET 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_ 1846083413602205696
score 13.22299