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

Autores
Rosenblatt, Lucas Daniel
Año de publicación
2012
Idioma
español castellano
Tipo de recurso
artículo
Estado
versión publicada
Descripción
En estre trabajo presento dos objeciones al presunto estatus lógico de la noción de consecuencia de segundo orden y defiendo estas objeciones de algunas réplicas. La primera objeción tiene que ver con la indeterminación de la noción de consecuencia de segundo orden. La segunda está vinculada a la similitud de la lógica de segundo orden con ciertas teorías infinitarias.
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.
Fil: Rosenblatt, Lucas Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Filosofía y Letras. Departamento de Filosofía; Argentina
Materia
Lógica de segundo orden
Teoría de conjuntos
Lógica infinitaria
Consecuencia lógica
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/195193
Acceder
id CONICETDig_1ebf5d7dc47e1c9fe93f0074637e6fd3
oai_identifier_str oai:ri.conicet.gov.ar:11336/195193
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Dependencia e indeterminación en la lógica de segundo ordenRosenblatt, Lucas DanielLógica de segundo ordenTeoría de conjuntosLógica infinitariaConsecuencia lógicahttps://purl.org/becyt/ford/6.3https://purl.org/becyt/ford/6En estre trabajo presento dos objeciones al presunto estatus lógico de la noción de consecuencia de segundo orden y defiendo estas objeciones de algunas réplicas. La primera objeción tiene que ver con la indeterminación de la noción de consecuencia de segundo orden. La segunda está vinculada a la similitud de la lógica de segundo orden con ciertas teorías infinitarias.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.Fil: Rosenblatt, Lucas Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Filosofía y Letras. Departamento de Filosofía; ArgentinaUniversidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Filosofía “Dr. Alejandro Korn”2012-05info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/195193Rosenblatt, Lucas Daniel; Dependencia e indeterminación en la lógica de segundo orden; Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Filosofía “Dr. Alejandro Korn”; Cuadernos de Filosofía; 57; 5-2012; 31-490590-19012362-485xCONICET DigitalCONICETspainfo:eu-repo/semantics/altIdentifier/url/http://revistascientificas.filo.uba.ar/index.php/CdF/article/view/121info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-11-05T09:37:30Zoai:ri.conicet.gov.ar:11336/195193instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-11-05 09:37:30.937CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Dependencia e indeterminación en la lógica de segundo orden
title Dependencia e indeterminación en la lógica de segundo orden
spellingShingle Dependencia e indeterminación en la lógica de segundo orden
Rosenblatt, Lucas Daniel
Lógica de segundo orden
Teoría de conjuntos
Lógica infinitaria
Consecuencia lógica
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
dc.creator.none.fl_str_mv Rosenblatt, Lucas Daniel
author Rosenblatt, Lucas Daniel
author_facet Rosenblatt, Lucas Daniel
author_role author
dc.subject.none.fl_str_mv Lógica de segundo orden
Teoría de conjuntos
Lógica infinitaria
Consecuencia lógica
topic Lógica de segundo orden
Teoría de conjuntos
Lógica infinitaria
Consecuencia lógica
purl_subject.fl_str_mv https://purl.org/becyt/ford/6.3
https://purl.org/becyt/ford/6
dc.description.none.fl_txt_mv En estre trabajo presento dos objeciones al presunto estatus lógico de la noción de consecuencia de segundo orden y defiendo estas objeciones de algunas réplicas. La primera objeción tiene que ver con la indeterminación de la noción de consecuencia de segundo orden. La segunda está vinculada a la similitud de la lógica de segundo orden con ciertas teorías infinitarias.
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.
Fil: Rosenblatt, Lucas Daniel. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina. Universidad de Buenos Aires. Facultad de Filosofía y Letras. Departamento de Filosofía; Argentina
description En estre trabajo presento dos objeciones al presunto estatus lógico de la noción de consecuencia de segundo orden y defiendo estas objeciones de algunas réplicas. La primera objeción tiene que ver con la indeterminación de la noción de consecuencia de segundo orden. La segunda está vinculada a la similitud de la lógica de segundo orden con ciertas teorías infinitarias.
publishDate 2012
dc.date.none.fl_str_mv 2012-05
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/195193
Rosenblatt, Lucas Daniel; Dependencia e indeterminación en la lógica de segundo orden; Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Filosofía “Dr. Alejandro Korn”; Cuadernos de Filosofía; 57; 5-2012; 31-49
0590-1901
2362-485x
CONICET Digital
CONICET
url http://hdl.handle.net/11336/195193
identifier_str_mv Rosenblatt, Lucas Daniel; Dependencia e indeterminación en la lógica de segundo orden; Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Filosofía “Dr. Alejandro Korn”; Cuadernos de Filosofía; 57; 5-2012; 31-49
0590-1901
2362-485x
CONICET Digital
CONICET
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://revistascientificas.filo.uba.ar/index.php/CdF/article/view/121
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Filosofía “Dr. Alejandro Korn”
publisher.none.fl_str_mv Universidad de Buenos Aires. Facultad de Filosofía y Letras. Instituto de Filosofía “Dr. Alejandro Korn”
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1847976850526044160
score 13.087074

Publicaciones similares