Dependencia e indeterminación en la lógica de segundo orden
DOI:
https://doi.org/10.34096/cf.n57.121Keywords:
Lógica de segundo orden, teoría de conjuntos, lógicas infinitarias, consecuencia lógica, second-order logic, set theory, infinitary logic, logical consequenceAbstract
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.
Abstract
In 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 arguments 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.
Downloads
Downloads
Issue
Section
License
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.
