El anlisis lgico de la vaguedad

Autor: Alejandro Sobrino

Arbor, CXLVI, 573-574 (Septiembre-Octubre 1993), pg. 57-82
ISSN: 0210-1963
Esta obra est protegida por el derecho de autor y su reproduccin y comunicacin pblica, en la
modalidad puesta a disposicin, se han realizado con autorizacin de CEDRO. Queda prohibida
su posterior reproduccin, distribucin, transformacin y comunicacin pblica en cualquier
medio y de cualquier forma, con excepcin de una nica reproduccin mediante impresora por
cada usuario autorizado.

Arbor
El anlisis lgico de la
vaguedad

Alejandro Sobrino
Arbor CXLVI, 573-574 (Septiembre-Octubre 1993) 57-82 pp.

El objetivo de este trabajo es ofrecer informacin, a travs de un breve

recorrido histrico, de algunos intentos de analizar lgicamente a la vaguedad En primer lugar, se considera la preocupacin de Aristteles y Lukasiewicz por aspectos del lenguaje ordinario que, como la indeterminacin, no
se identifican con la vaguedad, pero que han tenido una repercusin importante en el anlisis lgico de esta caracterstica. Las dificultades que la
vaguedad origina en la sistematizacin formal clsica del lenguaje son
analizadas en las propuestas de dos lgicos notables: Frege y Tarski Se
1nuestra a continuacin el inters de Russell por la vaguedad lingstica,
asentando algunas tesis que ya son clsicas sobre esta propiedad del lenguaje. Se ilustran por fin dos lgicas tempranas de la vaguedad la lgica de la
consistencia de aplicacim de Black y la lgica de los conceptos inexactos
de Korner. Por ltimo, se estudian algunas de las caracterstica.<; y prnblemtu
asociados a la vaguedad con modos ms actuales de anlisis lgico, con
especial referencia a .la lgica de los enunciados vagos (lgica fuzzy).

l.

La preocupacin inicial por la vaguedad

Es frecuente encontrar en los textos que de una forma u

otra aluden al anlisis lgico de la vaguedad referencias
que se remontan a Aristteles_ El motivo no es otro que la
preocupacin del estagirita por una caracterstica de algunos trminos del lenguaje que tienen un horizonte significa-

57

Alejandro Sobrino
58

tivo abierto. Son los trminos de significado indeterminado,

donde la carencia de determinacin se debe, en alusin del
autor, a la incapacidad de decidir ahora algo concluyente
acerca de eventos o sucesos que alcanzan una expresin en
tiempo futuro. Las oraciones en tiempo futuro o futuros
contingentes se han considerado frecuentemente como paradigmas de expresiones indeterminadas y, a menudo, tambin se le ha atribuido el calificativo de imprecisas o
vagas)). El ejemplo clsico de futuro contingente es la clebre expresin aristotlica Maana habr una batalla naval,
recogida en el captulo IX del De Interpretatione. No obstante, la indeterminacin se clistingue de la imprecisin o vaguedad, como veremos en ejemplos posteriores.
En el De Interpretatione Aristteles llama la atencin
sobre este tipo de oraciones de significado indeterminado y
las dificultades que para la lgica tendria recoger en sus
Leyes y Reglas (Modos Silogsticos) la indeterminaCin significativa asociada a los futuros contingentes. Un problema
inmediato que se adivina es la problematicidad que a este
respecto se presenta en el clsico Principio de Bivalencia,
que indica que toda oracin susceptible de anlisis lgico
puede ser valorada de dos formas, con verdad o con
falsedad, y que esos son los dos nicos modos de valorar.
El criterio de demarcacin entre expresiones susceptibles
de anlisis lgico y aquellas que no lo son viene determinado por su carcter asertivo, de compromiso con algn estado de cosas, que es lo que permite decir si son verdaderas
o falsas. La oracin Maana habr una batalla naval
cumple con este requisito; sin embargo, no puede ser objeto
de un anlisis lgico tradicional, ya que no es sensato decir
hoy que es verdadero o falso sin ms que tal evento
ocurrir maana.
A pesar de sealar esta contrariedad, Aristteles no incluy en su Silogstica -su clculo lgico- moctificacin
alguna que mostrase un intento de modelar formalmente
esta particularidad del lenguaje. Los futuros contingentes
cuestionaban el Principio de Bivalencia, pero ste mostraba
utilidad en su sistema formal, en los modos de razonamiento silogsticos. A pesar de que Aristteles no actu ms que
como fedatario de los problemas que poda acarrear la
indeterminacin y no modific ninguna ley clsica, no re-

El anlisis lgico de la vaguedad

59
sulta equilibrada la denominacin de las lgicas que no
acatan el Principio de Bivalencia como lgicas no aristotlicas, ya que s anticip, de alguna forma, las dificultades
que algunas caractersticas del lenguaje ordinario, como la
indeterminacin, podan acarrear a esta ley. Una denominacin ms apropiada es la de lgicas no crisipianas, en referencia a Crisipo, lgico estoico que hizo una defensa explcita de la Bivalencia vinculada a una visin determinista del
mundo. Otra denominacin equivalente y ms actual es la
de lgicas no clsicas (algunas de ellas relacionadas con el
anlisis lgico de la vaguedad), en las que a Aristteles se le
reconoce frecuentemente un papel germinal.
En efecto, la semilla dejada por Aristteles y su anlisis
de los futuros contingentes fue muy importante para desarrollar algunas lgicas no clsicas, en las . que, entre otras
particularidades, no vale el Principio de Bivalencia. En particular, su influjo se dej notar en el inicio de las lgicas
polivalentes, algunas de ellas muy vinculadas al anlisis
lgico de la vaguedad.
As, en los inicios de este siglo, Lukasiewicz, un brillante
lgico polaco, retoma el problema de los enunciados en
tiempo futuro. De la oracin (referida a su persona) La
n1aana del 21 de diciembre del ao prximo estar en
Varsovia dice -al igual que Aristteles- slo se puede
decir hoy, sensatamente, que es indeterminada. Pero a diferencia de l, Lukasiewicz propone una valoracin nueva,
que capture de modo lgico (semntico) la indeterminacin
de este tipo de oraciones. Es el valor 1/2, que incorpora a
su sistema formal, al disear tablas de verdad para conectivas en las que figura esta nueva valoracin. Disea as un
sistema trivalente de lgica que ms tarde sera expandido
por el propio Lukasiewicz a un sistema infinitamente valorado, generalizando el concepto de polivalencia y propiciando el surgimiento de las lgicas polivalentes.
Un apunte histrico que reviste cierto inters es que el
primer sistema polivalente que propuso Lukasiewicz no fue
el trivalente, sino el tetravalente, de cuatro valores de verdad, cuya motivacin era ajena a la indeterminacin. La
preocupacin de Lukasiewicz lo era tambin sobre un tema
que tena cierta relacin con el tiempo, pero ms explcitamente con un criterio que permita demarcar oraciones

