Qu es y para qu sirve la lgica?

David Valles Carranza

Segunda parte

Habamos definido a la lgica, como la ciencia formal cuyo objeto de estudio lo

constituyen las formas, estructuras, o esquemas del pensamiento, nuestros
razonamientos se dan a travs de algn tipo de lenguaje, a la lgica le interesan las
proposiciones declarativas, es decir aquellas que nos transmiten algn tipo de
informacin, por ejemplo, -el plomo es radioactivo-, -la UPNECH es una universidad-,
etc., son enunciados que pueden ser verdaderos o falsos, no as las exclamaciones o las
preguntas, habr vida en Marte? Estas proposiciones no estn diciendo nada verdadero
o falso, se prohben celulares en clase!, esta es solo una orden, no es verdadera ni falsa.
La lgica se ocupa de demostrar cuando un razonamiento es vlido o no, es decir que de
los antecedentes no concluyamos algo falso. Ahora pasemos al siguiente anlisis,
estudiar a la lgica, es tarea de la meta-lgica. Es decir, la meta-lgica es un
metalenguaje que empleamos para referirnos a un lenguaje objeto. En pocas palabras, es
un lenguaje que habla acerca de la lgica y como todo meta-lenguaje tiene tres
dimensiones: La sintctica, la semntica y la pragmtica. Aqu nos referiremos
exclusivamente a la primera de las dimensiones semiticas. La meta-lgica es una parte
de la semitica lgica, esto es, de aquella rama de la semitica que tiene por misin el
estudio de los signos lgicos en general. Algunos autores afirman que el trmino ms
apropiado para la meta-lgica es Filosofa de la Lgica, otros afirman que sera lo ms
apropiado (M. L. Roure) llamarle meta-lgica, y aplicando con justicia la navaja de
Occam y para no caer en discusiones que rayen en lo bizantino, entenderemos como
sinnimos los trminos meta-lgica y filosofa de la lgica. Resumiendo: cuando
nos abocamos al estudio de la lgica, es decir, cuando la lgica se convierte en objeto de
estudio, hacemos una teora de una teora, esto es, una meta-teora.

Debemos sealar que tanto el llamado leguaje objeto como el metalenguaje son
trminos relativos. La razn de esto es que cualquier lenguaje o sistema lingstico, sin
necesidad de precisar que tan simple o complejo sea, es un lenguaje objeto cuando se
habla de l. Y cualquier lenguaje (que debe ser un lenguaje interpretado, significativo)
es un metalenguaje cuando se le usa en la discusin de un lenguaje objeto.

Hacer una meta-teora de los clculos lgicos es someterlos a consideracin general,

aunque ms profunda, para ver si responden a ciertos requisitos, y stos son
fundamentalmente tres:

El primero es el de la consistencia, cuando de una frmula cualquiera (P) no es

posible derivar en el sistema una formula (P & -P). Puesto que estamos tratando con
clculos lgicos, entonces podemos decir que ste es consistente cuando todas las
frmulas derivables de l son verdades lgicas.

1
 El segundo requisito es el de la completitud. En l afirmamos que un clculo es
completo cuando se pueden demostrar todas las frmulas verdaderas construibles con
smbolos. Para la lgica diremos que son verdades formales, es decir, verdades lgicas.

El tercer requisito es el de decidibilidad, esto es, cuando en un determinado sistema

existe -o debe existir- un procedimiento para decidir, en un nmero finito de pasos
codificados en reglas, si una frmula es verdadera o no.

Algunos de los cuestionamientos que la filosofa de la lgica pretende contestar son:

qu son las leyes lgicas?, son verdades ontolgicas o simples supuestos?, qu hace
a una frmula ser una frmula bien formada?, existe alguna relacin entre la lgica y la
realidad?; de ser as, cmo se da?, es la lgica un simple juego de consistencias y
coherencias?, qu es una verdad lgica?, qu hace a un razonamiento vlido?, qu es
una proposicin?, en qu se distinguen la verdad y la validez?, cules son los
trminos primitivos en una teora lgica?, por qu de un razonamiento vlido y
premisas verdaderas la lgica garantiza una conclusin necesariamente verdadera?
Seran preguntas tpicas de filosofa de la lgica, o meta-lgica.

Podemos resumir la importancia de los estudios lgicos y meta-lgicos con la

siguiente cita de J. Mostern:

Slo a los lgicos puros -que son muy pocos- interesa la lgica por s misma. La
mayora de las personas -filsofos, matemticos, epistemlogos, etc.- que se interesan
por la lgica se interesan sobre todo por sus aplicaciones. Saber aplicar la lgica,
dominar la lgica como un arte, consiste sobre todo en saber probar que una sentencia
dada es o no una consecuencia de un conjunto dado de sentencias, es decir, en saber
hacer deducciones y pruebas de independencia.

La lgica es imprescindible para validar razonamientos, y nadie escapa a hacer

razonamientos, es decir de premisas sacar conclusiones, siempre lo hacemos, pero
cuntas veces lo hacemos de manera invlida?; corresponde a todos, epistemlogos,
maestros, estudiantes, matemticos, investigadores, etc., hacer que nuestros argumentos
tengan validez lgica, es decir, razonar correctamente.