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

  • Lucas Rosenblatt
DOI: https://doi.org/10.34096/cf.n57.121
Palabras clave: Lógica de segundo orden, teoría de conjuntos, lógicas infinitarias, consecuencia lógica, second-order logic, set theory, infinitary logic, logical consequence

Resumen

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.

Descargas

La descarga de datos todavía no está disponible.
Cómo citar
Rosenblatt, L. (1). Dependencia e indeterminación en la lógica de segundo orden. Cuadernos De filosofía, (57), 31-50. https://doi.org/10.34096/cf.n57.121
Número
Núm. 57 (2011)
Sección
Artículos

Los autores/as que publiquen en esta revista aceptan las siguientes condiciones: 

  • Los/as autores/as [traductores/as] conservan los derechos de autor/a y ceden a la revista el derecho de la primera publicación, con el trabajo registrado con Licencia Creative Commons Atribución-NoComercial-CompartirIgual 4.0 Internacional, que permite a terceros utilizar lo publicado siempre que mencionen la autoría del trabajo y a la primera publicación en esta revista.

  • Los/as autores/as pueden realizar otros acuerdos contractuales independientes y adicionales para la distribución no exclusiva de la versión del artículo publicado en esta revista (p. ej., incluirlo en un repositorio institucional o publicarlo en un libro) siempre que indiquen claramente que el trabajo se publicó por primera vez en esta revista.

  • Se permite y recomienda a los/as autores/as a publicar su trabajo en Internet (por ejemplo en páginas institucionales o personales).


Políticas de detección de plagio

La colaboración de los y las editores/as, autores/as y evaluadores/as de esta revista y la guía de ética de los procesos editoriales se rige por los Principios de transparencia y buena práctica en publicaciones académicas del Committee on Publication Ethics (COPE) disponible aquí.

Todos los artículos enviados a esta publicación serán supervisados mediante una búsqueda online.