La paradoja de sorites ( / s oʊ ˈ r aɪ t iː 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, del cual se eliminan granos individualmente. Con el supuesto de que eliminar un solo grano no hace que un montón deje de considerarse un montón, la paradoja es considerar qué sucede cuando el proceso se repite suficientes veces como para que solo quede un grano y si sigue siendo un montón. Si no es así, entonces la pregunta es cuándo cambió de un montón a un no montón. [3]
La palabra sorites ( griego : σωρείτης ) deriva de la palabra griega para montón ( griego : σωρός ). [4] La paradoja se llama así debido a su caracterización original, atribuida a Eubulides de Mileto . [5] La paradoja es la siguiente: considere un montón de arena del cual se extraen granos individualmente. Uno podría construir el argumento, usando premisas , de la siguiente manera: [3]
La aplicación repetida de la premisa 2 (empezando cada vez con un grano menos) acaba obligando a aceptar la conclusión de que un montón puede estar compuesto de un solo 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]
La tensión entre pequeños cambios y grandes consecuencias da lugar a la paradoja del 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 consiste en empezar con un grano de arena, que claramente no es un montón, y luego suponer que añadir 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 tanto como se quiera sin llegar a formar un montón. [2] [3] Una formulación más natural de esta variante consiste en suponer que existe un conjunto de fichas de colores de modo que dos fichas adyacentes varían en color tan poco que la vista humana no puede distinguirlas. Entonces, por inducción sobre esta premisa, los humanos no serían capaces de distinguir entre ningún color. [2]
Quitar una gota del océano no hará que "deje de ser un océano" (sigue siendo un océano), pero como el volumen de agua en el océano es finito, eventualmente, después de suficientes extracciones, incluso un litro de agua que quede sigue siendo un océano.
Esta paradoja puede reconstruirse para una variedad de predicados, por ejemplo, con "alto", "rico", "viejo", "azul", "calvo", etc. Bertrand Russell sostuvo que todo el lenguaje natural, incluso los conectivos lógicos, es vago; además, las representaciones de proposiciones son vagas. [8]
La falacia del continuo (también conocida como falacia de la barba , [9] [10] falacia del trazado de líneas o falacia del punto de decisión [11] ) es una falacia informal relacionada con la paradoja del sorites. Ambas falacias hacen que uno rechace erróneamente una afirmación vaga simplemente porque no es tan precisa como uno quisiera 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 del 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.
Para el propósito de la falacia del continuo, se supone que de hecho existe un continuo, aunque esta es generalmente una distinción menor: en general, cualquier argumento contra la paradoja de sorites también puede usarse contra la falacia del continuo. Un argumento contra la falacia se basa en el simple contraejemplo : existen personas calvas y personas que no son calvas. Otro argumento es que por cada grado de cambio en los estados, el grado de la condición cambia ligeramente, y estos cambios leves se acumulan para cambiar el estado de una categoría a otra. Por ejemplo, tal vez la adición de un grano de arroz hace que el grupo total de arroz sea "ligeramente más" un montón, y suficientes cambios leves certificarán el estado de montón del grupo - ver lógica difusa .
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 y el argumento se aplica a cualquier número de ese tipo. Por lo tanto, la respuesta debe negar de plano que existan cosas como montones. Peter Unger defiende esta solución. [12] Sin embargo, AJ Ayer la rechazó cuando Unger se la presentó: "Si consideramos que todo está compuesto de átomos y pensamos que Unger no consiste en células sino en los átomos que componen las células, entonces, como David Wiggins 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 por la premisa de que la adición de un átomo a él tampoco hace ninguna diferencia". [13]
Una primera respuesta común a la paradoja es denominar montón a cualquier conjunto de granos que contenga más de una cierta cantidad de granos. Si uno definiera el "límite fijo" en10.000 granos entonces uno podría afirmar que por menos de10.000 , no es un montón; porque10.000 o más, entonces es un montón. [14]
Collins sostiene que tales soluciones son insatisfactorias, ya que parece haber poca importancia en la diferencia entre9,999 granos y10.000 granos. El límite, dondequiera que se fije, sigue siendo arbitrario, y por ello su precisión es engañosa. Es objetable tanto por razones filosóficas como lingüísticas: la primera por su arbitrariedad y la segunda porque simplemente no es la forma en que se utiliza el lenguaje natural. [15]
Timothy Williamson [16] [17] [18] y Roy Sorensen [19] afirman que hay límites fijos pero que son necesariamente incognoscibles.
El supervaluacionismo es un método para tratar con términos singulares irreferenciales y vaguedad . Permite retener las leyes tautológicas usuales incluso cuando se trata con valores de verdad indefinidos. [20] [21] [22] [23] Un ejemplo de una proposición sobre un término singular irreferencial es 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 Pegaso que tienen valores de verdad definidos, como " A Pegaso le gusta el regaliz o A Pegaso no le gusta el regaliz ". Esta oración es una instancia de la tautología " ", es decir, el esquema válido " o no- ". Según el supervaluacionismo, debería ser verdadera 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 que 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 oración como "1.000 granos de arena son un montón o1.000 granos de arena no son un montón ” como una tautología, es decir, asignarle el valor verdadero . [ cita requerida ]
Sea una valoración clásica definida en cada oración atómica del lenguaje , y sea el número de oraciones atómicas distintas en . Entonces, para cada oración , pueden existir, como máximo, valoraciones clásicas distintas. Una supervaloración es una función de oraciones a valores de verdad tales que, una oración es superverdadera (es decir, ) si y solo si para cada valoración clásica ; lo mismo para superfalsa. De lo contrario, no está definida, 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 en , a saber, y . Por lo tanto , no es ni superverdadera ni superfalsa. Sin embargo, la tautología se evalúa como por cada valoración clásica; por lo tanto, es superverdadera. De manera similar, la formalización de la proposición del montón anterior no es superverdadera ni superfalsa, sino superverdadera.
Otro método consiste en utilizar una lógica multivaluada . En este contexto, el problema está en el principio de bivalencia : la arena es un montón o no es un montón, sin ningún matiz 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 los sistemas de tres valores no resuelven verdaderamente la paradoja, ya que sigue habiendo 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 montón", con matices en la región intermedia. Los setos difusos se utilizan para dividir el continuo en regiones correspondientes a clases como definitivamente montón , mayormente montón , parcialmente montón , ligeramente montón y no montón . [25] [26] Aunque el problema sigue siendo dónde ocurren estos límites; por ejemplo, en qué número de granos la arena comienza a ser definitivamente un montón.
Otro método, introducido por Raffman, [27] es utilizar la histéresis , es decir, el conocimiento de cómo comenzó la acumulación de arena. Las cantidades equivalentes de arena pueden denominarse montones o no en función de cómo llegaron allí. Si un montón grande (indiscutiblemente descrito como un 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 son un montón. Habrá una superposición para estos estados. Por lo tanto, si uno lo reduce de un montón a una pila, es un montón que va descendiendo hasta750. En ese punto, uno dejaría de llamarlo montón y comenzaría a llamarlo pila. Pero si uno reemplaza un grano, no se convertiría instantáneamente en un montón. Al subir, seguiría siendo una pila hasta que900 granos. Los números escogidos son arbitrarios; el punto es que la misma cantidad puede ser un montón o una pila 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 fija a 77 °F y luego enfría el aire a poco menos de 77 °F, pero no se activa de nuevo instantáneamente cuando el aire se calienta a 77,001 °F; espera hasta casi 78 °F, para evitar un cambio instantáneo de estado una y otra vez. [28]
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 ser determinado por el uso del grupo. [29] El método del consenso típicamente sostiene que una colección de granos es un "montón" tanto como la proporción de personas en un grupo que creen que lo es. En otras palabras, la probabilidad de que cualquier colección sea considerada 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 estar en desacuerdo entre sí sobre si una colección en particular puede ser etiquetada como un "montón". Entonces no se puede afirmar definitivamente que la colección es un "montón" o "no es un montón". Esto puede considerarse una apelación a la lingüística descriptiva en lugar de la lingüística prescriptiva , ya que resuelve la cuestión de la definición basada en cómo la población usa el lenguaje natural. De hecho, si se dispone de una definición prescriptiva precisa de "montón", entonces el consenso del grupo siempre será unánime y la paradoja no ocurre.
En el campo económico de la teoría de la utilidad , la paradoja del sorites surge cuando se investigan los patrones de preferencias de una persona. Como ejemplo de Robert Duncan Luce , es fácil encontrar una persona, digamos, Peggy, que prefiere en su café 3 gramos (es decir, 1 terrón) de azúcar a 15 gramos (5 terrones), sin embargo, normalmente será 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 del sorites en ese contexto.
Se introdujeron varios tipos de relaciones para describir la preferencia y la indiferencia sin caer en la paradoja del sorites. Luce definió semiórdenes e investigó sus propiedades matemáticas; [30] Amartya Sen realizó una tarea similar para las relaciones cuasititransitivas . [37] Abreviando "A Peggy le gusta c x más que c y " como " c x > c y ", y abreviando " c x > c y o c x ≈ c y " por " c x ≥ c y ", es razonable que la relación ">" sea un semiorden mientras que ≥ sea cuasititransitiva. Por el contrario, a partir de un semiorden dado > la relación de indiferencia ≈ puede reconstruirse definiendo c x ≈ c y si ni c x > c y ni c y > c x . De manera similar, a partir de una relación cuasititransitiva dada ≥ la relación de indiferencia ≈ puede reconstruirse definiendo c x ≈ c y si tanto c x ≥ c y como c y ≥ c x . Estas relaciones ≈ reconstruidas normalmente no son transitivas.
La tabla de la derecha muestra cómo el ejemplo de color anterior puede modelarse como una relación cuasitransitiva ≥. Diferencias de color exageradas para facilitar la lectura. Se dice que un color X es más o igualmente 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 contiene un "≈", entonces X e Y se ven indistinguiblemente iguales, y si contiene 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 tanto de f10 > d30 como de d30 > b50 permite inferir que f10 > b50 . Sin embargo, dado que ≥ no es transitivo, una inferencia "paradójica" como " d30 ≥ e20 y e20 ≥ f10 , por lo tanto, d30 ≥ f10 " ya no es posible. Por la misma razón, p. ej., " d30 ≈ e20 y e20 ≈ f10 , por lo tanto, d30 ≈ f10 " ya no es una inferencia válida. De manera similar, para resolver la variación original 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 cuasititransitiva en lugar de transitiva.