TCNICA E IMAGINACIN

EN LGICA
RAYMUNDO MORADO

I. LA VA TCNICA Y LA ELABORACIN CONCEPTUAL

El campo epistmico de la lgica es, como en muchas otras disciplinas, una mezcla de tcnicas y productos conceptuales. Al aprender lgica aprendemos cmo hacer una investigacin lgica. Conocer esas tcnicas es tan importante o ms que memorizar los conocimientos producidos. La elaboracin de nuevos conceptos normalmente involucra la aplicacin de tcnicas lgicas, tanto de anlisis como de sntesis. A su vez, esas tcnicas cobran sentido al aplicarlas a los conceptos lgicos. Las elaboraciones son casi siempre imaginativas; son siempre rigurosas y precisas. La lgica es una de esas afortunadas disciplinas donde el desarrollo conceptual no solamente no est reido con el desarrollo tcnico, sino que se complementan y potencian mutuamente. Las tcnicas lgicas son un dechado de precisin, pero a menudo exigen, como componentes indispensables, la creatividad y la imaginacin. Por supuesto, en el desarrollo de la lgica, igual que en la mayora de las ciencias actuales, exigimos la mayor precisin posible, incluso en las lgicas difusas, probabilsticas o las infinitamente valuadas. Las investigaciones lgicas son paradigma de precisin. Mientras que las pruebas en otras disciplinas, al ser sometidas al escrutinio lgico, revelan que en ocasiones se omiten pasos y se realizan saltos inferenciales por razones de economa o presentacin, en lgica el rigor y la precisin son tan altamente estimados que se ha llegado a producir la falsa impresin de que los estudios lgicos bsicamente siguen recetas. Ello es tan falso como creer que el arte de cocinar es el arte de seguir recetas. La lgica es una de las pocas disciplinas en las que se puede demostrar rigurosamente que no existe un mtodo general para solucionar todos los problemas. Es decir, no existe la receta para hacer lgica. Sin creatividad no podemos encontrar infinitas demostraciones en lgica cuantificacional. Es con creatividad como construimos pruebas a pesar de la indecibilidad de los campos lgicos en casi todas sus manifestaciones. Un simple ejerciInstituto de Investigaciones Filosficas, Universidad Nacional Autnoma de Mxico. morado@unam.mx ltima colaboracin en Ludus Vitalis: Conocimiento y futuro de la lgica, vol. XVI, num. 29, 2008, pp. 191-194.
Ludus Vitalis, vol. XVII, num. 31, 2009, pp. 233-236.

234 / LUDUS VITALIS / vol. XVII / num. 31 / 2009

cio de demostracin de teoremas utilizando diversas reglas exige la creatividad de seleccionar y aplicarlas apropiadamente.
II. TCNICAS Y TECNOLOGAS

Con toda su abstraccin, las tcnicas de la lgica a menudo se plasman en concreciones tecnolgicas. Desde los crculos de cuero y metal del Ars Magna de Ramn Lull hasta las modernas computadoras, los avances en lgica han tenido eco en avances tecnolgicos. Para el lgebra booleana existi en el siglo XIX el piano lgico de Jevons y para el clculo proposicional de Frege tenemos los circuitos elctricos de Shannon y los aritmtico-lgicos de las unidades de procesamiento central (CPUs). La lgica abstracta se ha materializado en los ms diversos medios, desde los engranajes de Babbage, los bulbos de ENIAC, los electromagnetos, diodos, resistencias, transistores y circuitos integrados de los ltimos tiempos. Y hoy da tratamos de implementar la lgica con nanotecnologa y computacin cuntica y lgica fotnica. Para las tcnicas de skolemizacin, resolucin y unificacin de Robinson, tenemos el desarrollo de las implementaciones de Prolog por Colmerauer en Marsella o las mquinas lgicas en Japn. A su vez, los avances tecnolgicos favorecen avances tericos. El Demostrador Automtico de Teoremas de Boyer y Moore permiti desarrollar la teora de prueba, mientras que los avances en Australia han estimulado durante las ltimas dos dcadas la teora de la generacin de modelos para lgicas no clsicas. El rea de lgica que yo trabajo se nutre tanto de la precisin como de la imaginacin, en la interseccin de las tcnicas matemticas y computacionales con el anlisis conceptual y filosfico. De hecho, mi tesis doctoral fue una disquisicin entre formas amplias de la razn humana y las implementaciones por aquellos aos de la inteligencia artificial. La tcnica y la elaboracin conceptual se potencian mutuamente, igual que ha ocurrido en la fsica, en la medicina o en la astronoma. En el campo de la lgica aplicada a la inteligencia artificial, desarrollo conceptual e invencin tecnolgica se necesitan mutuamente. Una buena teora lgica debe dar lugar a una buena implementacin y una buena implementacin debe dar lugar a reflexiones tericas profundas. Eso no quiere decir que estas dos vertientes de los desarrollos lgicos sean idnticas. Si bien los anlisis lgico-lingsticos favorecen el desarrollo de las implementaciones en la web semntica, los objetivos de sta pueden ser tan prcticos como el anlisis automtico de textos y la minera de datos en Internet. Las implementaciones tecnolgicas tienen constreimientos de eficiencia de los que carecen las puras disquisiciones tericas, lo cual es importante al considerar problemas de complejidad computa-

