Sei sulla pagina 1di 5

Resumen: Es discutible si existen indicios de lgica trivalente en

Aristteles, futuros contingentes, o en Guillermo de Ockham,


conocimiento distinto o conocimiento confuso, pero el hecho cierto
es que la primera lgica trivalente fue desarrollada por Vasilev en
1909 eliminando el principio del tercio excluso de la lgica
aristotlica. No obstante se reconoce como primer creador de la
lgica trivalente a Luckasiewicz, quien en 1920 propuso tres valores
de verdad para las proposiciones: verdadero, falso e indeterminado.
La confeccin de las tablas de verdad de los conectores, aparte de
ser ms extensa, deba definirse con precisin, sobre todo por lo
que respecta a las intersecciones con el indeterminado, en el que
caben varias soluciones, todas ellas razonables. El propio
Lukasiewicz y Tarski elaboran lgicas infinitovalentes con
posterioridad. En este contexto la lgica difusa no ha podido ser
plenamente axiomatizada hasta que no se ha contado con el
concepto de conjunto difuso. La idea es simple: para cualquier
elemento de un conjunto, su condicin de pertenencia est dada por
una funcin m(x). Cuando m(x) toma slo dos valores, 1 (pertenece)
y 0 (no pertenece), entonces se est ante un conjunto ordinario;
cuando m(x) puede tomar cualquier valor dentro del intervalo
discreto [0,1], entonces se est ante un conjunto difuso.

Lukasiewicz, como resultado de una meditacin sobre el Peri
Hermeneias de Aristteles, describi un sistema en que las
proposiciones, adems de verdaderas o falsas, podran ser
indeterminadas; en trminos tcnicos construy una lgica
trivalente en vez de bivalente. Autores como Post escribieron sobre
lgicas de muchos valores de verdad, es decir, polivalentes. Otros
lgicos experimentaron con sistemas que no incluan el concepto de
negacin. Con todo esto se modifica el mismo concepto de axioma.
En el caso de Principia Mathematica, los axiomas no son lo que es
mejor conocido que las conclusiones. Las relaciones matemticas,
por ejemplo, 3+5=8, son mucho ms obvias que la definicin de
nmero o las proposiciones acerca de conjuntos. Asimismo el
principio de no contradiccin es ms evidente que el llamado
principio de suma, aunque formalmente el principio de no-
contradiccin no es axiomtico, sino derivado en Principia
Mathematica. El axioma se ha convertido en un medio de economa
intelectual. Se hace una especie de juego lgico en el que se
pretende obtener el mayor nmero de conclusiones posibles del
menor nmero de principios posibles.
Introduccin: La lgica es el estudio de la estructura y de los
principios del razonamiento correcto e intenta establecer los
principios que garantizan la validez de los argumentos deductivos.
Trabaja con proposiciones, las que constituyen descripciones del
mundo, afirmaciones o negaciones de sucesos posibles. La lgica
clsica establece que una proposicin solamente puede tomar una y
slo una de dos alternativas: es totalmente verdadera o es
totalmente falsa. Esta idea se formaliza mediante dos principios
fundamentales: (1) Principio del tercero excluido. Que menciona,
toda proposicin es verdadera o falsa y no cabe otra posibilidad. (2)
Principio de no contradiccin. Que establece, ninguna proposicin es
verdadera o falsa simultneamente. La lgica clsica es bivalente:
si/no, verdadero/falso, blanco/negro, citadino/campesino. Esta
lgica, profundamente arraigada en la cultura occidental, permiti
el desarrollo de la ciencia y la tecnologa en procura de la conquista
del mundo natural. Sin embargo, una serie de paradojas e
insatisfacciones tericas estuvieron siempre presentes.
Resultados: La lgica aristotlica, al operar sobre la base de que
toda proposicin es o bien verdadera o bien falsa, distingue slo dos
tipos de valores lgicos: la verdad y la falsedad. Si se simboliza la
verdad, la falsedad, la identidad y la implicacin, se puede deducir
todas las leyes de la lgica aristotlica a partir de los siguientes
principios y definiciones: (1) Los principios de identidad de la
falsedad, de identidad de la verdad y de no identidad de la verdad y
la falsedad. (2) Los principios de la implicacin. (3) Las definiciones
de negacin, adicin y multiplicacin. En estas definiciones, todas
las variables pueden tomar slo dos valores: 0 y 1. Todas las leyes
lgicas, expresadas por medio de variables, se pueden verificar
sustituyendo las letras por 0 y 1.
Discusin: La lgica trivalente es un sistema de lgica no
aristotlica, puesto que opera sobre la base de que, adems de
proposiciones verdaderas y falsas, hay tambin proposiciones que
no son ni verdaderas ni falsas, y, por tanto, de que existe un tercer
valor lgico. Este tercer valor lgico se puede interpretar como la
posibilidad y se puede simbolizar por . Si se quiere formular un
sistema de lgica trivalente, se ha de aadir, los principios relativos
a 0 y 1, principios relativos a . Esto puede hacerse de varias
maneras; el sistema adoptado por Lukasiewicz en el estado de sus
investigaciones, desvindose lo menos posible de la lgica
bivalente es el siguiente: (1) Principios de identidad (2) Principios
de implicacin.
Conclusiones: En lgica, los valores de verdad son aquellos valores
posibles que pueden asignarse a las proposiciones. La lgica clsica,
en tanto que va referida al discurso apofntico, es bivalente al
admitir nicamente dos valores de verdad: verdadero (1) o falso (0).
No obstante, existen otras lgicas, las llamadas lgicas no clsicas o
divergentes, que admiten ms valores de verdad. Por ejemplo, la
lgica trivalente de Lukasiewicz utiliza tres valores: verdadero (1),
falso (0) e incierto ().

Lukasiewicz concibi la idea de recurrir a un sistema de lgica
trivalente como medio para resolver el problema aristotlico de los
futuros contingentes. El clculo de proposiciones ordinario es
bivalente y admite implcitamente la ley segn la cual toda
proposicin o bien es verdadera o bien es falsa. Ahora bien, segn
Lukasiewicz, esta ley, la ms fundamental de la lgica no parece
completamente evidente. La proposicin Estar en Santa Cruz a
medioda del 10 de enero del ao prximo no puede ser ahora ni
verdadera ni falsa; debe, pues, poseer un valor distinto de 1 y 0,
este valor puede designarse por y representa lo posible. En
1938 S. C. Kleene presenta un nuevo sistema de lgica trivalente en
el marco de la teora de las funciones recursivas. Construye sus
tablas de verdad en trminos de una aplicacin matemtica.
Referencias bibliogrficas:
1. http://www.monografias.com/trabajos81/logica-trivalente-
general/logica-trivalente-general.shtml#ixzz2m3tWb2A3
2. 1.- Lenin, V.I. O.C. Tomo 42. Mosc. 1957. Pgina 301-302.
3. 2.- Bueno, Eramis. Lgica polivalente. Editorial de Ciencias
Sociales. La Habana. 1976. p. 19.
4. 3.- Panov, M; Petrov, V; Gutmanova, A. Lgica en forma
simple sobre lo complejo. Editorial Progreso. Mosc. 1991.
pginas 72, 238-240.
5. 4.- Vasliev, N. Lgica imaginaria. Obras Escogidas. Mosc.
1989. Pg. 155.

Potrebbero piacerti anche