Un enfoque teórico de la prueba para algunas extensiones de la cuantificación de primer orden

Los cuantificadores generalizados, que incluyen los cuantificadores ramificados de Henkin, han sido introducidos por Mostowski y Lindström y desarrollados como un tema sustancial en la aplicación de la lógica, especialmente la teoría de modelos, a la lingüística con trabajos de Barwise, Cooper y Keenan. En este artículo, estudiamos principalmente la teoría de pruebas de algunos cuantificadores no estándar como fórmulas de segundo orden. Nuestro primer ejemplo es el par habitual de cuantificadores de primer orden (para todo / existe) cuando los individuos se consideran como conceptos individuales manejados por reglas deductivas de segundo orden. Nuestro segundo ejemplo es el estudio de una traducción de segundo orden del cuantificador ramificado más simple: “Un miembro de cada equipo y un miembro de cada junta directiva se conocen entre sí”, para el cual proponemos un tratamiento de segundo orden.