You are on page 1of 17

Preprint: A publicarse en: Rodrguez, L. (Coord.

), (2012), La emergencia de los enfoques de la complejidad en Amrica latina

PENSAR LA COMPLEJIDAD CON AYUDA DE LAS LGICAS NO-CLSICAS


Carlos Eduardo Maldonado Profesor Titular Universidad del Rosario carlos.maldonado@urosario.edu.co

Introduccin
En el corpus normal del trabajo en ciencias de la complejidad y, a fortiori, del trabajo con, y la investigacin sobre, complejidad no aparece un espacio para las lgicas no-clsicas. La bibliografa en general en complejidad, de un lado, tanto como aquella especializada en lgicas no-clsicas, no hace ninguna referencia en el otro sentido. Mejor an, si se echa una mirada cuidadosa a algunos de los principales centros e institutos de complejidad en el mundo por ejemplo a las pginas web de SFI, NECSI, ISCPIF-, o algunas de las principales revistas como Complexity, Journal of Complexity, Complexity International, Journal of Systems Science and Complexity, Journal of Complexity and Education, The Complexity Revolution, Journal of Social Complexity, por ejemplo, aparecen numerosos campos de trabajo, problemas significativos, pero ninguna alusin a las relaciones entre complejidad y lgicas no-clsicas. Ahora bien, si se estudian con cuidado algunas de las ms prestigiosas revistas de lgica en el mundo, como, por ejemplo, Studia Logica, Australasian Journal of Logic, Journal of Philosophical Logic, Notre Dame Journal of Formal Logic, tampoco aparece ninguna referencia que desde la lgica se dirija de manera directa a las ciencias de la complejidad. Quizs la mejor aproximacin que trata de encontrar o de integrar ambas perspectivas complejidad y lgica (s no clsicas)- sea la de Van Benthem (2008). Pues bien, con este texto me propongo llenar este vaco. El carcter exploratorio de este texto, sin embargo, se limitar, por razones especficamente de espacio, a mostrar diversas puertas comunicantes entre complejidad y lgicas no-clsicas (LNC), quedando pendiente, para otro momento y espacio, el trabajo bastante ms especializado- relativo a las relaciones internas entre las lgicas no-clsicas1. Lo que aqu me interesa es mostrar las opciones que las lgicas no-clsicas ofrecen para todos

Dicho espacio se reserva, por lo dems, para una investigacin que adelanto actualmente sobre el sentido y la posibilidad de una teora general sobre la complejidad. Unos avances de esta investigacin son: Teora de la historia, filosofa de la historia y complejidad, en: Maldonado, C. E., (Editor acadmico), Fronteras de la ciencia y complejidad, Bogot, Ed. Universidad del Rosario, 2010, pgs. 17-48; Exploracin de una teora general de la complejidad, en: Maldonado, C. E., Complejidad: Revolucin cientfica y teora (Editor Acadmico), Bogot, Editorial Universidad del Rosario, 2009, pgs. 113-143; El problema de una teora general de la complejidad, en: Maldonado, C. E., (Editor), Complejidad: Ciencia, pensamiento y aplicaciones, Bogot: Universidad Externado de Colombia, 2007, pgs. 101-132; El problema de una teora general de la complejidad de fractales, en: F. Lpez Aguilar y F. Branbila Paz (compiladores), Antropologa fractal., Mxico, D.F.: Centro de Investigacin en Matemticas, 2007, pgs. 9-24.

aquellos interesados en el trabajo y el estudio con los sistemas, fenmenos y comportamientos de complejidad creciente.

La lgica como ciencia


