Contenido

Principio de identidad......................................................................................... 1
Explicacin....................................................................................................... 1
Versin Ontolgica........................................................................................ 1
Versin Lgica............................................................................................... 1
Exponentes...................................................................................................... 1
Principio de no contradiccin.............................................................................. 2
Explicacin....................................................................................................... 2
Versiones Ontolgica.................................................................................... 2
Versiones Epistemolgica............................................................................. 2
Principio del tercer excluido................................................................................ 3
Explicacin....................................................................................................... 3
Exponentes...................................................................................................... 3
Kant................................................................................................................. 3
Han Lukasiewicz........................................................................................... 3
Razn suficiente.................................................................................................. 4
Explicacin....................................................................................................... 4
Exponentes...................................................................................................... 4
Albert Einstein.............................................................................................. 4

Principio de identidad
Explicacin
Versin Ontolgica

Si yo me acerco a usted y le digo algo como (1)

(1) todo objeto es idntico a s mismo.

Probablemente piense que me he vuelto loco y digo sandeces o bien no
entendera nada o, tal vez, vera claro que (1) es una trivialidad. Trivialidad o
no, (1) es la versin ontolgica del principio de identidad. Lo que dice es que cada
una de las cosas que pueblan el mundo es esa misma cosa. En s mismo, si se
quiere tomar demasiado en serio es una autntica trivialidad. No obstante, en el
trfico lingstico se pueden or algunas versiones particulares del principio de
identidad, tales como la vida es la vida.

Versin Lgica
El principio de identidad tambin tiene una versin lgica, (2)
(2) (x)(x = x)
(2) es la versin del principio o ley de identidad en lgica de predicados. La
traduccin de (2) al lenguaje natural dice que para todo x, x es igual a x. (2)
puede ser utilizado en clculos lgicos para extraer frmulas bien formadas a
partir de frmulas bien formadas.

Exponentes
Kripke
El argumento de Kripke es el siguiente: para l todo objeto es idntico a s mismo
en todo mundo posible en el que tal objeto exista. Con un ejemplo, yo soy yo en
todo mundo posible en el que yo exista. Estn los mundos M1, M2 y M3 (no
necesitamos ms). Yo existo en M1 y M2, pero no en M3. As que lo que (4) dice
es que yo en M1 y yo en M2 somos la misma cosa. Esto es as, dice Kripke,
porque estrictamente hablando solo existe un mundo, este, y lo que llamamos
mundos posibles son estipulaciones contra fcticas

Principio de no contradiccin
Explicacin
El principio de no contradiccin puede ser utilizado para extraer frmulas bien formadas a
partir de frmulas bien formadas. La formulacin de este principio en el lenguaje de la lgica
proposicional es la siguiente Su lectura informal es la siguiente: no es cierto: a y no a. No
obstante, el principio de no contradiccin tambin puede ser formulado en otros lenguajes.
As, en el lenguaje de la lgica de predicados tiene la siguiente forma lgica: El principio de no
contradiccin formulado en el lenguaje de la lgica de predicados La lectura informal de esta
versin es la siguiente: no hay un x que sea P y que no sea P. El principio de no
contradiccin, al igual que la ley de identidad, es tautolgico. Versin ontolgica del principio
de no contradiccin

