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 publishedVersion
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:https://revistascientificas.filo.uba.ar/index.php/CdF/article/view/121
https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=cufilo&d=121_oai
Aporte de:
Repositorio Digital de la Universidad de Buenos Aires (UBA) de Universidad de Buenos Aires
id I28-R145-121_oai
record_format dspace
spelling I28-R145-121_oai2025-11-17 Rosenblatt, Lucas 2011-09-02 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. application/pdf https://revistascientificas.filo.uba.ar/index.php/CdF/article/view/121 10.34096/cf.n57.121 spa Facultad de Filosofía y Letras, Universidad de Buenos Aires https://revistascientificas.filo.uba.ar/index.php/CdF/article/view/121/83 Cuadernos de filosofía; Núm. 57 (2011); 31-50 2362-485X 0590-1901 Lógica de segundo orden teoría de conjuntos lógicas infinitarias consecuencia lógica second-order logic set theory infinitary logic logical consequence Dependencia e indeterminación en la lógica de segundo orden info:eu-repo/semantics/article info:eu-repo/semantics/publishedVersion https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=cufilo&d=121_oai
institution Universidad de Buenos Aires
institution_str I-28
repository_str R-145
collection Repositorio Digital de la Universidad de Buenos Aires (UBA)
language Español
orig_language_str_mv spa
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
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.
format Artículo
publishedVersion
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
publisher Facultad de Filosofía y Letras, Universidad de Buenos Aires
publishDate 2011
url https://revistascientificas.filo.uba.ar/index.php/CdF/article/view/121
https://repositoriouba.sisbi.uba.ar/gsdl/cgi-bin/library.cgi?a=d&c=cufilo&d=121_oai
work_keys_str_mv AT rosenblattlucas dependenciaeindeterminacionenlalogicadesegundoorden
_version_ 1854179725544521728

Ejemplares similares