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.