Leyes lgicas

Leyes lgicas. Son

proposiciones
universales, necesarias,
evidentes y verdaderas.
Dichas leyes son
cuatro, el principio de
identidad, el de
contradiccin, el de
tercero excluido y el de
razn suficiente. Las
tres primeras leyes
fueron descubiertas por
Aristteles y la cuarta
por Leibniz.
Generalidades
Las leyes lgicas son
universales, se usan en
las operaciones con
conceptos y juicios, en
los razonamientos,
demostraciones y
refutaciones. Las
formales reflejan en la
conciencia humana ciertas relaciones existentes entre los objetos del
mundo objetivo o propiedades habituales de los objetos como su
relativa estabilidad, certeza, la incompatibilidad y la ausencia
simultanea de unos mismos indicios.
Las leyes lgicas son leyes del pensamiento correcto, pero no son
leyes del desarrollo de las cosas y los fenmenos del mundo. Reflejan
lo objetivo en la consciencia subjetiva del hombre, por lo cual no se las
puede derogar o sustituir por otras. Son nicas para los hombres de
todas las razas, naciones y profesiones y son el resultado histrico de
la prctica secular del conocimiento.
Leyes Lgicas

Concepto: Son proposiciones
universales, necesarias,
evidentes y verdaderas del
pensamiento humano.

Las leyes lgicas funcionan en el pensamiento como principios del
raciocinio correcto durante la demostracin de los juicios y teoras
verdaderos y la refutacin de los juicios e hiptesis falsos. La violacin
de las leyes lgicas induce al error lgico sea impremeditado (llamado
paralogismo) o consciente (llamado sofisma), aunque los errores de
estos tipos se dan en otras situaciones.

Ley de Identidad
Una de las leyes bsicas del pensamiento correcto, cuya observancia
contribuye a la certidumbre, la precisin y la claridad en el empleo de
conceptos y juicios. El razonamiento. En el pensamiento, la ley de
identidad es una regla normativa (principio) que estipula que en el
proceso de raciocinio no se puede cambiar una idea por otra, un
concepto por otro, pues de lo contrario surgiran los errores lgicos
llamados "suplantacin del concepto" o "suplantacin de la tesis". La
ley de identidad significa asimismo que no se puede hacer pasar las
ideas idnticas por distintas y, viceversa, las distintas por idnticas, es
decir, que una cosa es idntica a si misma, lo que es, es; lo que no es,
no es: ("A es A", o "no A es no A")
Los individuos que utilicen trminos y conceptos en un sentido distinto
al habitual, sin prevenir de ello, violarn la ley de identidad. Se
cometen a menudo errores lgicos al utilizarse homnimos o palabras
de igual forma y de distinto sentido. Es imprescindible observar la ley
de identidad en todas partes: en la ciencia, el arte, la enseanza, la
vida cotidiana, etctera. La violacin de la ley de identidad provoca
chistes, retrucanos y ambigedades. El cumplimiento de esta ley en
el pensamiento ayuda a evitar la incomprensin.
Ley de no contradiccin
En los objetos del mundo real son imposibles la presencia y la
ausencia simultneas de una propiedad o relacin (Por ejemplo: es
imposible que usted est en este momento en casa y no est en
casa). Por eso, en sus pensamientos y juicios el hombre no debe
afirmar algo respecto al objeto A y, simultneamente, negar lo mismo,
pues de otro modo surgir una contradiccin lgica formal. Siguiendo
esta ley es imposible afirmar y negar que una cosa es y no es al
mismo tiempo y bajo la misma circunstancia ("A" no es "no A").
O bien, tambin puede enunciarse que dos proposiciones
contradictorias no pueden ser a la vez verdaderas.
No surge una contradiccin si se trata de diferentes objetos o de un
mismo objeto tomado en diferentes relaciones o examinados en
diferente tiempo (Por ejemplo: "Este ramo de rosas es fresco" y "Este
ramo de rosas no es fresco" no se contradicen si se trata de un mismo
ramo examinado en momentos diferentes).
La ley de no contradiccin califica la contradiccin lgica formal de
grave error, incompatible con el pensamiento lgico.
Ley del tercero excluido
En los objetos del mundo objetivo est presente o ausente un indicio.
Por eso, en los juicios del hombre que reflejen una determinada
situacin deben corresponderse sus ideas con el estado real de las
cosas. La ley del tercero excluido fue formulada por Aristteles:
No es posible que haya un trmino intermedio entre los dos trminos
de una contradiccin, sino que es necesario afirmar o negar una cosa
de otra cualquiera.
La ley del tercero excluido se formula as:
Uno de dos juicios contradictorios es verdadero y el otro falso, y no
es posible un tercero.
Es decir, una cosa es o no es, no cabe un trmino medio :("A es B", o
"A no es B").
O bien, tambin puede enunciarse como no hay medio entre dos
proposiciones contradictorias. En el pensamiento la ley del tercero
excluido supone una opcin precisa por una de las dos alternativas
que se eliminan recprocamente ("s" o "no"). Por otra parte, la accin
de esta ley est limitada por la indeterminacin del conocimiento. El
reflejo del mundo objetivo en cierta etapa del conocimiento siempre es
incompleto, inexacto, pues solo corresponde a esta etapa de los
conocimientos del hombre sobre el mundo. Por ejemplo, respecto a
ciertos acontecimientos singulares futuros (incluidas las eventuales
catstrofes).
La ley del tercero excluido no rige cuando se introduce un tercer valor
veritativo de los juicios (enunciados), "indeterminado" (Por ejemplo, en
las encuestas sociolgicas se proponen respuestas: "s", "no" y "no
s"; en la votacin se contempla las posiciones: "a favor", "en contra" y
"abstenciones"). En semejantes situaciones nos hallamos en el campo
de accin de la lgica trivalente.
Ley de la razn suficiente
Esta ley, formulada en forma evidente en el siglo XVII por Leibniz,
seala que ningn fenmeno puede ser real y ninguna afirmacin,
verdadera, sin la razn suficiente de por qu las cosas son as y no de
otro modo.
Toda idea verdadera debe tener suficiente fundamentacin.
Gottfried Wilhelm Leibniz
[1]

