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

Abstract

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.