1

Usos y beneficios de la lgica a nivel medio y superior: su aspecto terico y

formativo.

Avendao Vargas Dulce Mara
1
, Dr. Juan Manuel Campos Bentez
2
Colegio de Filosofa, FFyL-BUAP
1
, Investigador asesor-FFyL-BUAP
2

Resumen

La lgica proposicional simblica es muy poco estudiada, a excepcin de las
carreras que hacen uso explcito de ella (filosofa, matemticas, computacin); su
inclusin en los niveles medio y superior es relativa. Empero, en los planes de
estudio donde s es aplicada, los usos y beneficios son muchos y ricos en la prctica.
La reduccin, simplificacin y agilizacin de los procesos inferenciales otorga
claridad, orden y precisin en el tratamiento de diversos tpicos, ayudando a los
educandos de estos dos niveles acadmicos a mejorar su exposicin de
pensamientos, ideas, escritos e incluso posibilita la elaboracin de disertaciones
ms rigurosas dentro y fuera de la formacin acadmica. La reflexin y el
pensamiento crticos, son frutos de ello.


Introduccin

Durante siglos la lgica ha fungido como una herramienta rigurosa que ayuda a dilucidar
correctamente y con un tipo de certeza, problemas, soluciones e ideas productivas para el
quehacer intelectual y prctico de los seres humanos. Su estudio ha estado presente desde los
orgenes de las instituciones acadmicas; la Academia y el Liceo griegos, las universidades
medievales donde la lgica ya era una materia necesaria para todos aquellos interesados en
pensar la realidad, fuese el campo que fuese: medicina, botnica, filosofa de la naturaleza hoy
conocida como fsica, incluso teologa.

En nuestros das las mltiples transformaciones que ha sufrido la han hecho ms compleja y
sutil, tanto que la lgica se convertido en lgica simblica y matemtica con varias
ramificaciones importantes. Una de ellas es la lgica proposicional, una lgica cuya
aplicacin neta est en todas las ciencias, sean sociales o exactas, debido a su contribucin
mxima: la simplificacin y clarificacin de los procesos deductivos e inductivos
involucrados en ellas. Sin embargo, las escuelas en el nivel medio y superior parecen ignorar
o escatimar tal relevancia de la lgica simblica proposicional y las estrategias que sta
despliega en su prctica constante. En efecto, el espacio destinado a este arte en sus
programas de estudio tiene slo la finalidad de desarrollar didctica o metodolgicamente las
diferentes habilidades integrales que los educandos poseen en potencia, olvidando su relacin,
uso y beneficio hacia otros aspectos fundamentales, como es el anlisis terico de las ideas,
soluciones y problemas de las cuales se hablaba en principio. Debido a ello la investigacin
tuvo por:

Objetivos

General: buscar los usos y los beneficios de la lgica simblica de corte proposicional dentro
del nivel medio y superior fuera de los contenidos programados para las asignaturas de
bachillerato y licenciatura.

Particular: asociar los usos de dichas estrategias a otras ramas de discernimiento.

2

Hiptesis de trabajo

La aplicacin y el estudio de la lgica simblica de carcter proposicional en nivel medio y
superior generan pensamiento terico y crtico mediante las estrategias que se emplean en
dicha disciplina. La introduccin en tal nivel no se supedita al mero desarrollo de habilidades
cognitivas como la memoria, el razonamiento correcto, entre otras, ni a un mtodo didctico
para el docente que la ensea o asocia a otras ramas de conocimiento.

La investigacin se llev a cabo mediante los lineamientos anteriores, la lectura y anlisis de
las fuentes recabadas durante los cuatro meses de labores; adems se ha estudiado la
enseanza de la lgica en el nivel medio superior teniendo por caso los alumnos del
Bachillerato Trilinge perteneciente al Instituto de Formacin y Desarrollo Volkswagen, S.C.,
lugar en el cual la estudiante trabaja como profesora de dicha asignatura. Los resultados se
presentan en los apartados subsecuentes.


Lgica proposicional simblica: un poco de su historia

Uno de los mejores referentes histricos de la lgica como herramienta rigurosa que ayuda a
analizar correctamente los argumentos que los seres humanos producen se halla en Aristteles
(siglo IV A.C.), quien en sus Tratados de lgica (Organon) presenta ya un mtodo
sistemtico de la argumentacin conocida como silogstica. Este tipo de argumentacin se
basa principalmente en inferir de dos premisas dadas una tercera como conclusin a travs de
los trminos que las conforman (posee asimismo reglas de inferencia respecto a la cantidad y
el modo de los enunciados), por ejemplo el siguiente silogismo (Darii):

