stringtranslate.com

paradoja de sorites

La paradoja del sorites: si un montón se reduce un solo grano a la vez, la pregunta es: ¿en qué punto exacto deja de ser considerado un montón?

La paradoja de los sorites ( / s ˈr t z / ; [1] a veces conocida como la paradoja del montón ) es una paradoja que resulta de predicados vagos . [2] Una formulación típica implica un montón de arena , de la cual los granos se eliminan individualmente. Con el supuesto de que eliminar un solo grano no hace que un montón deje de ser considerado un montón, la paradoja es considerar lo que sucede cuando el proceso se repite tantas veces que solo queda un grano: ¿sigue siendo un montón? Si no, ¿cuándo pasó de ser un montón a no ser un montón? [3]

La formulación original y las variaciones.

Paradoja del montón

La palabra sorites ( griego : σωρείτης ) deriva de la palabra griega para 'montón' ( griego : σωρός ). [4] La paradoja recibe este nombre debido a su caracterización original, atribuida a Eubúlides de Mileto . [5] La paradoja es la siguiente: consideremos un montón de arena del que se extraen los granos individualmente. Se podría construir el argumento, utilizando premisas , de la siguiente manera: [3]

1.000.000 de granos de arena es un montón de arena (Premisa 1)
Un montón de arena menos un grano sigue siendo un montón. (Premisa 2)

Las aplicaciones repetidas de la Premisa 2 (cada vez comenzando con un grano menos) eventualmente obligan a aceptar la conclusión de que un montón puede estar compuesto de solo un grano de arena. [6] Read (1995) observa que "el argumento es en sí mismo un montón, o sorites, de pasos de modus ponens ": [7]

1.000.000 de granos es un montón.
SiEntonces 1.000.000 de granos es un montón999.999 granos es un montón.
Entonces999.999 granos es un montón.
Si999.999 granos es un montón entonces999.998 granos es un montón.
Entonces999.998 granos es un montón.
Si ...
... Entonces1 grano es un montón.

Variaciones

Degradado de color que ilustra la paradoja de los sorites, ya que los colores adyacentes son indistinguibles para el ojo humano.

Entonces la tensión entre pequeños cambios y grandes consecuencias da lugar a la Paradoja de los sorites...Hay muchas variaciones...[algunas de las cuales permiten] considerar la diferencia entre ser...(una cuestión de hecho ) y parecer... (una cuestión de percepción ). [2]

Otra formulación es comenzar con un grano de arena, que claramente no es un montón, y luego asumir que agregar un solo grano de arena a algo que no es un montón no hace que se convierta en un montón. Inductivamente, este proceso se puede repetir tantas veces como se quiera sin llegar a construir un montón. [2] [3] Una formulación más natural de esta variante es asumir que existe un conjunto de fichas de colores de manera que dos fichas adyacentes varían en color demasiado poco para que la vista humana pueda distinguirlas. Entonces, por inducción sobre esta premisa, los humanos no serían capaces de distinguir entre ningún color. [2]

La eliminación de una gota del océano no hará que "no sea un océano" (sigue siendo un océano), pero dado que el volumen de agua en el océano es finito, eventualmente, después de suficientes eliminaciones, quedará incluso un litro de agua. Sigue siendo un océano.

Esta paradoja se puede reconstruir para una variedad de predicados, por ejemplo, con "alto", "rico", "viejo", "azul", "calvo", etc. Bertrand Russell argumentó que todo el lenguaje natural, incluso los conectivos lógicos, es vago; además, las representaciones de proposiciones son vagas. [8]

Falacia del continuo

La falacia del continuo (también conocida como falacia de la barba , [9] [10] falacia del dibujo lineal o falacia del punto de decisión [11] ) es una falacia informal relacionada con la paradoja de sorites. Ambas falacias hacen que uno rechace erróneamente una afirmación vaga simplemente porque no es tan precisa como nos gustaría que fuera. La vaguedad por sí sola no implica necesariamente invalidez. La falacia es el argumento de que dos estados o condiciones no pueden considerarse distintos (o no existen en absoluto) porque entre ellos existe un continuo de estados.