Alejandro Sobrino

60
necesariamente (intemporalmente) verdaderas (falsas) de
oraciones posiblemente (dependientes en buena medida de
evaluacin temporal) verdaderas (falsas). Ejemplos serian:
(a) Oraciones necesariamente (intemporahnente) verdaderas: Es martes o no es martes.
(b) Oraciones lgicamente (intemporalmente) falsas: <<Es
martes y no es martes.
(e) Oraciones posiblemente (temporalmente) verdaderas: Maana me desplazar en autobs.
(d) Oraciones posiblemente (temporahnente) falsas: Maana pesar dos kilos ms que hoy.
Mientras las oraciones de tipo (a) son siempre verdaderas
y las de tipo (b) siempre falsas, la evaluacin de las oraciones de tipo (e) y (d), aunque se pueden agrupar indicando
que son contingentes, fueron representadas por las fracciones 1/2 y 3/4. Surge as un sistema tetravalente de lgica
para el que Lukasiewicz dio sus tablas de verdad, que deberian recoger las cuatro modalidades alticas: lo necesario, lo
imposible y lo posible en sus dos variedades, afirmativo y
negativo.
Por tanto, y en resumen, la posible deficiencia de la
bivalencia o incluso la conveniencia de la polivalencia resultan en Aristteles y Lukasiewicz de una consideracin por
las expresiones en tiempo futuro (vinculada adems con el
tema de las modalidades alticas en el segundo). Ambos
ponen de manifiesto la indeterminacin del significado de
algunas oraciones como aquello que establece el criterio de
demarcacin entre oraciones susceptibles de anlisis lgico
clsico (bivalente) y las que no lo son. La ausencia de
precisin de la oracin en el momento de ser proferida
seria el criterio que sealara la imposibilidad de este anlisis. Pero mientras Aristteles apunt simplemente el problema, fue Lukasiewicz el que propuso una lgica alternativa
para esas oraciones, dando lugar as a las lgicas polivalentes, que sistematizan la nocin de consecuencia lgica cuando hay ms de dos valores de verdad
Por tanto, en el origen de la polivalencia parece que no
ha sido central el anlisis lgico de la vaguedad. Es el factor
temporal el que parece haber sido el desencadenante de la

El anlisis lgico de la vaguedad

61
polivalencia. Sin embargo, a su regazo no se desarrollaron
las lgicas temporales, como pareca natural, sino las lgicas
polivalentes, a pesar de que fuese tempranamente cuestionado (respecto a los trabajos de Lukasiewicz), si stas eran
las ms adecuadas para solventar el anlisis lgico de los
futuros contingentes. Pero si bien la vaguedad no fue la
espoleta de las lgicas polivalentes, alguna de stas, como
es el caso de la lgica infinitamente valorada de Lukasiewicz, es considerada tradicionalmente como una lgica de
la vaguedad.
2. El rechazo de la vaguedad

El anlisis lgico de la vaguedad no fue tema habitual

en los textos de lgica hasta muy recientemente. No obstante, s constituy un motivo de zozobra en los primeros
sistematizadores de algunas de sus nociones clave, por ms
que la referencia a este tema en sus obras fuese puntual y
minoritaria. Frege y Tarski constituyen ejemplos de lo que
decimos.
2.1. En Frege

En la Conceptografa, una de sus obras fundamentales,

Frege define a los conceptos vagos como expresiones lingsticas que tienen sentido, pero no referencia. Dado que,
desde un punto de vista lgico, lo que importa de una
oracin es su referencia y fregeanamente se puede decir
que la referencia de una oracin es reductible a un valor de
verdad, siendo dos los valores admisibles, verdadero y
falsm>, para las expresiones vagas no hay funcin veritativa
posible. Esto es, no forman parte del dominio & ninguna
funcin caracteristica clsica y, en consecuencia, deben quedar fuera del alcance de la lgica. El criterio de demarcacin que utiliza Frege para separar las oraciones susceptibles de anlisis lgico de las que no lo son es, precisamente,
la precisin. La oracin 3 es un nmer primo tiene una
referencia precisa y de ella se puede decir si es verdaderm>
o falsa. En cambio, la oracin x es un nmero grande

Alejandro Sobrino

62
no tiene un correlato claro para muchas instanciaciones de
la variable x. No puede ser valorada, por tanto, en numerosos casos, como verdadera o falsa y, en consecuencia,
debe ser excluida del mbito de la lgica.
Este criterio conduce a una valoracin del lenguaje cientfico como ms propicio a la sistematizacin lgica que el
lenguaje ordinario. Es el lenguaje de la ciencia, (particularmente el de la matemtica) el que mejor expresa nuestros
pensamientos, nuestros conceptos ms acabados y profundos. P. ej., en el mbito de una observacin mdica se
puede decir que la lupa del microscopio aumenta 1.000
veces el tamao del tejido o, simplemente, que es un microscopio de mucha precisin. De la primera expresin es
posible indicar, a causa de su total precisin como oracin,
si es verdadera o falsa. De la segunda, en cambio, a pesar
de que incluye la palabra precisin>) pueden existir reservas,
a causa de su inespecificidad y vaguedad. No obstante,
expresiones como la segunda son ms usadas que la primera en contextos especficos de la conversacin ordinaria.
Esto tambin sera asumiqo por Frege, pero a rengln seguido indicara que, si bien no se puede dudar de la existencia de conceptos vagos en el lenguaje ordinario, donde cumplen una misin comunicativa importante, tambin parece
claro que no son apropiados llevar a buen fin argumentaciones rigurosas.
En efecto, una consecuencia indeseable de la presencia
de predicados vagos en los argumentos es que conducen a
stos a paradoja. Tal ocurre con el predicado ser montm>
o ser calvo, que, a causa de su vaguedad, origina la paradoja del Sorites o Falakros. Esta paradoja puede ser ejemplificada as:
Un acmulo de n granos es un montn.
Si un acmulo den granos es un montn, al retirarle un
grano a ese acrnulo sigue siendo un montn.
Todo acmulo de n granos, incluido el que hace a n = O,
es un montn.
(El mismo tipo de argumento se puede constrUir, para la
versin Falakros, usando el predicado calvo).
Lo que este ejemplo ilustra es que, partiendo en algunos
casos de premisas absolutamente verdaderas y, en otros, de

El anlisis lgico de la vaguedad

