Un concepto difuso es una idea cuyos límites de aplicación pueden variar considerablemente según el contexto o las condiciones, en lugar de estar fijados de una vez por todas. [1] Esto significa que el concepto es vago de alguna manera. Carece de un significado fijo y preciso. Sin embargo, no es confuso ni carente de significado. [2] Tiene un significado definido, que puede hacerse más preciso solo mediante una mayor elaboración y especificación, incluida una definición más precisa del contexto en el que se utiliza el concepto. El estudio de las características de los conceptos difusos y del lenguaje difuso se denomina semántica difusa . [3] El inverso de un "concepto difuso" es un "concepto nítido" (es decir, un concepto preciso).
Para los ingenieros, "la ambigüedad es la imprecisión o vaguedad de la definición". [4] Para los científicos, un concepto difuso es una idea que es "hasta cierto punto aplicable" en una situación. Significa que el concepto puede tener gradaciones de importancia o límites de aplicación poco definidos (variables); una afirmación difusa es una afirmación que es verdadera "hasta cierto punto", y esa medida a menudo se puede representar mediante un valor escalado. Para los matemáticos, un "concepto difuso" suele ser un conjunto difuso o una combinación de dichos conjuntos (véase matemáticas difusas ). En lingüística cognitiva , las cosas que pertenecen a una "categoría difusa" presentan gradaciones de semejanza familiar , y los límites de la categoría no están claramente definidos. [5] En un sentido más general, popular, en contraste con sus significados técnicos, un "concepto difuso" se refiere a una idea imprecisa que es "algo vaga" por cualquier tipo de razón.
En el pasado, la idea misma de razonar con conceptos difusos se enfrentó a una resistencia considerable por parte de las élites académicas. [6] No querían respaldar el uso de conceptos imprecisos en la investigación o la argumentación, y miraban la lógica difusa con sospecha. Sin embargo, aunque la gente puede no ser consciente de ello, el uso de conceptos difusos ha aumentado gigantescamente en todos los ámbitos de la vida desde la década de 1970 en adelante. [7] Esto se debe principalmente a los avances en ingeniería electrónica, matemáticas difusas y programación de computadoras digitales. La nueva tecnología permite anticipar inferencias muy complejas sobre "variaciones sobre un tema" y fijarlas en un programa. [8] El rover Perseverance Mars , un vehículo sin conductor de la NASA utilizado para explorar el cráter Jezero en el planeta Marte , cuenta con una programación de lógica difusa que lo dirige a través de terreno accidentado. [9] De manera similar, al norte, el rover chino Zhurong utilizó algoritmos de lógica difusa para calcular su ruta de viaje en Utopia Planitia a partir de datos de sensores. [10]
Los nuevos métodos computacionales neurodifusos [11] permiten identificar, medir y responder a gradaciones finas de significación con gran precisión. [12] Esto significa que se pueden codificar conceptos de utilidad práctica y aplicarlos a todo tipo de tareas, incluso si ordinariamente estos conceptos nunca se definen con precisión. Hoy en día, los ingenieros, estadísticos y programadores a menudo representan conceptos difusos matemáticamente, utilizando lógica difusa, valores difusos, variables difusas y conjuntos difusos. [13] La lógica difusa puede desempeñar un papel importante en la programación de inteligencia artificial , por ejemplo porque puede modelar los procesos cognitivos humanos con mayor facilidad. [14]
Los problemas de vaguedad e indefinición probablemente siempre han existido en la experiencia humana. [15] En Occidente, los textos antiguos muestran que los filósofos y los científicos ya estaban pensando en ese tipo de problemas en la antigüedad clásica . Kit Fine afirma que "cuando un filósofo habla de vaguedad, tiene en mente un cierto tipo de indeterminación en la relación de algo con el mundo". [16] Según el pensamiento taoísta de Laozi y Zhuang Zhou en la antigua China, "la vaguedad no se mira con sospecha, sino que es simplemente una característica reconocida del mundo que nos rodea", un tema de meditación y una fuente de conocimiento. [17]
La antigua paradoja de Sorites planteó por primera vez el problema lógico de cómo podríamos definir exactamente el umbral a partir del cual un cambio en la gradación cuantitativa se convierte en una diferencia cualitativa o categórica. [18] En algunos procesos físicos, este umbral es relativamente fácil de identificar. Por ejemplo, el agua se convierte en vapor a 100 °C o 212 °F (el punto de ebullición depende en parte de la presión atmosférica, que disminuye a mayores altitudes). [19]
Sin embargo, en muchos otros procesos y gradaciones, el punto de cambio es mucho más difícil de localizar y sigue siendo algo vago. Por ello, los límites entre cosas cualitativamente diferentes pueden ser difusos : sabemos que existen límites, pero no podemos definirlos con exactitud.
Según la idea moderna de la falacia del continuo , el hecho de que una afirmación sea hasta cierto punto vaga no significa automáticamente que no tenga validez. El problema es, entonces, cómo podemos determinar y definir la validez que tiene la afirmación .
El mito nórdico de la apuesta de Loki sugería que los conceptos que carecen de significados precisos o límites precisos de aplicación no pueden ser discutidos de manera útil. [20] Sin embargo, la idea del siglo XX de los "conceptos difusos" propone que se puede operar con "términos algo vagos", porque podemos explicar y definir la variabilidad de su aplicación, asignando números a los grados de aplicabilidad. Esta idea parece bastante simple, pero tenía grandes implicaciones.
En la civilización occidental, el reconocimiento intelectual de conceptos difusos se remonta a una diversidad de pensadores famosos y menos conocidos, [21] incluidos (entre muchos otros) Eubulides , [22] Platón , [23] Cicerón , [24] Georg Wilhelm Friedrich Hegel , [25] Karl Marx y Friedrich Engels , [26] Friedrich Nietzsche , [27] William James , [28] Hugh MacColl , [29] Charles S. Peirce , [30] Max Black , [31] Jan Łukasiewicz , [32] Emil Leon Post , [33] Alfred Tarski , [34] Georg Cantor , [35] Nicolai A. Vasiliev , [36] Kurt Gödel , [37] Stanisław Jaśkowski , [38] Willard Van Orman Quine , [39] Joseph Goguen [40] y Donald Knuth . [41]
A lo largo de al menos dos milenios y medio, todos ellos tuvieron algo que decir acerca de los conceptos graduados con límites poco definidos. Esto sugiere al menos que la conciencia de la existencia de conceptos con características "difusas", de una forma u otra, tiene una historia muy larga en el pensamiento humano. Un buen número de lógicos, matemáticos y filósofos del siglo XX también intentaron analizar las características de los conceptos difusos como una especie reconocida, a veces con la ayuda de algún tipo de lógica polivalente o lógica subestructural .
En 1951, Abraham Kaplan y Hermann F. Schott intentaron crear una teoría de conjuntos en la que la pertenencia a un conjunto fuera una cuestión de grado. Su intención era aplicar la idea a la investigación empírica. Kaplan y Schott midieron el grado de pertenencia a clases empíricas utilizando números reales entre 0 y 1, y definieron las nociones correspondientes de intersección, unión, complementación y subconjunto. [42] Sin embargo, en ese momento, su idea "cayó en terreno pedregoso". [43] J. Barkley Rosser Sr. publicó un tratado sobre lógicas polivalentes en 1952, anticipándose a los "conjuntos polivalentes". [44] Otro tratado fue publicado en 1963 por Alexander Zinoviev y otros. [45]
En 1964, el filósofo estadounidense William Alston introdujo el término "vaguedad de grado" para describir la vaguedad de una idea que resulta de la ausencia de un punto de corte definido a lo largo de una escala implícita (en contraste con la "vaguedad combinatoria" causada por un término que tiene varias condiciones de aplicación lógicamente independientes). [46]
El matemático alemán Dieter Klaua publicó un artículo en alemán sobre conjuntos difusos en 1965, [47] pero utilizó una terminología diferente (se refirió a "conjuntos multivaluados", no a "conjuntos difusos"). [48]
A finales de los años 1960, Robert J. Ackermann y Nicholas Rescher publicaron dos introducciones populares a la lógica multivaluada . [49] El libro de Rescher incluye una bibliografía sobre la teoría difusa hasta 1965, que fue ampliada por Robert Wolf y Joseph de Kerf para el período 1966-1975. [50] Haack proporciona referencias a trabajos importantes posteriores a 1974. [51] George J. Klir y Bo Yuan proporcionaron una descripción general del tema en Fuzzy sets and fuzzy logic a mediados de los años 1990. [52] Bergmann proporciona una introducción más reciente (2008) al razonamiento difuso. [53]
Al informático estadounidense nacido en Irán Lotfi A. Zadeh (1921-2017) se le atribuye generalmente la invención de la idea específica de un "concepto difuso" en su artículo seminal de 1965 sobre conjuntos difusos, porque presentó una formalización matemática del fenómeno que fue ampliamente aceptada por los académicos. [54] También fue Zadeh quien jugó un papel decisivo en el desarrollo del campo de la lógica difusa, los conjuntos difusos y los sistemas difusos, con una gran cantidad de artículos académicos. [55] A diferencia de la mayoría de las teorías filosóficas de la vaguedad, el enfoque de ingeniería de Zadeh tenía la ventaja de que podía aplicarse directamente a la programación informática. [56] El artículo seminal de Zadeh de 1965 es reconocido como uno de los artículos académicos más citados del siglo XX. [57] En 2014, se ubicó en el puesto 46 de la lista de los 100 artículos de investigación más citados del mundo de todos los tiempos. [58] Desde mediados de la década de 1960, muchos académicos han contribuido a elaborar la teoría del razonamiento con conceptos graduados, y el campo de investigación continúa expandiéndose. [59]
La definición académica habitual de un concepto como "difuso" ha estado en uso desde la década de 1970 en adelante.
Radim Bělohlávek explica:
"Existen pruebas sólidas, establecidas en la década de 1970 en la psicología de los conceptos... de que los conceptos humanos tienen una estructura graduada en la que el que un concepto se aplique o no a un objeto dado es una cuestión de grado, en lugar de una pregunta de sí o no, y que las personas son capaces de trabajar con los grados de manera consistente. Este hallazgo es intuitivamente bastante atractivo, porque la gente dice "este producto es más o menos bueno" o "hasta cierto punto, es un buen atleta", lo que implica la estructura graduada de los conceptos. En su artículo clásico, Zadeh llamó a los conceptos con una estructura graduada conceptos difusos y sostuvo que estos conceptos son una regla más que una excepción cuando se trata de cómo las personas comunican el conocimiento. Además, sostuvo que modelar matemáticamente tales conceptos es importante para las tareas de control, toma de decisiones, reconocimiento de patrones y similares. Zadeh propuso la noción de un conjunto difuso que dio origen al campo de la lógica difusa ..." [60]
Por lo tanto, un concepto se considera generalmente "difuso" en un sentido lógico si:
El hecho de que un concepto sea difuso no impide su uso en el razonamiento lógico; simplemente afecta el tipo de razonamiento que se puede aplicar (véase lógica difusa ). Si el concepto tiene gradaciones de importancia significativa, es necesario especificar y formalizar cuáles son esas gradaciones, si pueden marcar una diferencia importante. No todos los conceptos difusos tienen la misma estructura lógica, pero a menudo se pueden describir o reconstruir formalmente utilizando lógica difusa u otras lógicas subestructurales . [62] La ventaja de este enfoque es que la notación numérica permite un número potencialmente infinito de valores de verdad entre la verdad completa y la falsedad completa, y por lo tanto permite -en teoría, al menos- la mayor precisión al indicar el grado de aplicabilidad de una regla lógica.
El primer estudioso que señaló la necesidad de distinguir la teoría de conjuntos difusos de la teoría de la probabilidad fue el alumno de Zadeh, Joseph Goguen . [63] Petr Hájek , escribiendo sobre los fundamentos de la lógica difusa, también distinguió claramente entre "borrosidad" e "incertidumbre":
"La oración "El paciente es joven" es verdadera hasta cierto punto: cuanto menor sea la edad del paciente (medida, por ejemplo, en años), más verdadera es la oración. La verdad de una proposición difusa es una cuestión de grado. Recomiendo a todos los interesados en la lógica difusa que distingan claramente la imprecisión de la incertidumbre como un grado de creencia (por ejemplo, probabilidad). Comparemos la última proposición con la proposición "El paciente sobrevivirá la semana que viene". Esta puede considerarse como una proposición clara que es (absolutamente) verdadera o (absolutamente) falsa; pero no sabemos cuál es el caso. Podemos tener cierta probabilidad (posibilidad, grado de creencia) de que la oración sea verdadera; pero la probabilidad no es un grado de verdad. [64]
En metrología (la ciencia de la medición), se reconoce que para cualquier medida que queramos realizar, existe una cantidad de incertidumbre sobre su precisión, pero este grado de incertidumbre se expresa convencionalmente como una magnitud de probabilidad, y no como un grado de verdad. En 1975, Lotfi A. Zadeh introdujo una distinción entre "conjuntos difusos de tipo 1" sin incertidumbre y " conjuntos difusos de tipo 2 " con incertidumbre, que ha sido ampliamente aceptada. [65] En pocas palabras, en el primer caso, cada número difuso está vinculado a un número no difuso (natural), mientras que en el segundo caso, cada número difuso está vinculado a otro número difuso.
En la lógica filosófica y la lingüística, los conceptos difusos suelen considerarse ideas vagas o imprecisas que, en su aplicación, o estrictamente hablando, no son ni completamente verdaderas ni completamente falsas. [66] Tales ideas requieren una mayor elaboración, especificación o calificación para comprender su aplicabilidad (las condiciones bajo las cuales realmente tienen sentido). [67] El "área difusa" también puede referirse simplemente a un número residual de casos que no se pueden asignar a un grupo, clase o conjunto conocido e identificable si se utilizan criterios estrictos.
Los pensadores franceses Gilles Deleuze y Félix Guattari se refirieron ocasionalmente a los conjuntos difusos en relación con su concepto fenomenológico de multiplicidades . En Mil mesetas , afirman que "un conjunto es difuso si sus elementos pertenecen a él solo en virtud de operaciones específicas de consistencia y consolidación, que siguen una lógica especial", [68] En su libro ¿Qué es la filosofía?, que trata de las funciones de los conceptos, sugieren que todos los conceptos filosóficos podrían considerarse como "conjuntos vagos o difusos, simples agregados de percepciones y afectos, que se forman dentro de lo vivido como inmanentes a un sujeto, a una conciencia [y que] son multiplicidades cualitativas o intensivas, como la "rojez" o la "calvicie", donde no podemos decidir si ciertos elementos pertenecen o no al conjunto". [69]
En matemáticas y estadística , una variable difusa (como "la temperatura", "caliente" o "frío") es un valor que podría estar en un rango probable definido por algunos límites o parámetros cuantitativos , y que puede describirse útilmente con categorías imprecisas (como "alto", "medio" o "bajo") utilizando algún tipo de escala o jerarquía conceptual.
En matemáticas y ciencias de la computación , las gradaciones del significado aplicable de un concepto difuso se describen en términos de relaciones cuantitativas definidas por operadores lógicos. Este enfoque a veces se denomina "semántica de teoría de grados" por los lógicos y filósofos, [70] pero el término más habitual es lógica difusa o lógica multivaluada . [71] La novedad de la lógica difusa es que "rompe con el principio tradicional de que la formalización debe corregir y evitar, pero no comprometer, la vaguedad". [72] La idea básica de la lógica difusa es que se asigna un número real a cada enunciado escrito en un lenguaje, dentro de un rango de 0 a 1, donde 1 significa que el enunciado es completamente verdadero y 0 significa que el enunciado es completamente falso, mientras que los valores menores que 1 pero mayores que 0 representan que el enunciado es "parcialmente verdadero", en un grado determinado y cuantificable. Susan Haack comenta:
"Mientras que en la teoría de conjuntos clásica un objeto es o no es miembro de un conjunto dado, en la teoría de conjuntos difusos la pertenencia es una cuestión de grado; el grado de pertenencia de un objeto en un conjunto difuso está representado por algún número real entre 0 y 1, donde 0 denota ninguna pertenencia y 1 una pertenencia completa ." [73]
En este contexto matemático, la "verdad" suele significar simplemente que "algo es cierto" o que "algo es aplicable". Esto permite analizar una distribución de enunciados en busca de su contenido de verdad, identificar patrones de datos, hacer inferencias y predicciones y modelar cómo funcionan los procesos. Petr Hájek afirmó que "la lógica difusa no es sólo una "lógica aplicada", sino que puede aportar "nueva luz a los problemas lógicos clásicos" y, por lo tanto, podría clasificarse como una rama distinta de la "lógica filosófica", similar, por ejemplo, a las lógicas modales . [74]
La lógica difusa ofrece sistemas de conceptos y métodos orientados a la computación para formalizar tipos de razonamiento que, por lo general, son sólo aproximados y no exactos. En principio, esto nos permite dar una respuesta definida y precisa a la pregunta "¿En qué medida algo es así?" o "¿En qué medida algo es aplicable?". Mediante una serie de interruptores, este tipo de razonamiento se puede incorporar a los dispositivos electrónicos. Esto ya ocurría antes de que se inventara la lógica difusa, pero su uso en el modelado se ha convertido en una ayuda importante en el diseño, que crea muchas posibilidades técnicas nuevas. El razonamiento difuso (es decir, el razonamiento con conceptos graduados) resulta tener muchos usos prácticos. [75] Hoy en día se utiliza ampliamente en:
Parece que la lógica difusa acabará aplicándose en casi todos los aspectos de la vida, incluso si la gente no es consciente de ello, y en ese sentido es una invención sorprendentemente exitosa. [81] La literatura científica y de ingeniería sobre el tema aumenta constantemente.
Originalmente, gran parte de la investigación sobre lógica difusa fue realizada por pioneros japoneses que inventaron nueva maquinaria, equipo electrónico y electrodomésticos (ver también Sistema de control difuso ). [82] La idea se hizo tan popular en Japón, que la palabra inglesa entró al idioma japonés (ファジィ概念). La "teoría difusa" (ファジー理論) es un campo reconocido en la investigación científica japonesa.
Desde entonces, el movimiento se ha extendido por todo el mundo; hoy en día, casi todos los países tienen su propia asociación de sistemas difusos, aunque algunas son más grandes y están más desarrolladas que otras. En algunos casos, el organismo local es una rama de uno internacional. En otros casos, el programa de sistemas difusos se enmarca en la inteligencia artificial o la computación blanda .
Lotfi A. Zadeh estimó que alrededor de 2014 había más de 50.000 inventos patentados relacionados con la lógica difusa. Enumeró 28 revistas que en ese momento trataban sobre razonamiento difuso y 21 títulos de revistas sobre computación blanda . Sus búsquedas encontraron cerca de 100.000 publicaciones con la palabra "fuzzy" en sus títulos, pero tal vez haya incluso 300.000. [102] En marzo de 2018, Google Scholar encontró 2.870.000 títulos que incluían la palabra "fuzzy". Cuando murió el 11 de septiembre de 2017 a los 96 años, el profesor Zadeh había recibido más de 50 premios académicos y de ingeniería en reconocimiento a su trabajo. [103]
La técnica de redes de conceptos difusos se utiliza cada vez más en programación para el formato, la relación y el análisis de conjuntos de datos difusos.
Según el científico informático Andrei Popescu de la Universidad Middlesex de Londres , [104] un concepto puede definirse operativamente como:
Una vez definido el contexto, podemos especificar relaciones de conjuntos de objetos con conjuntos de atributos que comparten o no.
El hecho de que un objeto pertenezca a un concepto y de que tenga o no un atributo puede ser a menudo una cuestión de grado. Así, por ejemplo, "muchos atributos son difusos en lugar de precisos". [105] Para superar este problema, se asigna un valor numérico a cada atributo a lo largo de una escala y los resultados se colocan en una tabla que vincula cada valor de objeto asignado dentro del rango dado con un valor numérico (una puntuación) que denota un grado dado de aplicabilidad.
Esta es la idea básica de una "red de conceptos difusos", que también se puede representar gráficamente; diferentes redes de conceptos difusos también se pueden conectar entre sí (por ejemplo, en las técnicas de " agrupamiento conceptual difuso " utilizadas para agrupar datos, inventadas originalmente por Enrique H. Ruspini). Las redes de conceptos difusos son una herramienta de programación útil para el análisis exploratorio de big data , por ejemplo en casos en los que conjuntos de respuestas conductuales vinculadas son ampliamente similares, pero sin embargo pueden variar de maneras importantes, dentro de ciertos límites. Puede ayudar a descubrir cuál es la estructura y las dimensiones de un comportamiento que ocurre con una cantidad importante pero limitada de variación en una población grande. [106]
La codificación con redes difusas puede ser útil, por ejemplo, en el análisis psefológico de big data sobre el comportamiento de los votantes, donde los investigadores quieren explorar las características y asociaciones involucradas en opiniones "algo vagas"; gradaciones en las actitudes de los votantes; y variabilidad en el comportamiento de los votantes (o características personales) dentro de un conjunto de parámetros. [107] Las técnicas de programación básicas para este tipo de mapeo conceptual difuso y aprendizaje profundo ya están bien establecidas [108] y el análisis de big data tuvo una fuerte influencia en las elecciones estadounidenses de 2016. [109] Un estudio estadounidense concluyó en 2015 que para el 20% de los votantes indecisos, el algoritmo de búsqueda secreto de Google tenía el poder de cambiar la forma en que votaban. [110]
En la actualidad, se pueden explorar grandes cantidades de datos utilizando computadoras con programación de lógica difusa [111] y arquitecturas de código abierto como Apache Hadoop , Apache Spark y MongoDB . Un autor afirmó en 2016 que ahora es posible obtener, vincular y analizar "400 puntos de datos" para cada votante de una población, utilizando sistemas Oracle (un "punto de datos" es un número vinculado a una o más categorías, que representa una característica). [112]
Sin embargo, NBC News informó en 2016 que la firma angloamericana Cambridge Analytica que perfiló a los votantes de Donald Trump ( Steve Bannon era miembro de la junta) [113] no tenía 400, sino 4.000 puntos de datos para cada uno de los 230 millones de adultos estadounidenses. [114] El propio sitio web de Cambridge Analytica afirmó que se recopilaron "hasta 5.000 puntos de datos" para cada uno de los 220 millones de estadounidenses, un conjunto de datos de más de 1 billón de bits de datos formateados. [115] The Guardian afirmó más tarde que Cambridge Analytica, de hecho, tenía, según la información de su propia empresa, "hasta 7.000 puntos de datos" sobre 240 millones de votantes estadounidenses. [116]
Latanya Sweeney , profesora de la Universidad de Harvard , calculó que si una empresa estadounidense conoce únicamente su fecha de nacimiento , su código postal y su sexo , tiene un 87% de posibilidades de identificarlo por su nombre, simplemente utilizando conjuntos de datos vinculados de varias fuentes. [117] Con 4.000 a 7.000 puntos de datos en lugar de tres, es posible elaborar un perfil personal muy completo de casi todos los votantes, y se pueden inferir muchos patrones de comportamiento vinculando diferentes conjuntos de datos. También es posible identificar y medir gradaciones en las características personales que, en conjunto, tienen efectos muy grandes.
Algunos investigadores sostienen que este tipo de análisis de big data tiene graves limitaciones y que los resultados analíticos solo pueden considerarse indicativos y no definitivos. [118] Esto fue confirmado por Kellyanne Conway , asesora y consejera de campaña de Donald Trump , quien enfatizó la importancia del juicio humano y el sentido común para sacar conclusiones de datos difusos. [119] Conway admitió con franqueza que gran parte de su propia investigación "nunca vería la luz del día", porque era confidencial del cliente. [120] Otro asesor de Trump criticó a Conway, afirmando que "produce un análisis que entierra cada número terrible y resalta cada número positivo" [121]
En una entrevista en video publicada por The Guardian en marzo de 2018, el denunciante Christopher Wylie calificó a Cambridge Analytica como una "máquina de propaganda de servicio completo" en lugar de una empresa de ciencia de datos de buena fe. Su propio sitio reveló con "estudios de caso" que ha estado activa en campañas políticas en numerosos países diferentes, influyendo en actitudes y opiniones. [122] Wylie explicó que "gastamos un millón de dólares en recopilar decenas de millones de perfiles de Facebook , y esos perfiles se utilizaron como base de los algoritmos que se convirtieron en la base de la propia Cambridge Analytica. La propia empresa se fundó utilizando datos de Facebook". [123]
El 19 de marzo de 2018, Facebook anunció que había contratado a la firma de forense digital Stroz Friedberg para realizar una "auditoría integral" de Cambridge Analytica, mientras que las acciones de Facebook se desplomaron un 7 por ciento de la noche a la mañana (borrando aproximadamente $ 40 mil millones en capitalización de mercado). [124] Cambridge Analytica no solo había utilizado los perfiles de los usuarios de Facebook para compilar conjuntos de datos. Según el testimonio de Christopher Wylie , la compañía también recopiló los datos de la red de amigos de cada usuario, aprovechando el conjunto de datos original. Luego convirtió, combinó y migró sus resultados en nuevos conjuntos de datos, que en principio pueden sobrevivir en algún formato, incluso si se destruyen las fuentes de datos originales. Creó y aplicó algoritmos utilizando datos a los que, argumentan los críticos, no podría haber tenido derecho. Esto fue negado por Cambridge Analytica , que declaró en su sitio web que legítimamente "usa datos para cambiar el comportamiento de la audiencia" entre los clientes y los votantes (que eligen ver y proporcionar información). Si los anunciantes pueden hacer eso, ¿por qué no una empresa de datos? ¿Dónde debería trazarse la línea? Legalmente, seguía siendo una zona “difusa”.
La complicada cuestión legal se convirtió entonces en qué tipo de datos se le permite tener y conservar a Cambridge Analytica (o a cualquier otra empresa similar). [125] El propio Facebook se convirtió en objeto de otra investigación de la Comisión Federal de Comercio de Estados Unidos para establecer si Facebook violó los términos de un decreto de consentimiento de 2011 que regulaba su manejo de los datos de los usuarios (datos que supuestamente fueron transferidos a Cambridge Analytica sin el conocimiento de Facebook y de los usuarios). [126] La periodista de Wired Jessi Hempel comentó en un panel de discusión de CBNC que "Ahora hay una falta de claridad por parte de la cúpula de la empresa [es decir, Facebook] que nunca he visto en los quince años que la he cubierto". [127]
En abril de 2018, al interrogar al director ejecutivo de Facebook, Mark Zuckerberg, ante el Comité de Energía y Comercio de la Cámara de Representantes de Estados Unidos , el congresista de Nuevo México Ben Ray Luján le planteó que la corporación Facebook bien podría tener "29.000 puntos de datos" sobre cada usuario de Facebook. Zuckerberg afirmó que "en realidad no lo sabía". La cifra de Luján se basaba en una investigación de ProPublica , que de hecho sugería que Facebook podría tener incluso 52.000 puntos de datos para muchos usuarios de Facebook. [128] Cuando Zuckerberg respondió a sus críticos, afirmó que debido a que la tecnología revolucionaria de Facebook (con 2.200 millones de usuarios en todo el mundo) se había adentrado en un territorio previamente desconocido, era inevitable que se cometieran errores, a pesar de las mejores intenciones. Se justificó diciendo que:
"Durante los primeros diez o doce años de la empresa, consideré que nuestra responsabilidad consistía principalmente en fabricar herramientas, y que si podíamos poner esas herramientas en manos de la gente, eso les daría poder para hacer cosas buenas. Lo que hemos aprendido ahora... es que tenemos que asumir un papel más proactivo y una visión más amplia de nuestra responsabilidad". [129]
En julio de 2018, Facebook e Instagram prohibieron el acceso a Crimson Hexagon , una empresa que asesora a corporaciones y gobiernos utilizando un billón de publicaciones de redes sociales extraídas, que extrajo y procesó con inteligencia artificial y análisis de imágenes. [130]
No quedó claro qué era más importante para Zuckerberg: ganar dinero con la información de los usuarios o la verdadera integridad corporativa en el uso de la información personal. [131] Zuckerberg dio a entender que creía que, en general, Facebook había hecho más bien que mal y que, si hubiera creído que no era así, nunca habría perseverado en el negocio. Por lo tanto, "lo bueno" era en sí mismo un concepto difuso, porque era una cuestión de grado ("más bien que mal"). Tenía que vender cosas para que el negocio siguiera creciendo. Si a la gente no le gustaba Facebook, entonces simplemente no deberían unirse o darse de baja, tienen la opción. Sin embargo, muchos críticos creen que la gente realmente no está en posición de tomar una decisión informada, porque no tienen idea de cómo exactamente su información será o podría ser utilizada por terceros que contraten con Facebook; debido a que la empresa posee legalmente la información que los usuarios proporcionan en línea, tampoco tienen control sobre eso, excepto para restringirse a sí mismos en lo que escriben en línea (lo mismo se aplica a muchos otros servicios en línea).
Después de que el 17 de marzo de 2018 el New York Times diera a conocer la noticia de que aún se podían descargar de Internet copias del conjunto de datos de Facebook extraídos por Cambridge Analytica, los representantes del gobierno criticaron duramente a Facebook. [132] Cuando se le preguntó, Zuckerberg admitió que "en general, recopilamos datos de personas que no están registradas en Facebook por motivos de seguridad" con el objetivo de "ayudar a evitar que actores maliciosos recopilen información pública de los usuarios de Facebook, como nombres". [133] A partir de 2018, Facebook enfrentó muchas más demandas presentadas contra la empresa, alegando violaciones de datos, violaciones de seguridad y uso indebido de información personal (consulte Demandas que involucran a Meta Platforms y presentaciones de litigios federales de Facebook). [134] Todavía no existe un marco regulatorio internacional estándar para la información de las redes sociales, [135] y a menudo no está claro qué sucede con la información almacenada, después de que una empresa proveedora cierra o es absorbida por otra empresa. La empresa Meta de Zuckerberg también informa sobre sus propias acciones legales. [136]
El 2 de mayo de 2018, se informó que la empresa Cambridge Analytica estaba cerrando e iniciando un proceso de quiebra, después de perder clientes y enfrentar costos legales crecientes. [137] El daño a la reputación que la empresa había sufrido o causado se había vuelto demasiado grande.
Una objeción tradicional a los macrodatos es que no pueden hacer frente a cambios rápidos: los acontecimientos se suceden más rápido de lo que las estadísticas pueden seguir. Sin embargo, ahora existe la tecnología para que corporaciones como Amazon , Google y Microsoft envíen flujos de datos basados en la nube desde los usuarios de las aplicaciones directamente a los programas de análisis de macrodatos, en tiempo real. [138] Siempre que se utilicen los tipos adecuados de conceptos analíticos, ahora es técnicamente posible extraer conclusiones definitivas e importantes sobre las gradaciones del comportamiento humano y natural utilizando conjuntos de datos difusos muy grandes y programación difusa, y cada vez se puede hacer muy rápido. Obviamente, este logro se ha vuelto muy actual en la tecnología militar (gran parte de la investigación sobre sistemas difusos ha sido financiada o patrocinada por los militares), pero los usos militares también pueden tener consecuencias para las aplicaciones médicas. [139]
Ha habido muchas controversias académicas sobre el significado, la relevancia y la utilidad de los conceptos difusos, así como su uso apropiado. [140] Tres ingenieros chinos afirmaron en 2011 que "el conjunto difuso, su norma t, norma s y las teorías del suplemento difuso ya se han convertido en el virus académico en el mundo". [141]
El propio Lotfi A. Zadeh confesó que:
"Sabía que con sólo elegir la etiqueta de lógica difusa me iba a encontrar en medio de una controversia... Si no se llamara lógica difusa , probablemente no habría artículos al respecto en la primera página del New York Times . Así que digamos que tiene un cierto valor publicitario. Por supuesto, a mucha gente no le gusta ese valor publicitario, y cuando lo ven en el New York Times , no les sienta bien". [142]
Sin embargo, el impacto de la invención del razonamiento difuso fue mucho más allá de los nombres y las etiquetas. Cuando Zadeh pronunció su discurso de aceptación en Japón del premio de la Fundación Honda de 1989, que recibió por la invención de la teoría difusa, afirmó que "el concepto de conjunto difuso ha tenido un efecto perturbador en el orden establecido". [143]
Algunos filósofos y científicos han afirmado que los conceptos "difusos" en realidad no existen.
Según Los fundamentos de la aritmética del lógico Gottlob Frege ,
"La definición de un concepto... debe ser completa; debe determinar de manera inequívoca, en lo que respecta a cualquier objeto, si cae o no bajo el concepto... el concepto debe tener un límite preciso... un concepto que no está definido de manera precisa se denomina erróneamente concepto. Esas construcciones cuasi-conceptuales no pueden ser reconocidas como conceptos por la lógica. La ley del tercio excluido es en realidad otra forma del requisito de que el concepto debe tener un límite preciso." [144]
De manera similar, Rudolf E. Kálmán afirmó en 1972 que "no existe tal cosa como un concepto difuso... Hablamos de cosas difusas pero no son conceptos científicos". [145]
La idea es que un concepto, para ser considerado como tal, debe ser siempre claro y preciso, sin ninguna imprecisión. Una noción vaga sería, en el mejor de los casos, un prólogo a la formulación de un concepto. [146]
No existe un acuerdo general entre filósofos y científicos sobre cómo debe definirse la noción de un " concepto " (y en particular, un concepto científico). [147] Un concepto podría definirse como una representación mental, como una capacidad cognitiva, como un objeto abstracto, etc. [148] Edward E. Smith y Douglas L. Medin afirmaron que "es probable que no haya experimentos o análisis cruciales que establezcan una visión de los conceptos como correcta y descarten todos los demás de manera irrevocable". [149] Por supuesto, los científicos también usan con bastante frecuencia analogías imprecisas en sus modelos para ayudar a comprender una cuestión. [150] Un concepto puede ser lo suficientemente claro, pero no (o no lo suficientemente) preciso.
De manera bastante única, los científicos de terminología del Instituto Nacional Alemán de Normalización ( Deutsches Institut für Normung ) proporcionaron una definición estándar oficial de lo que es un concepto (según las normas terminológicas DIN 2330 de 1957, completamente revisada en 1974 y revisada por última vez en 2022; y DIN 2342 de 1986, también revisada por última vez en 2022). [151] Según la definición oficial alemana, un concepto es una unidad de pensamiento que se crea a través de la abstracción para un conjunto de objetos y que identifica características compartidas (o relacionadas) de esos objetos.
La definición ISO posterior es muy similar. Según la norma terminológica ISO 1087 de la Organización Internacional de Normalización (publicada por primera vez en octubre de 2000 y revisada en 2005), un concepto se define como una unidad de pensamiento o una idea constituida mediante abstracción sobre la base de propiedades comunes a un conjunto de objetos. [152] Se reconoce que, aunque un concepto suele tener una definición o un significado, puede tener múltiples designaciones, términos de expresión, simbolizaciones o representaciones. Así, por ejemplo, el mismo concepto puede tener diferentes nombres en diferentes idiomas. Tanto los verbos como los sustantivos pueden expresar conceptos. Un concepto también puede considerarse como "una forma de ver el mundo".
El razonamiento con conceptos difusos se considera a menudo como una especie de "corrupción lógica" o perversión científica porque, según se afirma, el razonamiento difuso rara vez llega a un "sí" o un "no" definitivos. Una conceptualización clara, precisa y lógicamente rigurosa ya no es un requisito previo necesario para llevar a cabo un procedimiento, un proyecto o una investigación, ya que siempre se pueden acomodar, formalizar y programar "ideas algo vagas" con la ayuda de expresiones difusas. La idea purista es que una regla se aplica o no se aplica. Cuando se dice que una regla se aplica sólo "hasta cierto punto", entonces en realidad la regla no se aplica . Por lo tanto, un compromiso con la vaguedad o la indefinición es, en efecto, un compromiso con el error: un error de conceptualización, un error en el sistema inferencial o un error en la ejecución física de una tarea.
El científico informático William Kahan argumentó en 1975 que "el peligro de la teoría difusa es que fomentará el tipo de pensamiento impreciso que nos ha traído tantos problemas". [153] Dijo posteriormente:
"Con la lógica tradicional no hay una manera garantizada de descubrir que algo es contradictorio, pero una vez que se descubre, uno se ve obligado a hacer algo. Pero con los conjuntos difusos, la existencia de conjuntos contradictorios no puede hacer que las cosas funcionen mal. La información contradictoria no conduce a un conflicto. Uno simplemente sigue calculando. (...) La vida ofrece muchos ejemplos de obtener la respuesta correcta por las razones equivocadas... Está en la naturaleza de la lógica confirmar o negar. El cálculo difuso desdibuja eso. (...) La lógica no sigue las reglas de Aristóteles ciegamente. Acepta el tipo de dolor que conoce el corredor. Él sabe que está haciendo algo. Cuando estás pensando en algo difícil, sentirás un tipo de dolor similar. La lógica difusa es maravillosa. Te aísla del dolor. Es la cocaína de la ciencia". [154]
Según Kahan, las afirmaciones de un grado de probabilidad suelen ser verificables. Existen pruebas estándar que se pueden realizar. En cambio, no existe un procedimiento concluyente que pueda decidir la validez de asignar valores de verdad difusos particulares a un conjunto de datos en primera instancia. Simplemente se supone que un modelo o programa funcionará "si" se aceptan y utilizan valores difusos particulares, tal vez basándose en algunas comparaciones estadísticas o pruebas.
En programación, un problema puede resolverse de varias maneras diferentes, no sólo de una, pero una cuestión importante es qué solución funciona mejor a corto y a largo plazo. Kahan implica que las soluciones difusas pueden crear más problemas a largo plazo que los que resuelven a corto plazo. Por ejemplo, si uno comienza a diseñar un procedimiento, no con conceptos precisos y bien pensados, sino más bien utilizando expresiones difusas o aproximadas que convenientemente remiendan (o compensen) ideas mal formuladas, el resultado final podría ser un desastre complicado y mal formado, que no logra el objetivo previsto.
Si el razonamiento y la conceptualización hubieran sido mucho más agudos al principio, el diseño del procedimiento podría haber sido mucho más simple, más eficiente y más eficaz, y las expresiones difusas o aproximaciones no serían necesarias, o se requerirían mucho menos. Por lo tanto, al permitir el uso de expresiones difusas o aproximadas, uno podría en realidad excluir un pensamiento más riguroso sobre el diseño y podría construir algo que en última instancia no cumpla con las expectativas.
Si (por ejemplo) resulta que una entidad X pertenece en un 65% a la categoría Y y en un 35% a la categoría Z, ¿cómo se debería asignar X? Se podría decidir plausiblemente asignar X a Y, estableciendo una regla según la cual, si una entidad pertenece en un 65% o más a Y, se la debe tratar como una instancia de la categoría Y y nunca como una instancia de la categoría Z. Sin embargo, se podría decidir alternativamente cambiar las definiciones del sistema de categorización, para asegurar que todas las entidades como X caigan en un 100% en una sola categoría.
Este tipo de argumento sostiene que los problemas de límites se pueden resolver (o reducir enormemente) simplemente utilizando mejores métodos de categorización o conceptualización. Si tratamos a X "como si" perteneciera en un 100% a Y, cuando en realidad solo pertenece en un 65% a Y, entonces podría decirse que estamos tergiversando las cosas. Si seguimos haciendo eso con muchas variables relacionadas, podemos distorsionar en gran medida la situación real y hacer que parezca algo que no es.
En un entorno de "permisividad difusa", puede resultar demasiado fácil formalizar y utilizar un concepto que en sí mismo está mal definido y que podría haberse definido mucho mejor. En ese entorno, siempre hay una salida cuantitativa para los conceptos que no encajan del todo o que no cumplen del todo la función para la que están destinados. El efecto adverso acumulativo de las discrepancias puede, al final, ser mucho mayor de lo que jamás se había previsto.
Una respuesta típica a las objeciones de Kahan es que el razonamiento difuso nunca "descarta" la lógica binaria ordinaria, sino que presupone la lógica ordinaria de verdadero o falso. Lotfi Zadeh afirmó que "la lógica difusa no es difusa. En gran medida, la lógica difusa es precisa". [155] Es una lógica precisa de la imprecisión. La lógica difusa no reemplaza ni sustituye a la lógica ordinaria, sino que la mejora, con muchos usos prácticos. El pensamiento difuso obliga a la acción, pero principalmente en respuesta a un cambio en la gradación cuantitativa, no en respuesta a una contradicción.
Se podría decir, por ejemplo, que en última instancia uno está " vivo" o "muerto", lo cual es perfectamente cierto. Sin embargo, aunque uno esté "viviendo", lo cual también es una verdad significativa, "vivo" es un concepto difuso. Es cierto que la lógica difusa por sí sola no suele eliminar la conceptualización inadecuada o el mal diseño, pero al menos puede hacer explícitas cuáles son exactamente las variaciones en la aplicabilidad de un concepto que tiene límites poco definidos.
Si siempre se tuvieran a disposición conceptos perfectamente claros, tal vez no se necesitaran expresiones difusas. Sin embargo, en realidad, a menudo no se tienen todos los conceptos claros para empezar. Es posible que no se tengan todavía durante mucho tiempo, o nunca, o que se necesiten varias aproximaciones "difusas" sucesivas para llegar a ellos. Un entorno "permisivo y difuso" puede ser apropiado y útil, precisamente porque permite que se lleven a cabo acciones que nunca se habrían logrado si desde el principio se hubiera tenido una claridad absoluta sobre todas las consecuencias o si la gente hubiera insistido en una precisión absoluta antes de hacer nada. Los científicos a menudo prueban cosas basándose en "corazonadas", y procesos como la serendipia pueden desempeñar un papel.
Aprender algo nuevo, o intentar crear algo nuevo, rara vez es un proceso completamente lógico-formal o lineal. No sólo hay "cosas conocidas" y "cosas desconocidas" implicadas, sino también fenómenos " parcialmente conocidos", es decir, cosas que son conocidas o desconocidas "hasta cierto punto". Incluso si, idealmente, preferiríamos eliminar las ideas difusas, es posible que las necesitemos inicialmente para llegar a ese punto, más adelante. Cualquier método de razonamiento es una herramienta. Si su aplicación tiene malos resultados, no es la herramienta en sí la culpable, sino su uso inadecuado. Sería mejor educar a la gente sobre el mejor uso de la herramienta, si es necesario con la autorización adecuada, que prohibir la herramienta de forma preventiva, con el argumento de que "podría" o "podría" ser objeto de abuso. Las excepciones a esta regla incluirían cosas como los virus informáticos y las armas ilegales que sólo pueden causar un gran daño si se utilizan. Sin embargo, no hay pruebas de que los conceptos difusos como especie sean intrínsecamente dañinos, aunque algunos conceptos malos pueden causar daño si se utilizan en contextos inadecuados.
Susan Haack afirmó una vez que una lógica multivaluada no requiere términos intermedios entre verdadero y falso, ni un rechazo de la bivalencia. [156] Ella dio a entender que los términos intermedios (es decir, las gradaciones de la verdad) siempre pueden reformularse como enunciados condicionales si-entonces y, por implicación, que la lógica difusa es completamente reducible a la lógica binaria verdadero-o-falso.
Esta interpretación es discutida (supone que ya existe el conocimiento para ajustar los términos intermedios a una secuencia lógica), pero incluso si fuera correcta, asignar un número a la aplicabilidad de una afirmación es a menudo enormemente más eficiente que una larga cadena de afirmaciones del tipo "si-entonces" que tendrían el mismo significado pretendido. Ese punto es obviamente de gran importancia para los programadores de computadoras, educadores y administradores que buscan codificar un proceso, actividad, mensaje u operación de la manera más simple posible, de acuerdo con reglas lógicamente consistentes. La profesora Haack tiene, por supuesto, toda la razón cuando sostiene que la lógica difusa no elimina la lógica binaria.
Puede ser maravilloso tener un número ilimitado de distinciones disponibles para definir lo que uno quiere decir, pero no todos los académicos estarían de acuerdo en que cualquier concepto sea igual a, o reducible a, un conjunto matemático . [157] Algunos fenómenos son difíciles o imposibles de cuantificar y contar, en particular si carecen de límites discretos (por ejemplo, las nubes). George Lakoff argumentó que no es necesariamente cierto que la teoría de conjuntos difusos sea la única o la más apropiada forma de modelar conceptos. [158]
Las cualidades pueden no ser totalmente reducibles a cantidades [159] – si no hay cualidades, puede resultar imposible decir de qué son números los números, o a qué se refieren, excepto que se refieren a otros números o expresiones numéricas como ecuaciones algebraicas. Una medida requiere una unidad de conteo definida por una categoría, pero la definición de esa categoría es esencialmente cualitativa; un lenguaje que se utiliza para comunicar datos es difícil de manejar sin distinciones y categorías cualitativas. Podemos, por ejemplo, transmitir un texto en código binario, pero el código binario no nos dice directamente lo que el texto pretende. Tiene que ser traducido, descodificado o convertido primero, antes de que se vuelva comprensible.
Al crear una formalización o especificación formal de un concepto, por ejemplo con fines de medición, procedimiento administrativo o programación, parte del significado del concepto puede cambiar o perderse. [160] Por ejemplo, si programamos deliberadamente un evento de acuerdo a un concepto, esto podría matar la espontaneidad, el espíritu, la autenticidad y el patrón motivacional que normalmente se asocia con ese tipo de evento.
La cuantificación no es un proceso exento de problemas. [161] Para cuantificar un fenómeno, puede que tengamos que introducir supuestos y definiciones especiales que no tengan en cuenta parte del fenómeno en su totalidad.
Los programadores, estadísticos o lógicos se interesan en su trabajo por el significado operativo o técnico principal de un concepto que se puede especificar en términos objetivos y cuantificables. No se interesan principalmente por todo tipo de marcos imaginativos asociados con el concepto, o por aquellos aspectos del concepto que parecen no tener un propósito funcional particular, por entretenidos que puedan ser. Sin embargo, algunas de las características cualitativas del concepto pueden no ser cuantificables o mensurables en absoluto, al menos no directamente. Existe la tentación de ignorarlas o tratar de inferirlas a partir de los resultados de los datos.
Si, por ejemplo, queremos contar el número de árboles de una zona forestal con cierta precisión, tenemos que definir qué se considera un árbol y quizás distinguirlos de los árboles jóvenes, los árboles partidos, los árboles muertos, los árboles caídos, etc. Pronto se hace evidente que la cuantificación de los árboles implica un grado de abstracción: decidimos descartar algunos árboles, vivos o muertos, de la población de árboles para contar aquellos que se ajustan al concepto que hemos elegido de árbol. De hecho, operamos con un concepto abstracto de lo que es un árbol, que difiere en cierta medida de la verdadera diversidad de árboles que existen.
Aun así, puede haber algunos árboles de los que no esté muy claro si deben contarse como árboles o no; por lo tanto, puede quedar una cierta cantidad de "vaguedad" en el concepto de árbol. La implicación es que el número aparentemente "exacto" ofrecido para la cantidad total de árboles en el bosque puede ser mucho menos exacto de lo que uno podría pensar - probablemente sea más una estimación o indicación de magnitud, en lugar de una descripción exacta. [166] Sin embargo - y este es el punto - la medida imprecisa puede ser muy útil y suficiente para todos los propósitos previstos.
Es tentador pensar que, si algo se puede medir, debe existir, y que, si no podemos medirlo, no existe. Puede que ninguna de las dos cosas sea cierta. Los investigadores intentan medir cosas como la inteligencia o el producto interno bruto, sin que haya demasiado consenso científico sobre qué son realmente esas cosas, cómo existen y cuáles podrían ser las medidas correctas.
Cuando se quiere contar y cuantificar objetos distintos mediante números, es necesario poder distinguir entre esos objetos separados, pero si esto resulta difícil o imposible, entonces, aunque esto no invalide un procedimiento cuantitativo como tal, la cuantificación no es realmente posible en la práctica; en el mejor de los casos, podemos suponer o inferir indirectamente una cierta distribución de cantidades que deben estar ahí. En este sentido, los científicos a menudo utilizan variables proxy para sustituir como medidas a variables que se sabe (o se cree) que están ahí, pero que en sí mismas no pueden observarse ni medirse directamente.
La relación exacta entre vaguedad e imprecisión es objeto de controversia.
Los filósofos a menudo consideran la falta de claridad como un tipo particular de vaguedad, [167] y consideran que "ninguna asignación específica de valores semánticos a predicados vagos, ni siquiera una asignación difusa, puede satisfacer completamente nuestra concepción de cómo son las extensiones de los predicados vagos". [168] Al examinar la literatura reciente sobre cómo caracterizar la vaguedad, Matti Eklund afirma que la apelación a la falta de límites claros, los casos límite y los predicados "susceptibles de sorites" son las tres caracterizaciones informales de la vaguedad que son más comunes en la literatura. [169]
Sin embargo, Lotfi A. Zadeh afirmó que "la vaguedad connota una especificidad insuficiente , mientras que la falta de claridad connota una falta de nitidez de los límites de clase ". Por lo tanto, argumentó, una oración como "volveré en unos minutos" es confusa pero no vaga, mientras que una oración como "volveré en algún momento", es confusa y vaga. Su sugerencia fue que la falta de claridad y la vaguedad son cualidades lógicamente bastante diferentes, en lugar de que la falta de claridad sea un tipo o subcategoría de la vaguedad. Zadeh afirmó que "el uso inapropiado del término 'vago' sigue siendo una práctica común en la literatura de la filosofía". [170]
En la investigación académica sobre ética y metaética , los conceptos vagos o imprecisos y los casos límite son temas habituales de controversia. En el centro de la ética están las teorías del "valor", qué es "bueno" o "malo" para las personas y por qué lo es, y la idea de "seguir las reglas" como condición para la integridad moral, la coherencia y el comportamiento no arbitrario.
Sin embargo, si las valoraciones humanas o las reglas morales son sólo vagas o imprecisas, entonces pueden no ser capaces de orientar o guiar el comportamiento. Puede resultar imposible hacer operativas las reglas. En ese caso, las evaluaciones pueden no permitir juicios morales definitivos. Por lo tanto, aclarar nociones morales imprecisas suele considerarse crucial para el esfuerzo ético en su conjunto. [171]
Sin embargo, Scott Soames ha sostenido que la vaguedad o la falta de claridad pueden ser valiosas para quienes elaboran las normas, porque "su uso de ellas es valioso para las personas a quienes van dirigidas las normas". [172] Puede ser más práctico y eficaz permitir cierto margen de maniobra (y responsabilidad personal) en la interpretación de cómo debe aplicarse una norma, teniendo en cuenta el propósito general que la norma pretende alcanzar.
Si una norma o un procedimiento se estipulan con demasiada exactitud, a veces pueden tener un resultado contrario al objetivo que se pretendía alcanzar. Por ejemplo, "la Ley de niños y jóvenes podría haber especificado una edad precisa por debajo de la cual un niño no puede ser dejado sin supervisión, pero al hacerlo se habrían cometido formas de arbitrariedad bastante importantes (por diversas razones y, en particular, debido a las diferentes capacidades de los niños de la misma edad)". [173]
Un problema relacionado es que si la aplicación de un concepto jurídico se hace con demasiada exactitud y rigor, puede tener consecuencias que provoquen un conflicto grave con otro concepto jurídico. Esto no tiene por qué ser necesariamente una cuestión de mala legislación. Cuando se promulga una ley, puede que no sea posible prever todos los casos y acontecimientos a los que se aplicará más adelante (aunque el 95% de los casos posibles sean predecibles). Cuanto más tiempo esté en vigor una ley, más probable es que la gente se enfrente a problemas que no se habían previsto cuando se promulgó.
Así, las consecuencias ulteriores de una norma pueden entrar en conflicto con las de otra. El “sentido común” podría no ser capaz de resolver las cosas. En ese escenario, demasiada precisión puede obstaculizar la justicia. Es muy probable que un fallo de un tribunal especial tenga que fijar una norma. El problema general para los juristas es si “la arbitrariedad resultante de la precisión es peor que la arbitrariedad resultante de la aplicación de un estándar vago”. [174]
Las disputas definitorias sobre la falta de claridad siguen sin resolverse hasta ahora, principalmente porque, como han documentado antropólogos y psicólogos, los diferentes lenguajes (o sistemas de símbolos) que han sido creados por las personas para señalar significados sugieren diferentes ontologías . [175] En pocas palabras: no se trata simplemente de que describir "lo que está ahí" implique representaciones simbólicas de algún tipo. La forma en que se establecen las distinciones influye en las percepciones de "lo que está ahí", y viceversa, las percepciones de "lo que está ahí" influyen en la forma en que se establecen las distinciones. [176] Esta es una razón importante por la que, como señaló Alfred Korzybski , las personas confunden con frecuencia la representación simbólica de la realidad, transmitida por lenguajes y signos, con la realidad misma. [177]
La falta de claridad implica que existe un número potencialmente infinito de valores de verdad entre la verdad absoluta y la falsedad absoluta. Si ese es el caso, se plantea la cuestión fundamental de qué puede, en ese caso, justificar o probar la existencia de los absolutos categóricos que se suponen por inferencia lógica o cuantitativa. Si hay un número infinito de matices de gris, ¿cómo sabemos qué es totalmente blanco y negro, y cómo podríamos identificarlo?
Para ilustrar las cuestiones ontológicas, el cosmólogo Max Tegmark argumenta audazmente que el universo está compuesto de matemáticas: "Si aceptamos la idea de que tanto el espacio mismo como todas las cosas que hay en el espacio no tienen propiedades en absoluto excepto propiedades matemáticas", entonces la idea de que todo es matemático "empieza a sonar un poco menos descabellada". [178]
Tegmark pasa de la afirmación epistémica de que las matemáticas son el único sistema de símbolos conocido que, en principio, puede expresar absolutamente todo, a la afirmación metodológica de que todo es reducible a relaciones matemáticas, y luego a la afirmación ontológica de que, en última instancia, todo lo que existe es matemático (la hipótesis del universo matemático ). El argumento se invierte entonces, de modo que, como todo es matemático en realidad, las matemáticas son necesariamente el sistema de símbolos universal por excelencia.
Las principales críticas al enfoque de Tegmark son que (1) los pasos de este argumento no necesariamente se siguen, (2) no es posible ninguna prueba o examen concluyente para la afirmación de que tal expresión o reducción matemática exhaustiva es factible, y (3) puede ser que una reducción completa a las matemáticas no se pueda lograr, sin alterar, negar o eliminar al menos parcialmente un significado no matemático de los fenómenos, experimentados tal vez como qualia . [179]
En su metafísica metamatemática , Edward N. Zalta ha afirmado que para cada conjunto de propiedades de un objeto concreto, siempre existe exactamente un objeto abstracto que codifica exactamente ese conjunto de propiedades y ningún otro: un supuesto o axioma fundamental para su ontología de objetos abstractos [180]. Por implicación, para cada objeto difuso existe siempre al menos un concepto desdifuminado que lo codifica exactamente. Es una interpretación moderna de la metafísica del conocimiento de Platón , [181] que expresa confianza en la capacidad de la ciencia para conceptualizar el mundo con exactitud.
La interpretación de estilo platónico fue criticada por Hartry H. Field . [182] Mark Balaguer sostiene que no sabemos realmente si existen o no objetos abstractos independientes de la mente; hasta ahora, no podemos probar si el realismo platónico es definitivamente verdadero o falso. [183] Defendiendo un realismo cognitivo, Scott Soames argumenta que la razón por la que este enigma irresoluble ha persistido es porque la constitución última del significado de los conceptos y proposiciones fue mal concebida.
Tradicionalmente, se pensaba que los conceptos pueden ser verdaderamente representacionales, porque en última instancia están relacionados con complejos platónicos intrínsecamente representacionales de universales y particulares . Sin embargo, una vez que los conceptos y las proposiciones se consideran tipos de eventos cognitivos, es posible afirmar que pueden ser representacionales, porque están constitutivamente relacionados con actos cognitivos intrínsecamente representacionales en el mundo real. [184] Como dijo otro filósofo:
"La cuestión de cómo podemos conocer el mundo que nos rodea no es del todo distinta a la de cómo es posible que los alimentos que nos proporciona el entorno le caigan bien a nuestro estómago. Ambas pueden convertirse en un misterio si olvidamos que las mentes, como los estómagos, se originaron en un orden natural preexistente y han sido condicionadas por él." [185]
En esta línea, se podría argumentar que la realidad, y la cognición humana de la realidad, inevitablemente contendrán algunas características difusas, que sólo pueden representarse mediante conceptos que sean ellos mismos difusos en mayor o menor medida.
La idea de conceptos difusos también se ha aplicado en el análisis filosófico, sociológico y lingüístico del comportamiento humano. [186]
En un artículo de 1973, George Lakoff analizó las coberturas en la interpretación del significado de las categorías. [187] Charles Ragin y otros han aplicado la idea al análisis sociológico. [188] Por ejemplo, el análisis comparativo cualitativo de conjuntos difusos ("fsQCA") ha sido utilizado por investigadores alemanes para estudiar los problemas planteados por la diversidad étnica en América Latina. [189] En Nueva Zelanda , Taiwán , Irán , Malasia , la Unión Europea y Croacia , los economistas han utilizado conceptos difusos para modelar y medir la economía subterránea de su país. [190] Kofi Kissi Dompere aplicó métodos de decisión difusa, razonamiento aproximado, juegos de negociación y matemáticas difusas para analizar el papel del dinero, la información y los recursos en una "economía política de búsqueda de rentas ", vista como un juego jugado entre corporaciones poderosas y el gobierno. [191] El investigador alemán Thomas Kron ha utilizado métodos difusos para modelar la teoría sociológica, creando un modelo teórico de acción integral con la ayuda de la lógica difusa. Junto con Lars Winter, Kron desarrolló la teoría de sistemas de Niklas Luhmann , utilizando el llamado "Cubo de Kosko". Kron estudia el terrorismo transnacional y otros fenómenos contemporáneos utilizando la lógica difusa, para comprender las condiciones que implican incertidumbre, mestizaje, violencia y sistemas culturales. [192]
Los sociólogos pueden crear deliberadamente un concepto como tipo ideal para comprender algo de manera imaginativa, sin ninguna pretensión firme de que sea una “descripción verdadera y completa” o un “reflejo verdadero y completo” de lo que se está conceptualizando. [193] En un sentido sociológico o periodístico más general, un “concepto difuso” ha llegado a significar un concepto que es significativo pero inexacto, lo que implica que no define de manera exhaustiva o completa el significado del fenómeno al que se refiere, a menudo porque es demasiado abstracto. En este contexto, se dice que los conceptos difusos “carecen de claridad y son difíciles de probar u operacionalizar”. [194] Para especificar el significado relevante con mayor precisión, se requerirían distinciones, condiciones y/o calificadores adicionales.
Algunos ejemplos pueden ilustrar este tipo de uso:
La razón principal por la que el término "concepto difuso" se utiliza a menudo en la actualidad para describir el comportamiento humano es que la interacción humana tiene muchas características que son difíciles de cuantificar y medir con precisión (aunque sabemos que tienen magnitudes y proporciones), entre otras cosas porque son interactivas y reflexivas (los observadores y lo observado influyen mutuamente en el significado de los acontecimientos). [199] Esas características humanas sólo se pueden expresar de forma útil de forma aproximada (véase reflexividad (teoría social) ). [200]
Los artículos de los periódicos contienen frecuentemente conceptos confusos, que se entienden y utilizan fácilmente, aunque disten mucho de ser exactos. Por eso, muchos de los significados que la gente suele utilizar para desenvolverse en la vida resultan ser "conceptos confusos". Si bien la gente suele necesitar ser exacta en algunas cosas (por ejemplo, el dinero o el tiempo), muchas áreas de su vida implican expresiones que distan mucho de ser exactas.
En ocasiones, el término también se utiliza en sentido peyorativo . Por ejemplo, un periodista del New York Times escribió que el príncipe Sihanouk "parece incapaz de diferenciar entre amigos y enemigos, un rasgo inquietante, ya que sugiere que no defiende nada más allá del concepto difuso de paz y prosperidad en Camboya". [201]
Hasta hace poco, el uso de la lógica difusa en las ciencias sociales y las humanidades era limitado. Lotfi A. Zadeh dijo en una entrevista de 1994 que:
"Yo esperaba que la gente de las ciencias sociales –economía, psicología, filosofía, lingüística, política, sociología, religión y muchas otras áreas– lo captara. Para mí ha sido un misterio por qué, incluso hoy en día, tan pocos científicos sociales han descubierto lo útil que podría ser". [202]
Dos décadas después, tras una explosión de información digital debido al creciente uso de Internet y de los teléfonos móviles en todo el mundo, los conceptos difusos y la lógica difusa se están aplicando ampliamente en el análisis de big data de fenómenos sociales, comerciales y psicológicos. Muchos indicadores sociométricos y psicométricos se basan en parte en conceptos y variables difusas.
Jaakko Hintikka afirmó una vez que "la lógica del lenguaje natural que de hecho ya estamos usando puede servir como una "lógica difusa" mejor que su variante de nombre comercial sin suposiciones o construcciones adicionales". [203] Eso podría ayudar a explicar por qué la lógica difusa no se ha usado mucho para formalizar conceptos en las ciencias sociales "blandas".
Lotfi A. Zadeh rechazó esta interpretación, argumentando que en muchos empeños humanos y tecnologías es sumamente importante definir con más exactitud "en qué medida" algo es aplicable o verdadero, cuando se sabe que su aplicabilidad puede variar en cierta medida importante entre grandes poblaciones. El razonamiento que acepta y utiliza conceptos difusos puede demostrarse como perfectamente válido con la ayuda de la lógica difusa, porque los grados de aplicabilidad de un concepto pueden definirse con mayor precisión y eficiencia con la ayuda de la notación numérica.
Otra posible explicación de la falta tradicional de uso de la lógica difusa por parte de los científicos sociales es simplemente que, más allá del análisis estadístico básico (utilizando programas como SPSS y Excel ), el conocimiento matemático de los científicos sociales suele ser bastante limitado; es posible que no sepan cómo formalizar y codificar un concepto difuso utilizando las convenciones de la lógica difusa. Los paquetes de software estándar utilizados proporcionan sólo una capacidad limitada para analizar conjuntos de datos difusos, si es que lo hacen, y se requieren habilidades considerables.
Sin embargo, Jaakko Hintikka puede tener razón en el sentido de que puede ser mucho más eficiente utilizar el lenguaje natural para denotar una idea compleja que formalizarla en términos lógicos. La búsqueda de la formalización puede introducir mucha más complejidad, lo cual no es deseable y dificulta la comunicación de la cuestión pertinente. Algunos conceptos utilizados en las ciencias sociales pueden ser imposibles de formalizar con exactitud, aunque sean muy útiles y la gente comprenda muy bien su aplicación apropiada.
Los conceptos difusos pueden generar incertidumbre porque son imprecisos (especialmente si se refieren a un proceso en marcha o a un proceso de transformación en el que algo está "en proceso de convertirse en otra cosa"). En ese caso, no proporcionan una orientación clara para la acción o la toma de decisiones ("¿qué significa, pretende o implica realmente X?"); reducir la imprecisión, tal vez aplicando la lógica difusa, [204] podría generar más certidumbre.
Sin embargo, esto no siempre es necesariamente así. [205] Un concepto, aunque no sea en absoluto impreciso y aunque sea muy exacto, podría igualmente no captar adecuadamente el significado de algo. Es decir, un concepto puede ser muy preciso y exacto, pero no aplicable o relevante en la situación a la que se refiere (o lo suficientemente aplicable o pertinente). En este sentido, una definición puede ser “muy precisa”, pero “no dar en el blanco”.
Un concepto difuso puede, de hecho, brindar más seguridad, porque proporciona un significado a algo cuando no se dispone de un concepto exacto, lo cual es mejor que no poder denotarlo en absoluto. Un concepto como Dios , por ejemplo, aunque no sea fácilmente definible, puede brindar seguridad al creyente. [206]
En física, el efecto del observador y el principio de incertidumbre de Heisenberg [207] indican que existe un límite físico a la cantidad de precisión que se puede conocer con respecto a los movimientos de partículas subatómicas y ondas. Es decir, existen características de la realidad física, de las que podemos saber que varían en magnitud, pero de las que nunca podemos saber o predecir exactamente cuán grandes o pequeñas son las variaciones. Esta idea sugiere que, en algunas áreas de nuestra experiencia del mundo físico, la falta de claridad es inevitable y nunca puede eliminarse por completo. Dado que el universo físico en sí es increíblemente grande y diverso, no es fácil imaginarlo, comprenderlo o describirlo sin utilizar conceptos difusos.
El lenguaje ordinario, que utiliza convenciones simbólicas y asociaciones que a menudo no son lógicas, contiene inherentemente muchos conceptos difusos [208] – "saber lo que quieres decir" en este caso depende en parte de conocer el contexto (o estar familiarizado con la forma en que normalmente se usa un término, o con qué está asociado). [209]
Esto se puede verificar fácilmente, por ejemplo, consultando un diccionario , un tesauro o una enciclopedia que muestre los múltiples significados de las palabras, o observando los comportamientos involucrados en las relaciones ordinarias que se basan en significados mutuamente entendidos (véase también Lenguaje impreciso ). Bertrand Russell consideraba que el lenguaje ordinario (en contraste con la lógica) era intrínsecamente vago. [210]
Para comunicar, recibir o transmitir un mensaje , un individuo debe, de algún modo, establecer un vínculo entre el significado que pretende transmitir y el significado que entienden los demás, es decir, el mensaje debe transmitirse de manera que sea socialmente comprendido, preferiblemente de la manera deseada. Así, la gente puede decir: "tienes que decirlo de una manera que yo lo entienda". Incluso si el mensaje es claro y preciso, puede que no se reciba de la manera en que se pretendía.
La búsqueda de significados puede hacerse de manera instintiva, habitual o inconsciente, pero normalmente implica la elección de términos, suposiciones o símbolos cuyos significados no son completamente fijos, sino que dependen, entre otras cosas, de cómo responden a ellos los receptores del mensaje o del contexto . En este sentido, el significado suele ser "negociado" o "interactivo" (o, más cínicamente, manipulado). Esto da lugar a muchos conceptos difusos.
El filósofo británico Paul Grice exploró en detalle y analizó de manera lógica el desafío semántico de transmitir significados a una audiencia , utilizando, entre otras cosas, el concepto de implicatura . [211] La implicatura se refiere a lo que un mensaje sugiere al receptor, sin que se exprese explícitamente ni se deduzca lógicamente de su contenido. La sugerencia puede ser muy clara para el receptor (quizás una especie de código), pero también puede ser vaga o imprecisa.
Incluso utilizando la teoría de conjuntos ordinaria y la lógica binaria para razonar algo, los lógicos han descubierto que es posible generar afirmaciones que, lógicamente hablando, no son completamente verdaderas o implican una paradoja , [212] incluso aunque en otros aspectos se ajusten a las reglas lógicas (véase la paradoja de Russell ). David Hilbert concluyó que la existencia de tales paradojas lógicas nos dice "que debemos desarrollar un análisis metamatemático de las nociones de prueba y del método axiomático; su importancia es tanto metodológica como epistemológica". [213]
Diversos aspectos de la experiencia humana suelen generar conceptos con características difusas.
La formación de conceptos difusos se debe en parte al hecho de que el cerebro humano no funciona como una computadora (véase también la habitación china ). [214]
Según la teoría de las trazas difusas , inspirada en parte por la psicología de la Gestalt , la intuición humana es un proceso de cognición no arbitrario, razonable y racional; literalmente "tiene sentido" (véase también: Problema de la generalidad múltiple ). [217]
En parte, los conceptos difusos surgen también porque el aprendizaje o el aumento de la comprensión implican una transición desde una conciencia vaga, que no puede orientar en gran medida la conducta, a una percepción más clara, que sí puede orientar la conducta. En el primer encuentro con una idea, el sentido de la misma puede ser bastante confuso. A medida que se ha adquirido más experiencia con la idea, se obtiene una comprensión más clara y precisa de la misma, así como una mejor comprensión de cómo y cuándo utilizarla (o no).
En su estudio sobre el aprendizaje implícito , Arthur S. Reber afirma que no existe una frontera muy clara entre lo consciente y lo inconsciente, y "siempre habrá muchos casos limítrofes confusos de material que es marginalmente consciente y muchos casos elusivos de funciones y procesos que parecen entrar y salir de la conciencia personal". [218]
Por lo tanto, existe y persiste un componente inevitable de confusión en la conciencia humana, debido a la variación continua de gradaciones en la conciencia, a lo largo de un continuo que va desde lo consciente , lo preconsciente y lo subconsciente hasta lo inconsciente . El hipnoterapeuta Milton H. Erickson señaló asimismo que la mente consciente y el inconsciente normalmente interactúan. [219]
Algunos psicólogos y lógicos sostienen que los conceptos difusos son una consecuencia necesaria de la realidad de que cualquier tipo de distinción que queramos establecer tiene límites de aplicación . En un cierto nivel de generalidad, una distinción funciona bien. Pero si perseguimos su aplicación de una manera muy exacta y rigurosa , o ampliamos su aplicación, parece que la distinción simplemente no se aplica en algunas áreas o contextos, o que no podemos especificar completamente cómo debe establecerse. Una analogía podría ser que al acercar y alejar un telescopio , una cámara o un microscopio , se revela que un patrón que está nítidamente enfocado a cierta distancia se vuelve borroso a otra distancia, o desaparece por completo.
Ante cualquier fenómeno amplio, complejo y en constante cambio, cualquier afirmación breve que se haga sobre ese fenómeno es probable que sea "confusa", es decir, significativa, pero -en sentido estricto- incorrecta e imprecisa. [220] En realidad, no hará justicia plena a la realidad de lo que está sucediendo con el fenómeno. Una afirmación correcta y precisa requeriría muchas elaboraciones y matizaciones. Sin embargo, la descripción "confusa" resulta ser una abreviatura útil que ahorra mucho tiempo a la hora de comunicar lo que está sucediendo ("ya sabes a qué me refiero").
En psicofísica se ha descubierto que las distinciones perceptivas que hacemos en la mente suelen ser más precisas que en el mundo real. Por lo tanto, el cerebro tiende a "agudizar" o "mejorar" nuestras percepciones de las diferencias en el mundo exterior.
Si hay más gradaciones y transiciones en la realidad de las que nuestras distinciones conceptuales o perceptivas pueden captar, entonces se podría argumentar que la forma en que esas distinciones se aplicarán realmente debe necesariamente volverse más vaga en algún momento.
Al interactuar con el mundo externo, la mente humana puede a menudo encontrarse con fenómenos o relaciones nuevos o parcialmente nuevos que no pueden (todavía) definirse con precisión dado el conocimiento de fondo disponible y mediante distinciones, asociaciones o generalizaciones conocidas.
"Los planes de gestión de crisis no pueden ponerse en marcha 'sobre la marcha' una vez que se produce la crisis. Al principio, la información suele ser vaga , incluso contradictoria. Los acontecimientos se suceden tan rápidamente que los responsables de la toma de decisiones experimentan una sensación de pérdida de control. A menudo se instala la negación y los directivos interrumpen involuntariamente el flujo de información sobre la situación" - L. Paul Bremer . [223]
También se puede argumentar que los conceptos difusos son generados por un cierto tipo de estilo de vida o forma de trabajar que elude distinciones definidas, los hace imposibles o inoperantes, o que es de alguna manera caótico. Para obtener conceptos que no sean difusos, debe ser posible probar su aplicación de alguna manera. Pero en ausencia de distinciones claras relevantes, de un entorno ordenado o cuando todo está "en un estado de cambio " o en transición, puede que no sea posible hacerlo, de modo que la cantidad de imprecisión aumenta.
Los conceptos difusos desempeñan a menudo un papel en el proceso creativo de formación de nuevos conceptos para comprender algo. En el sentido más primitivo, esto se puede observar en los bebés que, a través de la experiencia práctica, aprenden a identificar, distinguir y generalizar la aplicación correcta de un concepto y a relacionarlo con otros conceptos. [224]
Sin embargo, los conceptos difusos también pueden aparecer en la actividad científica, periodística, de programación y filosófica, cuando un pensador está en proceso de clarificar y definir un concepto emergente que se basa en distinciones que, por una razón u otra, no pueden (todavía) especificarse o validarse con mayor exactitud. Los conceptos difusos se utilizan a menudo para denotar fenómenos complejos o para describir algo que está en desarrollo y cambiando, lo que podría implicar desprenderse de algunos significados antiguos y adquirir otros nuevos.
Se podría argumentar que muchos conceptos que se utilizan de forma bastante universal en la vida diaria (por ejemplo, "amor", "Dios", [241] "salud", [242] "social", "tolerancia", etc.) son inherente o intrínsecamente conceptos difusos, en la medida en que su significado nunca puede especificarse completa y exactamente con operadores lógicos o términos objetivos, y pueden tener múltiples interpretaciones, que son al menos en parte puramente subjetivas. Sin embargo, a pesar de esta limitación, dichos conceptos no carecen de sentido. La gente sigue utilizando los conceptos, incluso si son difíciles de definir con precisión.
También puede ser posible especificar un significado personal para el concepto, sin poner restricciones a un uso diferente del concepto en otros contextos (como cuando, por ejemplo, uno dice "esto es lo que quiero decir con X" en contraste con otros significados posibles). En el habla ordinaria, los conceptos a veces también pueden ser expresados puramente al azar; por ejemplo, un niño puede repetir la misma idea en contextos completamente no relacionados, o un término expletivo puede ser pronunciado arbitrariamente. Se transmite un sentimiento o una sensación, sin que esté completamente claro de qué se trata.
La felicidad puede ser un ejemplo de una palabra con significados variables según el contexto o el momento.
Los conceptos difusos pueden emplearse deliberadamente para crear ambigüedad y vaguedad , como táctica evasiva o para salvar lo que de otro modo se reconocería inmediatamente como una contradicción de términos. Pueden emplearse para indicar que existe definitivamente una conexión entre dos cosas, sin dar una especificación completa de cuál es la conexión, por alguna razón u otra. Esto puede deberse a una falta o negativa a ser más precisos, pero también puede ser un prólogo a una formulación más exacta de un concepto o a una mejor comprensión del mismo.
Los conceptos difusos pueden utilizarse como un método práctico para describir algo cuya descripción completa sería una tarea inmanejable o que llevaría mucho tiempo; por lo tanto, una indicación simplificada de lo que está en cuestión se considera suficiente, aunque no sea exacta.
También existe una especie de "economía de distinciones", es decir, que no resulta útil ni eficiente utilizar definiciones más detalladas de las que son realmente necesarias para un fin determinado. En este sentido, Karl Popper rechazó la pedantería y comentó que:
"... nunca es deseable esforzarse por aumentar la precisión por sí misma –especialmente la precisión lingüística–, ya que esto suele conducir a una pérdida de claridad y a una pérdida de tiempo y esfuerzo en preliminares que a menudo resultan inútiles, porque el avance real del tema los pasa por alto: nunca se debe intentar ser más preciso de lo que exige la situación del problema. Tal vez podría formular mi posición de la siguiente manera: todo aumento de la claridad tiene un valor intelectual en sí mismo; un aumento de la precisión o exactitud tiene sólo un valor pragmático como medio para algún fin determinado..." [243]
El hecho de proporcionar "demasiados detalles" puede resultar desconcertante y confuso en lugar de esclarecedor, mientras que un término impreciso puede ser suficiente para orientar. Por lo tanto, la razón para utilizar conceptos imprecisos puede ser puramente pragmática, si no es factible o deseable (a efectos prácticos) proporcionar "todos los detalles" sobre el significado de un símbolo o signo compartido. Por lo tanto, la gente puede decir "Me doy cuenta de que esto no es exacto, pero ya sabes a qué me refiero", dando por sentado en la práctica que no es necesario indicar todos los detalles para el propósito de la comunicación.
Lotfi A. Zadeh recogió este punto y llamó la atención sobre un "gran malentendido" acerca de la aplicación de la lógica difusa. Es cierto que el objetivo básico de la lógica difusa es hacer más preciso lo impreciso. Sin embargo, en muchos casos, la lógica difusa se utiliza paradójicamente para "hacer impreciso lo preciso", lo que significa que existe una tolerancia deliberada hacia la imprecisión en aras de la simplicidad del procedimiento y la economía de expresión.
En tales usos, existe una tolerancia a la imprecisión, porque hacer que las ideas sean más precisas sería innecesario y costoso, mientras que "la imprecisión reduce los costos y mejora la manejabilidad" (manejabilidad significa "ser fácil de manejar u operacionalizar"). Zadeh llama a este enfoque "Gambito de lógica difusa" (un gambito significa renunciar a algo ahora, para lograr una mejor posición más adelante).
En la táctica de la lógica difusa, "lo que se sacrifica es la precisión en el valor [cuantitativo], pero no la precisión en el significado", y más concretamente, "la imprecisión en el valor es seguida por la precisión en el significado". Zadeh citó como ejemplo la programación de Takeshi Yamakawa para un péndulo invertido , donde las ecuaciones diferenciales se reemplazan por reglas difusas if-then en las que se usan palabras en lugar de números. [244]
El uso común de este tipo de enfoque (combinar palabras y números en programación) ha llevado a algunos lógicos a considerar la lógica difusa simplemente como una extensión de la lógica booleana (una lógica de dos valores o lógica binaria simplemente se reemplaza por una lógica de muchos valores ).
Sin embargo, los conceptos booleanos tienen una estructura lógica que difiere de los conceptos difusos. Una característica importante de la lógica booleana es que un elemento de un conjunto también puede pertenecer a cualquier número de otros conjuntos; aun así, el elemento pertenece o no a un conjunto (o conjuntos). Por el contrario, si un elemento pertenece o no a un conjunto difuso es una cuestión de grado y no siempre una cuestión de sí o no.
De todas formas, el matemático griego Costas Drossos sugiere en varios artículos que, utilizando un enfoque matemático "no estándar", también podríamos construir conjuntos difusos con características booleanas y conjuntos booleanos con características difusas. [245] Esto implicaría que, en la práctica, el límite entre conjuntos difusos y conjuntos booleanos es en sí mismo difuso, en lugar de absoluto. Para un ejemplo simplificado, podríamos afirmar que un concepto X es definitivamente aplicable a un conjunto finito de fenómenos, y definitivamente no aplicable a todos los demás fenómenos. Sin embargo, dentro del conjunto finito de elementos relevantes, X podría ser completamente aplicable a un subconjunto de los fenómenos incluidos, mientras que es aplicable solo "en cierta medida o grado variable" a otro subconjunto de fenómenos que también están incluidos en el conjunto. Siguiendo la teoría de conjuntos ordinaria, esto genera problemas lógicos, si, por ejemplo, los subconjuntos superpuestos dentro de conjuntos están relacionados con otros subconjuntos superpuestos dentro de otros conjuntos.
En lógica matemática , programación informática , filosofía y lingüística, los conceptos difusos se pueden analizar y definir de forma más precisa o completa, describiéndolos o modelándolos utilizando los términos de la lógica difusa u otras lógicas subestructurales . Los elementos de conocimiento se pueden formalizar y representar utilizando varios métodos diferentes. [246] De manera más general, se pueden utilizar técnicas de clarificación como:
De esta manera, podemos obtener una comprensión más exacta del significado y uso de un concepto difuso y posiblemente disminuir la cantidad de ambigüedad. Puede que no sea posible especificar todos los posibles significados o aplicaciones de un concepto de manera completa y exhaustiva, pero si es posible capturar la mayoría de ellos, estadísticamente o de otra manera, esto puede ser lo suficientemente útil para fines prácticos.
Se dice que se produce un proceso de desdifuminación cuando los conceptos difusos pueden describirse de forma lógica en términos de conjuntos difusos o de relaciones entre conjuntos difusos, lo que permite definir variaciones en el significado o la aplicabilidad de los conceptos como cantidades . En efecto, las diferencias cualitativas se describen en ese caso de forma más precisa como variaciones cuantitativas o variabilidad cuantitativa. La asignación de un valor numérico denota entonces la magnitud de la variación a lo largo de una escala de cero a uno.
La dificultad que puede surgir al juzgar la imprecisión de un concepto se puede ilustrar con la pregunta "¿Es éste uno de esos?" . Si no es posible responder con claridad a esta pregunta, podría ser porque "esto" (el objeto) es en sí mismo difuso y escapa a la definición, o porque "uno de esos" (el concepto del objeto) es difuso y está definido de forma inadecuada.
Así, la fuente de la falta de claridad puede estar en (1) la naturaleza de la realidad con la que se está tratando, (2) los conceptos utilizados para interpretarla, o (3) la forma en que una persona relaciona ambos. [249] Puede ser que los significados personales que las personas atribuyen a algo sean bastante claros para las propias personas, pero que no sea posible comunicar esos significados a otros excepto como conceptos difusos.