Estrictamente, la paradoja de sorites se refiere a situaciones en las que hay muchos estados discretos (clásicamente entre 1 y 1.000.000 de granos de arena, por lo tanto, 1.000.000 de estados posibles), mientras que la falacia del continuo se refiere a situaciones en las que hay (o parece haber) un continuo de estados. , como la temperatura. La cuestión clásica del atomismo es si existe algún continuo en el mundo físico , y si bien tanto la física newtoniana como la física cuántica modelan el mundo como continuo, hay algunas propuestas en gravedad cuántica , como la gravedad cuántica de bucles , que sugieren que las nociones de longitud continua no se aplican a la longitud de Planck y, por lo tanto, lo que parecen ser continuos pueden ser simplemente estados discretos aún indistinguibles.

A los efectos de la falacia del continuo, se supone que, de hecho, existe un continuo, aunque generalmente se trata de una distinción menor: en general, cualquier argumento contra la paradoja de los sorites también puede utilizarse contra la falacia del continuo. Un argumento contra la falacia se basa en un simple contraejemplo : existen personas calvas y personas que no lo son. Otro argumento es que por cada grado de cambio en los estados, el grado de la condición cambia ligeramente, y estos ligeros cambios se acumulan para desplazar el estado de una categoría a otra. Por ejemplo, tal vez la adición de un grano de arroz haga que el grupo total de arroz sea "un poco más" que un montón, y suficientes cambios leves certificarán el estado del montón del grupo (consulte lógica difusa) .

Resoluciones propuestas

Negar la existencia de montones

Se puede objetar la primera premisa negando que1.000.000 de granos de arena forman un montón. Pero1.000.000 es simplemente un número arbitrario grande, y el argumento se aplicará a cualquier número de ese tipo. Por lo tanto, la respuesta debe negar rotundamente que existan cosas como los montones. Peter Unger defiende esta solución. [12] Sin embargo, AJ Ayer lo repudió cuando Unger se lo presentó: "Si consideramos que todo está compuesto de átomos, y pensamos que Unger no está formado por células sino por los átomos que componen las células, entonces, como David Wiggins Como me ha señalado, se podría utilizar un argumento similar para demostrar que Unger, lejos de ser inexistente, es idéntico a todo lo que existe. Sólo tenemos que sustituir la premisa de que la sustracción de un átomo del cuerpo de Unger. "Nunca hace ninguna diferencia en su existencia la premisa de que la adición de un átomo tampoco hace ninguna diferencia". [13]

Establecer un límite fijo

Una primera respuesta común a la paradoja es denominar montón a cualquier conjunto de granos que tenga más de un cierto número de granos. Si uno tuviera que definir el "límite fijo" en10.000 granos entonces se diría que por menos de10.000 , no es un montón; para10.000 o más, entonces es un montón. [14]

Collins sostiene que tales soluciones son insatisfactorias ya que parece haber poca importancia a la diferencia entre9.999 granos y10.000 granos. El límite, dondequiera que se establezca, sigue siendo arbitrario y, por tanto, su precisión induce a error. Es objetable tanto por motivos filosóficos como lingüísticos: el primero debido a su arbitrariedad y el segundo porque simplemente no es así como se usa el lenguaje natural. [15]

Límites incognoscibles (oepistemicismo)

Timothy Williamson [16] [17] [18] y Roy Sorensen [19] afirman que existen límites fijos pero que son necesariamente incognoscibles.

Supervaluacionismo