63
premisas que son verdaderas respecto al juicio hecho sobre
la premisa anterior en el orden de extraccin de los granos,
se llega a una conclusin manifiestamente falsa. Podria considerarse que alguna de las premisas es falsa; en el ejemplo
de arriba la que hace a n = 1 , menos claramente, la que
hace a n = 10 10 (suponiendo que se agrupan en forma de
montn). Pero esto no es importante, porque an as sigue
sin estar claro donde dar, con fundamento, el corte que
separe el acmulo que es montn del acmulo que no es
montn, por lo que, para algn n = n-1 que fuese conclusin, estaramos de nuevo comprometidos. La vaguedad de
los predicados vagos hace naufragar, pues, argumentos aparentemente vlidos, como los del tipo Sorites.
Adems de no expresar el autntico sentido de las expresiones, los predicados vagos ocasionan problemas en razonamientos que, de incluir trminos precisos, serian evaluables claramente como vlidos o invlidos. Ponen adems en
cuestin principios lgicos para Frege tan irrenrmciables
como el de Bivalencia. Irrenunciables porque, efectivamente,
admite que pueda ser vaga la expresin Hay un grado de
humedad alto, pero en ningn caso admitira como vaga la
expresin compleja Hay un grado de humedad alto o no
hay un grado de humedad alto. Esta ltima slo puede ser,
en su opinin, verdadera.
Los predicados vagos originan dificultades, pero existen
en el lenguaje ordinario. Dado que el lenguaje de la ciencia
no puede sustraerse completamente al uso del lenguaje
ordinario, alguna solucin hay que proponer, entonces, para
este tipo de predicados. Frege apunta una doble: (a) su
regimentacin; esto es, arbitrar algn procedimiento que los
convierta en precisos, (b) su eliminacin del alcance de la
lgica. Ambas operaciones habra que hacerlas de una vez
por todas, ya que el dominio de la lgica debe abarcar a
todos los conceptos; de otra forma nos encontraramos con
casos en los que la lgica es aplicable y otros en los que no,
lo cual a su juicio no es admisible. Para este caso tambin
es aplicable el Principio del Tercio Excluso: o la lgica se
aplica o no se aplica.
Esta solucin drstica viene propiciada quizs por una
peligrosa peculiaridad de los predicados vagos, tambin
apuntada por Frege: su carcter infeccioso. En efecto, la

Alejandro Sobrino
64

expresin Un caballo es un animal es una oracin precisa.

Pero si se le aade el predicado grande, pasa a ser vaga, a
causa de la vaguedad de grande. La oracin Un caballo
es nn animal grande>) conectada a cualquier otra oracin
precisa convierte a la expresin compleja en imprecisa. De
ah que la regimentacin o eliminacin fuese concebida por
Frege como una operacin total y no parcial.
2.2.

En Tarsk.i

na de las bases de la semntica fregeana se asienta en

el principio, ya enunciado, de que la referencia de una
oracion precisa es reductible a un valor de verdad. Tarski
fue un discpulo de Lukasiewicz que, entre otros mritos, es
reconocido por haber tratado de proporcionar un criterio
explicito y neutral para definir la nocin de verdad en
un lenguaje formalizado, del que es un ejemplo la lgica
Dos son los criterios que, a su entender, se han de seguir en
tal tarea: la correccin formal y la adecuacin material. La
correccin formal tiene que ver con la distincin de planos
de lenguaje, que evite paradojas como la siguiente:
La oracin de la lnea nmero 29 de la pgina 5 de este
trabajo es falsa es verdadero
No es el propsito de este ensayo abundar ms en este
aspecto, ya que es relativamente perifrico respecto al tema
de la vaguedad. Para ms informacin remitimos al texto
clsico de Tarski. Ms vinculacin con el tema de la vaguedad tiene el criterio de la adecuacin material. Una definicin de verdad se dice materialmente adecuada si responde al esquema T (truth), que se ejemplifica de la siguiente
manera:
p es verdadero si y slo si p,
donde el p entrecomillado es el nombre de p, que eventualmente puede corresponderse con una proposicin o con un
estado de cosas. p pertenece, por tanto, a un nivel metalingstico y de p sin entrecomillar decimos que est en el
lenguaje objeto.

El anlisis lgico de la vaguedad

65

En un lenguaje formalizado, el criterio T puede ser

objeto de la siguiente ejemplificacin. Considrese el grupo
ordenado de los enteros, E=< Z, <, +,-,O>. El lenguaje
de E, L (E), tiene como alfabeto
(a) Smbolos predicativos: =, L
(b) Smbolos funcionales: P, M
(e) Smbolos constantes: O
L (E) contiene adems, m smbolos constantes para todos
los m e Z.
Una interpretacin de los trminos cerrados deL (A), tA,
seria de la siguiente forma:
t

p (tl, 12)

M (t1, tz)

donde a m se le puede interpretar como su nmero, a P

como ms y a M como menos. Un ejemplo de definicin
de verdad para una proposicin en la estructura indicada
usando el esquema T seria el siguiente:
2 + 2 = 4 es verdadero syss 2 + 2 = 4 (esto es, si la
adicin de los nmeros 2 y 2 da como resultado el nmero
4).

Tarski aventur en su trabajo las dificultades que en su

