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
- 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-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 |