El supervaluacionismo es un método para abordar términos singulares irreferenciales y vaguedades . Permite retener las leyes tautológicas habituales incluso cuando se trata de valores de verdad indefinidos. [20] [21] [22] [23] Como ejemplo de una proposición sobre un término singular irreferencial, considere la oración " A Pegaso le gusta el regaliz ". Dado que el nombre " Pegaso " no hace referencia , no se puede asignar ningún valor de verdad a la oración; no hay nada en el mito que justifique tal asignación. Sin embargo, hay algunas afirmaciones sobre " Pegasus " que, sin embargo, tienen valores de verdad definidos, como por ejemplo " A Pegasus le gusta el regaliz o a Pegasus no le gusta el regaliz ". Esta frase es un ejemplo de la tautología " ", es decir, del esquema válido " o no- ". Según el supervaluacionismo, debería ser cierto independientemente de si sus componentes tienen o no un valor de verdad.

Al admitir oraciones sin valores de verdad definidos, el supervaluacionismo evita casos adyacentes tales como n granos de arena son un montón de arena, pero n -1 granos no lo son; Por ejemplo, "1.000 granos de arena son un montón " puede considerarse un caso límite que no tiene un valor de verdad definido. Sin embargo, el supervaluacionismo es capaz de manejar una frase como "1.000 granos de arena son un montón, o1.000 granos de arena no son un montón ” como tautología, es decir, para asignarle el valor verdadero . [ cita requerida ]

Explicación matemática

Sea una valoración clásica definida sobre cada oración atómica del lenguaje , y sea el número de oraciones atómicas distintas en . Entonces, para cada frase , como mucho pueden existir valoraciones clásicas distintas. Una supervaluación es una función de oraciones a valores de verdad tal que una oración es súper verdadera (es decir ) si y sólo si para cada valoración clásica ; lo mismo ocurre con lo superfalso. De lo contrario, no está definido, es decir, exactamente cuando hay dos valoraciones clásicas y tales que y .

Por ejemplo, sea la traducción formal de " A Pegaso le gusta el regaliz ". Entonces hay exactamente dos valoraciones clásicas y siguientes , a saber. y . Por tanto, no es ni superverdadero ni superfalso. Sin embargo, la tautología es evaluada por toda valoración clásica; por lo tanto es muy cierto. De manera similar, la formalización de la proposición del montón anterior no es ni súper verdadera ni súper falsa, pero sí súper verdadera.

Faltas de verdad, excesos y lógicas multivaluadas

Otro método es utilizar una lógica multivalor . En este contexto, el problema está en el principio de bivalencia : la arena es un montón o no es un montón, sin matices de gris. En lugar de dos estados lógicos, montón y no montón , se puede utilizar un sistema de tres valores, por ejemplo montón , indeterminado y no montón . Una respuesta a esta solución propuesta es que tres sistemas de valores no resuelven realmente la paradoja, ya que todavía existe una línea divisoria entre montón e indeterminado y también entre indeterminado y no montón . El tercer valor de verdad puede entenderse como una brecha de valores de verdad o como un exceso de valores de verdad . [24]

Alternativamente, la lógica difusa ofrece un espectro continuo de estados lógicos representados en el intervalo unitario de números reales [0,1]; es una lógica multivaluada con infinitos valores de verdad y, por lo tanto, la arena pasa gradualmente de "definitivamente montón" " a "definitivamente no amontonar", con matices en la región intermedia. Las coberturas difusas se utilizan para dividir el continuo en regiones correspondientes a clases como definitivamente montón , mayoritariamente montón , parcialmente montón , ligeramente montón y no montón . [25] [26] Aunque el problema sigue siendo dónde ocurren estas fronteras; por ejemplo, a partir de qué cantidad de granos la arena comienza a ser "definitivamente" un montón.

Histéresis