opinin tendra la aplicacin del criterio T a los lenguajes
naturales. Una se refera al nmero infinito de oraciones
que pueden ser generadas en el lenguaje natural. La otra
tiene como punto de inflexin a la vaguedad. Cuando el
lenguaje incluye trminos vagos, parece complicado dar
ejemplificaciones del esquema T (a no ser que se relaje el
mismo concepto de verdad). Obsrvese sino los siguientes
ejemplos.
(a) X es un nmero redondo es verdadero syss x es
un nmero redondo, donde nmero redondo se define
como aquel nmero que consta de una cantidad relativamenle alla de (aclores primos comparativamente pequeos
entre s. Dada la vaguedad de nmero relativamente alto

Alejandro Sobrino

66
y de comparativamente pequeo, se hace muy complicado
establecer una equivalencia nica y precisa entre el nombre
de un nmero redondo y el nmero redondo en s (bajo el
supuesto, que no contraviene a Tarski, de que no se dispusiese de un clculo que indicase en qu medida x es un
nmero redondo).
(b) Gringo es alto es verdadero syss Gringo es alto,
donde Gringo es alto puede ser sustituido por la oracin
precisa, Gringo mide 1,70 m. Otra vez la correspondencia
entre el nombre de tm estado de cosas y ese estado de
cosas (Gringo es alto es verdadero syss Gringo mide 1,70
n1.) es problemtico, ya que en la mayora de los contextos
no se podria establecer de forma biunivoca.
De nuevo un tema central de la lgica clsica, cual es la
definicin de verdad, se convierte en problemtica si la
lgica pretendiese sistematizar su objeto de estudio, la nocin de consecuencia lgica, en el lenguaje ordinario, y no
se restringiese al dominio del lenguaje cientfico o matemtico. El lenguaje preciso aparece as como una garanta de
la maquinaria deductiva de la lgica: evita paradojas
(Frege) y permite usar uno de los criterios que explicitan la
nocin de verdad>> en un lenguaje formal (Tarski). No obstante, el lenguaje vago tiene un papel importante en la
argumentacin ordinaria (Frege y Tarski).
3. La vaguedad considerada: Russell

A pesar de las dificultades que la vaguedad originaba a

la lgica clsica en su intento de sistematizar conceptos
fundamentales implcitos en la nocin clsica de consecuencia, Russell, uno de los principales impulsores de la monumental tarea de la fundamentacin lgica de la matemtica,
emprendida en la obra compartida con Whitehead, Principia
Mdtematica, escribe en el ao 1923 un trabajo titulado Vagueness. Para publicar este artculo elige el primer nmero
de una revista que acababa de nacer, el Australiasian Journal of Philosophy, a la postre una publicacin de prestigio.
Que Russell se ocupase de la vaguedad encuentra justificacin en el proyecto global de la filosofa analtica, para la

El anlisis lgico de la vaguedad

67
cual la mayora de sus problemas provenan de un uso
deficiente de su propio discurso, que a menudo se revelaba
como incorrecto o falaz. En la tarea de desinfeccin del
lenguaje de elementos que pudiesen distorsionar la argumentacin en general y filosfica en particular, la vaguedad
era un elemento a tener en cuenta. Respecto a esta caracterstica, Russell hace algunas anotaciones que se han convertido ya en clsicas.
De la vaguedad dice Russell que es una caracterstica
intrinseca, no accidental de los predicados que denominamos vagos. En efecto, los predicados vagos son inerradicablemente vagos, en un doble sentido: (a) bien porque
tomamos al lenguaje tal y como se nos da y no hacemos
juicio ulterior alguno acerca de un posible contexto que lo
convertira en preciso, (b) bien porque, an precisando el
contexto, el predicado permanece vago. El sentido (b) tiene
obviamente un aire de irreductibilidad superior al (a). P. ej.,
la oracin Es alto puede ser vaga en el momento de ser
proferida Con ms informacin, quizs podra ser precisada.
Eso ocurre cuando se dispone, v. gr., de una cinta mtrica
que permite sustituirla por la expresin, Mide 1,70 m.>>.
Pero la oracin Una persona que mide 1,70 m. es una
persona alta es vaga y, dada la especificacin de la altura
de la persona, no parece que haya ms mecanismos para
reducir o eliminar la vaguedad de esa oracin. Por tanto,
hay oraciones que, como stas, son intrinsecamente vagas.
Obsrvese tambin como la oracin de arriba no es indeterminada (en el sentido en el que lo eran los futuros contingentes), ya que el postergamiento de su evaluacin no garantiza en absoluto su precisin.
Si hay predicados irremediablemente vagos, dice Russell,
todo el lenguaje es vago. Para hacer esta afirmacin se basa
en el principio de infeccin antes comentado, segn el cual
los predicados vagos contaminan de vaguedad a las oraciones que les acompaan. En efecto, Gringo es una persona))
es una oracin precisa, pero si Gringo mide 1,70 m. Gringo
es una persona alta ser, en la mayoria de los contextos,
una oracin vaga a causa de la vaguedad del predicado
alto)).
La tercera caracterstica apuntada por Russell que merece ser destacada tiene relacin con las dos anteriores. Si

Alejandro Sobrino
68
hay predicados cuya vaguedad no es accidental, sino intrnseca y si, dado su carcter infeccioso, todo el lenguaje es
vago, entonces, la lgica o bien se sustrae del lenguaje
natural, como ocurra en Frege, o se muestra incapaz de
hacer un anlisis lgico del mismo. Russell se adhiere a esta
ltima posibilidad e indica que la lgica clsica no se puede
ocupar del lenguaje natural, ya que pertenece a un reino
celestial, no al mundo terreno donde discurre nuestra cotidiana conversacional.
Por tanto, parece claro que la lgica clsica no poda
ocuparse del lenguaje natural. A causa de la precisin como
criterio de demarcacin entre oraciones susceptibles de anlisis lgico y oraciones no susceptibles de anlisis lgico, la
vaguedad estaba sujeta a una alternativa exclusiva: o era
eliminada o no deba entrar dentro de los propsitos analticos de la lgica. No obstante, pronto se dej notar en el
mbito de la filosofa analtica un inters por ste y otros
aspectos del lenguaje natural. Esta motivacin tuvo como
origen un giro en la propia filosofa del lenguaje, uno de
cuyas mejores ejemplificaciones es la obra de Wittgenstein.
En el Tractatus, se ocupa de la forma lgica de las oraciones
y de aquellas de las que no puede hablarse (conforme a los
cnones de la lgica) mejor es callarse. En las Investigaciones Filosficas, en cambio, se entusiasma con los juegos de
lenguaje, con la diversidad de formas comunicativas que
nos permiten verbalizar nuestra cotidiana. El inters por el
lenguaje ordinario coincide tambin con la preocupacin
por modelar conductas inteligentes comunes, despus de
que algunas de las consideradas facultades superiores hubieran sido ya simuladas, p. ej., por las calculadoras. Surge
as la futeligencia Artificial, a cuya sombra proliferan un
conjunto notable de lgicas no clsicas, entre ellas, las lgicas de la vaguedad.
No obstante, tambin en la etapa ms logicista de la
filosofa de lenguaje se hicieron intentos de un anlisis lgico de la vaguedad. A continuacin recogemos dos de las
propuestas ms notables.

El anlisis lgico de la vaguedad

69
4.
4.1.

El anlisis lgico de la vaguedad. Primeros intentos

La lgica de la consistencia de aplicacin de Black

Black comparte la opinin de que los predicados vagos