La historia de la modernidad hasta nuestros das se caracteriza por una magnfica eclosin de ciencias, disciplinas, prcticas y saberes que nacen de la filosofa pero que se independizan de ella. El nacimiento de la lgica formal se inscribe en la misma tradicin de la inmensa mayora de ciencias, disciplinas, prcticas y saberes que nacen a partir de la modernidad hasta nuestros das. Es decir, se trata de conocimientos que: a) dan cuenta del mundo, o bien: b) se ocupan de una porcin del mundo sin necesidad de filosofa, independientemente del tronco de la filosofa y la metafsica (para retormar la metfora famosa desde Descartes), y se asumen como epistemes con derecho propio. Desde la economa y la fsica hasta la psicologa y la antropologa, desde la administracin y la poltica hasta la historia y la esttica, por mencionar tan slo algunos pocos ejemplos. La lgica formal clsica nace desde la obra de Boole y Morgan hasta Tarski (Alchourrn et al., 1995), e incluye nombres, entre otros, de la altura de Frege, Dedekind, Peano, Zermelo, Skolem, Hilbert, Kolmogorov y Gdel (van Heijenoort, (1967). Una historia ms breve acerca del nacimiento de la lgica formal clsica se encuentra en Nidditch (1983). Pues bien, la lgica formal clsica es, sin ms ni ms, la lgica matemtica o la lgica simblica. Como lo sostiene de manera puntual Nagel (1974), es la lgica sin metafsica. Con seguridad, es gracias a que hubo surgido y se consolid como una ciencia por s misma, independientemente de la filosofa, esto es, de la metafsica, que la lgica clsica es decir, la lgica simblica o la lgica matemtica- sirve como condicin de posibilidad, por as decirlo para el surgimiento, paulatino al comienzo y luego en una verdadera eclosin, de las lgicas no-clsicas (LNCs). Las LNCs surgen debido a una doble circunstancia: de un lado, porque los procesos de formalizacin de la lgica clsica eran muy rgidos, o bien porque eran demasiado laxos. Dicho de manera puntual, se trata del famoso problema relativo al falibilismo de la lgica planteado originariamente por Ch. S., Peirce y expuesto por Quine (1984), (Quine, 1992), (Haack, 1991); es decir, el falibilismo de la lgica formal clsica.

Lgicas no-clsicas: rasgos o aires de familia


Con seguridad, el rasgo ms radical que representan las LNCs es el hecho mismo de un pluralismo lgico. Por tanto, es perfectamente posible afirmar que ya no existe una nica forma ni una cannica del pensar, por tanto de decir el mundo y, en consecuencia, tampoco existe una nica forma de vivir. Aqu se establece una ruptura fuerte con la historia de la lgica formal por ejemplo en las versiones de Kneale and Kneale (1984) o de Bochenski (1985)-. En efecto, la presuncin de que hay una sola lgica se traduce, en dominios como la tica, la poltica y la cultura, tomadas en el sentido ms amplio, como la imposibilidad de pensar y de vivir por fuera de los cnones del pensamiento sostenidos por, o iluminados desde, la lgica. Esta fue exactamente la historia de Occidente, notablemente a partir del primer verso del Proemio del Poema de Parmnides (frag. 3 D-K 6): t gr aut noen estin te ka enai.

Pensar la complejidad consiste exactamente en pensar sistemas de complejidad creciente, y por tanto, sistemas de complejidad irreductible. Estos es, los sistemas complejos no se explican a partir de lo inferior, de lo anterior o de lo bsico, sino, mejor an, en funcin de las emergencias que producen o que contienen. La forma clsica de presentar esta idea consiste en el reconocimiento de que los sistemas complejos son adaptativos y, por consiguiente, abiertos. As, lo que define radicalmente a un sistema complejo son las posibilidades que tiene, que contiene o que avizora, antes que la historia de causalidades. En una palabra, la complejidad de un sistema estriba exactamente en las posibilidades que tiene o que anticipa. Una expresin puntual de este rasgo es el concepto mismo de posibles adyacentes. De esta suerte, la irreductibilidad coincide con la nocin misma de pluralidad o diversidad, que es, sin duda, la marca de familia de la complejidad. Con ello, la idea misma de lgicas no-clsicas, en contraste con la lgica (formal clsica) permite abordar el estudio de multiplicidades caracterizadas por diversos atributos. El pluralismo lgico se refiere a la existencia de ms de una relacin genuina en el estudio de las consecuencias deductivas (Beall and Restall, 2006). Ms exactamente, no existe una nica verdad lgica (there is no one true logic). Esto significa que decir verdad (o en caso contrario, falsedad) resulta menos evidente de lo que apareca a la luz de la lgica formal clsica. Asistimos a la co-existencia de sistemas alternativos de notacin y de estudio y comprensin de lo que sea (o pueda ser) verdad o verdadero (Herrick, 2000). La semntica de las lgicas no-clsicas es la de nocin de semntica de mundos posibles (en tanto que la semntica de la lgica formal clsica es la semntica del mundo real o, lo que es equivalente, del mundo en general (berhaupt)). (Existen, sin embargo, tambin varias lgicas no-clsicas que tienen una semntica algebraica). La semntica de mundos posibles es, en otras palabras, el encuentro, el trabajo y las experiencias con fenmenos modales. A la luz de la semntica de mundos posibles, lo plural se contrapone a lo singular, tanto como lo real se abre a lo posible. Este giro tiene consecuencias maravillosas que, sin embargo, no se han terminado de explorar plenamente ni en el campo de la lgica en general ni en el de la complejidad misma. Sin embargo, existe un slido eslabn que une lgicas noclsicas y complejidad en este punto: las ciencias de la complejidad son ciencias de fenmenos, sistemas y comportamientos que se encuentran en crisis. Esto se expresa claramente en la terminologa que se emplea cuando se habla de puntos crticos, estados crticos, criticalidad, subcriticalidad y supracriticalidad, estados de transicin y transiciones de fase. Slo que se trata de estudiar la(s) crisis: a) porque son inminentes, o bien b) porque las crisis no estn presentes, pero podran llegar a tener lugar. Exactamente en este sentido, las ciencias de la complejidad son ciencias para tiempos de crisis. Pues bien, la(s) crisis se comprenden y se explican idneamente mediante la semntica de mundos posibles; es decir, justamente, de estados posibles. Pues bien, entre las lgicas no-clsicas ms destacadas tenemos: La(s) lgica(s) paraconsistente(s) Lgica de la relevancia Lgica epistmica Lgica intuicionista

Lgica no-monotnica Lgica modal Lgica dinmica Lgica del tiempo (o lgica temporal) Lgicas polivalentes Lgica difusa Lgica cuntica Lgica libre Lgica de fbrica (o fabricacin) La lista, sin embargo, no pretende aqu ser exhaustiva. Antes bien, mi inters se concentra en la forma como los fenmenos, sistemas y comportamientos caracterizados por complejidad creciente pueden ser estudiados esto es, explicados y comprendidos- con la ayuda de las lgicas no-clsicas. Gracias al desarrollo de las lgicas no-clsicas, las verdades lgicas lo son de cualquier cosa o aspecto del mundo (Alchourrn et al., 1995); as, las verdades lgicas dejan de serlo nica o principalmente de juicios, razonamientos e inferencias. Con ello, en realidad, al estudio de la consecuencia como patrimonio de la lgica formal clsica (desde y gracias a Tarski)2, la lgica en general accede igualmente al reconocimiento de que el lenguaje tiene una fuerza expresiva bien determinada y que, en sntesis, hacemos cosas con palabras (Austin). De esta suerte, al estudio de las inferencias vlidas se suma el estudio de la fuerza o capacidad expresiva del lenguaje. Con ello, la lgica se abre hacia o incorpora o desarrolla desde s misma tres formas distintas de apuntar a un mismo foco- la teora de modelos. La teora de modelos se ocupa, en el sentido ms amplio, del estudio de la interpretacin de cualquier lenguaje ya sea formal o natural- y lo hace por medio de estructuras de teoras de conjuntos. Exactamente en este sentido, la teora de modelos y con ella las LNC abordan importantes problemas de tipo filosfico.

