Desafíos conceptuales para una teoría del significado basada en la teoría de la demostración

Autores
Adan, Alejandro; Sánchez García, Victoria Paz; López, Federico Ezequiel; Busdygan, Daniel Juan
Año de publicación
2016
Idioma
español castellano
Tipo de recurso
parte de libro
Estado
versión publicada
Descripción
El objetivo del presente trabajo es caracterizar las principales nociones de la concepción de la llamada proof-theoretic semantics, una alternativa a la semántica extensional basada en la teoría de modelos, y analizar desafíos conceptuales y filosóficos de la misma. Esta perspectiva surge como una profundización de los aportes de Gehard Gentzen a la teoría de la demostración a partir de los desarrollos de los sistemas de deducción natural y cálculo de secuentes. Se analizan esquemáticamente desarrollos semánticos basados en la teoría de la demostración con un corte inferencialista como elucidación de la relación de consecuencia lógica y se sugieren ampliaciones en vistas a determinar una visión completa del significado desde la perspectiva de los sistemas formales incluyendo aspectos pragmáticos.
Facultad de Humanidades y Ciencias de la Educación
Materia
Filosofía
Semántica
Teoría de la demostración
Significado
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-nd/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/133272

id SEDICI_cc1745c4ddf458d07c3c538b03a362ea
oai_identifier_str oai:sedici.unlp.edu.ar:10915/133272
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Desafíos conceptuales para una teoría del significado basada en la teoría de la demostraciónAdan, AlejandroSánchez García, Victoria PazLópez, Federico EzequielBusdygan, Daniel JuanFilosofíaSemánticaTeoría de la demostraciónSignificadoEl objetivo del presente trabajo es caracterizar las principales nociones de la concepción de la llamada proof-theoretic semantics, una alternativa a la semántica extensional basada en la teoría de modelos, y analizar desafíos conceptuales y filosóficos de la misma. Esta perspectiva surge como una profundización de los aportes de Gehard Gentzen a la teoría de la demostración a partir de los desarrollos de los sistemas de deducción natural y cálculo de secuentes. Se analizan esquemáticamente desarrollos semánticos basados en la teoría de la demostración con un corte inferencialista como elucidación de la relación de consecuencia lógica y se sugieren ampliaciones en vistas a determinar una visión completa del significado desde la perspectiva de los sistemas formales incluyendo aspectos pragmáticos.Facultad de Humanidades y Ciencias de la EducaciónUniversidad Nacional de Quilmes2016info:eu-repo/semantics/bookPartinfo:eu-repo/semantics/publishedVersionCapitulo de librohttp://purl.org/coar/resource_type/c_3248info:ar-repo/semantics/parteDeLibroapplication/pdf132-139http://sedici.unlp.edu.ar/handle/10915/133272spainfo:eu-repo/semantics/altIdentifier/isbn/978-987-558-383-2info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-nd/4.0/Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:33:31Zoai:sedici.unlp.edu.ar:10915/133272Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:33:31.769SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Desafíos conceptuales para una teoría del significado basada en la teoría de la demostración
title Desafíos conceptuales para una teoría del significado basada en la teoría de la demostración
spellingShingle Desafíos conceptuales para una teoría del significado basada en la teoría de la demostración
Adan, Alejandro
Filosofía
Semántica
Teoría de la demostración
Significado
title_short Desafíos conceptuales para una teoría del significado basada en la teoría de la demostración
title_full Desafíos conceptuales para una teoría del significado basada en la teoría de la demostración
title_fullStr Desafíos conceptuales para una teoría del significado basada en la teoría de la demostración
title_full_unstemmed Desafíos conceptuales para una teoría del significado basada en la teoría de la demostración
title_sort Desafíos conceptuales para una teoría del significado basada en la teoría de la demostración
dc.creator.none.fl_str_mv Adan, Alejandro
Sánchez García, Victoria Paz
López, Federico Ezequiel
Busdygan, Daniel Juan
author Adan, Alejandro
author_facet Adan, Alejandro
Sánchez García, Victoria Paz
López, Federico Ezequiel
Busdygan, Daniel Juan
author_role author
author2 Sánchez García, Victoria Paz
López, Federico Ezequiel
Busdygan, Daniel Juan
author2_role author
author
author
dc.subject.none.fl_str_mv Filosofía
Semántica
Teoría de la demostración
Significado
topic Filosofía
Semántica
Teoría de la demostración
Significado
dc.description.none.fl_txt_mv El objetivo del presente trabajo es caracterizar las principales nociones de la concepción de la llamada proof-theoretic semantics, una alternativa a la semántica extensional basada en la teoría de modelos, y analizar desafíos conceptuales y filosóficos de la misma. Esta perspectiva surge como una profundización de los aportes de Gehard Gentzen a la teoría de la demostración a partir de los desarrollos de los sistemas de deducción natural y cálculo de secuentes. Se analizan esquemáticamente desarrollos semánticos basados en la teoría de la demostración con un corte inferencialista como elucidación de la relación de consecuencia lógica y se sugieren ampliaciones en vistas a determinar una visión completa del significado desde la perspectiva de los sistemas formales incluyendo aspectos pragmáticos.
Facultad de Humanidades y Ciencias de la Educación
description El objetivo del presente trabajo es caracterizar las principales nociones de la concepción de la llamada proof-theoretic semantics, una alternativa a la semántica extensional basada en la teoría de modelos, y analizar desafíos conceptuales y filosóficos de la misma. Esta perspectiva surge como una profundización de los aportes de Gehard Gentzen a la teoría de la demostración a partir de los desarrollos de los sistemas de deducción natural y cálculo de secuentes. Se analizan esquemáticamente desarrollos semánticos basados en la teoría de la demostración con un corte inferencialista como elucidación de la relación de consecuencia lógica y se sugieren ampliaciones en vistas a determinar una visión completa del significado desde la perspectiva de los sistemas formales incluyendo aspectos pragmáticos.
publishDate 2016
dc.date.none.fl_str_mv 2016
dc.type.none.fl_str_mv info:eu-repo/semantics/bookPart
info:eu-repo/semantics/publishedVersion
Capitulo de libro
http://purl.org/coar/resource_type/c_3248
info:ar-repo/semantics/parteDeLibro
format bookPart
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/133272
url http://sedici.unlp.edu.ar/handle/10915/133272
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/isbn/978-987-558-383-2
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-nd/4.0/
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-nd/4.0/
Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)
dc.format.none.fl_str_mv application/pdf
132-139
dc.publisher.none.fl_str_mv Universidad Nacional de Quilmes
publisher.none.fl_str_mv Universidad Nacional de Quilmes
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844616215268425728
score 13.070432