I.

Introduccin a la lgica

1.1. Qu es la Lgica?
La lgica ha sido definida a menudo como la ciencia de las leyes del pensamiento.
Todo razonamiento es pensamiento, pero no todo pensamiento es razonamiento
Es posible recordar algo, o imaginarlo, o lamentarlo, sin razonar sobre ello

Otra definicin comn de la lgica es aquella que la seala como la ciencia del
razonamiento.
El razonamiento es un gnero especial de pensamiento en el cual se realizan
inferencias, o sea en el que se derivan conclusiones a partir de premisas. Pero es
an pensamiento.

A la Lgica slo le interesa la correccin del proceso, una vez terminado.

El estudio de la lgica es el estudio de los mtodos y los principios

usados para distinguir el razonamiento correcto del incorrecto.

Su problema es siempre el siguiente: la conclusin a que se ha llegado deriva de las

premisas usadas o afirmadas?
Si la conclusin se desprende de las premisas, esto es, si las premisas constituyen un
fundamento o una buena evidencia de la conclusin, de manera que afirmar la
verdad de las premisas garantiza la afirmacin de que tambin la conclusin es
verdadera, entonces el razonamiento es correcto. En caso contrario, es incorrecto.

La distincin entre el razonamiento correcto y el incorrecto es el

problema central que debe tratar la lgica.
Es aquella ciencia que va en bsqueda de las formas de los razonamientos correctos, es
decir, de las leyes del deducir correctamente. En este sentido es legtimo afirmar
que la lgica es la teora de la deduccin, en cuanto estudia las reglas de las
inferencias correctas.

Si las premisas son verdaderas, entonces las consecuencias no

pueden ser falsas
La lgica hace explcita e investiga sobre aquellas reglas que, aplicadas a
proposiciones, conservan una propiedad hereditaria de stas en el sentido de que si
las frases iniciales son verdaderas, tambin son verdaderas las que se obtienen a
partir de ellas a travs de la aplicacin de estas reglas.
La distincin entre verdad y correccin de una argumentacin hace comprensible el
hecho de que la lgica se ocupe no del contenido de los discursos (es decir, de lo
que dicen, de aquello de que habla), sino de su forma (por eso hablamos de "lgica
formal")

1.2. Algunos trminos tcnicos

La inferencia es un proceso en el cual se llega a una proposicin y se la afirma sobre la base de
otra u otras proposiciones aceptadas como puntos de partida del proceso. Al lgico no le
interesa el proceso de la inferencia, sino las proposiciones que constituyen los puntos inicial
y terminal de este proceso, as como las relaciones existentes entre ellas.
Las proposiciones son verdaderas o falsas; en esto difieren de las preguntas, las rdenes y las
exclamaciones.

Un razonamiento es cualquier grupo de proposiciones tal que de una de ellas se afirma que
deriva de las otras, las cuales son consideradas como evidencias de la verdad de la primera.
Un razonamiento no es una mera coleccin de proposiciones, sino que tiene una estructura.
La conclusin de un razonamiento es la proposicin que se afirma sobre la base de las otras
proposiciones del mismo, y a su vez estas proposiciones de las que se afirma que ofrecen la
razn, o las razones para aceptar la conclusin, son las premisas del razonamiento. Tomada
aisladamente, ninguna proposicin es en s misma una premisa o una conclusin.

Los razonamientos se dividen tradicionalmente en dos tipos diferentes:

Aunque todo razonamiento lleva implcita la afirmacin de que sus premisas ofrecen
una evidencia de la verdad de su conclusin, solamente los razonamientos
deductivos pretenden de sus premisas que ofrezcan evidencias concluyentes.
Un razonamiento inductivo, en cambio, no pretende que sus premisas ofrezcan una
evidencia total de la verdad de su conclusin, sino solamente que ofrezcan cierta
evidencia de ella.
Un razonamiento deductivo vlido constituye una prueba o una demostracin, pero
un razonamiento inductivo es a lo sumo altamente probable.

Deductivo: Es un mtodo que va de lo general a lo particular. Parte de datos generales

aceptados como valederos para deducir.
Parte de verdades previamente establecidas como principios generales, para luego
aplicarlos a casos individuales y comprobar as su validez.
Los argumentos deductivos correctamente formulados, son aquellos en los cuales la
verdad de sus premisas garantiza la verdad de sus conclusiones, de suerte que
ofrecen certeza slo si sus premisas son tambin ciertas. En este sentido, una
conclusin afirmativa solo puede deducirse lgicamente de dos premisas
afirmativas. Por consiguiente, si una de las premisas es negativa, la conclusin no
puede ser afirmativa, sino que debe ser tambin negativa.
Un razonamiento deductivo es aqul de cuyas premisa, se pretende que
suministran pruebas concluyentes para afirmar la verdad de su conclusin.
En el caso de los razonamientos deductivos, se usan los trminos tcnicos 'vlido' e
'invlido'. Un razonamiento deductivo es vlido cuando sus premisas ofrecen un
fundamento seguro para la conclusin, esto es, cuando las premisas y la conclusin
estn relacionadas de tal manera que es absolutamente imposible que las premisas
sean verdaderas sin que la conclusin tambin lo sea.

Inductivos: Este mtodo va de lo particular a lo general. Se emplea cuando de la

observacin de los hechos particulares, se pretende obtener proposiciones
generales. Sus premisas sin embargo, no prueban la conclusin, slo la hacen
probable.
Llega a conclusiones empricas obtenidas de la experiencia.
Los razonamientos inductivos no son vlidos o invlidos en el sentido en que estos
trminos se aplican a los razonamientos deductivos.

Existe una conexin entre la validez o no validez de un razonamiento y la

verdad o falsedad de sus premisas y su conclusin.

Algunos razonamientos vlidos contienen solamente proposiciones verdaderas:

Todas las ballenas son mamferos.
Todos los mamferos tienen pulmones.
Por tanto, todas las ballenas tienen pulmones.
Pero un razonamiento puede contener exclusivamente proposiciones falsas y, no
obstante ello, ser vlido:
Todas las araas tienen seis patas.
Todos los seres de seis patas tienen alas.
Por tanto, todas las araas tienen alas.
Este razonamiento es vlido porque si sus premisas fueran verdaderas, su conclusin
tambin tendra que ser verdadera, aun cuando de hecho sean todas falsas.

Hay razonamientos vlidos con conclusiones falsas, as como

razonamientos invlidos con conclusiones verdaderas.

Si Rockefeller poseyera todo el oro de Fort Knox, Rockefeller sera muy rico.
Rockefeller no posee todo el oro de Fort Knox.
Por tanto, Rockefeller no es muy rico.
Las premisas de este razonamiento son verdaderas y su conclusin es falsa. Tal
razonamiento no puede ser vlido, pues es imposible que las premisas de un
razonamiento vlido sean verdaderas y su conclusin falsa.
Por consiguiente, la verdad o falsedad de su conclusin no determina la validez o
invalidez de un razonamiento. Tampoco la validez de un razonamiento garantiza la
verdad de su conclusin.
Introducimos el trmino 'slido' para caracterizar a un razonamiento vlido cuyas
premisas son todas verdaderas.
Est claro que la conclusin de un razonamiento, 'slido' es verdadera. Un razonamiento
deductivo no logra establecer la verdad de su conclusin si no es 'slido', lo que
significa, o bien Que no es vlido, o bien Que no todas sus premisas son verdaderas