forman parte habitual del lenguaje y que muestran su importancia en la conversacin ordinaria, donde no se requieren normalmente conceptos precisos. Ensyese sino a tener
una conversacin corta en la que no figuren trminos vagos.
Pero la imprecisin provoca una relacin problemtica entre
la lgica y el lenguaje, ya que ni los conceptos vagos deben
ser excluidos del alcance de la lgica, ni sta ha sido diseada para tratar con predicados vagos. Para salir de este
imps, Black propone la conveniencia de disear un simbolismo apropiado para el tratamiento de la vaguedad, de tal
forma que las leyes de la lgica, en su interpretacin abso- .
lutistica usual, aparezcan co1no un punto de partida de
leyes ms elaboradas de las cuales las anteriores puedan
ser consideradas ahora como casos especiales o limitantes.
La lgica de Black presupone algunas caracteristicas de
su concepcin del lenguaje. En su opinin, un anlisis lgico
del lenguaje natural muestra que dentro de cada comunidad de habla se dan un conjunto de convenciones para el
uso de los trminos o conceptos de su lengua. Un hablante
de esa comunidad hace un uso vago de un trmino si hay
un objeto o serie de objetos para los cuales no sabernos
decir si el trmino en cuestin se aplica o no se aplica, en
una definicin de trmino vago con resonancias peirceanas.
Los objetos para los cuales no sabemos decir si un smbolo
se aplica o no se aplica constituyen la franja de aplicacin
del trmino. El anlisis lgico de la vaguedad pasar entonces, en buena medida, por la de dar una representacin
formal adecuada del concepto de franja.
Una franja, relativa a un concepto, es aquella zona donde
no se puede decir sin ms si el concepto se aplica o no se
aplica. Esto es, es una zona donde existe un gap de valoracin, y donde no tiene validez el Principio del Tercio
Excluso. P. ej., y referente a una gama cromtica, sea R el
trmino vago rojo y sea S una serie de 10 tarjetas donde
los colores se van difuminando de la primera a la ltima.
Rx significa que x cae bajo la extensin de R y 1Rx que x

Alejandro Sobrino
70

cae fuera de la extensin de R. Supongamos que las tarjetas

van difuminando el color rojo de la 1 a la 10, de manera
que de 1-4 no hay dudas acerca de que son rojas o, cuando
menos, que tienen ms de rojo que de otro color. De 7 a 1O,
en cambio, son no rojas. Quedan las tarjetas S y 6 que son
dudosas; esto es, algunos hablantes diran que tienen ms
de rojo que de otra cosa y otras que tienen ms que ver
con otros colores que con el rojo. Esto lleva a un solapamiento de las extensiones de Rx y 1 Rx para la zona comprendida entre T 4 y T7, incompatibles con las propiedades
de la negacin clsica, ya que determinadas tarjetas, como
T5 y T6, se sitan en la extensin de la caja negra)} donde
reclaman extensin tanto TR como TNR.
- - - - - - - TR

TNR

o
TL

T2

T3

T4

T5

T6

TI

T8

T9

TIO

U= {Tarjeta 1, ...,Tarjeta 10}; TR =tarjetas r ojas; TNR =tarjetas no rojas

Esto es, en la franja vale el Principio de Contradiccin,

ya que se verifica que 3x (Rx A , Rx), o, en una formulacin alternativa, que 3x (-, Rx A , ( Rx)). Por tanto, esta
definicin de franja no es lgicamente correcta a no ser
que se proporcione un nuevo sentido de la negacin. No se
puede decir que la franja est mal definida: se sabe que son
las tarjetas S y 6 las que se solapan. Pero, con una negacin
clsica, tampoco se puede decir que est bien definida, pues
siguiendo un argumento tipo-Sorites, por qu es TS la que
se solapa y no T4?
Una definicin ms rigurosa de franja pasa por caracterizar a una comunidad de hablantes que usa una lengua
determinada, donde el resultado del uso es considerado no
como un dato introspectivo, sino como un dato real. Dado
que, como se indicaba antes, las franjas no estn bien definidas, existen variaciones. Las variaciones pueden deberse

El anlisis lgico de la vaguedad

71
al usuario de la lengua (U) o al objeto lingstico (0). Si
fuesen debidas a U, las variaciones seran subjetivas y
probablemente no tendran un carcter sistemtico. Si se
debiesen a O, seran objetivas y posiblemente presentaran,
en cambio, regularidad. Por tanto, cuando estamos, no ante
un hablante que decide poner lmites a la extensin de un
concepto donde su buen juicio le indica, sino ante un grupo
de hablantes de una comunidad, nos encontramos con que
las decisiones de establecer limites en las situaciones fronterizas presentan regularidades estadsticas. Esta objetivacin
de la vaguedad le permite afirmar a Black que la lgica no
vale en cualquier mundo posible. La lgica clsica, p. ej., no
se aplica a los conceptos ordinarios, mientras que su lgica
s lo hace. Pero para ello hay que hay que hacer una sustitucin precisa del concepto de franja. Propone entonces
como sustituta a la nocin de consistencia de aplicacin>),
que resulla de aplicar procedimientos estadsticos muy sencillos acerca del uso de un trmino por una comunidad de
hablantes.
Denote Dxt la discriminacin del objeto x por el trmino
t (en el lenguaje L). A veces esta discriminacin no ofrecer
problemas, pero en la franja o zona de transicin es probable que no haya unanimidad entre los hablantes de una
comunidad respecto a Dxt. Sea m el nmero de hablantes
que situaran a x bajo la extensin de t y n los que situaran
a x en la extensin de --rt. Se define la consistencia de
aplicacin de t a x como el lmite al que tiende la ratio 1n/n
cuando el nmero de discriminaciones y de ohservaciones
se incrementa indefinidamente. Si la consistencia de aplicacin es una funcin de t y de x, se puede representar como
C (t, x), que se lee de la siguiente forma: la consistencia de
aplicacin con la que el trmino t designa al objeto x en el
lenguaje L es C.
En el ejemplo anterior, se puede decir que la consistencia
de aplicacin para Rx ir decreciendo a partir de T4, mientras que a partir de esta misma tarjeta se incrementar la
consistencia de aplicacin para -,Rx. La lista de valores
obtenidos permiten una representacin grfica de C (t, x),
que a menudo adopta la forma de una figura poligonal
abierta. Al perfil que dibujado se le denomina perfil de
consistencia de la aplicacin del trmino t deL a la seiie S

Alejandro Sobrino
72

de objetos x. La caja negra)) que ilustraba la nocton de

franja)) es sustituida ahora por trazos que permiten decir
algo acerca de en qu medida TS T6 son tarjetas rojas.
TR

TNR

Tl

T2

TI

T4

T5

T6

TI

T8

T9

no

U = {Tarjeta 1, ..., Tarjeta 10}; TR = tarjetas rojas; TNR = tarjetas no rojas

El perfil de consistencia puede ser visto como una funcin numrica. Como tal, es ajeno a las dificultades encontradas antes para una definicin clsica de la negacin. En
este caso no habr una negacin total, de manera que el
complemento de un trmino de la serie es lo que queda por
delante o por detrs de la serie, sino una negacin respecto
a la consistencia de aplicacin del trmino a un elemento
de la serie. R6 no ser la negacin ni de Rt ni de Rw. Si la
consistencia de aplicacin de R6 es g, la de 1R6 ser 1-g. La
distribucin de la consistencia puede ser vista entonces
como una indicacin del grado para el cual un trmino se
aplica a un objeto; de manera que t(x, g) puede leerse como
que x cae bajo la extensin de t con grado g. Se sustituye
entonces el concepto intuitivo de casos fronterizos)) por el
preciso de grado)), introduciendo as una de las nociones
clave en el anlisis lgico de la vaguedad.
4.2.

