Documente Academic
Documente Profesional
Documente Cultură
1- Historia de la Lgica
La Lgica fue una de las ramas tradicionales de la Filosofa; si bien culturas
no occidentales como la india o la china tuvieron importantes desarrollos de
la Lgica, durante siglos, se consider en Occidente que la Lgica Silogstica
de Aristteles era el paradigma definitivo de esta ciencia, aceptada como un
cuerpo de conocimiento acabado.
La historia de la Lgica se remonta a la Grecia Antigua, se le atribuy a
Aristteles, quien fue su primer sistematizador. Sus obras fueron agrupadas
en un conjunto que se denomin Organon. Los filsofos siempre
pretendieron recalcar que el conocimiento de las leyes del razonamiento
que proporcionaba esta ciencia, era fundamental como paso previo y
fundamental para cualquier tipo de estudio, sobre todo respecto a la
Filosofa. La Lgica Aristotlica parte del supuesto de que las formas de
pensamiento reproducen la realidad; se ocupa de los conceptos y de las
categoras del pensamiento completndose con el anlisis de los juicios y de
las formas de razonamiento centrndose en las formas de demostracin
adecuadas al conocimiento cientfico. En la parte central de su teora,
Aristteles expone cuatro tipos de proposiciones a partir de las cuales
formula sus propuestas de argumentacin vlida, junto con la Teora de los
Silogismos.
Estos enunciados son: el universal afirmativo (A) por ejemplo todos los
hombres son mortales, el universal negativo (E), por ejemplo ningn
hombre es mortal, el particular afirmativo (I) por ejemplo, algunos
hombres son mortales, y el particular negativo (O) algunos hombres no
son mortales. Una manera de representar esto que expusimos, es a travs
del cuadro de la oposicin:
2
Las relaciones lgicas que se dan entre estos enunciados son: contrarias
entre A y E; subcontrarias entre I y O; subalternas entre los particulares es
decir, entre A e I y E y O.
Los contrarios pueden ser ambos falsos, pero no ambos verdaderos, los
subcontrarios por su parte, pueden ser ambos verdaderos, pero no ambos
falsos. Sin embargo, la verdad de la subalternante, es decir, de A o de E, se
sigue la verdad de las subalternadas, de I y O, pero no a la inversa. Por
ltimo, los enunciados contradictorios, si uno es verdadero entonces el otro
es falso y a la inversa. Ejemplos: decir que todos los hombres son
mortales (A) y decir que algunos hombres no son mortales (O), como son
relaciones contrarias pueden ser ambos enunciados falsos pero no ambos
verdaderos ya que si decimos que todos son mortales, en la categora
todos no pueden existir algunos que no lo sean.
Aristteles elabor la Silogstica y el planteamiento de la investigacin
segn el mtodo deductivo, que junto con los estoicos, quienes se dedicaron
a una Lgica de las Proposiciones, caracterizaron la historia de la Lgica
Clsica.
3
Actividad N 3
Mira el video atentamente pudiendo identificar premisas y conclusiones con
sus correspondientes trminos. https://www.youtube.com/watch?
v=gMgDQOVnJ1c (Encontrars este enlace dentro de la carpeta Anexo
Videos de este mdulo)
Puedes encontrar este video en la Carpeta Anexos, dentro de la Carpeta
Lecturas del Mdulo 2.
Ahora organiza las proposiciones y conclusiones de los tres silogismos
siguientes: Todo arquitecto es creativo Alguna mujer es argentina Toda
mujer es dedicada Ningn reptil es roedor Jos es creativo Toda ardilla es
roedor Jos es arquitecto Alguna argentina es dedicada Ningn reptil es
ardilla
En este sentido Aristteles afirma que los silogismos consisten en una
inferencia que se produce a partir de dos premisas de las que se deriva
necesariamente la conclusin; es una estructura de pensamiento en que
tres juicios estn relacionados entre ellos de manera tal que uno deriva de
los otros dos.
Un silogismo se compone de una premisa menor, una premisa mayor y una
conclusin: Premisa menor: todo B es C
4
Premisa mayor: todo C es D Conclusin: todo B es D
Lo que hace Aristteles es denominar el trmino D, el predicado de la
conclusin, como el trmino mayor; B, el sujeto de la conclusin se
denomina trmino menor; y C, el trmino que figura slo en las dos
premisas, se denomina trmino medio. Para facilitar un ejemplo diremos:
Todos los hombres son mortales Todos los africanos son hombres Todos los
africanos son mortales En este caso, el trmino medio est identificado con
la palabra hombres que aparece en la premisa menor como en la mayor
pero no en la conclusin; el trmino mayor es mortales presente en la
premisa menor y el trmino menor representado por la palabra africanos,
estos dos ltimos presentes en la conclusin.
El gran paso de la Lgica se dio con la evolucin de la ciencia moderna y el
desarrollo del pensamiento matemtico, que dio origen a la Lgica como
disciplina exacta1. Despus de que Descartes descubriera que los
problemas geomtricos se podan traducir a problemas algebraicos, los
mtodos geomtricos fueron reemplazados por stos. Los mtodos
simblicos descubiertos por Newton y Leibniz, hicieron posible que las
sucesivas generaciones usaran clculos ordinarios para desarrollar la
ciencia. Leibniz por su parte, no estaba satisfecho con la Lgica Aristotlica,
y desarroll sus ideas para mejorarla. Cabe mencionar que a lo largo de la
historia, tanto filsofos clsicos como modernos y contemporneos,
pusieron de relieve la necesidad de la Lgica como el estudio de las
estructuras formales, que era por medio de la forma de las proposiciones
c) Negacin ()
Otra conectiva fundamental que nos permite operar con enunciados en
Lgica Formal es la negacin. La negacin de un enunciado se forma a
VVV
VFF
FVV
FFv
d) Bicondicional ()
Nuestra ltima conectiva es el bicondicional. Supongamos que le decimos a
nuestro amigo Si y slo si llueve vamos al cine, este enunciado, al
15
contrario de un enunciado condicional. Supone si que si llueve vamos al cine
(verdad del antecedente y del consecuente) y que si no llueve no vamos
(falsedad del antecedente y del consecuente). Es decir, est condicionado
desde el antecedente y desde el consecuente; si uno fuese verdadero y el
otro fuese falso (cualquiera sea el orden) el enunciado Si y slo si llueve
vamos al cine sera falso.
Veamos ahora, ms detalladamente, cules seran los valores de verdad de
un enunciado bicondicional si tenemos en cuenta los valores de verdad de
sus enunciados atmicos.
Si P es verdadero y Q es verdadero, P Q es verdadero (si es verdad que
tengo fro y es verdad que tengo miedo; es verdad que si y slo si tengo
fro, entonces tengo miedo)
Si P es verdadero y Q es falso, P Q es falso (si es verdad que tengo fro
pero es falso que tengo miedo; es falso que si y slo si tengo fro entonces
tengo miedo)
Si P es falso y Q es verdadero, P Q es falso (si es falso que tengo fro
pero es verdadero que tengo miedo; es falso que si y slo si tengo fro
entonces tengo miedo)
Si P es falso y Q es falso, P Q es verdadero (si es falso que tengo fro y es
falso que tengo miedo; es verdadero que si tengo fro entonces tengo
miedo).
De esta manera, si elaboramos la representacin de los valores de verdad
de un condicional en la tabla de verdad correspondiente podemos ver ms
claramente como el nico caso en el que sera falso y si el antecedente es
verdadero y el consecuente es falso.
P Q PQ
VVV
VFF
FVF
FFV
16
Invlida
Verdadera
Verdadera o Falsa
2 No debemos confundirnos aqu: Un
razonamiento vlido NO nos asegura que de ser falsas las premisas ser
falsa la conclusin, sino que nos asegura que de ser verdaderas las
premisas ser verdadera la conclusin.
19
Falsas
Vlida
Invlida
Verdadera o Falsa
Verdadera o Falsa
Como vemos, un razonamiento vlido es el nico que garantiza que si hay
premisas verdaderas habr necesariamente conclusin verdadera.
Una vez que hemos formalizado los razonamientos ya podemos comprobar
su validez o invalidez. Esto es as porque la validez de un razonamiento es
una caracterstica estrictamente formal. No debemos confundir validez con
verdad. Los enunciados (premisas o conclusin) pueden ser verdaderos o
falsos, pero los razonamientos pueden ser vlidos o invlidos segn su
forma. Un razonamiento es vlido si la conclusin se sigue de las premisas.
Consideraciones finales
La Lgica es una disciplina que estudia los principios y los mtodos que
debemos usar para que nuestros razonamientos sean correctos. Sin
embargo, nunca razonamos en abstracto; no somos una computadora.
Estamos sujetos a un lenguaje que tiene sus limitaciones e inmersos en
diversas prcticas lingsticas con sus ribetes y sus contradicciones.
Adems, nuestros razonamientos siempre persiguen algn fin u objetivo
como alcanzar algn grado de certeza sobre nuestras acciones, convencer a
otros de nuestras creencias o darle cierta coherencia a nuestro discurso.
Estos propsitos, como tambin todas las situaciones de la vida cotidianas y
las limitaciones de nuestro lenguaje pueden llevarnos a equivocar nuestros
razonamientos llevndonos inevitablemente al error.
La Lgica es la disciplina que intenta que eso no suceda. El pensamiento
lgico es aquella forma de pensar en donde se deslegitiman todos los
intereses, sean polticos, morales, estticos o metafsicos para darle
exclusividad al criterio de la correccin del razonamiento. Para el
pensamiento lgico, poco importa si un razonamiento es bueno o si es bello,
importa si respeta los principios lgicos que le dan consistencia.
20