Generalización existencial

De Wikipedia, la enciclopedia libre
Ir a la navegación Ir a la búsqueda

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 proposición existencial. En lógica de primer orden, se utiliza con frecuencia como una regla para el cuantificador existencial (∃) en pruebas formales.

Ejemplo: "A Rover le encanta mover la cola. Por lo tanto, algo ama menear la cola."

En cálculo de estilo Fitchː

Donde a reemplaza a todas las instancias libres de x en Q (x).[3]

Quine[editar]

Según Willard Van Orman Quine, la instanciación universal y generalización existencial son dos aspectos de un solo principio, porque en vez de decir que "∀ x x=x" implica "Sócrates=Sócrates", podríamos decir también que la negación "Sócrates≠Sócrates" "implica" ∃x xx". El principio de esos dos operaciones es el vínculo entre las cuantificaciones y los enunciados singulares que están relacionados a ellos como instancias. Sin embargo, es un principio solamente por cortesía. Sostiene solamente en el caso en que un nombre término y, además, ocurre referencialmente.[4]

Véase también[editar]

Referencias[editar]

  1. Copi, Irving M.; Cohen, Carl (2005). Introduction to Logic (en inglés). Prentice Hall. 
  2. Hurley, Patrick (1991). A Concise Introduction to Logic 4th edition (en inglés). Wadsworth Publishing. 
  3. pg. 347. Jon Barwise y John Etchemendy, Language proof and logic Second Ed., CSLI Publications, 2008.
  4. Willard van Orman Quine; Roger F. Gibson (2008). Quintessence. Cambridge, Mass: Belknap Press of Harvard University Press. «V.24. Reference and Modality».  Aquí: p.366.

Enlaces externos[editar]