Teoría matemática
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.
El objetivo de la teoría es otorgar a la lógica de primer orden el poder de la teoría de conjuntos , pero sin ningún " compromiso existencial " con objetos como los conjuntos. Las exposiciones clásicas son Boolos 1984 y Lewis 1991.
Historia
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).
El interés en los plurales revivió con el trabajo en lingüística de la década de 1970 de Remko Scha , Godehard Link , Fred Landman , Friederike Moltmann , Roger Schwarzschild, Peter Lasersohn y otros, quienes desarrollaron ideas para una semántica de los plurales.
Antecedentes y motivación
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 involucran 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)
![{\estilo de visualización F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización G}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Símbolos de variable singular , , etc.
![{\estilo de visualización x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Símbolos de variable plural , , etc.
![{\estilo de visualización {\bar {x}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\bar {y}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Las oraciones completas se definen como
- Si es un símbolo de predicado n -ario, y son símbolos de variable singular, entonces es una oración.
![{\estilo de visualización F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x_{0},\ldots ,x_{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F(x_{0},\ldots ,x_{n})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si es una oración, entonces también lo es
![{\estilo de visualización P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización \neg P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si y son oraciones, entonces también lo es.
![{\estilo de visualización P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización Q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle P\land Q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si es una oración y es un símbolo de variable singular, entonces es una oración
![{\estilo de visualización P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \existe xP}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- 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")
![{\estilo de visualización x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\bar {y}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle x\prec {\bar {y}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
- Si es una oración y es un símbolo de variable plural, entonces es una oración
![{\estilo de visualización P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización {\bar {x}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \existe {\bar {x}}.P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
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.
Esta lógica resulta ser equi-interpretable con la lógica monádica de segundo orden .
Teoría de modelos
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.![{\estilo de visualización (D,V,s,R)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización V}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![Estilo de visualización VF](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización F}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización s}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización D}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La satisfacción se da como
si y solo si![{\displaystyle (s_{x_{0}},\ldots ,s_{x_{n}})\en V_{F}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
si y solo si![{\displaystyle (D,V,s,R)\nvGuión P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
si y solo si![{\displaystyle (D,V,s,R)\modelos P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (D,V,s,R)\modelos Q}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
si existe tal que![{\displaystyle s'\approx _{x}s}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (D,V,s',R)\modelos P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
si y solo si![{\displaystyle s_{x}R{\bar {y}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
si existe tal que![{\displaystyle R'\approx _{\bar {x}}R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle (D,V,s,R')\modelos P}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
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 .![{\displaystyle s\approx_{x}s'}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización y}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización x}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle s_{y}=s'_{y}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle R\approx _{\bar {x}}R'}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\bar {y}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización {\bar {x}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\estilo de visualización d}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle dR{\bar {y}}=dR'{\bar {y}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
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 solo pueden combinarse con símbolos de variable singular, no con símbolos de variable plural.![{\estilo de visualización R}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \exists {\bar {x}}.\forall yy\prec {\bar {x}}\leftrightarrow F(y)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle F({\bar {x}})}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
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.
Véase también
Notas
- ^ Harman, Gilbert; Lepore, Ernest (2013), Un compañero para WVO Quine, Blackwell Companions to Philosophy, John Wiley & Sons, pág. 390, ISBN 9781118608029.
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.
- --------, 1985, "Platonismo nominalista". Philosophical Review 94: 327–344. En Boolos 1998, 73–87.
- --------, 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.
- Gottlob Frege , 1895, "Una aclaración crítica de algunos puntos del Vorlesungen Ueber Die Algebra der Logik de E. Schroeder ", Archiv für systematische Philosophie : 433–456.
- Fred Landman 2000. Eventos y pluralidad . Kluwer.
- Laycock, Henry (2006), Palabras sin objetos , Oxford: Clarendon Press, doi :10.1093/0199281718.001.0001, ISBN 9780199281718
- 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 .
- McKay, Thomas J. (2006), Predicación plural , Nueva York: Oxford University Press, ISBN 978-0-19-927814-5
- 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.
- Bertrand Russell , B., 1903. Los principios de las matemáticas . Oxford Univ. 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". Philosophia Mathematica . 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
Enlaces externos
- Linnebo, Øystein. "Cuantificación plural". En Zalta, Edward N. (ed.). Stanford Encyclopedia of Philosophy .
- Moltmann, Friederike . (Agosto de 2012) "Referencia plural y referencia a una pluralidad. Una reevaluación de los hechos lingüísticos"
- Una bibliografía más extensa
- https://web.archive.org/web/20150211224457/http://lumiere.ens.fr/~amari/genius/PapersSeminar/Nicolas-Semantics-for-plurals-Handout-0110.pdf