De manera puntal, las inferencias son implicaciones o consecuencias. Estas son, de un lado, inferencias transductivas, que son aquellas en las que la conclusin tiene el mismo grado de generalidad o de particularidad que las premisas. As, la novedad del conocimiento obtenido consiste en transferir las relaciones establecidas entre el trmino medio y los extremos, formulndola como relacin entre los trminos extremos. Estas comprenden a las inferencias por igualdad, inferencias por simetra, inferencias por homologa, inferencias por desigualdad, inferencias por vinculacin, inferencias por referencia, inferencias por analoga. De otro lado, las inferencias inductivas se caracterizan por que las conclusiones obtenidas tienen mayor grado de generalidad que las premisas. Estas pueden ser: inferencia por enumeracin completa, por coligacin, por induccin matemtica, por recurrencia, por reconstruccin, por induccin amplificadora, por muestreo, por estadstica, por concordancia, por diferencia, por concordancia y diferencia, por residuo, por variaciones concomitantes. Como quiera que sea, la forma ms general y al mismo tiempo consistente y desprevenida de acercarnos al problema de las inferencias es el de las inferencias probables. Induccin y probabilidad son los ttulos genricos que abren y fundan a la vez a la investigacin cientfica. Exactamente en este sentido, se ha afirmado que la columna vertebral de la ciencia (investigacin cientfica) es la (teora de la) probabilidad.

La lgica, en su sentido originario, trata de la consecuencia. Y el pluralismo lgico trata de las diversas formas como se dice la consecuencia en distintos lenguajes, o tambin de la pluralidad de maneras como pueden decirse en un solo y mismo lenguaje. Ahora bien, las ciencias de la complejidad se articulan en una multiplicidad de teoras (teora de las fluctuaciones, teora de las bifurcaciones, teora de la autoorganizacin, teora de la autocriticalidad autoorganizada, y muchas ms), diversidad de ciencias, diversidad de modelos, etc. A fortiori, las LNCs pueden y deben tratar con esta multiplicidad. Slo que ya no se trata nica y exclusivamente de la multiplicidad de inferencias o consecuencias sino, adems, de la diversidad de definiciones y modos expresin del lenguaje. As, una de las lgicas ms destacadas y que sirve a la vez como trnsito entre la lgica formal clsica, propiamente dicha, y las lgicas no-clsicas es la lgica modal (Garson, 2006). En efecto, la lgica ha reconocido la importancia del lenguaje, su capacidad expresiva (y. en caso contrario, su capacidad oclusiva). Con ello, la teora de modelos, que se ocupa de los temas y problema de definibilidad (definability) (Gabbay, Maksimova, 2005); notablemente, se trata de los temas relativos a las definiciones mismas (de un tema, un objeto, un problema, un campo o un sistema, por ejemplo). Para decirlo desde otra perspectiva, se trata del hecho de que hacemos cosas con palabras (Austin). Gracias a la incorporacin de la teora de modelos la lgica clsica se ve magnficamente ampliada, si no superada. A la vez, conjuntamente con el estudio de las inferencias vlidas y los problemas de definibilidad, el pensar lgico se compone o se articula en o como teora de la recursividad. Esta teora trata de los problemas de computacin computacin, decidibilidad e indecibilidad, (Rosenberg, 2010), hipercomputacin (Syropoulos, 2008), el dplice problema importante de los problemas P versus NP (Carlson et al., 2006) y el problema de la completud (completeness), Kaye, 2007); ulteriormente, se trata incluso de los problemas de computacin biolgica. Al fin y al cabo, pensar lgicamente (legein) no es otra cosa que computar. La computacin, en otra palabras, es la expresin actual de lo que clsicamente fue la lgica. La diferencia, sostengo, es que por primera vez aparecen explcitamente la lgica y la teora recursiva formuladas y concebidas, si no en paralelo, s por lo menos en trminos de una doble implicacin recproca. Exactamente en este sentido se ha sealado a la lgica como el clculo de la ciencia de la computacin (dAvila Garcez et al., 2009). Resumiendo: la lgica en general esto quiere decir, en particular, las lgicas noclsicas-, se compone de tres niveles, as: Teora de las demostraciones (es decir, las inferencias vlidas; esto es, el estudio de la consecuencia) Teora de modelos (que trata de la definibilidad; es decir, los temas relativos a la interpretacin del lenguaje natural o artificial) Teora recursiva (o tambin teora de la recursividad; es llamada incluso teora de la recurrencia) (es decir, todos los problemas de computacin; por consiguiente, necesariamente, los problemas relativos a la complejidad algortmica y a la complejidad computacional)3.
3

La complejidad algortmica hace referencia a la longitud ms breve de un algoritmo para resolver un problema, en tanto que la complejidad computacional se refiere al tiempo necesario para resolver un problema.

Son, afirmo, los entrelazamientos, las combinaciones y las implicaciones recprocas entre s entre las tres teoras mencionadas las que constituyen a las lgicas no-clsicas y son precisamente ellas las que sirven de eslabn slido para el estudio de los sistemas complejos no-lineales. En este sentido, es importante observar que es perfectamente posible asimilar el legein clsico a, en trminos contemporneos, la computacin sin reducir con ello la lgica a un computacionalismo ni nada semejante (en el sentido como en la historia se ha cado y se ha hecho la crtica a un fisicalismo, logicismo, matematicismo, biologismo, economicismo y dems). En este sentido, se ha producido un cambio en la concepcin misma de lo que es computable (Barry Cooper et al., 2008). De acuerdo con este cambio, dentro de los nuevos paradigmas computacionales se encuentran: i) las conversaciones; ii) los temas y problemas de numeracin; iii) las demostraciones; iv) el tiempo finito; v) el tiempo infinito; vi) el tiempo continuo; vi) el tiempo discreto. En otras palabras, las lgicas no-clsicas constituyen la forma ms adecuada para estudiar y explicar sistemas con propiedades como diversidad, no-linealidad, difusividad (fuziness), paralelismo, ausencia de un control rgido o, equivalentemente, la presencia de mltiples sistemas deductivos, cambio, probabilidad, no-determinismo. El siguiente cuadro compendia las nuevas relaciones biunvocas entre lgica en general y computacin, y ms exactamente entre lgicas no-clsicas y complejidad: Tabla 1: Relaciones biunvocas entre complejidad y lgicas no clsicas COMPUTACIN Computacin Problema P y NP Computacin no convencional Complejidad Computacional Complejidad Algortmica Computacin Bioinspirada PENSAMIENTO (LGICA) Pompas de intuicin Experimentos mentales Lgica Paraconsistente Lgica de la Relevancia Lgica Cuntica Lgica del Tiempo Lgica no-monotnica Lgica Epistmica Lgica Dinmica Lgica Modal Lgica Difusa Lgicas Polivalentes Lgica Libre Lgica Intuicionista