MORADO / LGICA / 235

cional. No se trata, por supuesto, de que un lgico se convierta en computlogo, pero la teora de la computacin es una teora lgica y la prctica de la lgica aplicada a problemas complejos reales es una prctica computacional diaria.
III. NUEVAS TCNICAS, NUEVAS IDEAS

Las tcnicas de otras disciplinas son asimiladas con xito. En los setenta, Urquhart utiliz tcnicas de geometra proyectiva y topologa para obtener importantes metateoremas en lgicas de la relevancia. Y desde hace un siglo usamos tcnicas de teora de conjuntos para desarrollar nuestras teoras metalgicas. Qu haramos sin la induccin matemtica, tanto infinita como transfinita, para nuestros desarrollos metalgicos? Hoy es posible ver aplicaciones de tcnicas de teora de categoras y de teora de probabilidades, de conjuntos borrosos y de lgebra universal. Tambin hemos adaptado tcnicas de disciplinas no formales, como la filosofa, el derecho, la lingstica o la teora de la argumentacin retrica. Hay extensiones de la lgica que rebasan la inferencia deductiva, necesaria, y se aventuran haciendo inferencias inseguras aunque probables o plausibles. Estas lgicas de naturaleza inductiva, probabilstica, estadstica, o simplemente de sentido comn, son inferencias aceptables pero falibles. Esto que la lgica apenas ha empezado recientemente a sistematizar es claramente no deductivo, y por ello no pretende un cien por ciento de confiabilidad. La historia de esta disciplina es una historia de hallazgos geniales e inesperados. Nuestras conjeturas sobre cules seran los grandes avances en lgica en el siglo XX no previeron las extraas direcciones que tom la disciplina. Por supuesto, los avances tcnicos encauzan la investigacin y el desarrollo conceptual de una disciplina. Pero tambin los nuevos conceptos inspiran el desarrollo de nuevas tcnicas. Podemos adelantarnos a estos avances y plantear investigaciones que no son factibles todava, pero es un ejercicio difcil e incierto. Cada nueva tcnica, inventada por los lgicos o adaptada de otras disciplinas, es un apoyo para la elaboracin conceptual, y cada nueva elaboracin conceptual fructifica con nuevas tcnicas de sntesis y anlisis, con precisa imaginacin y rigurosa creatividad, tanto en el diseo de las tcnicas como en su aplicacin. Cada nuevo avance, sea conceptual o tcnico, detona un abanico de investigaciones que pueden aprovecharlo.
IV. PRECISIN IMAGINATIVA, IMAGINACIN PRECISA

Igual que puede haber creatividad en el rigor lgico, puede haber rigor en la creatividad. Las demandas de la perspectiva en pintura o del soneto en poesa proveen a menudo la estructura necesaria para producir grandes

236 / LUDUS VITALIS / vol. XVII / num. 31 / 2009

obras, creadas no slo a pesar, sino en parte gracias a esos mismos constreimientos. Tanto en arte como en ciencia se cumple el dictum de Hegel: La libertad absoluta es el terror. La geometra no es un obstculo sino una herramienta para la arquitectura. Poder contar slabas no hace menos bellos los versos. Es con mtodo y rigor como tenemos la poesa de Gorostiza y de Cuesta, de Sor Juana y de Gngora, de Borges y de Valry, de T. S. Eliot y de Edgar Allan Poe. Por cierto, no todos sabemos que la lgica exige mucho ms que un poco de imaginacin; exige toda la imaginacin. Desde aquellos aparatos de Ramn Lull, la lgica insiste en agotar la combinatoria, es decir, en examinar todas las posibilidades antes de considerar algo como verdad lgica necesaria. A diferencia de otras ciencias, en lgica se tiene que tomar en cuenta todas las posibilidades. Y realmente queremos decir TODAS las posibilidades, no solamente las de cierto tipo. Por ejemplo, la fsica solamente necesita tomar en cuenta las posibilidades fsicas; lo que no es fsicamente posible no tiene que ser tomado en cuenta. En poltica, slo debemos preocuparnos por lo que es polticamente posible y podemos olvidarnos de todo lo dems. Incluso la historia, que tiene tan grande repertorio de posibles combinaciones, no necesita considerarlas todas. En contraste, la lgica agota la combinatoria, debe revisar todos los casos posibles, por ridculos que parezcan, por mucho que violen los ms elementales principios de disciplinas bien establecidas. Un esfuerzo tal de imaginacin no se le pide a ninguna otra disciplina. Podemos quejarnos de que algo no sea fsica, poltica o literariamente plausible; el lgico responder que an as puede ser lgicamente posible y que por lo tanto la conclusin no se sigue con necesidad de las premisas. Incluso la literatura, con sus vuelos de fantasa o sus incongruencias dadastas, requiere una mnima coherencia y relacin entre los elementos para ser aceptable como creacin artstica. Los absurdos deben ser interesantes para ser literariamente aceptables. Pero en lgica los absurdos, las falsedades patentes y las opciones ridculas deben ser tomadas en cuenta porque la necesidad lgica slo puede aparecer cuando incluye a todas las posibilidades. Cuando buscamos la seguridad total en lgica, el esfuerzo imaginativo debe ser correspondientemente total. En otras palabras, en lgica el rigor total y la fantasa total coinciden. Sin imaginacin y precisin no podemos hacer lgica.