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

  • Lucas Rosenblatt

Abstract

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.

Downloads

Download data is not yet available.
How to Cite
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
Section
Artículos