Lgica, filosofa de la lgica y metalgica.

La lgica, la filosofa de la lgica y la metalgica son tres esferas que estn

estrechamente relacionadas. Sin embargo no son completamente iguales y sus
lmites se pueden delimitar de manera precisa. Segn Susan Haack, la lgica
puede entenderse como un sistema formal interpretado. Y aade el requisito,
siguiendo el pensamiento de Ryle, que la lgica es un sistema formal interpretado
que se aplica al razonamiento independientemente de su contenido.

El tema central de la lgica, segn el gran consenso de los pensadores, es

el de discernir entre argumentos vlidos y argumentos invlidos. Ahora bien, de
esta disciplina surgen reflexiones de ndole filosficas las cuales conforman el
conjunto de lo que se conoce como filosofa de la lgica. La filosofa de la lgica
es una reflexin de segundo nivel la cual trata de dar respuesta a preguntas del
tipo Qu quiere decir que un argumento sea vlido?, Qu quiere decir que un
enunciado se sigue de otro?, etc.

La metalgica, por su parte, es un estudio, un anlisis. Ella estudia las

propiedades formales de los sistemas lgicos formales. Entre ellos estn la
decidibilidad, la completitud y la consistencia. La metalgica se encarga de
asuntos meramente formales. La metalgica tiene como objeto de estudio a la
propia lgica, y la estudia en el sentido de que trata de probar o refutar aquellas
propiedades con las que debera de contar. Se puede entender tambin a la
metalgica como un estudio de segundo nivel, y aqu se encuentra la principal
diferencia entre la metalgica y la filosofa de la lgica: si bien ambas son
disciplinas de segundo nivel, la filosofa de la lgica es una reflexin mientras la
metalgica es un estudio.

Por otra parte, la metalgica solo estudia asuntos que competen al mbito
formal. Pero el campo de reflexin de la filosfica de la lgica abarca la lgica
informal tambin.
 Hay una interaccin entre lgica, filosofa de la lgica y metalgica que
resulta muy til a la hora de esclarecer el panorama de lo lgico en general. Como
se ha dicho, la lgica es un sistema formal interpretado. Ahora bien, apoyando la
idea de Susan Haack, puede que no haya una sino varias lgicas, y por tal razn
sera acorde decir que existe una filosofa de las lgicas. Con esto se quiere decir,
que pueden existir varios sistemas interpretados que tratan de dar cuenta de la
validez de distintos tipos de argumentos.

Por ejemplo, se tiene el caso de la lgica epistmica, la cual una

proposicin tpica de esta lgica sera de la siguiente manera: q sabe que p. Es
evidente que la lgica clsica no podra tratar con este tipo de proposiciones, y a
la vez no podra determinar la validez de los argumentos, pues el concepto sabe
no est ni definido ni formalizado dentro de este sistema formal interpretado.

Debido a este choque entre lgicas rivales, surgen reflexiones de corte

filosfico respecto a las lgicas. Es decir, surge una filosofa de las lgicas. Estas
preguntas bien podran ser Existen ms de una lgica? Qu lgica debera
tomarse como verdadera? Cmo decidirse entre lgicas rivales? Pueden existir
lgicas que convivan sin contradiccin?

Estas preguntas se pueden resolver con la sola reflexin. No obstante,

existe respuestas que solo pueden ser dadas una vez se haya hecho un estudio o
anlisis de las propiedades formales de los las lgicas. Y se habla aqu, de la
metalgica. La metalgica ayuda a dar respuestas a cuestiones de las que no se
les puede dar respuesta con la mera reflexin. Adems, con la metalgica se
puede llegar a decidir entre distintas lgicas. Incluso, se puede dar con la mejor
lgica dependiendo de lo que se busque, es decir, si lo que se busca es una lgica
que sea completa, a travs del anlisis formal, la metalgica puede mostrar las
lgicas que cuenten con la propiedad de la completitud.

Se puede decir entonces, que la filosofa de la lgica utiliza a la metalgica

como herramienta para dar con las respuestas que ella sola no puede encontrar.
 Otra relacin muy importante que se suscita entre la metalgica y la filosofa
de la lgica, es que la metalgica adquiere sentido cuando ha surgido de
antemano una filosofa de la lgica, esto es: una reflexin respecto a la lgica. Ya
se ha visto que de no haber metalgica, existiran cuestiones a las que la filosofa
de la lgica no pudiese dar respuestas. Pero por otro lado, no tendra sentido dar
cuenta de propiedades formales si no se hay de trasfondo, en primer lugar, una
reflexin sobre las propiedades de la lgica. Es decir, la respuesta sobre la
decidibilidad de un sistema formal no tiene sentido si no se ha formulado.

Con esto no se quiere decir que se necesita que exista la filosofa de la

lgica para que exista metalgica, tan solo se dice que la metalgica adquiere
sentido o utilidad cuando entra en la esfera de la filosfica de la lgica. Es una
condicin suficiente ms no necesaria.

La filosofa de la o las lgicas surge como una necesidad de tratar de dar

respuestas a las cuestiones filosficas que envuelven la esfera lgica. Por su
parte, la metalgica es capaz de determinar las propiedades formales de cada una
de las lgicas. Por tal razn, la interaccin entre estas esferas beneficia en gran
medida al universo lgico, pues se van desechando sistemas formales que
aparentan ser lgicos, y cada vez ms se va construyendo un criterio que separe
lo lgico de todo lo dems.

Diego Pea.

C.I. 23.696.643

Metalgica.

Prof. Ricardo Da Silva.