(M) (P)
(A) 1. Todos los mamferos son vertebrados M: Trmino Medio
P: Trmino Mayor
(S) (M) S: Trmino Menor
(I) 2. Algunas creaturas del mar son mamferos
_________________________________ (A) Universal afirmativa
(I) Particular afirmativa
(I) 3. Algunas creaturas del mar son vertebrados [1]
(S) (P)

En este caso, de 1 y 2 se infiere 3, eliminndose el trmino comn en la conclusin, la cual es
en cantidad y modo una premisa particular afirmativa recurdese el cuadrado de oposicin-;
de esta manera, el Estagirita clasific las distintas combinaciones de la anterior estructura en
cuatro figuras, obteniendo alrededor de 254 modos. Algunos lgicos contemporneos
consideran que en Aristteles ya haba lgica simblica al establecerse la estrategia de
identificacin y reduccin de los trminos mediante letras [2], sin embargo la silogstica
aristotlica no pertenece a la lgica proposicional sino a la lgica de predicados por el
anlisis cuantificacional de los enunciados, de relaciones entre el sujeto y el predicado.

Uno los grandes aportes de la antigedad a la lgica proposicional simblica fue realizado por
la escuela megrica en lo referente a las teoras de los condicionales, punto fundamental de las
inferencias deductivas por ejemplo, la proposicin si est nublado entonces llueve, es una
proposicin condicional. Desde entonces el desarrollo de la lgica como ciencia tuvo grandes
alcances durante siglos, siendo as que en la poca medieval los escolsticos prosiguieron el
3

estudio y la prctica de ella conservando el mtodo elaborado por Aristteles pero
introduciendo otras temticas y problemas: Durante la Edad Media la lgica alcanz un
desarrollo notable, pues bebieron de varias fuentes: griegas, musulmanas, judas, y con sus
propias aportaciones lograron una sntesis envidiable. En la ya mencionada Perutilis lgica
podemos encontrar una lgica ya desarrollada: la lgica de proposiciones que haba sido
estudiada por los megrico-estoicos, la lgica de predicados y la silogstica de los
peripatticos; la lgica modal y cuantificada, y tambin cosas novedosas como la lgica
epistmica y la lgica dentica, y la combinacin de todas estas cosas[4].

Luego del comienzo de la llamada modernidad, la lgica pas por una etapa de
desacreditacin. Francis Bacon (1561-1626) e Immanuel Kant (1724-1804) en sus respectivas
obras Novum Organum (1620) y Prolegmenos a toda metafsica futura (1783), sentenciaron
el estancamiento y la decadencia de este arte en sus alcances cientfico-metodolgicos, pues
lo conceban como una tcnica acabada en sus procesos inferenciales. Una excepcin a esta
crtica fue Gottfried Wilhelm von Leibniz (1646-1716), quien vislumbr una perspectiva de
mayor extensin para la lgica, concibindola como el clculo universal posibilitador de toda
deduccin.

Fue hasta el siglo XIX cuando la lgica logr superar dicha fase al implementarse los
mtodos axiomticos y simblicos de la matemtica a la lgica. George Boole (1815-1864),
Augustus De Morgan (1806-1871) y Gottlob Frege fueron algunos de los lgicos que
propiciaron ste impetuoso desarrollo: In a sense, the logicians realised the dream of the
great German philosopher and logician G.W. Leibniz [1646-1716], who had already outlined
the idea of a universal calculus into which arguments could be translated and assessed. But it
was not until the work of Frege in the late nineteenth century that the level of systematization
which formal logic now enjoys was achieved [5]. Durante tal etapa se aplicaron nuevas
estrategias en los procesos inferenciales, consolidndose as la lgica proposicional. Ms, en
qu consiste la lgica proposicional simblica? Ello ser el punto del siguiente apartado.


En qu consiste la lgica proposicional simblica?

La lgica proposicional simblica consiste en derivar conclusiones mediante enunciados
atmicos y moleculares unidos por conectivas veritativo-funcionales sin la transcripcin total
de los enunciados, slo por unin de letras al estilo del lgebra. Existen dos niveles de anlisis
dentro de la lgica proposicional simblica: el sintctico y el semntico. El sintctico obedece
a las reglas de formacin: as como en la gramtica espaola hay reglas para formar bien las
oraciones, hay tambin una sintaxis lgica para producir frmulas a partir de oraciones en
lenguaje natural, del espaol al lenguaje formal; y ofrece reglas de transformacin para
deducir unas de otras. En el semntico se establecen binariamente los valores de verdad y
falsedad para enunciados sencillos y complejos; tambin se establecen criterios y tcnicas,
como los rboles semnticos y las tablas de verdad, para determinar cuando un conjunto de
premisas conducen a una conclusin

