En la lógica de predicados , la instanciación universal [1] [2] [3] ( UI ; también llamada especificación universal o eliminación universal , y a veces se confunde con dictum de omni ) es una regla válida de inferencia a partir de una verdad sobre cada miembro de una clase de individuos a la verdad sobre un individuo particular de esa clase. Generalmente se da como una regla de cuantificación para el cuantificador universal, pero también se puede codificar en un esquema de axioma . Es uno de los principios básicos que se utilizan en la teoría de la cuantificación .
Ejemplo: "Todos los perros son mamíferos. Fido es un perro. Por lo tanto, Fido es un mamífero".
En símbolos, la regla como esquema de axioma es
para cada fórmula A y cada término a , dondees el resultado de la sustitución de una para cada libre de ocurrencia de x en A .es una instancia de
Y como regla de inferencia es
- de ⊢ ∀ x A inferir ⊢ A { x ↦ a }.
Irving Copi señaló que la instanciación universal "... se deriva de variantes de reglas para la ' deducción natural ', que fueron diseñadas independientemente por Gerhard Gentzen y Stanisław Jaśkowski en 1934". [4]
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 "∀ x x = x " implica "Sócrates = Sócrates", también podríamos decir que la negación "Sócrates ≠ Sócrates "implica" ∃ x x ≠ x ". 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 . [5]
Ver también
Referencias
- ^ Irving M. Copi; Carl Cohen; Kenneth McMahon (noviembre de 2010). Introducción a la lógica . Educación Pearson. ISBN 978-0205820375.[ página necesaria ]
- ^ Hurley, Patrick. Una breve introducción a la lógica. Wadsworth Pub Co, 2008.
- ^ Moore y Parker [ se necesita cita completa ]
- ^ Copi, Irving M. (1979). Lógica simbólica , 5a edición, Prentice Hall, Upper Saddle River, Nueva Jersey
- ^ Willard Van Orman Quine ; Roger F. Gibson (2008). "V.24. Referencia y modalidad". Quintaesencia . Cambridge, Mass: Belknap Press de Harvard University Press. OCLC 728954096 .Aquí: p. 366.