MICROSEMINARIO RAYMOND OCAMPO

Raymond Ocampo presenta la teoría de la cuantificación lógica en tres momentos de su desarrollo (Aristóteles, Frege y Mostowski/Lindström). El rumbo tomado por este proceso revela que el segmento de la cuantificación lógica expresable en lenguajes de primer orden se caracteriza por cifrar la cardinalidad o tamaño de conjuntos de objetos individuales. Sin embargo, este hecho queda opacado en la mayoría de los cursos y manuales introductorios de lógica clásica gracias al enfoque gramatical que utilizan al presentar los cuantificadores ∀ y ∃. Por ello, a manera de colofón, ofrece una propuesta para la enseñanza de una cuantificación extendida desde el enfoque cardinal