Solo se trata de fundamentar una idea verdadera, pues es imposible
fundamentar suficientemente una tesis (juicio) falsa. A diferencia de
las leyes de identidad, de no contradiccin y del tercero excluido, las
cuales tienen una formulacin sustancial como principios del
pensamiento y en la lgica se expresan con frmulas, la ley de la
razn suficiente no tiene frmula, pues solo posee carcter
substancial.
En la demostracin para fundamentar una tesis verdadera sirven de
argumentos hechos singulares constatados, definiciones de
conceptos, axiomas y postulados, leyes cientficas y teoremas.
Ya que la causa y el efecto real no siempre coinciden con el
antecedente lgico y la consecuencia lgica, a menudo la inferencia se
hace de las consecuencias deduciendo de ellas la causa de tal o cual
fenmeno. As proceden, por ejemplo, los mdicos, al diagnosticar una
enfermedad van de las consecuencias reales a las causas reales. El
problema de la demostrabilidad de las tesis propuestas es esencial
para cualquier proceso creador, porque la ley de la razn suficiente
protege nuestro pensamiento de la gratitud y la falta de motivacin.
Lgica bivalente
Una lgica bivalente es un sistema lgico que admite slo dos
valores de verdad para sus enunciados (premisas y conclusin). En la
lgica bivalente, una proposicin slo puede ser verdadera o falsa, no
existen valores intermedios de verdad. El clsico sistema de lgica
bivalente es la lgica aristotlica que se sustenta en tres principios
bsicos:
1. Principio de identidad: A es verdad si y slo si A es verdad.
A<->A
2. Principio de no contradiccin: A no puede ser A y no-A al
mismo tiempo. (A ^ A)
3. Principio de tercero excluido: A es verdadero o es falso, no
hay una tercera posibilidad. A v A
No admite tampoco matices modales en sus enunciados, tales como
"es necesario que", "es imposible que", etc. Se limita al lenguaje
enunciativo o declarativo.
Existen otros sistemas de lgicas que no se sustentan en estos
principios y por lo tanto admiten ms de dos valores de verdad. Los
sistemas de lgica modales o plurivalentes (como la lgica trivalente
de Jan ukasiewicz o la lgica trivalente de Kleene), aceptan un tercer
valor, como "indeterminado" o "posible".
Lgica plurivalente
Una lgica plurivalente o lgica polivalente es un sistema lgico
que rechaza el principio del tercero excluido de las lgicas bivalentes y
admite ms valores de verdad que los tradicionales verdadero y falso.
1

Distintas lgicas plurivalentes pueden admitir distintas cantidades de
valores de verdad: desde tres, hasta infinito.