Otro método, introducido por Raffman, [27] es utilizar la histéresis , es decir, el conocimiento de cómo comenzó la recolección de arena. Cantidades equivalentes de arena pueden denominarse montones o no según cómo llegaron allí. Si un montón grande (indiscutiblemente descrito como montón) se reduce lentamente, conserva su "estado de montón" hasta cierto punto, incluso cuando la cantidad real de arena se reduce a un número menor de granos. Por ejemplo,500 granos es un montón y1.000 granos es un montón. Habrá una superposición para estos estados. Entonces, si uno lo reduce de un montón a un montón, es un montón que desciende hasta750 . En ese punto, uno dejaría de llamarlo montón y empezaría a llamarlo montón. Pero si se reemplaza un grano, éste no volverá instantáneamente a convertirse en un montón. Al subir quedaría un montón hasta900 granos. Los números elegidos son arbitrarios; El punto es que la misma cantidad puede ser un montón o un montón dependiendo de lo que era antes del cambio. Un uso común de la histéresis sería el termostato del aire acondicionado: el aire acondicionado se ajusta a 77 °F y luego enfría el aire justo por debajo de 77 °F, pero no se activa nuevamente instantáneamente cuando el aire se calienta a 77,001 °F; espera hasta casi 78 °F, para evitar cambios instantáneos de estado una y otra vez. [28]

Consenso de grupo

Se puede establecer el significado de la palabra "montón" apelando al consenso . Williamson, en su solución epistémica a la paradoja, supone que el significado de términos vagos debe estar determinado por el uso grupal. [29] El método de consenso típicamente afirma que una colección de granos es tanto un "montón" como la proporción de personas en un grupo que creen que lo es. En otras palabras, la probabilidad de que cualquier colección se considere un montón es el valor esperado de la distribución de la opinión del grupo.

Un grupo puede decidir que:

Entre los dos extremos, los miembros individuales del grupo pueden no estar de acuerdo entre sí sobre si una colección en particular puede etiquetarse como "montón". Entonces no se puede afirmar definitivamente que la colección sea un "montón" o "no un montón". Esto puede considerarse una apelación a la lingüística descriptiva más que a la lingüística prescriptiva , ya que resuelve la cuestión de la definición en función de cómo la población utiliza el lenguaje natural. De hecho, si se dispone de una definición prescriptiva precisa de "montón", el consenso del grupo siempre será unánime y la paradoja no se produce.

Resoluciones en la teoría de la utilidad.

En el campo económico de la teoría de la utilidad , la paradoja de los sorites surge cuando se investigan los patrones de preferencias de una persona. Como ejemplo de Robert Duncan Luce , es fácil encontrar a una persona, digamos Peggy, que prefiera en su café 3 gramos (es decir, 1 cubo ) de azúcar a 15 gramos (5 cubos), sin embargo, normalmente le resultará indiferente. entre 3,00 y 3,03 gramos, así como entre 3,03 y 3,06 gramos, y así sucesivamente, así como finalmente entre 14,97 y 15,00 gramos. [30]

Los economistas tomaron dos medidas para evitar la paradoja de los sorites en semejante situación.

Se introdujeron varios tipos de relaciones para describir la preferencia y la indiferencia sin caer en la paradoja de los sorites. Luce definió semiórdenes e investigó sus propiedades matemáticas; [30] Amartya Sen realizó una tarea similar para relaciones cuasitransitivas . [37] Abreviar "A Peggy le gusta c x más que c y " como " c x > c y ", y abreviar " c x > c y o c xc y " por " c xc y ", es razonable que la relación ">" es un semiorden mientras ≥ es cuasitransitiva. Por el contrario, a partir de un semiorden dado > la relación de indiferencia ≈ se puede reconstruir definiendo c xc y si ni c x > c y ni c y > c x . De manera similar, a partir de una relación cuasitransitiva dada ≥ la relación de indiferencia ≈ se puede reconstruir definiendo c xc y si tanto c xc y como c yc x . Estas relaciones ≈ reconstruidas no suelen ser transitivas.