La lgica de los conceptos inexactos en Korner

La vaguedad vs. precisin vuelve a resurgir en Korner

como un criterio de demarcacin entre proposiciones a las
que se le puede o no aplicar los recursos de la lgica. Los
tnninos empricos tendran la primera propiedad, provocadora de situaciones dudosas. Los trminos de la matemtica,
en cambio, serian precisos y verificaran las leyes lgicas

El anlisis lgico de la vaguedad

73
clsicas. Uno de los objetivos de Korner es desarrollar una
teora de conjuntos o clases vagas, en la que se reflejen las
distintas relaciones lgicas que se verifican en las situaciones de imprecisin.
Las relaciones que se verifican entre los conceptos inexactos se caracterizan, segn Korner, por presentar candidatos neutros. Un candidato neutral puede definirse como
un objeto para el cual un predicado es asignado y refutado
con igual correccin, esto es, un objeto para el cual tanto
la atribucin como la negacin de nn concepto es conforme
a una regla de asignacin (de rechazo) de la propiedad al
concepto. Sir es el nombre de tal regla y Ces el concepto, r
es u.ila regla inexacta de referencia y e es Wl concepto
inexacto si:
(a) La atribucin de un objeto a C es conforme a r,
mientras que la negacin transgrede r. Se dice entonces
que el objeto es un candidato positivo.
(b) La negacin de un objeto a e es conforme a r,
mientras que la afirmacin transgrede r. Se dice entonces
que es un candidato negativo.

(e) Tanto la atribucin como la negacin de un objeto

a C son conformes a r. Se dice entonces que es un candidato neutro.
Es decir, un concepto es inexacto si incluye candidatos
positivos, negativos y neutros.
(d) S se define un concepto C' requiriendo que los candidatos neutros de C sean candidatos inequvocos de C', C'
tendr candidatos positivos, negativos y neutros.
Es decir, un concepto es inexacto si infecta de inexactitud a los conceptos de los que forma parte.
~
Con estas nociones, Korner desarrolla una teoria de clases inexactas. Sean U y V conceptos susceptibles de tener
candidatos neutros. Los entraamientos posibles entre relaciones provisionales y finales son los siguientes:
l. Si la relacin provisional es de inclusin, la relacin
final posible tambin es la de inclusin.

Alejandro Sobrino
74

2. Si la relacin provisional es exclusin, la relacin

final tambin es de exclusin.
3. Si la relacin provisional es de traslape (interseccin),
la final tambin es de traslape.
4. Si la relacin provisional es de inclusin, la relacin
final es de inclusin y traslape; es lo que se denomina
K6rner, traslape inclusivo.
S. Si la relacin provisional es de exclusin, la relacin
final es de exclusin y traslape, es lo que denomina como
traslape exclusivo.
6. Si la relacin provisional es de indeterminacin, la
final es de inclusin, exclusin y en ocasiones traslape.

Si las relaciones posibles son las de 1-3, entonces los

conceptos que participan en ellas son exactos. Estas relaciones muestran el sentido usual de la negacin en la lgica
clsica. Si adems se verifican las relaciones 4, S y 6 entonces los conceptos son inexactos. Por tanto, las relaciones
propias de una lgica de los conceptos inexactos son las de
traslape inclusivo y traslape exclusivo. Su representacin
conjuntstica sera la siguiente:
V

Traslape inclusivo (Es V y F que un elemento de U es un elemento de V).

Traslape exclusivo (Ni es V ni es F que un elemento de U es un elemento

de V).

El anlisis lgico de la vaguedad

75
La relacin de traslape inclusivo recoge de un modo
ilustrativo lo que es habitual denominar como glut de
valoracin. El trmino glut es empleado para indicar una
sobreabundancia de valores de verdad, situacin propia de
los predicados vagos que presentan candidatos neutrales,
candidatos que son casos positivos y negativos del predicado
en cuestin.
Por el contrario, la relacin de traslape exclusivo recoge
la nocin de gap o ausencia de valoracin, referida a
aquellos casos que ni pertenecen ni no pertenecen a la
extensin de algn predicado. Esta relacin, ms que en
consonancia con la nocin de candidato neutro>> refleja
mejor lo que sera un candidato indecidible: No es que una
proposicin determinada tenga una sobreabundancia de valores de verdad; es que ni siquiera se puede decidir qu
valoracin tiene.
Se definen a continuacin otras relaciones, stas ya especficas para los conceptos inexactos, en la lgica de
Korner. Se distingue:
(a) Relaciones lgicas entre expresiones atmicas.
- Relacin lgica de un concepto inexacto consigo
mismo. Dado un concepto inexacto, un candidato neutro
para l puede ser a la vez positivo y negativo. Esto provoca
que la relacin lgica de un concepto consigo mismo sea de
traslape inclusivo y no de inclusin.
- Dado un concepto inexacto, la relacin lgica que se
verifica entre el concepto y su complementario no es de
exclusin, sino de traslape exclusivo.
(b) Relaciones lgicas para expresiones complejas.
Los compuestos de conceptos inexactos pueden ser a su
vez exactos o inexactos. Se ejemplifica a continuacin en
qu casos la suma de conceptos inexactos da como resultado un concepto exacto:
Sea A un concepto exacto y Pl, P2, ...., Pn conceptos
inexactos. A es una suma exacta de los P, si y slo si
(i) Todo candidato positivo de A es un candidato positivo

Alejandro Sobrino
76

de los Pi y todo candidato negativo de A es un candidato

negativo de los P.
() Todo candidato neutro de algn P es positivo de
algn otro P.
(i) Todos los candidatos positivos y negativos de los P
agotan a los candidatos positivos y negativos de A.
Si se cwnplen estas tres condiciones, entonces la suma
de los P es igual a A y A es exacta. P. ej., coloreado es un
concepto preciso que es la suma de verde + azul +...
que son especies inexactas del primero.
Queda as esbozada una rudimentaria lgica de relaciones inexactas. Despus de la lgica de la consistencia de
aplicacin de Black, la lgica de Korner representa nn segundo intento formal de modear la inexactitud. Su aproximacin no ofrece, sin embargo, un clculo numrico de la
vaguedad, como se daba a travs de la consistencia de
aplicacin: se analiza nicamente de qu modo las relaciones lgicas para los conceptos inexactos extienden a las
relaciones lgicas usuales (que Korner llama provisionales)
de los conceptos exactos.
La lgica de los perfiles de consistencia de Black y la
lgica de los conceptos inexactos de Komen>, constituyen
dos de las aportaciones ms notables, si -bien no las nicas,
para el anlisis lgico del lenguaje vago. Cabe citar que en
el periodo que va de la publicacin del trabajo de Black
(1936) hasta el ao 1960, en que se da a conocer el estudio
de Korner, las lgicas polivalentes tuvieron nn desarrollo
importante. No obstante, como ya indicamos a propsito de
su nacimiento, su despliegue no estuvo siempre orientado al
anlisis lgico de la vaguedad, pero s a temas relacionados,
como la imprecisin o la indeterminacin del lenguaje natural (con parentela con la vaguedad). Al mismo tiempo, cada
vez se le adivinaban ms sus posibilidades aplicadas, fundamentalmente al rea de la computacin. El mbito de las
aplicaciones ser precisamente fundamental en el surgimiento de aquella lgica que se ha ocupado especficamente, y
con ms xito hasta hoy, del anlisis de la vaguedad: la
lgica fuzzy, sobre la cual daremos a continuacin un breve
apunte en relacin con algunos temas que hemos destacado

