Page 156 - manuscritostomo IV
P. 156
de la Verdad, puesto que algunos autores han matemáticas ya venían preocupados porque la
concluido que no existe en rigor un concepto precisión y elevada formalización del lenguaje
de verdad debido a que ésta depende de las lógico-matemático, que en muchos casos
expresiones del lenguaje acerca del cual se habla, resultaba contraproducente no sólo para su
han provocado la necesidad de tener que llevar desarrollo sino para una clara divulgación de los
a lenguaje formalizado muchas de las sentencias conocimientos científicos, esta posibilidad de
expresadas en el lenguaje ordinario. una lógica que pudiera dar cuenta de todas esas
Además, la preocupación porque las posibles verdades implícitas dentro de un rango
limitaciones propias del lenguaje no determinaran sería auscultada por la comunidad científica
el sentido y significado que le damos al mundo con prudente y esperanzadora expectativa,
y que las cuestiones filosóficas no terminaran adoptándola, aplicándola y desarrollándola con
siendo pura y simplemente cuestiones lingüísticas, excelentes resultados. Así, dirigirían la mirada hacia
tal como sería la preocupación del segundo la pretensión de acomodarle un lenguaje lógico-
Wittgenstein, también provocaría en otros autores matemático a las ciencias sociales y biológicas, en
cierto desdén por la metafísica y los problemas las que la correlación entre exactitud y descripción
de la filosofía, centrándose tan sólo en encontrar es mucho más compleja.
cómo esas imprecisiones tan propias del lenguaje Si entre más complejo es un conocimiento
ordinario pudiese ser expresadas mediante un menor impacto tiene para su comprensión la
lenguaje matemático (formalizado). minuciosa precisión, paradójicamente se ha
Es el matemático Charles Sanders Peirce (1839- considerado que así como el lenguaje ordinario
1914) quien desarrolla otra ‘correspondencia’ ha sido tan útil para el desarrollo de las ciencias
de la manera como la gente en su lenguaje humanas, entonces éstas no necesitarían tanto de
ordinario conoce acerca del mundo y la noción de otro lenguaje más exacto como sí lo necesitarían
función de Verdad, la que no sería tan sólo falsa o las ciencias exactas para poder describir las
verdadera, sino también vaga. vaguedades de las verdades científicas. Incluso, se
Bertrand Russell (1872-1970) considera que la ha sentido la necesidad de poder recurrir a la forma
filosofía tenía una base lógica, por lo que incluso lingüística de las palabras para poder expresar
era necesario expresarla en lenguaje matemático adecuadamente ciertas afirmaciones verdaderas
y lenguaje lógico, concibiendo el mundo como del mundo sistemático de la inteligencia artificial.
conformado por una multiplicidad infinita de Esto ha permitido considerar que por la
elementos separados, a la manera del mundo del vaguedad lingüística de las palabras que a
atomismo lógico, en el que cada hecho, fenómeno diario usamos en nuestro lenguaje ordinario
o situación puede expresarse mediante una no debemos considerar que dicho lenguaje sea
proposición lógica. inferior a los altamente formalizados, sino, por el
Si mediante estas proposiciones podemos contrario, demuestra una vez más que uno de los
expresar los hechos del mundo, entonces el mundo grandes atributos de la inteligencia humana es esa
estaría estructurado de manera lógica; pero, a habilidad de comunicarse a través de definiciones
pesar de poderse expresar así el mundo, podría vagas o inciertas.
darse que dicha proposición no corresponda al
hecho que denota, por lo que sería falsa, y en el Ergo, Lógica Difusa y Verdad
caso de su plena correspondencia sería verdadera, Qué habrá quedado de aquel presupuesto
siendo estas las proposiciones mediante las Aristóteles-eano de una sustancia como
cuales se obtendría el conocimiento adecuado fundamento de la lógica, donde la forma es a la vez
del mundo. No obstante, Russell consideraría que sustancia, la realidad es fundamento de la relación
la vaguedad también era uno de los grados de la recíproca entre el ser y la verdad, y la realidad no
verdad. es tal simplemente porque la afirmación que la
En 1920, Jan Lukasiewicz desarrolla los concierne sea verdadera, sino que la afirmación
conceptos de la lógica y conjuntos matemáticos, es verdadera sólo porque la realidad es tal, como
enmarcándolos dentro de un rango de aquélla la expresa. Presupuesto este que fue
pertenencia, cuyos mínimos y máximos eran 0 y refundido por la lógica escolástica medieval.
1, respectivamente, pero cuyos valores o casos de Qué habrá sido de la cruzada antimetafísica
verdad podrían ser infinitos entre 0 y 1. del positivismo lógico contra una lógica que
Como dentro del mismo campo de las en sus inicios tuvo el pudor de no falsear sus
606 A Husmear las Bitácoras