La tabla de la derecha muestra cómo el ejemplo de color anterior se puede modelar como una relación cuasitransitiva ≥. Diferencias de color exageradas para facilitar la lectura. Se dice que un color X es más o igual de rojo que un color Y si la celda de la tabla en la fila X y la columna Y no está vacía. En ese caso, si tiene un "≈", entonces X e Y parecen indistinguiblemente iguales, y si tiene un ">", entonces X se ve claramente más rojo que Y. La relación ≥ es la unión disjunta de la relación simétrica ≈ y la relación transitiva >. Usando la transitividad de >, el conocimiento de f10 > d30 y d30 > b50 permite inferir que f10 > b50 . Sin embargo, dado que ≥ no es transitivo, una inferencia "paradójica" como " d30e20 y e20f10 , por lo tanto d30f10 " ya no es posible. Por la misma razón, por ejemplo, " d30e20 y e20f10 , por lo tanto d30f10 " ya no es una inferencia válida. De manera similar, para resolver la variación original del montón de la paradoja con este enfoque, la relación " Los granos X son más un montón que los granos Y " podría considerarse cuasitransitiva en lugar de transitiva.

Ver también

Referencias

  1. ^ "Soritos". Omniléxica . Archivado desde el original el 2018-09-20 . Consultado el 14 de marzo de 2014 .
  2. ^ abc Barker, C. (2009). "Vaguedad". En Allan, Keith (ed.). Enciclopedia concisa de semántica . Elsevier. pag. 1037.ISBN 978-0-08-095968-9.
  3. ^ abc Sorensen, Roy A. (2009). "argumentos sorites". En Jaegwon Kim; Sosa, Ernesto; Rosenkrantz, Gary S. (eds.). Un compañero de la metafísica . John Wiley e hijos . pag. 565.ISBN 978-1-4051-5298-3.
  4. ^ Bergmann, Merrie (2008). Introducción a la lógica difusa y de muchos valores: semántica, álgebras y sistemas de derivación . Nueva York, Nueva York: Cambridge University Press . pag. 3.ISBN 978-0-521-88128-9.
  5. ^ (Barnes 1982), (Burnyeat 1982), (Williamson 1994)
  6. ^ Dolev, Y. (2004). "Por qué la inducción no es una cura para la calvicie". Investigaciones Filosóficas . 27 (4): 328–344. doi :10.1111/j.1467-9205.2004.t01-1-00230.x.
  7. ^ Leer, Stephen (1995). Pensando en la lógica , p.174. Oxford. ISBN 019289238X
  8. ^ Russell, Bertrand (junio de 1923). "Vaguedad". La Revista Australasia de Psicología y Filosofía . 1 (2): 84–92. doi :10.1080/00048402308540623. ISSN  1832-8660 . Consultado el 18 de noviembre de 2009 . El texto electrónico de Shalizi de 1995 está archivado en archive.org y en WebCite.
  9. ^ David Roberts: Razonamiento: otras falacias Archivado el 15 de septiembre de 2008 en la Wayback Machine.
  10. ^ Thouless, Robert H. (1953), Pensamiento recto y torcido (PDF) (edición revisada), Londres: Pan Books , p. 61
  11. ^ "Resumen del capítulo".
  12. ^ Unger, Peter (1979). "No hay cosas ordinarias". Síntesis . 41 (2): 117-154. doi :10.1007/bf00869568. JSTOR  20115446. S2CID  46956605.
  13. ^ Ayer, AJ (1979). Percepción e identidad: ensayos presentados a AJ Ayer, con sus respuestas . Ithica, Nueva York: Cornell University Press. pag. 324.
  14. ^ Collins 2018, pag. 32.
  15. ^ Collins 2018, pag. 35.
  16. ^ Williamson, Timoteo (1992). "Conocimiento inexacto". Mente . 101 (402): 218–242. doi : 10.1093/mind/101.402.217. JSTOR  2254332.
  17. ^ Williamson, Timoteo (1992). "Vaguedad e ignorancia". Actas complementarias de la Sociedad Aristotélica . 66 . Sociedad Aristotélica : 145-162. doi :10.1093/aristoteliansupp/66.1.145. JSTOR  4106976.
  18. ^ Williamson, Timoteo (1994). Vaguedad . Londres: Routledge .
  19. ^ Sorensen, Roy (1988). Puntos ciegos . Prensa de Clarendon . ISBN 9780198249818.
  20. ^ Bien, Kit (abril-mayo de 1975). «Vaguedad, Verdad y Lógica» (PDF) . Síntesis . 30 (3/4): 265–300. doi :10.1007/BF00485047. JSTOR  20115033. S2CID  17544558. Archivado desde el original (PDF) el 8 de junio de 2015.
  21. ^ van Fraassen, Bas C. (1966). "Términos singulares, brechas entre verdad y valor y lógica libre" (PDF) . Revista de Filosofía . 63 (17): 481–495. doi :10.2307/2024549. JSTOR  2024549.
  22. ^ Kamp, Hans (1975). Keenan, E. (ed.). Dos teorías sobre los adjetivos . Prensa de la Universidad de Cambridge. págs. 123-155.
  23. ^ Dummett, Michael (1975). "La paradoja de Wang" (PDF) . Síntesis . 30 (3/4): 301–324. doi :10.1007/BF00485048. JSTOR  20115034. S2CID  46956702. Archivado desde el original (PDF) el 22 de abril de 2016.
  24. ^ "Valores de verdad". La Enciclopedia de Filosofía de Stanford . Laboratorio de Investigación en Metafísica, Universidad de Stanford . 2018.
  25. ^ Zadeh, LA (junio de 1965). "Conjuntos difusos". Información y Control . 8 (3). San Diego: 338–353. doi : 10.1016/S0019-9958(65)90241-X . ISSN  0019-9958. Zbl  0139.24606. Wikidata  Q25938993.
  26. ^ Goguen, JA (1969). "La lógica de los conceptos inexactos". Síntesis . 19 (3–4): 325–378. doi :10.1007/BF00485654. JSTOR  20114646. S2CID  46965639.
  27. ^ Raffman, Diana (2014). Palabras rebeldes: un estudio del lenguaje vago. OUP. págs. 136 y siguientes. doi :10.1093/acprof:oso/9780199915101.001.0001. ISBN 9780199915101.
  28. ^ Raffman, D. (2005). "Cómo entender el contextualismo sobre la vaguedad: respuesta a Stanley". Análisis . 65 (287): 244–248. doi :10.1111/j.1467-8284.2005.00558.x. JSTOR  3329033.
  29. ^ Collins 2018, pag. 33.
  30. ^ ab Robert Duncan Luce (abril de 1956). "Semiórdenes y una teoría de la discriminación de utilidad" (PDF) . Econométrica . 24 (2): 178-191. doi :10.2307/1905751. JSTOR  1905751.Aquí: p.179
  31. ^ ab Wallace E. Armstrong (marzo de 1948). "La incertidumbre y la función de utilidad". Revista Económica . 58 (229): 1–10. doi :10.2307/2226342. JSTOR  2226342.
  32. ^ Peter C. Fishburn (mayo de 1970). "Indiferencia individual intransitiva y mayorías transitivas". Econométrica . 38 (3): 482–489. doi :10.2307/1909554. JSTOR  1909554.
  33. ^ Alan D. Miller; Shiran Rachmilevitch (febrero de 2014). Teorema de Arrow sin transitividad (PDF) (Documento de trabajo). Universidad de Haifa . pag. 11.
  34. ^ La forma comparativa se encontró en todas las publicaciones de economía investigadas hasta ahora. [31] [32] [33] Aparentemente está implicado en el objeto de investigaciones en la teoría de la utilidad.
  35. ^ Wallace E. Armstrong (septiembre de 1939). "La determinación de la función de utilidad". Revista Económica . 49 (195): 453–467. doi :10.2307/2224802. JSTOR  2224802.
  36. ^ Según Armstrong (1948), la indiferencia se consideraba transitiva en la teoría de la preferencia , [31] : 2  esta última fue cuestionada en 1939 por esta misma razón, [35] : 463  y sucedida por la teoría de la utilidad.
  37. ^ Sen, Amartya (1969). "Cuasitransitividad, elección racional y decisiones colectivas". La Revista de Estudios Económicos . 36 (3): 381–393. doi :10.2307/2296434. JSTOR  2296434. Zbl  0181.47302.

Bibliografía

enlaces externos