Red de Bibliotecas Virtuales de Ciencias Sociales en
América Latina y el Caribe
Por favor, use este identificador para citar o enlazar este ítem:
https://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/235660| Título : | Dependencia e indeterminación en la lógica de segundo orden |
| 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 |
| Editorial : | Facultad de Filosofía y Letras, Universidad de Buenos Aires |
| Descripción : | 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 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. |
| URI : | https://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/235660 |
| Otros identificadores : | http://revistascientificas.filo.uba.ar/index.php/CdF/article/view/121 10.34096/cf.n57.121 |
| Aparece en las colecciones: | Secretaría de Investigación y Posgrado - SIPFyL/UBA - Cosecha |
Ficheros en este ítem:
No hay ficheros asociados a este ítem.
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.