El anlisis lgico de la vaguedad

77
en lo que se poda denominar, de modo laxo, como intentos
precursores de formalizacin de la vaguedad.

S.

La lgica de los enunciados vagos (lgica fuzzy)

como una lgica adecuada para el anlisis de la
vaguedad

No es el objetivo de este trabajo hacer un relato pormenorizado de la lgica fuzzy. Para eso remitimos al estudio
que especficamente se dedica, en este monogrfico, a este
tema. Nuestra pretensin es slo apuntar dos o tres notas
caracteristicas de esta lgica en la que se muestre la evolucin que representan respecto a sus predecesoras en el
intento de formalizacin de la vaguedad.
- En lgica fuzzy la evaluacin de una proposicin vaga
no se corresponde a menudo con un grado de verdad, con
uno de los diez decimales que cabe distinguir entre O y 1,
que corresponde a un valor de verdad polivalente, sino con
un valor de verdad borroso o nmero borroso. A continuacin se expone, en la siguiente secuenCia, una ilustracin
comparada de las distintas formas de valorar: clsica, polivalente y borrosa.

05

1-------.------4
O.S

o......__ _ _ _.....

o....__ _ ____,

.--'"

----,.

n verdadcro
n raJso
o

Obsrvese cmo mientras en la valoracin clsica se

puede decir verdadero)) o falso o, alternativamente, 1 y O,
en la versin polivalente se suele cualificar a verdadero
numricamente, de manera que se dice, p. ej . es verdadero

Alejandro Sobrino
78

en grado O,7. La cualificacin numenca, en cambio, es

imposible cuando se valora un enunciado vago a travs de
un nmero borroso. Un nmero borroso, brevemente descrito, es un nfunero que agrupa dentro de s a cuatro
numeraciones: la que seala la ascensin hacia la pertenencia, la que indica donde empieza la pertenencia absoluta, la
que apunta donde empieza a decaer la pertenencia y, por
ltimo, la que seala la no pertenencia, lo que da como
resultado el trapecio que se puede observar en el grfico
del margen derecho. Ese trapecio responde al nmero borroso (0.45, 0.57, 0.65, 0.72), cuya verbalizacin con1prensible
es imposible. Por eso, en vez de ese nmero decimos que
es ms o menos verdadero, ya que el trapecio que corresponde a esas valoraciones se encuentra en la capa mtermedia entre lo absolutamente verdadero y lo absolutamente
falso. A diferencia de las valoraciones polivalentes, que se
matizan mejor numricamente, las valoraciones borrosas
alcanzan una mejor ejemplificacin a travs de una etiqueta
lingstica. Lo especfico de la lgica fuzzy, por tanto, ms
que ser una lgica de grados de verdad, es ser una lgica
de valores de verdad lingsticos.
Respecto al esquema T de Tarski y a las dificultades que
el lenguaje natural vago ocasionaba de cara a su aplicabilidad al lenguaje natural, se puede apuntar una consecuencia
de adoptar valoraciones de verdad lingsticas distintas a
verdadero y falso en la lgica borrosa. La lgica que
utiliza Tarski en su explicitacin del criterio T se atiene al
criterio de verdad aristotlico: Decir de lo que es, es, y de lo
que no es, no es, es verdadero; en cambio, decir de lo que
es, no es, o de lo que no es, es, es falso. Por tanto, no es
raro que, atenindose a esta defircin, se d la equivalencia

ya que si p es verdadero, p es, y si p es, y de p se dice p,

p es verdadero. No tiene porqu ocurrir as, sin embargo,
en la lgica fuzzy. Dado que disponemos de ms valoraciones lingsticas que verdadero, la equivalencia de arriba
no tiene porqu darse. Se da la implicacin en un sentido: si
p es verdadero, entonces p es. Pero no tiene porqu darse
en el sentido contrario: Si p es, dado que p es un objeto

El anlisis lgico de la vaguedad

79
susceptible de una representacin vaga, de p puede decirse
que es bastante verdadero, o ms o menos verdadero,
no tiene porqu valorarse necesariamente como verdadero. Los valores de verdad lingsticos se convierten as en
valoraciones apropiadas a la hora de formular posibles propiedades metalgicas de la lgica fuzzy. Constituyen, por
tanto, una de sus caractersticas ms propias.
- En lgica fuzzy tiene una importancia capital el contexto, ya resaltado tambin en la lgica de la consistencia
de aplicacin de Black. En lgica fuzzy es posible mostrar
cmo una alteracin del contexto representa tambin una
alteracin inmediata en la valoracin de una proposicin
vaga. El contexto de una regla que mide 1O cm. una entidad
de 9 cms. es alta en grado 0,9. Si la regla utilizada ahora es
de 1.000 cm. la misma entidad de 9 cms. sera alta en una
proporcin mucho menor: 0,009. Por tanto. la evaluacin
numrica (sea a travs de un grado de verdad sencillo,
como el que hemos utilizado en el ejemplo, o a travs de un
valor de verdad borroso, un nmero borroso) es adecuada
si atiende al contexto. En la lgica fuzzy, el contexto queda
siempre fijado por el universo de discurso, que se especifica
siempre antes de emprender cualquier anlisis de un problema. Esta es la razn de que se hable de subconjuntos
borrosos y no de conjuntos borrosos.
En un mbito diferente al de la lgica fuzzy, las teorias
formales de contextos han puesto siempre mucha atencin
en la captura formal de lo que es un contexto. Normahnente
ste queda definido delimitando una comunidad de hablantes y definiendo funciones de una serie de factores implcitos en el uso del lenguaje (foco de inters, presupuestos,
corpus de conocimiento acerca de lo que se habla, contexto
de uso...) en el significado del trmino que se usa. Si con
este instrumental no se consigue eliminar la vaguedad del
trmino en cuestin, entonces se usa para su modelizacin
formal una lgica trivalente (normalmente en nna aproximacin supervaloracional).