Algunos ejemplos conspicuos

Por razones de espacio, a riesgo de simplificacin, quisiera a continuacin destacar algunos ejemplos de cada una de las lgicas mencionadas, que pueden servir para posteriores elaboraciones ms sistemticas4. El orden de la presentacin a continuacin es caprichoso: La lgica libre procede con libertad acerca de la asuncin de existencias. No necesita asumir que algo existe para hablar al respecto, ni tampoco necesita demostrar la existencia de algo para hacer lgica de aquello de que se ocupa. Sus procesos de cuantificacin son vacos. La lgica del tiempo (o lgica temporal) destaca aquello que hace falta notablemente en la lgica formal: el tiempo. Mientras que el lenguaje proposicional de la lgica clsica es atemporal coincidiendo as con una premisa metafsica: verdad no est en el tiempo-, la lgica del tiempo pone de manifiesto, a partir de la obra seminal de Prior (2003), que el tiempo altera el valor de verdad o de falsedad de una proposicin. En otras palabras, no solamente hay verdad en la historia, sino que, ms radicalmente, hay una historia de (la) verdad. De este modo, la lgica en general gana en vitalidad, mundaneidad e historia. La lgica dinmica pone en primer plano, por va de contraste, el hecho de que la lgica formal clsica trata de verdades o falsedades estticas (con lo cual, por lo dems, se traza un puente que une a la lgica dinmica con la lgica temporal5). La lgica dinmica se ocupa de fenmenos, comportamientos y sistemas esencialmente variables, poniendo claramente, sobre la mesa, a plena luz del da, el reconocimiento explcito de que dentro de la dinmica el aspecto ms interesante es el de las posibilidades abiertas, hacia futuro, de un sistema dado. Los procesos de cuantificacin de esta lgica permiten otra clase de formalizaciones distintas tanto a las que tradicionalmente haba tenido la matemtica como la lgica, en general. La lgica no-monotnica se aplica a razonamientos por defecto o tambin a razonamientos inciertos. Se trata de aquellos casos en los que se extraen conclusiones que pueden ser revisadas debido a la inclusin de nuevos datos, o tambin ante la presencia de premisas no consideradas anteriormente. As, las consecuencias extradas previamente resultan cuestionables o invlidas. Esta clase de lgica es la de todos aquellos sistemas que son parcialmente ordenados y que implican, por consiguiente, el trabajo con sistemas discretos. La lgica modal es, sencillamente, la lgica de la posibilidad y de la necesidad; esto es, de las cosas que deben o deberan ser y de las que pueden o podran ser. La lgica modal se articula a su vez como lgica modal altica, lgica dentica y como la lgica epistmica.
4

He trabajado estos aspectos puntuales en varios textos: Maldonado, C. E., (2005) Por qu hay mltiples lgicas?, en: Zero. Quince, Universidad Externado de Colombia, segundo semestre, pgs. 112-117; (2006a) Lgicas no clsicas (2): la lgica del tiempo, en: Zero. Diecisis, Universidad Externado de Colombia, primer semestre, pgs. 124-128; (2006b) Lgicas no clsicas (3): Lgicas paraconsistentes, en: Zero. Diecisiete, Universidad Externado de Colombia, segundo semestre, pgs. 148-152; (2007a) Comprensin positiva de las lgicas no-clsicas (4), en: Zero. Dieciocho, Universidad Externado de Colombia, primer semestre, pgs. 160-163; (2007b) lgicas no-clsicas (5): la lgica cuntica, en: Zero Diecinueve, Universidad Externado de Colombia, segundo semestre, pgs. 164-168, y son el objeto constante de referencia en mis clases y conferencias.
5

Pero este puente no ha sido objeto de tematizaciones o elaboraciones explcitas hasta la fecha; no por lo menos en el plano lgico, algo que s puede decirse (intuitivamente) del lado de las ciencias de la complejidad.