Versiones Ontolgicas
Tanto en su versin ontolgica como en su versin epistemolgica el principio de no
contradiccin aparece formulado como tal en el Libro IV de la Metafsica de Aristteles. Para
Aristteles este es el principio ms conocido de todos. Es conocido por todo el mundo,
aunque de forma implcita. De hecho todo el mundo lo supone en el momento en el que abre
la boca para decir algo. Pues bien, Aristteles da dos formulaciones de este principio en el
texto mencionado. Son las siguientes: (1) es imposible que lo mismo se d y no se d en lo
mismo a la vez y en el mismo sentido y (2) no es posible que los contrarios se den a la vez
en lo mismo. Como es evidente, (1) es una versin ms precisa de (2) o, viceversa, (2) una
versin imprecisa de (1). Sea como fuere, en este principio Aristteles pretende recoger un
rasgo esencial de la realidad, a saber, que esta es coherente y constante. Para verlo podemos
hacer una versin particular de (1): (3) es imposible que Juan tenga el pelo de la cabeza rubio
y moreno al mismo tiempo.
Versiones Epistemolgicas
Justo en el mismo prrafo en el que presenta las dos formulaciones de la versin ontolgica
del principio de no contradiccin, Aristteles enuncia la versin epistemolgica. Dice as: (4)
es imposible que un individuo crea que lo mismo es y no es. Una versin particular de (4) es
(5): (5) es imposible creer que Londres est en Inglaterra y creer que Londres no est en
Inglaterra.
No obstante, recientemente Sal Kripke construy un ejemplo que pone en duda (4) y, por
extensin, (5). El caso que imagina Kripke es, ms o menos, como sigue: hay un seor que
sabe espaol e ingls, pero resulta que tiene las siguientes creencias contradictorias: (6)
Londres est en Inglaterra y (7) London isnt in England. Resulta que este seor no recuerda
que London es Londres, de modo que errneamente cree (en ingls) que (7) es el caso y, a la
vez, cree en espaol que (6) es el caso. Sin embargo, (6) y (7) son contradictorias. La
moraleja que podemos sacar de este ejemplo es que si un caso como el ideado por Kripke es
plausible, entonces (4) y, por extensin, (5) son falsos.

Principio del tercer excluido

Explicacin
El principio del tercero excluido es uno de los tres principios fundamentales de la lgica
clsica, junto con los principios de identidad y de no contradiccin, de los que hemos hablado
aqu ya. Aparece en el anlisis de los valores de verdad en el presente de los enunciados
sobre el futuro realizado por Aristteles en el De Interpretatione
Todo enunciado es o verdadero o falso y no cabe otra posibilidad. Este principio se formula en
lgica proposicional as: La lectura de la frmula en el lenguaje natural es la siguiente: A o no
A. Se trata de una tautologa. Este principio es exactamente el mismo que el principio de
bivalencia, en el cual se basa la lgica clsica. Por ello, desde algunas de las lgicas no
clsicas, como las lgicas trivalentes, el principio del tercero excluido no ha sido aceptado. De
modo que a continuacin veremos algunas de las crticas realizadas a este principio.

Exponentes
Kant
Las excepciones de Kant al principio del tercero excluido Sin llegar a rechazarlo del todo,
Emmanuel Kant pens en algunas excepciones a este principio. En la Crtica de la razn pura,
en la parte dedicada a las antinomias cosmolgicas, el filsofo de Knigsberg distingue dos
tipos de anttesis: por un lado la analtica, en la que el principio del tercero excluido tiene plena
validez; por otro lado estara la oposicin dialctica, en la no tiene lugar este principio. Y pone
un ejemplo para que quede claro. Este es, ms o menos, como sigue. (2) El mundo es finito o
infinito. Si aceptamos la validez de la idea de mundo, entonces (2) ser una oposicin
analtica y el principio del tercio excluido nos dice que (2) es evidentemente verdadera. Ahora
bien, Kant piensa que la idea de mundo es algo que est ms all del alcance de nuestra
intuicin sensible, es un nomeno y, por tanto, carece de validez, por lo que si se ve (2) como
una oposicin dialctica, entonces hay que rechazarla ya que, para Kant, el mundo ni existe
como un todo finito ni como un todo infinito. Rechazo del principio del tercero excluido desde
las lgicas no clsicas.
Muchos lgicos vieron defectuosa la lgica clsica por diversas razones y algunos de estos
propusieron lgicas trivalentes, es decir, lgicas en las que las frmulas de aquellos lenguajes

tuvieran tres valores de verdad y no dos. Esto por supuesto conlleva un rechazo del principio
de bivalencia y del principio del tercero excluido.
Han Lukasiewicz
Uno de los que criticaron la lgica bivalente sobre la base de importantes consideraciones
filosficas fue Han ukasiewicz, quien critic la lgica bivalente llamando la atencin sobre el
hecho de que esta conllevaba el determinismo y el fatalismo. ukasiewicz piensa que los
sistemas lgicos bivalentes, como el de la lgica clsica, imponen unos esquemas
deterministas en nuestro pensamiento, de modo que en el caso del valor de verdad que tienen
en el presente los enunciados sobre el futuro, no deben ser considerados ni verdaderos ni
falsos, sino posibles o indeterminados. De este modo, el lgico polaco introdujo la primera
lgica no clsica, el sistema 3. Este tena dos conectivas primitivas (negacin y condicional) y
el clculo de tablas de verdad del sistema se caracteriza por incluir un tercer valor.