Contenido : Origen
Las lgicas polivalentes se difundieron especialmente a partir de los
trabajos de los filsofos polacos Jan ukasiewicz y Emil Post y sus
relaciones con la fsica cuntica, pero fueron expuestas anteriormente,
con diferentes enfoques, por Hegel, Hugh MacColl, Charles Sanders
Peirce y Nicolai A. Vasiliev. Stephen Kleene elabor las tablas de
verdad para un sistema de lgica trivalente. Un ejemplo para ilustrar la
trivalenecia en fsica ha sido la paradoja del gato de Schrdinger.
Variantes
Pueden considerarse como polivalentes:
la lgica dialctica de Hegel
la lgica trivalente para valores infinitos de ukasiewicz
la lgica modal, especialmente los modelos de Kripke, que
definen tres modelos de verdad: lo verdadero, lo falso y lo
problemtico
la lgica difusa de Zadeh, que enfatiza en la incertidumbre y es
una lgica de la probabilidad
la lgica polivalente de Gdel, a partir de su teorema de la
incompletitud
la lgica intuicionista desarrollada por Brouwer, que restringe la
validez de la lgica clsica a lo demostrable
la lgica producto, tetravalente
La lgica trivalente como la del universo de los modelos de Kripke que
contienen tres "mundos" posibles. Otras lgicas se proponen como
polivalentes o n-valentes, de n mundos o un nmero infinito de
"mundos" posibles.
La lgica dialctica de Hegel
El acto mismo del conocimiento es la introduccin de la contradiccin.
El principio del tercero excluido, "algo o es A o no es A", es la
proposicin que quiere rechazar la contradiccin y al hacerlo incurre
precisamente en contradiccin: A debe ser +A -A, con lo cual ya
queda introducido el tercer trmino, A que no es ni + ni - y por lo
mismo es +A y -A. Algo es ello mismo y es otro, porque en realidad
todo cambia continuamente y la misma cosa se transforma en otra
cosa. Es una lgica del movimiento, la transicin y la transformacin.
Lgica polivalente de Gdel
Formula lo siguiente:


Y 0 de otro modo.
Lgica producto
Formula lo siguiente:


Si v(x) = 0 y 0 de otro modo.
Lgica polivalente y doble negacin
Es interesante observar como en las lgicas de Gdel y producto, al
igual que en la lgica intuicionista, se niega el principio de la doble
negacin con el fin de mantener la validez del principio de no
contradiccin.
En particular, a causa de la particular definicin del operador NOT se
verifica que:
Es un teorema
No es un teorema.
Es un teorema.
Es un teorema.
Lgica difusa
Lgica bivalente
Principio de incertidumbre


Notas y referencias
1. Siegfried, Gottwald, Many-Valued Logics, en Edward N.
Zalta (en ingls), Stanford Encyclopedia of Philosophy (Spring
2009 Edition edicin),
http://plato.stanford.edu/archives/spr2009/entries/logic-
manyvalued/, consultado el 11 de octubre de 2009.
Bibliografa
Gdel, K. (1932): Zum intuitionistischen Aussagenkalkl,
Anzeiger Akademie der Wissenschaften Wien, Math.-naturwiss.
Klasse 69, 65-66.
Gottwald, S. (2001) "A Treatise on Many-Valued Logics"; Studies
in Logic and Computation, vol. 9, Research Studies Press Ltd.,
Baldock.
Hegel, G. (1812- 1816) "La Ciencia de la Lgica"; Filosofa de la
Lgica y la naturaleza, traduccin de E. Ovejero y Maury.
Buenos Aires: Editorial Claridad, 1969, p.p. 110-114.
Kleene, S.C. (1938) "On notation for ordinal numbers"; Journal
Symbolic Logic 3: 150-155.
Kripke, S.A. (1975) "Outline of a theory of truth"; Journal of
Philosophy 72: 690-716.
ukasiewicz, J. (1920) "O logice trojwartosciowej"; Ruch
Filozoficny 5: 170-171.
Post, E. L. (1920) "Determination of all closed systems of truth
tables"; Bulletin American Mathematical Society 26: 437.
"Introduction to a general theory of elementary propositions";
American Journal Mathematics 43: 163-185.
Velarde Lombraa, Julin (1989) Historia de la lgica.
Universidad de Oviedo, p.p. 409-417. ISBN 84-7468-186-3
Lgica polivalente (Recop.) Justo Fernndez Lpez.
Stanford Encyclopedia of Philosophy:Many-Valued Logic, por
Siegfried Gottwald. (en ingls)
Stanford Encyclopedia of Philosophy: Fuzzy logic (en ingls)