Gran parte de los matemticos y fsicos recurren a esta lgica con la finalidad de sistematizar
rigurosamente su tarea indagatoria. Ms all de la mera abstraccin, la lgica proposicional
simblica ofrece en su conjunto una serie de beneficios concretos no slo para todo aquel
versado en las ciencias exactas, tambin para aquellos cuya formacin acadmica exige
claridad, orden y precisin al interior de sus pensamientos y al exterior de sus expresiones
lingsticas. El propsito de la investigacin fue averiguar qu usos y beneficios arrojaba la
4

introduccin y estudio de esta lgica en los niveles medio y superior, punto del apartado
siguiente.

Los usos y beneficios a nivel medio y superior

Comnmente la lgica simblica proposicional no se ensea a nivel medio superior pues en
este nivel educativo slo se imparten la silogstica y el estudio de falacias. A nivel superior
slo en reas donde se piensa meritoria su introduccin como lo son Fsica, Matemticas,
Computacin, Electrnica, Ingeniera en sistemas y Filosofa. En los programas educativos
donde s se ensea y practica, uno de los usos ms recurrentes es el orden en que se formulan
los enunciados para explicitar procesos deductivos, teoras complejas e incluso discursos
argumentativos. A razn de esto, observamos que:


A nivel medio superior

En ciertos programas educativos se introduce con el objetivo de desarrollar las habilidades de
raciocinio de sus estudiantes. En los casos de nivel medio donde se aplica su enseanza se han
producido beneficios en pro de los educandos, algunos de ellos son la adquisicin de claridad
y orden en la redaccin, habilidad para formular hiptesis, comprensin de nexos causales,
simplificacin y rapidez en las inferencias tanto deductivas como inductivas, mecanizacin de
procesos matemticos mediante las estrategias derivativas, iniciativa por reflexionar en torno
a aspectos de ndole terico. (Se mencionan slo las estudiadas).


A nivel superior

Al consolidarse la lgica proposicional con los mtodos axiomticos y simblicos de la
matemtica, su principal uso fue la simplificacin de los procesos deductivos, permitiendo a
cientficos de diferentes reas el desarrollo de teoras ms complejas durante el siglo XX. Uno
de esos nuevos modos de derivacin empleado para la fundamentacin explicativa de tales
teoras fue el llamado mtodo de deduccin natural, cuya insercin ha sido relevante como
uso inherente ms no nico- al estudio argumentativo o teora de la argumentacin, siendo
este ltimo elemento necesario y exigido por las propias ciencias en general, ya sea la
lingstica, el derecho, la poltica, la fsica, la biologa, etc., dentro de su carcter formativo a
nivel superior.

En sus mltiples lneas de trabajo, el estudio argumentativo centra su anlisis en los diversos
aspectos que rodean al argumento, partiendo de una idea: el argumento se halla inmerso en un
discurso donde siempre interactan un oponente y un proponente. Aqu argumento es distinto
de razonamiento, pues para ellos el razonamiento se define como proceso inferencial, en
cambio argumento no precisamente es una estructura de premisas deductivas o inductivas.
Empero, dicho estudio esquematiza ciertas relaciones de orden causal a la manera de la
deduccin natural, mtodo de la lgica proposicional simblica que consiste en demostrar la
validez de los argumentos y sus conclusiones mediante una prueba donde previamente son
traducidos a lenguaje simblico los enunciados que lo constituyen. Se formaliza el lenguaje
ordinario con las conectivas veritativo-funcionales y las variables y/o constantes al estilo
algebraico. En teora de la argumentacin este tipo de deduccin no se usa explcitamente con
el fin de evaluar argumentos; sin embargo, esta indagacin muestra que la estructura interna
de la argumentacin obedece a una similitud y paralelismo con la estructura formal de este
5

mtodo en sus estrategias derivativas como lo son la implicacin, la conjuncin y el modus
ponens, como se muestra aqu:

En Teora de la argumentacin [6]

Discurso argumentativo: Su alquiler tiene que aumentarse. Se han efectuado obras en su
inmueble. En virtud de tal decreto, las obras definidas como sigue autorizan un aumento;
las obras se han efectuado en su casa son de ese tipo. A menos, claro, que su propietario
decida no aplicar el aumento:

Premisa: as pues, a menos que R, Conclusin:
Se han efectuado su alquiler ha sido
Obras en su inmueble aumentado

Ley de paso: Reserva:
El inquilino debe el propietario decide
Pagar una parte no pedir el aumento


Garanta:
En virtud de tal decreto


En Lgica Proposicional Simblica [7]


(P) (Q) (R)
Si se han efectuado obras en su inmueble, aumenta el alquiler y el inquilino debe pagar una
parte con ello.
(~Q) (~R) (S)
No aumentar el alquiler y el inquilino no deber pagar con ello, si el propietario decide no
pedir el aumento.
(P)
Se han efectuado obras en su inmueble.
(Q)
Conclusin: Su alquiler ha sido aumentado.


