Desafíos conceptuales para una teoría del significado basada en la teoría de la demostració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 p...
Autores principales: | , , , |
---|---|
Formato: | Libro Capitulo de libro |
Lenguaje: | Español |
Publicado: |
Universidad Nacional de Quilmes
2016
|
Materias: | |
Acceso en línea: | http://sedici.unlp.edu.ar/handle/10915/133272 |
Aporte de: |
id |
I19-R120-10915-133272 |
---|---|
record_format |
dspace |
institution |
Universidad Nacional de La Plata |
institution_str |
I-19 |
repository_str |
R-120 |
collection |
SEDICI (UNLP) |
language |
Español |
topic |
Filosofía Semántica Teoría de la demostración Significado |
spellingShingle |
Filosofía Semántica Teoría de la demostración Significado Adan, Alejandro Sánchez García, Victoria Paz López, Federico Ezequiel Busdygan, Daniel Juan Desafíos conceptuales para una teoría del significado basada en la teoría de la demostración |
topic_facet |
Filosofía Semántica Teoría de la demostración Significado |
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. |
format |
Libro Capitulo de libro |
author |
Adan, Alejandro Sánchez García, Victoria Paz López, Federico Ezequiel Busdygan, Daniel Juan |
author_facet |
Adan, Alejandro Sánchez García, Victoria Paz López, Federico Ezequiel Busdygan, Daniel Juan |
author_sort |
Adan, Alejandro |
title |
Desafíos conceptuales para una teoría del significado basada en la teoría de la demostración |
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 |
publisher |
Universidad Nacional de Quilmes |
publishDate |
2016 |
url |
http://sedici.unlp.edu.ar/handle/10915/133272 |
work_keys_str_mv |
AT adanalejandro desafiosconceptualesparaunateoriadelsignificadobasadaenlateoriadelademostracion AT sanchezgarciavictoriapaz desafiosconceptualesparaunateoriadelsignificadobasadaenlateoriadelademostracion AT lopezfedericoezequiel desafiosconceptualesparaunateoriadelsignificadobasadaenlateoriadelademostracion AT busdygandanieljuan desafiosconceptualesparaunateoriadelsignificadobasadaenlateoriadelademostracion |
bdutipo_str |
Repositorios |
_version_ |
1764820455055687682 |