La introduccin de terminados smbolos permite distinguir entre lo que es necesario, lo que es verdadero y lo que es posible (Garson, 2006). Estas distinciones implican serias cuestiones de orden filosfico. La lgica paraconsistente logra superar la dificultad de la lgica a partir de Aristteles y, de hecho, la racionalidad fundante de la humanidad occidental: las contradicciones. Las lgicas paraconsistentes trabajan con contradicciones a condicin de que sean no-triviales; esto es, el reto estriba en la trivializacin de la consistencia o la inconstencia. En este plano se elaboran distinciones ms finas, tales como proposiciones consistentes, inconsistentes y paraconsistentes (Bobenrieth, 1996). El motivo central de trabajo de esta lgica son las inconsistencias y los conjuntos no satisfechos, incompletos, digamos. La lgica de la relevancia es una lgica esencialmente relativa muy en la lnea de la teora de la relatividad de Einstein-. Es exactamente la lgica de la relevancia la que pone de manifiesto que no existe una lgica nica de una verdad (the One True Logic does not exist), algo que es vlido, por lo dems, tambin para o a partir de la lgica modal. Gracias a la lgica de la relevancia aprendemos que la implicacin (implication) es ms dbil que la consecuencia fuerte (entailment)6. Existe una discusin no enteramente dirimida hasta la fecha- acerca de si la lgica de la relevancia forma parte o no de las lgicas paraconsistentes. Omitimos aqu este tema. La lgica intuicionista se inspira en la obra del filsofo y matemtico L. E. Brouwer a partir de sus ideas acerca de la naturaleza de las matemticas. La matemtica es, de acuerdo con este autor, una actividad, antes que una teora. Construimos objetos con nuestra mente, con lo cual, un objeto matemtico cualquiera, tanto como una operacin o relacin matemticas no tienen ninguna solidez en el mundo emprico, sino, tan slo, en funcin del rigor interno de nuestra construccin. Un elemento importante es el reconocimiento explcito de que los fragmentos matemticos son decidibles, pero la lgica predicativa intuicionista es indecidible. La lgica epistmica tiene el mrito de que considera el conocimiento no solamente en trminos individuales sino adems, y muy significativamente, en trminos sociales o colectivos, esto es, como el resultado de interacciones entre agentes en un grupo. El contraste con la lgica clsica no puede ser mayor. Lo que un agente sabe acerca del conocimiento o la ignorancia de otro agente es determinante para la propia comprensin del primer agente tanto como para sus acciones. Las lgicas polivalentes se articulan en lgicas tri, tetra, penta, exa, y as hasta infinivalentes. Estas lgicas nacen al rechazar el principio de bivalencia de la lgica formal clsica que sostiene que una proposicin es verdadera o falsa. Pero surgen igualmente al introducir otras conexiones funcionales de no verdad, y las ms evidentes son las de modalidad; es decir, la posibilidad y la necesidad. La lgica trivalente, por ejemplo trabaja con tres valores: verdadero, falso e incierto o indeterminado. Los anlisis acerca de vaguedad e inexactitud juegan un papel importante aqu. La semntica de las lgicas polivalentes no se restringe a la semntica de mundos posibles, y se abre a la semntica algebraica.

Existe en ingls una distincin que es difcil de traducir al espaol. Se trata de las diferencias entre imply implication, entail entailment, y infer inference. En espaol slo tenemos implicacin e inferencia.

