Está en la página 1de 2

CARLOS PREZ LAPORTA

Resumen del Captulo I Nocin de Lgica Formal, de Manuel Sacristn


Para definir la Lgica formal procede con la diferenciacin clsica de toda ciencia, entre
los objetos material y formal. As, el material, lo que es conocido por esta ciencia, sera el
conocimiento. Desde Aristteles esto implica, de entrada, que no le interesa cualquier
forma

de

pensamiento

manifestativas

del

estado

del

sujeto

(exclamaciones,

interrogaciones,), sino la formas indicativas (o apofnticas) del lenguaje, referidas


directamente a hechos conocidos. Sin embargo, con ello an no se ha caracterizado a la
lgica en cuanto que ciencia; pues, muchas son las ciencias que estudian el conocimiento
(gnoseologa, psicologa,). Lo que la caracteriza como ciencia autnoma es el objeto
formal, la perspectiva (abstraccin) desde la cual se acerca a su objeto material (quod): a
saber, la del la forma lgica del resultado del conocimiento (que el conocimiento, en su
resultado, sea formalmente vlido o que las conclusiones estn formalmente
fundamentadas).
Para la comprensin del concepto de forma lgica es preciso atender a la divisin en un
enunciado entre trminos sincategoremticos (que no significan nada preciso por s
mismos sino slo junto con otros trminos) y los trminos categoremticos (que significan
por s mismos). As, los trminos sincategoremticos representaran la forma de todo
enunciado, mientras que los otros su contenido. En consecuencia, puede decirse que en
cuanto que a la lgica le interesa slo la forma, prescinde de todo contenido (sin por ello
prescindir de la idea de todo contenido); a la lgica formal le interesa por tanto la
correccin de la forma del pensamiento indicativo, su forma lgica, con independencia de
la verdad de su contenido. La forma lgica sera, en definitiva, la ensambladura de los
trminos sincategoremticos.
Esta definicin da lugar a tres posibles calificaciones de la forma lgica de un enunciado,
en funcin de los elementos categoremticos que se introduzcan (recurdese que se ha
prescindido del contenido, no de su idea; es decir, que interesa, incluso depende de ella, el
servicio concreto que la forma pueda prestar. Segn si la forma sirve a todo contenido, a
ninguno o alguno puede hablarse de tres calificaciones de enunciados: en primer lugar,
un enunciado es formalmente verdadero cuando su esquema final es verdadero para
cualquier interpretacin de sus lugares de contenido por categoremas; en segundo lugar,
un enunciado es formalmente falso cuando su esquema final es falso para cualquier
interpretacin de sus lugares de contenido por categoremas; y es formalmente
consistente o compatible cuando [] hay al menos una interpretacin que hace verdadero
su esquema final o, como suele decirse, lo satisface o lo cumple.
Esta cierta independencia de la verdad formal plantea el problema de su sentido. La
respuesta clsica a esta cuestin es la de Wittgenstein: para el que toda verdad formal es
una mera tautologa (all un enunciado formal no dijera en ningn sentido absolutamente

CARLOS PREZ LAPORTA

nada sobre la realidad, [y] entonces no tendra sentido discutir acerca de la verdad ni la
falsedad, y, consecuentemente, tampoco tendra ningn sentido concebir la ciencia como
una ciencia del conocimiento), actitud que parece al autor ms una negativa a tener en
cuenta el problema en lugar de una solucin. Frente a l, Sacristn propone lo siguiente:
que las verdades formales daran las condiciones mnimas puestas a los objetos de
conocimiento en tanto que objetos de conocimiento (tiene pues un carcter elemental y
fundamental para las ciencias empricas y positivas en general).
En ese sentido, conviene pensar que las verdades formales tienen el mismo origen
remoto, seguramente en la experiencia que los teoremas empricos. As, aunque el
modo de su validez (formal) sea peculiar (por la incapacidad de la experiencia de refutar
cualquier teorema de cualquier sistema de lgica), esto no afecta al origen de su
conocimiento; es decir, que el modo de su validez no implica que su origen sea la razn a
priori de la experiencia. Sacristn alude a una razn fundamental, aunque ninguna de ellas
demuestra directamente el origen de la verdad lgica: si tuvieran otro origen, no se vera
por qu la lgica tiene una historia, y se ha enriquecido en el curso del tiempo, por esa
capacidad que tiene la experiencia de sugerir cosas acerca de las proposiciones
iniciales.
As, en esta relacin peculiar entre las verdades empricas de todas las ciencias y la
lgica como aspecto fundamental (de todas ellas), puede presentarse a sta ltima como
arte, teora o tcnica heurstica de las otras ciencias; y esto, no porque sea un mtodo de
descubrimiento de las verdades empricas, sino porque ayuda indirectamente a dicho
descubrimiento mediante el anlisis, la aclaracin y la ordenacin de las verdades ya
conocidas. Si la lgica clsica fue estril para la ciencia es porque se hizo de ella lo que
no era (un sistema para adquirir nuevas verdades empricas) y por no estar debidamente
desarrollada (sistema rudimentario).