En la lógica de predicados , la generalización existencial [1] [2] (también conocida como introducción existencial , ∃I ) es una regla de inferencia válida que permite pasar de una declaración específica, o una instancia, a una declaración generalizada cuantificada, o existencial proposición . En la lógica de primer orden , a menudo se usa como regla para el cuantificador existencial () en pruebas formales.
Ejemplo: "A Rover le encanta menear la cola. Por lo tanto, a algo le encanta menear la cola".
En el cálculo al estilo de Fitch :
Dónde reemplaza todas las instancias gratuitas de dentro . [3]
Quine
Según Willard Van Orman Quine , la instanciación universal y la generalización existencial son dos aspectos de un solo principio, porque en lugar de decir que implica , también podríamos decir que la negación implica . El principio incorporado en estas dos operaciones es el vínculo entre las cuantificaciones y los enunciados singulares que se relacionan con ellos como instancias. Sin embargo, es un principio solo por cortesía. Solo se cumple en el caso en el que un término nombra y, además, aparece referencialmente . [4]
Ver también
Referencias
- ^ Copi, Irving M .; Cohen, Carl (2005). Introducción a la lógica . Prentice Hall.
- ^ Hurley, Patrick (1991). Una introducción concisa a la lógica 4ª edición . Publicación de Wadsworth.
- ^ pág. 347. Jon Barwise y John Etchemendy , Prueba de lenguaje y lógica Segunda edición, Publicaciones CSLI, 2008.
- ^ Willard Van Orman Quine ; Roger F. Gibson (2008). "V.24. Referencia y modalidad". Quintaesencia . Cambridge, Massachusetts: Belknap Press de Harvard University Press. OCLC 728954096 . Aquí: p. 366.