La lgica cuntica tiene como antecedente o fundamento la mecnica cuntica. Esta es la ms radical de todas las crticas al lenguaje binario, booleano, de la lgica formal clsica. Adopta dos formas principales: la lgica cuntica abstracta (tambin llamada ortomodular) y la lgica cuntica concreta (llamada tambin de Hilbert) (Engesser et al., 2009). El problema bsico consiste en estudiar si lo que sabemos del universo microscpico se corresponde o no y cmo con lo que sabemos del universo macroscpico. La lgica cuntica es a todas luces una lgica no-monotnica. La lgica de fbrica se emparenta con la lgica cuntica y tambin con programacin. Abarca desde la fbrica de significado hasta la fbrica de la realidad o de la sociedad. Cubre temas combinatorios y hace referencia esencialmente a los bloques lgicos con los que justamente construimos significados. La lgica difusa es la nica que ha logrado ser ampliamente implementada en trminos tecnolgicos, pues es la base lgica de todas las nuevas tecnologas. Este hecho permite un amplio optimismo con respecto a las implementaciones prcticas de las dems lgicas no-clsicas. Finalmente, en el captulo de la metateora de la lgica un captulo apasionante que se ocupa de los modos como puede ser efectivamente posible una teora cientfica y/o lgica contempornea- las LNCs ponen al descubierto el hecho de que son efectivamente posibles distintas clases de teora, as: teoras consistentes, teoras inconsistentes, teoras paraconsistentes, teoras subdeterminadas (Pea, 1993; Urquhart, 2007; Wolenski, 2007). Una presentacin sucinta de las teoras cientficas adopta, a mi modo de ver, la siguiente expresin: {teoras subdeterminadas{teoras consistentes }}}} Y de manera formal: {ts{tp{ti{tc}}}} El bucle se cierra del lado de las teoras consistentes. En general, una teora se dice que es consistente cuando se pueden an hacer cosas con ella, pero no se le puede hacer decir ms de lo que ya ha dicho; es decir, su capacidad de explicacin ya est cerrada, o agotada. Debe quedar aqu de lado, por razones de espacio, la caracterizacin de cada una de estas teoras. En este mismo plano, es fundamental atender a las distinciones entre lo trivial y lo notrivial de una teora, una explicacin o una proposicin. La tabla 2 suministra un esquema de criterios para distinguir lo trivial de lo no-trivial. El valor de esta tabla es puramente indicativo, y no pretende aqu ser exhaustiva. Tabla 2: Relaciones entre principios triviales y no-triviales TRIVIAL NO-TRIVIAL Proposiciones o afirmaciones universales. Afirmaciones o proposiciones particulares o paraconsistentes{teoras inconsistentes{teoras

Extensionales, justamente Implicaciones directas Herramientas de uso comn

singulares Implicaciones indirectas, paralelas, libres y otras semejantes Creacin de nuevas herramientas y aproximaciones

Lgica, tecnologa, mundo


La complejidad implica, manifiestamente, una filosofa del movimiento, a saber: no ya el movimiento lineal, cclico, peridico, regular y controlado que es el que caracteriza precisamente a la mecnica clsica, desde Galileo hasta Newton. Por el contrario, el tipo de movimiento que concierne a la complejidad son los movimientos sbitos, inesperados, no predecibles, incontrolables e irreversibles. Estos movimientos se expresan en el lenguaje de las ciencia de la complejidad como caos, catstrofes, equilibrios puntuados, redes libres de escala, leyes de potencia, y otros semejantes. Mientras que la lgica formal clsica se corresponde con un mundo lineal causal, por tanto-, jerrquico, centralizado, rgido y cerrado o aislado si no de forma abierta s de modo implcito-, las LNCs corresponden al desarrollo de las nuevas tecnologas, as: inicialmente, las tecnologas TICs (tecnologas de la informacin y la comunicacin)7 y luego igual y ms radicalmente, las tecnologas NBICs esto es, las nanotecnologas, la biotecnologa, las tecnologas de la informacin, y las tecnologas aplicadas a procesos cognitivos-8, o tecnologas convergentes. A estas ltimas hay que agregar la dimensin social de la tecnologa.

Los rasgos de la complejidad


Con seguridad, uno de los rasgos especficos de los sistemas complejos es el hecho de que estn (por lo menos parcialmente) marcados por incertidumbre. Huynh et al. (2008) han llamado expresamente la atencin acerca de la conveniencia de combinar anlisis de incertidumbre conjuntamente con las lgicas no-clsicas. La complejidad no es un objeto o un campo de estudio. Por el contrario, es el ttulo que comprende una serie de problemas de mxima importancia, envergadura y alcance (Maldonado, 2009). El estudio sistemtico de la complejidad da lugar a las ciencias de la complejidad.

Las TICs son el resultado del surgimiento y desarrollo de internet, los GPS, las redes inalmbricas, la microrobtica, la fibra ptica, la nanotecnologa y los sistemas micro-electromecnicos (MEMS, en ingls), principalmente.
8

En contraste con las TICs, las tecnologas convergentes se fundan particularmente en la capacidad de procesamiento de informacin y de comunicacin. De esta forma, la mirada gira de la mera acumulacin e interpretacin de datos e informacin, hacia la transformacin de la informacin y del conocimiento por parte de s mismos. Exactamente en este sentido el fundamento de estas tecnologas son los sistemas vivos en general y la tecnologa como la ciencia- se da a la tarea no ya de conocer el mundo y la naturaleza sino, mejor an, de crear una nueva (o segunda) naturaleza.

Paralela, pero independientemente de la nocin de pluralismo lgico, en biologa en general y en la filosofa de la biologa en particular, la nocin de pluralismo juega un papel fundamental (Mitchell, 2003). Dicho brevemente, en palabras de Mitchell, el pluralismo refleja complejidad, y el pluralismo no es tanto de variedad de explicaciones cuanto que un pluralismo integrativo. En otras palabras, se trata del reconocimiento y el trabajo mismos con la diversidad de la contingencia. Precisamente por ello aparecen y son necesarias diversas explicaciones, metodologas, tcnicas y enfoques que es lo que caracteriza, en general, a la ciencia y a la lgica contemporneas. Cada poca, se ha dicho, posee su propia metfora. Pues bien, la metfora de la ciencia contempornea en general, y a fortiori de las ciencias de la complejidad, procede de la biologa y la ecologa. En verdad, los sistemas de mxima complejidad conocida en cualquier acepcin de la palabra- son los sistemas vivos. La naturaleza en general opera en paralelo, se caracteriza por pluralidad (diversidad, exactamente)9, y el modo de trabajo es la abduccin. Hay que decirlo: la diversidad es tanto el resultado de contingencias como la generacin misma de contingencias en los sistemas vivos, en la evolucin a todos los niveles de la naturaleza y la sociedad. Las ciencias de la complejidad no parten de una definicin de complejidad sino, mejor an, a partir de la identificacin de una serie de propiedades que exhiben los sistemas, fenmenos y comportamientos que no pueden ser ya comprendidos o estudiados como sistemas clsicos. Las propiedades o atributos ms generalmente reconocidos son: emergencia, no-linealidad, autoorganizacin, sistemas abiertos, fluctuaciones, turbulencias, incertidumbre, pluralidad irreductible, en fin, complejidad creciente, ausencia de jerarquas rgidas, no centralidad, adaptacin, no determinismo (o indeterminacin), dinmicas nolineales. Grfico 1: Relacin entre la lgica formal clsica y lgicas no-clsicas

La diversidad de la vida se dice de tres maneras pero es una sola: diversidad biolgica o natural, gentica y cultural. Los pases que tienen los tres tipos de diversidad se dicen megadiversos (hotspots).

El Grfico 1 ilustra la idea central segn la cual una vez que se hubo constituido como ciencia, la lgica formal clsica permite desde s misma algunos vasos comunicantes con lgicas no-clsicas. Con seguridad, los nexos ms prximos y fuertes son con la lgica dentica, la lgica modal y la lgica de contrafcticos10. En cualquier caso, las lgicas noclsicas se dividen entre las que son extensiones de la lgica formal clsica y aquellas que son alternativas a la misma. Este grfico no incluye todas y cada una de las lgicas noclsicas tratadas en este texto, pues slo quiere dar una idea general acerca de un territorio. Este territorio, sostenemos, puede contribuir de manera significativa, como es efectivamente el caso expresamente con varias de las LNCs, a pensar la complejidad. En el grfico 1, las que aparecen en azul son extensiones y no constituyen rupturas fuertes con la lgica clsica, aunque s introducen nuevos elementos a la vez que toman distancias del modo cannico de trabajo en la lgica clsica. Las lgicas que aparecen en naranja/caf constituyen alternativas a la lgica clsica. Son ellas las lgicas filosficas propiamente dichas. Es maravilloso observar que las LNCs se desarrollan particularmente a partir de 1950s y continan naciendo y desarrollndose hasta le fecha Basta mirar a la bibliografa especializada para hacerse a una idea acerca de los lugares, autores, pases y circunstancias que han dado lugar a estas lgicas. As, se trata de un continente de trabajo por explorar promisorio, amplio y rico.

10

En este texto se ha hecho deliberadamente omisin a la lgica de contrafcticos que no es, strictu sensu, una lgica no-clsica.

A manera de conclusin
Las ciencias de la complejidad pueden contar con la ayuda de las lgicas no-clsicas, anlogamente a como han contado con la contribucin del caos, la teora de catstrofes, la termodinmica del no-equilibrio, los fractales o la ciencia de redes. En este sentido, cabe decir que las lgicas no-clsicas constituyen una de las ciencias de la complejidad. Esta afirmacin, sin embargo, pudiera generar algn resquemor debido a que podra interpretarse como una cierta prdida de estatuto (epistemolgico) propio de las LNCs. No se trata, en absoluto, de que las LNCs formen parte de las ciencias de la complejidad a la manera como, al decir de Aristteles y de la tradicin aristotlica, la lgica era concebida como un organon del conocimiento. No solamente aquella era lgica al servicio de la metafsica supuesta la contribucin de Andrnico de Rodas-, sino que, a la postre, la lgica misma abandon los dominios de la metafsica y se hizo ciencia: fue la lgica formal clsica. Que las LNCs formen parte de las ciencias de la complejidad no menoscaba, para nada, su independencia y ciudadana; su mayora de edad, digamos, a la manera de Kant. Pero s indica la direccin en la cual miran y/o pueden mirar las LNCs, a saber: en la direccin de una magnfica revolucin cientfica (Kuhn) y cultural. En sntesis: no solamente es posible pensar, estudiar, comprender y explicar la complejidad con la ayuda de las lgicas no-clsicas. Mejor an, cabe pensar plausiblemente, que el abanico (cluster) de las LNCs entran a formar parte de las ciencias de la complejidad; lo cual no es poca cosa11. El lenguaje de las ciencias de la complejidad est fuertemente permeado por la fsica, las matemticas, la biologa, la qumica y las ciencias de la computacin, si bien es cierto que existen numerosos conceptos provenientes, cada vez ms, de la filosofa y las ciencias sociales y humanas. El dilogo es una metfora- entre ciencias de la complejidad y las lgicas no-clsicas permitir dos cosas: de un lado, la incorporacin del lenguaje de las LNCs en el estudio de la complejidad y, de otra parte, el aprendizaje de lenguajes de la complejidad en el mbito de la lgica en general. Finalmente, hay que decir que las lgicas no-clsicas tambin son lgicas formales, y la formalidad hace referencia al rigor rigor sintctico, semntico, conceptual-. De forma positiva han llegado a ser reconocidas igualmente como lgicas filosficas, puesto que los problemas de que se ocupan son esencialmente filosficos, en el ms preciso sentido de la palabra filosofa. Esta es, por lo dems, otra de las vinculaciones slidas con la complejidad. Al fin y al cabo, las ciencias de la complejidad se ha dicho que se ocupan de los problemas filosficos que la ciencia clsica no vio o no poda o saba atender. Con lo cual, justamente, se produce un quiebre; para decirlo en trminos de Kuhn o de Serres, una revolucin, una bifurcacin.

11

La Encyclopedia of Complexity and Systems Science, con R. A. Meyers como Editorin-Chief, New York, Springer Verlag, 2009, no considera en ninguna parte de los diez tomos y numerosas entradas, no digamos la inclusin de las LNCs en las ciencias de la complejidad, ni tampoco, ms moderadamente, la posibilidad de un dilogo abierto, cruzado y mutuamente nutritivo entre complejidad y lgica (= LNCs). He aqu un motivo adicional para el estudio que precede.

Referencias bibliogrficas
Alchourrn, C. E., Mndez, J. M., Orayen, R., (Eds.). 1995. Lgica. Madrid: Trotta-CSIC Aguzzoli, S., Ciabattoni, A., Gerla, B., Corrado M., Marra, V., (Eds.). 2007. Algebraic and Proof-Theoretic Aspects of Non-classical Logics. Papers in Honor of Daniele Mundici on the Occasion of His 60th Birthday. Springer Verlag Arl Acosta, H. 2005. Non-Adjunctive Inference and Classical Modalities, en: Journal of Philosophical Logic 34: 581-605 Barry Cooper, S., Lwe, B., Sorbi, A., (Eds.), (2008). New Computational Paradigms. Changing Conceptions of What is Computable. New York: Springer Verlag Beal, J. C., and Restall, G. 2006. Logical Pluralism. Oxford: Clarendon Press Bobenrieth, A. 1996. Inconsistencias Por qu no? Un estudio filosfico sobre la lgica paraconsistente. Bogot: Colcultura Bochenski, I. M., (1985). Historia de la lgica formal. Madrid: Gredos Bonnay, D., et Cozic, M., (Textes runis par), (2009). Philosophie de la Logique. Consquence, preuve et vrit. Paris: J. Vrin Calabrese, P. G. 2005. Toward a More Natural Expression of Quantum Logic with Boolean Fractions, en: Journal of Philosophical Logic 34: 363-401 Carlson, J., Jaffe, A., and Wiles, A., (Eds.), (2006). The Millenium Prize Problems. Providence, RI: American Mathematical Society Carnielli, W., Coniglio, M., Gabbay, D. M., Gouveia, P., Sernadas, C. 2008. Analysis and Synthesis of Logics. How to Cut and Paste Reasoning Systems. Springer Verlag Cook, S., Nguyen, P., (2010). Logical Foundations of Proof Complexity. Cambridge: Cambridge University Press DAvila Garcez, A. S., Lamb, L. C., Gabbay, D. M., (2009). Neural Symbolic Cognitive Reasoning. Heidelberg: Springer Verlag DOttaviano, I., (2010). Non-Classical Logics and Applications, en: Maldonado, C. E., (Ed.), Fronteras de la ciencia y complejidad, pgs. 79-98 Engesser, K., Gabbay, D. M., Lehmann, D., (Eds.), (2009). Handbook of Quantum Logic and Quantum Structures. Quantum Logic. Elsevier Gabbay, D. M., Shetman, V., and Skvortsov, D., (2009). Quantification in Nonclassical Logic. Vol. 1. Elsevier Gabbay, D. M., and Woods, J., (Eds.). 2007. Handbook of the History of Logic. Volume 8 The

Many Valued and Nonmonotonic Turn in Logic: Elsevier/North Holland Gabbay, D. M., Goncharov, S. S., and Zakharyaschev, M., (Eds.), (2006). Mathematical Problems from Applied Logic I. Logics for the XXIst Century. New York: Springer Verlag Gabbay, D. M., Maksimova, L., (2005). Interpolation and Definability. Modal and Intuitionistic Logics. Oxford: Clarendon Press Gabbay, D. M., and Guenther, F., (2005). Handbook of Philosophical Logic. 2nd Edition, Vol. 3, Dordrecht/Boston/London, Kluwer Academic Publishers Gardies, J.L. 1979. Lgica del tiempo. Madrid: Paraninfo Garson, J. W. 2006. Modal Logic for Philosophers. Cambridge: Cambridge University Press Goble, L., (Ed.). 2005. The Blackwell Guide to Philosophical Logic. Blackwell Publishing Haack, S. 1991. Filosofa de las lgicas. Madrid: Ctedra Haack, S. 1996. Deviant Logic, Fuzzy Logic. Beyond the Formalism. Chicado and London: The University of Chicago Press Hanna, R. 2006. Rationality and Logic. Cambridge, M. A./London: The PIT Press Harel, D., Kozen, D., Tiuryn J., (2000). Dynamic Logic. Cambridge, MA and London: The MIT Press Hedman, S., (2004). A First Course in Logic. An Introduction to Model Theory, Proof Theory, Computability, and Complexity. Oxford: Oxford University Press Herrick, P. 2000. The Many Worlds of Logic. Harcourt Brace & Co. Hintikka, J. 2007. Socratic Epistemology. Explorations of Knowledge-Seeking by Questioning. Cambridge: Cambridge University Press Hintikka, J., and Sandu, G. 1996. A Revolution in Logic?, Nordic Journal of Philosophical Logic, Vol. 1, No. 2, pp. 169183 Huynh, V.-N., Nakamori, Y., Ono, H., Lawry, J., Kreinovich, V., Nguyen, H. T., (Eds.), (2008). Interval/Probabilistic Uncertainty and Non-classical Logics. Berlin: Springer Verlag Jacquette, D., (Ed.). 2006. A Companion to Philosophical Logic. Blackwell Publishing Kaye, R., (2007). The Mathematics of Logic. A Guide to Completeness and their Applications. Cambridge: Cambridge University Press Kneale, W., and Kneale, M., (1984). The Development of Logic. Oxford: Clarendon Press Kneebon, G. T., (2001). Mathematical Logic and the Foundations of Mathematics. New York: Dover

Kyburg, Jr., H. E., and Teng, Ch. M. 2001. Uncertain Inference. Cambridge: Cambridge University Press Maldonado, C. E., (Ed.), (2010). Fronteras de la ciencia y complejidad. Bogot: Ed. Universidad del Rosario Maldonado, C. E., (2009). La complejidad es un problema, no una cosmovisin, en: UCM Revista de Investigacin, No 13, Mayo, pgs. 42-54 Mares, E. D., (2007). Relevant Logic. A Philosophical Application. Cambridge: Cambridge University Press Mitchell, S. 2003. Biological Complexity and Integrative Pluralism. Cambridge: Cambridge University Press Nagel, T. 1974. La lgica sin metafsica. Madrid: Tecnos Nidditch, P. H. 1983. El desarrollo de la lgica matemtica. Madrid: Ctedra Palau, G., (2002). Introduccin filosfica a las lgicas no clsicas. Buenos Aires: GedisaUBA Pea. L., (1993). Introduccin a las lgicas no clsicas. Mxico: UNAM Priest, G. 2008. An Introduction to Non-Classical Logic (2nd Edition). Cambridge: Cambridge University Press Prior, A. N., (2003). Papers on Time and Tense. Oxford: Oxford University Press Proudfoot, D. 2006. Possible Worlds Semantics and Fiction, en: Journal of Philosophical Logic 35: 9-40 Rosenberg, A. L., (2010). The Pillars of Cmutation Theory. State, Encoding, Nondeterminism. New York: Springer Verlag Quine, W. V. 1984. Filosofa de la lgica. Madrid: Alianza Editorial Quine, W. V. 1992. La bsqueda de la verdad. Barcelona: Crtica Smith, N. J., J. 2004. Vagueness and Blurry Sets, en: Journal of Philosophical Logic 33: 165-235 Syropoulos, A., (2008). Hypercomputation. Computing Beyond the Church-Turing Barrier. New York: Springer Verlag Tarski, A., (1961). Introduction to Logic and the Methodology od Deductive Sciences. New York: Dover Urqhart, A., (2007). Metatheory, en: D. Jaquette, A Companion to Philosophical Logic,

pgs. 307- 318 Van Benthem, J., (2006). Open Problems of Logical Dynamics, en: Gabbay, D. M., Goncharov, S. S., and Zakharyaschev, M., (Eds.), (2006). Mathematical Problems from Applied Logic I. Logics for the XXIst Century, pgs. 137-192 Van Benthem, J., (2008). Logical dynamics meets logical pluralism?, Australasian Journal of Logic (6), 182-209 Van Heijenoort, J., 1967. From Frege to Gdel. A Source Book in Mathematical Logic, 18791931. Cambridge, MA/London: Harvard University Press Weinstein, S., (2007). Logic in Finite Structures: Definability, Complexity, and Randomness, in: D. Jacquette, A Companion to Philosophical Logic, pgs. 332-348 Wolenski, J., (2007). Metatheory of Logics and the Characterization Problem, en: D. Jaquette, A Companion to Philosophical Logic, pgs. 319-331

You might also like