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

Rosenblatt, Lucas

DSpace Principal
→
Colección de los Centros Asociados
→
Argentina
→
Secretaría de Investigación y Posgrado - SIPFyL/UBA - Cosecha
→
Ver ítem

dc.creator	Rosenblatt, Lucas
dc.date	2011-09-02
dc.date.accessioned	2023-03-27T19:11:53Z
dc.date.available	2023-03-27T19:11:53Z
dc.identifier	http://revistascientificas.filo.uba.ar/index.php/CdF/article/view/121
dc.identifier	10.34096/cf.n57.121
dc.identifier.uri	https://biblioteca-repositorio.clacso.edu.ar/handle/CLACSO/235660
dc.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 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.	es-ES
dc.format	application/pdf
dc.language	spa
dc.publisher	Facultad de Filosofía y Letras, Universidad de Buenos Aires	es-ES
dc.relation	http://revistascientificas.filo.uba.ar/index.php/CdF/article/view/121/83
dc.source	Cuadernos de filosofía; Núm. 57 (2011); 31-50	es-ES
dc.source	2362-485X
dc.source	0590-1901
dc.subject	Lógica de segundo orden	es-ES
dc.subject	teoría de conjuntos	es-ES
dc.subject	lógicas infinitarias	es-ES
dc.subject	consecuencia lógica	es-ES
dc.subject	second-order logic	es-ES
dc.subject	set theory	es-ES
dc.subject	infinitary logic	es-ES
dc.subject	logical consequence	es-ES
dc.title	Dependencia e indeterminación en la lógica de segundo orden	es-ES
dc.type	info:eu-repo/semantics/article
dc.type	info:eu-repo/semantics/publishedVersion