Dependencia e indeterminación en la lógica de segundo orden

Mostrar todas las versiones(2)

En este trabajo presento dos argumentos en contra del presunto estatus lógico de la noción de consecuencia de segundo orden y defiendo estos argumentos de algunas réplicas. El primer argumento tiene que ver con la indeterminación de la noción de consecuencia de segundo orden. El segundo está vincula...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autor principal: Rosenblatt, Lucas
Formato: Artículo revista
Lenguaje:Español
Publicado: Facultad de Filosofía y Letras, Universidad de Buenos Aires 2011
Materias:
Lógica de segundo orden
teoría de conjuntos
lógicas infinitarias
consecuencia lógica
second-order logic
set theory
infinitary logic
logical consequence
Acceso en línea:http://revistascientificas.filo.uba.ar/index.php/CdF/article/view/121
Aporte de:
Cuadernos de Filosofía de Universidad de Buenos Aires
id I28-R247-article-121
record_format ojs
spelling I28-R247-article-1212020-08-03T19:02:34Z Dependencia e indeterminación en la lógica de segundo orden Rosenblatt, Lucas Lógica de segundo orden teoría de conjuntos lógicas infinitarias consecuencia lógica second-order logic set theory infinitary logic logical consequence En este trabajo presento dos argumentos en contra del presunto estatus lógico de la noción de consecuencia de segundo orden y defiendo estos argumentos de algunas réplicas. El primer argumento tiene que ver con la indeterminación de la noción de consecuencia de segundo orden. El segundo está vinculado a la similitud de la lógica de segundo orden con ciertas “lógicas” infinitarias de gran poder expresivo.AbstractIn this paper I provide two arguments against the view that the consequence relation of second-order languages is a strictly logical notion and I try to defend these argu­ments from some objections. The first argument supports the conclusion that this relation is indeterminate. The second argument is based on the similarity between second-order logic and certain infinitary “logics” of great expressive power. Facultad de Filosofía y Letras, Universidad de Buenos Aires 2011-09-02 info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion application/pdf http://revistascientificas.filo.uba.ar/index.php/CdF/article/view/121 10.34096/cf.n57.121 Cuadernos de filosofía; Núm. 57 (2011); 31-50 2362-485X 0590-1901 spa http://revistascientificas.filo.uba.ar/index.php/CdF/article/view/121/83
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-247
container_title_str Cuadernos de Filosofía
language Español
format Artículo revista
topic Lógica de segundo orden
teoría de conjuntos
lógicas infinitarias
consecuencia lógica
second-order logic
set theory
infinitary logic
logical consequence
spellingShingle Lógica de segundo orden
teoría de conjuntos
lógicas infinitarias
consecuencia lógica
second-order logic
set theory
infinitary logic
logical consequence
Rosenblatt, Lucas
Dependencia e indeterminación en la lógica de segundo orden
topic_facet Lógica de segundo orden
teoría de conjuntos
lógicas infinitarias
consecuencia lógica
second-order logic
set theory
infinitary logic
logical consequence
author Rosenblatt, Lucas
author_facet Rosenblatt, Lucas
author_sort Rosenblatt, Lucas
title Dependencia e indeterminación en la lógica de segundo orden
title_short Dependencia e indeterminación en la lógica de segundo orden
title_full Dependencia e indeterminación en la lógica de segundo orden
title_fullStr Dependencia e indeterminación en la lógica de segundo orden
title_full_unstemmed Dependencia e indeterminación en la lógica de segundo orden
title_sort dependencia e indeterminación en la lógica de segundo orden
description En este trabajo presento dos argumentos en contra del presunto estatus lógico de la noción de consecuencia de segundo orden y defiendo estos argumentos de algunas réplicas. El primer argumento tiene que ver con la indeterminación de la noción de consecuencia de segundo orden. El segundo está vinculado a la similitud de la lógica de segundo orden con ciertas “lógicas” infinitarias de gran poder expresivo.AbstractIn this paper I provide two arguments against the view that the consequence relation of second-order languages is a strictly logical notion and I try to defend these argu­ments from some objections. The first argument supports the conclusion that this relation is indeterminate. The second argument is based on the similarity between second-order logic and certain infinitary “logics” of great expressive power.
publisher Facultad de Filosofía y Letras, Universidad de Buenos Aires
publishDate 2011
url http://revistascientificas.filo.uba.ar/index.php/CdF/article/view/121
work_keys_str_mv AT rosenblattlucas dependenciaeindeterminacionenlalogicadesegundoorden
first_indexed 2023-06-27T21:01:05Z
last_indexed 2023-06-27T21:01:05Z
_version_ 1769891079969046528

Ejemplares similares