En matemáticas y lógica , la cuantificación plural es la teoría según la cual una variable individual x puede adoptar valores tanto singulares como plurales . Además de sustituir x por objetos individuales como Alice, el número 1, el edificio más alto de Londres, etc., podemos sustituir tanto a Alice como a Bob, o todos los números entre 0 y 10, o todos los edificios de Londres de más de 20 pisos.
Esta visión se asocia comúnmente con George Boolos , aunque es más antigua (véase en particular Simons 1982), y está relacionada con la visión de las clases defendida por John Stuart Mill y otros filósofos nominalistas . Mill sostuvo que los universales o "clases" no son un tipo peculiar de cosa, que tiene una existencia objetiva distinta de los objetos individuales que caen bajo ellos, sino que "no son ni más ni menos que las cosas individuales en la clase" (Mill 1904, II. ii. 2, también I. iv. 3).
Bertrand Russell también expuso una postura similar en el capítulo VI de Russell (1903), pero luego la abandonó en favor de una teoría de "no clases". Véase también Gottlob Frege 1895 para una crítica de una visión anterior defendida por Ernst Schröder .
La idea general se remonta a Leibniz (Levey 2011, pp. 129-133).
Predicados y relaciones multigrados (variablemente poliádicos)
Frases como
Alice y Bob cooperan.
Alice, Bob y Carol cooperan.
se dice que implican un predicado o relación multigrado (también conocido como variablemente poliádico , también anádico ) ("cooperar" en este ejemplo), lo que significa que representan el mismo concepto aunque no tengan una aridad fija (cf. Linnebo & Nicolas 2008). La noción de relación/predicado multigrado apareció ya en la década de 1940 y fue utilizada notablemente por Quine (cf. Morton 1975). La cuantificación plural trata de formalizar la cuantificación sobre los argumentos de longitud variable de tales predicados, por ejemplo, " xx cooperar" donde xx es una variable plural. Nótese que en este ejemplo no tiene sentido, semánticamente, instanciar xx con el nombre de una sola persona.
Nominalismo
En términos generales, el nominalismo niega la existencia de universales ( entidades abstractas ), como conjuntos, clases, relaciones, propiedades, etc. Por lo tanto, las lógicas plurales se desarrollaron como un intento de formalizar el razonamiento sobre plurales, como los involucrados en predicados multigrados, aparentemente sin recurrir a nociones que los nominalistas niegan, por ejemplo, los conjuntos.
La lógica de primer orden estándar tiene dificultades para representar algunas oraciones con plurales. La más conocida es la oración de Geach-Kaplan "algunos críticos sólo se admiran entre sí". Kaplan demostró que no es ordenable en primer orden (la prueba se puede encontrar en ese artículo). Por lo tanto, su paráfrasis en un lenguaje formal nos compromete a la cuantificación sobre (es decir, la existencia de) conjuntos.
Boolos argumentó que la cuantificación monádica de segundo orden puede interpretarse sistemáticamente en términos de cuantificación plural y que, por lo tanto, la cuantificación monádica de segundo orden es "ontológicamente inocente". [1]
Más tarde, Oliver y Smiley (2001), Rayo (2002), Yi (2005) y McKay (2006) argumentaron que oraciones como
Son compañeros de barco
Se están reuniendo juntos
Levantaron un piano
Están rodeando un edificio.
Se admiran solo el uno al otro
Tampoco se puede interpretar en lógica monádica de segundo orden. Esto se debe a que predicados como "son compañeros de barco", "se están reuniendo", "están rodeando un edificio" no son distributivos . Un predicado F es distributivo si, siempre que algunas cosas son F, cada una de ellas es F. Pero en lógica estándar, todo predicado monádico es distributivo . Sin embargo, tales oraciones también parecen inocentes de cualquier suposición existencial y no implican cuantificación.
De este modo, se puede proponer una explicación unificada de los términos plurales que permita la satisfacción tanto distributiva como no distributiva de los predicados, defendiendo al mismo tiempo esta posición contra la suposición "singularista" de que dichos predicados son predicados de conjuntos de individuos (o de sumas mereológicas).
Varios escritores [¿ quiénes? ] han sugerido que la lógica plural abre la posibilidad de simplificar los fundamentos de las matemáticas , evitando las paradojas de la teoría de conjuntos y simplificando los complejos y poco intuitivos conjuntos de axiomas necesarios para evitarlas. [ aclaración necesaria ]
Recientemente, Linnebo y Nicolas (2008) han sugerido que los lenguajes naturales a menudo contienen variables superplurales (y cuantificadores asociados) como "estas personas, esas personas y estas otras personas compiten entre sí" (por ejemplo, como equipos en un juego en línea), mientras que Nicolas (2008) ha argumentado que se debería utilizar la lógica plural para explicar la semántica de sustantivos masivos, como "vino" y "muebles".
Definición formal
Esta sección presenta una formulación simple de lógica/cuantificación plural aproximadamente igual a la dada por Boolos en Platonismo nominalista (Boolos 1985).
Sintaxis
Las unidades suboracionales se definen como
Símbolos de predicado , , etc. (con aridades apropiadas, que se dejan implícitas)
Si es un símbolo de predicado n -ario, y son símbolos de variable singular, entonces es una oración.
Si es una oración, entonces también lo es
Si y son oraciones, entonces también lo es.
Si es una oración y es un símbolo de variable singular, entonces es una oración
Si es un símbolo de variable singular y es un símbolo de variable plural, entonces es una oración (donde ≺ se interpreta generalmente como la relación "es uno de")
Si es una oración y es un símbolo de variable plural, entonces es una oración
Las dos últimas líneas son el único componente esencialmente nuevo de la sintaxis para la lógica plural. Se pueden utilizar libremente otros símbolos lógicos definibles en términos de estas como abreviaturas de notación.
La teoría/semántica de modelos de la lógica plural es donde se pone en práctica la falta de conjuntos de la lógica. Un modelo se define como una tupla donde es el dominio, es una colección de valoraciones para cada nombre de predicado en el sentido habitual y es una secuencia tarskiana (asignación de valores a variables) en el sentido habitual (es decir, un mapa de símbolos de variables singulares a elementos de ). El nuevo componente es una relación binaria que relaciona valores en el dominio con símbolos de variables plurales.
La satisfacción se da como
si y solo si
si y solo si
si y solo si
si existe tal que
si y solo si
si existe tal que
Donde, para los símbolos de variable singular, significa que para todos los símbolos de variable singular distintos de , se cumple que , y para los símbolos de variable plural, significa que para todos los símbolos de variable plural distintos de , y para todos los objetos del dominio , se cumple que .
Al igual que en la sintaxis, sólo los dos últimos son verdaderamente nuevos en la lógica plural. Boolos observa que al utilizar relaciones de asignación , el dominio no tiene que incluir conjuntos y, por lo tanto, la lógica plural logra la inocencia ontológica al tiempo que conserva la capacidad de hablar sobre las extensiones de un predicado. Por lo tanto, el esquema de comprensión de la lógica plural no produce la paradoja de Russell porque la cuantificación de las variables plurales no cuantifica sobre el dominio. Otro aspecto de la lógica tal como la define Boolos, crucial para esta elusión de la paradoja de Russell, es el hecho de que las oraciones de la forma no están bien formadas: los nombres de predicado sólo pueden combinarse con símbolos de variable singular, no con símbolos de variable plural.
Este puede tomarse como el argumento más simple y más obvio de que la lógica plural tal como la definió Boolos es ontológicamente inocente.
^ Harman, Gilbert; Lepore, Ernest (2013), Un compañero para WVO Quine, Blackwell Companions to Philosophy, John Wiley & Sons, pág. 390, ISBN9781118608029.
Referencias
George Boolos , 1984, "Ser es ser el valor de una variable (o ser algunos valores de algunas variables)", Journal of Philosophy 81: 430–449. En Boolos 1998, 54–72.
--------, 1998. Lógica, lógica y lógica . Harvard University Press.
Burgess, JP, "De Frege a Friedman: ¿Un sueño hecho realidad?"
--------, 2004, “E Pluribus Unum: lógica plural y teoría de conjuntos”, Philosophia Mathematica 12(3): 193–221.
Cameron, JR, 1999, "Referencia plural", Ratio .
Cocchiarella, Nino (2002). "Sobre la lógica de clases como múltiples". Studia Logica . 70 (3): 303–338. doi :10.1023/A:1015190829525. hdl : 2022/22331 .
De Rouilhan, P., 2002, "Sobre lo que hay", Actas de la Sociedad Aristotélica : 183–200.
Laycock, Henry (2006), Palabras sin objetos , Oxford: Clarendon Press, doi :10.1093/0199281718.001.0001, ISBN9780199281718
David K. Lewis , 1991. Partes de las clases . Londres: Blackwell.
Linnebo, Øystein; Nicolas, David (2008). «Superplurals in English» (PDF) . Análisis . 68 (3): 186–97. doi :10.1093/analys/68.3.186. Archivado desde el original (PDF) el 20 de julio de 2011. Consultado el 29 de noviembre de 2008 .
John Stuart Mill , 1904, Un sistema de lógica , 8.ª ed. Londres: .
Moltmann, Friederike, 1997, Partes y todos en semántica . Oxford University Press, Nueva York. ISBN 9780195154931
Moltmann, Friederike, 'Referencia plural y referencia a una pluralidad. Hechos lingüísticos y análisis semánticos'. En M. Carrara, A. Arapinis y F. Moltmann (eds.): Unidad y pluralidad. Lógica, filosofía y semántica. Oxford University Press, Oxford, 2016, págs. 93-120.
Nicolas, David (2008). "Sustantivos de masa y lógica plural" (PDF) . Lingüística y filosofía . 31 (2): 211–244. CiteSeerX 10.1.1.510.3305 . doi :10.1007/s10988-008-9033-2. Archivado desde el original (PDF) el 19 de febrero de 2012.
Oliver, Alex; Smiley, Timothy (2001). "Estrategias para una lógica de plurales". Philosophical Quarterly . 51 (204): 289–306. doi :10.1111/j.0031-8094.2001.00231.x.
Oliver, Alex (2004). "Predicados multigrado". Mind . 113 (452): 609–681. doi :10.1093/mind/113.452.609.
Rayo, Agustín (2002). "Palabra y Objetos". Noûs . 36 (3): 436–64. doi :10.1111/1468-0068.00379.
--------, 2006, “Más allá de los plurales”, en Rayo y Uzquiano (2006).
--------, 2007, “Plurales”, de próxima publicación en Philosophy Compass .
--------, y Gabriel Uzquiano, eds., 2006. Generalidad Absoluta Oxford University Press.
Peter Simons , 1982, “Referencia plural y teoría de conjuntos”, en Barry Smith , ed., Partes y momentos: estudios en lógica y ontología formal . Múnich: Philosophia Verlag.
--------, 1987. Partes . Oxford University Press.
Uzquiano, Gabriel (2003). "Cuantificación plural y clases". Filosofía Matemática . 11 (1): 67–81. doi :10.1093/philmat/11.1.67.
Yi, Byeong-Uk (1999). "¿Dos son una propiedad?". Journal of Philosophy . 95 (4): 163–190. doi :10.2307/2564701. JSTOR 2564701.
--------, 2005, “La lógica y el significado de los plurales, parte I”, Journal of Philosophical Logic 34: 459–506.
Adam Morton . "Individuos complejos y relaciones multigrado". Noûs (1975): 309-318. JSTOR 2214634
Samuel Levey (2011) "Teoría lógica en Leibniz" en Brandon C. Look (ed.) The Continuum Companion to Leibniz , Continuum International Publishing Group, ISBN 0826429750