- En la lgica fuzzy se considera que los predicados

vagos no tienen todos el 1nismo tipo de vaguedad. Sea, p.
ej., el concepto vago <<mover desarrollo en bicicleta y consi-

Alejandro Sobrino

80
deremos, de modo simplificador, que este concepto es la
suma de otros dos conceptos vagos: cOrona pequea y
plato grande. Supongamos que, si un individuo mueve
una corona o pin del 16 mueve desarrollo con grado 0,7.
Supongamos, tambin, que si mueve un plato o catalina del
52, mueve desarrollo con grado 0,6. Si mover desarrollo en
bicicleta es la conjuncin de mover una corona pequea
y mover un plato grande, entonces, usando la definicin
mayor de conjuncin como el mnimo del grado de atribucin de los dos conceptos vagos, el resultado sera 0,6. Pero
en un terreno llano, y para un ciclista no profesional esta
valoracin sera normalmente considerada como desmesurada. Ello se debe a que los desarrollos de la corona y el
plato no son independientes, sino que de su interaccin
depende el desarrollo que se lleva en la bicicleta. Por tanto,
ms apropiado parece usar otra definicin de la conjuncin,
como p. ej., el producto entre los dos grados. En ese caso
resultara 0,42, que rebajarla sustancialmente el valor 0,6 y
que estaa ms acorde con el sentido de la frase vaga
mover desarrollo en bicicleta (en el contexto apuntado
antes).

La vaguedad de los predicados condicionan, por tanto, la

lgica de la vaguedad o lgica fuzzy a elegir. Por eso de la
lgica fuzzy se dice que es plural, que no hay una nica
lgica fuzzy, sino varias, tantas como formas diferentes hay
de definir a sus conectivas.

6. La relevancia del anlisis lgico de la vaguedad

A modo de conclusin, resumimos a continuacin la

relevancia que en el rea filosfica, lgica y computacional,
han tenido los intentos de modelizacin de la vaguedad que
hemos sealado en este breve ensayo.
6.1.

Relevancia filosfica

Como se ha apuntado a lo largo de este trabajo, el

anlisis lgico de la vaguedad ha ayudado a destapar o

El anlisis lgico de la vaguedad

81
mostrar algunos problemas filosficamente importantes. Citamos slo algunos de ellos:
- Problemas vinculados al mbito de la tica: el determinismo, la libertad, la eleccin racional de objetivos mal
especificados.
- Problemas relacionados con el anlisis del lenguaje: el
lenguaje preciso como criterio de demarcacin en lgica
clsica. La relevancia del lenguaje ordinario tal como se
presenta en la comunicacin ordinaria. La importancia de
la forma lgica de los diferentes juegos de lenguaje.
6.2.

Relevancia lgica

La relevancia lgica proviene fundamentalmente de proporcionar modelos formales para el anlisis lgico y la sistematizacin formal adecuada de los razonamientos vagos.
Destacamos en este trabajo,
- La necesidad de evitar paradojas.
- Evitar que el lenguaje preciso se constituya en un
criterio de demarcacin entre lo que es susceptible de anlisis lgico y lo que debe quedar excluido_ de su alcance.
- Acentuar el sentir de que es til extender el mbito
de sistematizacin de la nocin de consecuencia lgica a
una parte muy representativa del lenguaje ordinario.
- Extender el concepto de valor de verdad, acentuando
la oportunidad de las valoraciones lingsticas en el contexto
de la evaluacin de informacin vaga.
6.3.

Relevancia computacional

Viene delimitada por la mxima de L. A. Zadeh -el

padre de la lgica fuzzy-, de que una de las caractersticas
que distinguen al cerebro humano del cerebro electrnico
es la posibilidad del primero de razonar con informacin
vaga. Las lgicas que hacen un anlisis formal de la vaguedad, destacando entre ellas la lgica fuzzy, contribuyen con
sus herramientas al diseo de ordenadores cada vez ms
humanos; es decir, contribuyen de manera notable al des-

Alejandro Sobrino

82
arrollo del proyecto de Inteligencia Artificial, una de cuya
reas de investigacin ms notable y de resultados ms
esperanzadores se centra en la construccin de artefactos
que entiendan)), razonen>> y comuniquen de modo aproximado o vago.
7. Referencias
ARISTTELES: Peri Hermeias. De Interpretatione. Edicin bilinge en griego y
castellano de A. Garca y J. Velarde. Cuadernos Teorema, 1980.
BLACK, M. (1937): Vagueness: An Exercise in Logical Analysis)), Philosophy
of Science, 4: 427-455.
(1963): ((Reasoning with Loose Concepts}}, en Margins of Precision.
Cornell University Press, 1970, 1-13.
CHURCH, A. (1962): (<Vague>>, en Runes, D. (ed.), Dictionary of Philosophy.
Uttlefield, Adams. Totowa, N. Y., 329.
FREGE, G. (1879): Begritfsschrift. Halle. Versin castellana en la UNAM,
Mxico, 1972.
HEMPEL, C. G. (1939): Vagueness and Logic, Philosophy of Science, 6: 163180.
KORNER, S. (1957): Reference, Vagueness and Necessity, Philosophical
Review, LXCI: 363-376.
(1960): The Philosophy o/ Mathematcs. Hutchinson. London. Versin
castellana en Siglo XXI ed., 1974 (2 ed.).
LUKASIEWICZ, J. (1975): Estudios de lgica y filosofa. Revista de Occidente.
Madrid. Deao, A. (comp.).
PEIRCE, CH. S. (1902): <Nague>), en Baldwin, J. M. (ed.), Dictionary of Philosophy and Psychology. London and New York, 748.
RESCHER, N. (1969): Many Valued Logic. McGraw-Hill. New York.
RussELL, B. (1923): <Naguenessl>, Australasian 1 of Philosophy, 1: 84-92.
SKALA, H. J.; TERMINI, S. & TRllLAS, E. (eds.) (1984): Aspects of Vagueness.
D. Reidel. Dordrecht and Boston.
TARSKI, A. (1956): Logic, sema.ntics, methamatematics. Clarendom Press,
Oxford.
VAN HEuENOORTH, J. (1985): <(Frege and Vagueness. en ...Belected Essays.
Bbliopolis, Napoli.
WITTGENSTEIN, L. (1953): Philosophical lnvestigations. Blackwell. Versin
castellana de U. Moulnes y A. Garca.
ZADEH, L. A. (1987): Fuzzy Sets and Aplications. Selected papers by L. A
Zadeh Wiley. Yager, R R. et al. (eds.).