Por reglas de inferencia:

1 P> [Q & R] premisa
2 S> [~Q & ~R] premisa
3 _ P premisa
4 Q & R Regla de inferencia: Modus ponens de 1,3
5 Q Regla de inferencia: Eliminacin de la conjuncin de 4.


De esta forma la lgica proposicional simblica es usada en ramas como la teora de la
argumentacin, sobre todo cuando la argumentacin es realizada en mbitos como el derecho,
6

la psicologa y las ingenieras. Sus beneficios consisten en minimizar la extensin de las
deducciones, exhibiendo el ncleo del argumento: Los smbolos especiales de la lgica
moderna nos permiten exponer con mayor claridad las estructuras lgicas de proposiciones y
razonamientos cuyas formas pueden resultas oscurecidas por la pesadez del lenguaje
ordinario.[8]


Para saber ms

Si se desea profundizar en estas temticas se recomienda leer:

-Aristteles. Tratados de lgica (Organon). Gredos. Espaa. 1982.
-Beuchot, Mauricio. Tpicos de filosofa y lenguaje. 1 edicin. UNAM-Instituto de Investigaciones Filolgicas.
Mxico. 1991.
-Campos Bentez, Juan Manuel. La enseanza de la traduccin en lgica oracional, en Lmpara de Digenes.
Revista de Filosofa. FFyL-BUAP. Nm. 16-17. Puebla, Mxico. 2008.
-Carroll, Lewis. El juego de la lgica y otros escritos. Alianza editorial. Espaa. 2002.. De Gortari, El.
Elementos de la lgica matemtica. Ocano. Mxico. 1983.
-Wittgenstein, Ludwig. Tractatus Logico Philosophicus. Alianza Editorial. Espaa. 1998.


Conclusiones

A lo largo de la investigacin se obtuvieron resultados positivos en cuanto a los objetivos e
hiptesis planteados. Efectivamente se hall que las estrategias y tcnicas de la lgica
proposicional simblica al reducir, simplificar y agilizar los procesos inferenciales, ya sean
deductivos o inductivos, posibilita la evolucin de las actividades humanas no slo de carcter
cientfico, tambin de ndole cotidiano. En los estudios formales a niveles medio y superior
fomenta la rigurosidad en la disciplina acadmica en cualquiera que sea el rea de
aprovechamiento.

Tanto los usos como los beneficios anteriormente detallados s incentivan el pensamiento
terico, crtico y reflexivo de los educandos. Inclusive los usos aqu descritos no son los
nicos en su gnero, pueden ser ms en nmero y especie de acuerdo al enfoque abordado.
Aunque si se trata de beneficios, quizs s exista uno realmente magnfico: () llegamos a la
paradjica conclusin de que no incumbe a la lgica el desarrollo de nuestras facultades de
pensamiento, Sino el desarrollo de tcnicas que nos permitan avanzar sin tener que pensar!
[9]


Agradecimientos

Al Dr. Juan Manuel Campos Bentez, por depositar su confianza en mi persona para este
proyecto. Su pasin por la lgica hizo de esta indagacin un deleite no slo intelectual.

Al Dr. Pedro Hugo Hernndez Tejeda por seguir distribuyendo recursos al quehacer
productivo de esta institucin, en verdad se necesita proseguir con dicha tarea.

A mis alumnos del bachillerato trilinge generacin 2008, del Instituto de Formacin y
Desarrollo Volkswagen S.C. Sin ustedes no hubiera sido posible la fuente material (vivida) y
la reflexin desprendida para este proyecto.

7

Referencias

[1] Vase: Bergmann, Merrie.-Moor, James.- Nelson, Jack, The logic book. McGraw Hill. USA, 1998.
[2] Cf. Tomassi, Paul. Logic, Routledge, USA, 1999.
[3]Cf. Zalta, Edward N. Stanford Enclyclopedia of Philosophy: http://plato.stanford.edu/. Stanford University.
2009.
[4] Campos Bentez, Juan Manuel, La lgica medieval y la enseanza de la lgica, en Lmpara de Digenes.
Revista de Filosofa, FFyL-BUAP, Nm. 12-13, Puebla, Mxico. 2006. p. 208.
[5] Tomassi, P. Ibdem, p. 25.
[6] Caso tomado literalmente de: Plantin, Christian. La argumentacin, 3 edicin. Ariel, Espaa. 2002. p. 38.
[7] Cf. Redmond, Walter. Ibdem.
[8] Copi, Irving M. Introduccin a la lgica. EUDEBA. Argentina. 1999. p. 280.
[9] Ibdem.