Razn suficiente
Explicacin
Todo lo que ocurre es por alguna razn y cuando parece que los acontecimientos o las cosas
no tienen explicacin es porque la razn an no la conocemos, o sea que hay una explicacin
racional para cada suceso. Este es el principio de razn suficiente, que no acepta que puedan
ocurrir sucesos al azar; porque la razn respeta las leyes de la lgica. Para algunos, la razn
de los acontecimientos puede ser sobrenatural, si creen en Dios, para otros la razn tiene que
ser cientfica. Segn este principio, los hechos que parecen aleatorios, como por ejemplo los
juegos de azar, tambin tienen sus razones; porque si se pudieran analizar todos los
elementos que participaron para que se produzca un resultado, ste podra ser explicado y se
podra comprobar que en el caos tambin existe el orden.
El desafo ms difcil para el principio de razn suficiente es cuando se consideran las cosas a
nivel subatmico. La fsica cuntica, sostiene que la causalidad es indeterminada, o sea que
un acontecimiento pasado crea una cierta probabilidad de que ocurra un acontecimiento
futuro, pero no lo determina. Aunque el principio de razn suficiente fuera verdadero, no se
puede probar que nada ocurre nunca sin ninguna razn. Sin embargo, este principio tiene
valor en la prctica.

Exponentes
Albert Einstein
Albert Einstein nunca acept el no determinismo de la fsica cuntica y tampoco la ciencia
podra haber avanzado si no se aceptara que los sucesos ocurren por alguna razn o por
mltiples razones. Cuando existen posibles varias razones para la ocurrencia de un
acontecimiento, la ciencia se inclina por la razn ms simple, elegante y esttica y tambin por
las estadsticas; porque dado que la naturaleza es tan bella tambin lo deben ser las frmulas
que la explican. Einstein tambin deca que la frmula nica que explique el origen del
universo debe ser muy simple, slo que an no se ha descubierto. No es una coincidencia que
las leyes existentes hasta ahora como la de Kepler sobre el movimiento planetario y la teora
de la relatividad general de Einstein, sean tan elegantes y simples. Una explicacin racional
cientfica comienza siendo una hiptesis, la cual hay que demostrar bajo condiciones
controladas para que sea aceptada como verdadera. Sin embargo, muchas teoras famosas
nunca fueron comprobadas cientficamente, pero han sido aceptadas por su valor en la
prctica. Las teoras de Einstein, dado que se referan al macrocosmos, fueron demostradas
mucho ms tarde de su descubrimiento, a partir de los viajes al espacio exterior; resultando de
gran utilidad para calcular la distancia y la trayectoria de las naves espaciales. Para lograr

avanzar en el conocimiento hay que abandonar antiguas maneras de pensar, porque es

necesario improvisar, inventar, actuar en forma inesperada y nueva, dejando de lado
suposiciones previas que pueden ser falsas. El juicio se esclarece y desborda de creatividad
cuando puede derribar las barreras de los prejuicios y de todo lo conocido. El hombre es un
animal racional, dijo Aristteles, o sea que la razn es la que nos define como humanos; y
esta definicin es la que contina imperando en la civilizacin occidental. Como Sherlock
Holmes, personaje legendario de la literatura inglesa, obsesionado por descubrir crmenes
utilizando el mtodo lgico, el doctor House, conocido protagonista de la famosa serie
televisiva norteamericana; se dedica con minuciosidad a investigar las razones de las
enfermedades de sus pacientes. De acuerdo con el principio de razn suficiente, House
identifica las hiptesis que plantean cada uno de sus colaboradores, que coinciden con los
sntomas; y prueba esas hiptesis para tratar de saber cul es la verdadera. No siempre el
equipo de diagnstico llega a una solucin fcil mediante este mtodo, de modo que cuando
se presentan estas dificultades, House se arriesga a aplicar otros criterios menos
convencionales, ms controvertidos y muchas veces poco ticos; aunque su objetivo ltimo
sea salvar la vida del paciente. La filosofa de House es que la realidad casi siempre est
equivocada porque los prejuicios ocultan la verdad y todos mienten. La razn es para House
independiente de la tica cuando est en juego la vida. Pero si la gente dijera la verdad se
curara ms rpido.