INTRODUCCION DE LOGICA DEL RACIOCINIO JURIDICO Una vez determinada, in abstracto, la aplicabilidad de una norma, hay que resolver,

relativamente a casos concretos de la experiencia jurdica, si stos realizan o no el supuesto de aquella. Para contestar tal pregunta se requiere un conocimiento adecuado del sentido y alcance de la disposicin que se pretende aplicar. A tal conocimiento solo puede llegarse por el camino de la interpretacin de las expresiones de que han hecho uso los rganos creadores de derecho. La finalidad de las tareas hermenuticas es conocer el sentido de las normas que se pretende aplicar a situaciones particulares. El medio que a tal fin conduce es la interpretacin de las expresiones que utilizaron los rganos creadores de aquellas reglas. Lo que hay que interpretar no son las reglas mismas, sino las formas de que tales rganos se han servido para expresarlas. Para tener una base slida, es til recordar el concepto general de interpretacin. El hombre es capaz de interpretar todo lo que tiene sentido, todo lo que encierra o puede encerrar significaciones. Toda expresin genuina es un signo o conjunto de signos y, como tal, tiene significacin. El concepto general de interpretacin puede contraerse al estudio de las expresiones, ya que stas constituyen el material de la actividad del intrprete. La interpretacin, en la esfera del derecho, lo es en todo caso de formas expresivas. Para lograr una idea rigurosa de lo que el verbo interpretar significa, el mejor mtodo consiste en descubrir los elementos integrantes de cualquier expresin. Este anlisis lo ha realizado magistralmente Edmundo Husserl. De acuerdo con Husserl, se puede distinguir: 1.- El aspecto fsico de las mismas, la materialidad de los signos o, en otras palabras, lo sensorialmente perceptible. 2.- La significacin, es decir, el sentido de cada expresin, lo expresado o significado por ella. 3.- El objeto, o sea, aquello a que la expresin se refiere. En el caso de las leyes, encontramos que el texto legal aparece ante nosotros como una forma de expresin que en su aspecto externo esta constituida por el conjunto de signos impresos sobre el papel. Debe hablarse de actividad interpretativa siempre que se trate de desentraar el significado de formas de expresin de normas de derecho. Como los objetos lgicojurdicos se dividen en conceptos, juicios y raciocinios, las formas de expresin en que el jurista ejerce su actividad hermenutica solo pueden ser: a) de normas de derecho; b) de conexiones entre ellas (raciocinios jurdicos); c) de significaciones de tipo conceptual. En a) y b) las significaciones son judicativas; en c) no judicativas. La finalidad del intrprete, en la esfera jurdica, es desentraar el sentido de las formas de expresin de que hacen uso los rganos creadores de derecho o, en otras palabras, el conocimiento de las normas expresadas.

El acto de aplicacin presupone el conocimiento de la regla que se trata de aplicar y, por ende, la indispensable labor interpretativa. Las reglas para determinar el sentido adecuado de las expresiones jurdicas suelen ser divididas por los autores en dos grupos, segn que tengan por objeto, ya la interpretacin verbal, ya la real de aquellas expresiones. La primera consiste segn Kalinowski en descubrir la significacin literal de la forma jurdica; la otra busca el sentido no formulado expressis verbis, sino, para valernos de una imagen, ms profundo u oculto, latente bajo la superficie de aquella significacin. Hablando con rigor habra ms bien que decir que una tiene por objeto desentraar el sentido lingstico del texto que se interpreta, en tanto que la real busca otro distinto y mas hondo, no expresado por las palabras de la ley. Mas que de dos clases de interpretacin, debiera hablarse de momentos o etapas de la actividad hermenutica. Pues si lo que el intrprete busca es descubrir el sentido de la expresin interpretada o, la norma que trata de aplicar, y esta es una, su tarea solo queda cumplida cuando logra establecer la significacin objetiva del precepto. En el caso de las expresiones verbales, nicas a que la distincin puede aplicarse, la llamada interpretacin literal es solo punto de partida, pues lo que el hermeneuta debe primeramente proponerse es determinar el sentido de las palabras empleadas por el creador de la norma. La circunstancia de que a veces se hable de una dualidad de significados, uno de los cuales sera el que revela la lectura del texto, solo se comprende en la medida en que el intrprete juzga que ese primer resultado no es satisfactorio y que el sentido genuino tiene que ser distinto. Semejante creencia lo lleva a contraponer al puramente literal un sentido nuevo, nico correcto a su juicio, frente al cual el otro resulta aparente, defectuoso o inautntico. La posibilidad de esta inadecuacin entre el sentido objetivo y el que descubre la interpretacin verbal, a menudo esta condicionada por una peculiaridad de las normas que se trata de conocer y hacer efectivas. stas no existen aisladas, sino como partes de un sistema. Su sentido no puede depender exclusivamente de la expresin de cada precepto, y en la mayora de los casos obedece a la conexin lgico-sistemtica del que se pretende aplicar con otros del mismo ordenamiento y, sobre todo, con los de la institucin correspondiente. As como en un discurso cualquiera, o en una obra literaria o cientfica, el sentido de una frase no es siempre el que tendran, aisladas del contexto, las palabras que la forman, la interpretacin literal de un artculo de un cdigo o de cierta clusula de un contrato puede no conducir, derechamente, al conocimiento objetivo de la norma expresada. El que pueda hablarse de inadecuacin o discrepancia incluso de antagonismo entre la letra y el espritu de la expresin jurdica, depende otras veces de la oscuridad de las oraciones de que el creador de la norma se ha servido. En tal hiptesis la duda no surge de la confrontacin del sentido literal de la expresin con el

que parece impuesto por su conexin lgica con otras del sistema, sino de la vaguedad o carcter equivoco de aquella. Tambin es posible, por ltimo, que el intrprete crea que el sentido de las palabras no concuerda con otro ms recndito, que en su opinin dimana de los principios generales que inspiraron la obra legislativa. La llamada interpretacin literal, mas que como mtodo sui generis, debe considerarse como primer momento de la actividad hermenutica y, por tanto, como aspecto suyo cuyos resultados han de ser puestos a prueba con vistas a su abandono, confirmacin o reforma. Algunos juristas de la escuela Exegtica, basndose en la distincin entre letra y espritu, contraponen a la interpretacin gramatical la mal llamada lgica. Cuando una ley es clara no es licito eludir su letra, so pretexto de penetrar su espritu. Sin embargo, hay casos en que el texto es deficiente u oscuro. Entonces no basta el examen gramatical, y es preciso echar mano de la interpretacin lgica. Su fin estriba en descubrir el espritu de la ley, para controlar, completar, restringir o extender su letra. Esos juristas, en caso de oscuridad o insuficiencia recomiendan buscar el pensamiento del legislador, a travs del examen de los trabajos preparatorios, exposicin de motivos, etc. Lo que se busca es la voluntad real o presunta de los redactores de ley. Segn Savigny la labor hermenutica puede definirse como reconstruccin del pensamiento nsito en la ley. Para llevar esa labor a feliz trmino hay que tener una idea precisa de los elementos que la constituyen. Savigny piensa que son cuatro, y los enumera en el siguiente orden: gramatical, lgico, histrico y sistemtico. El gramatical de la actividad interpretadora consiste en la exposicin de las leyes lingsticas que el legislador aplica; el lgico, en el anlisis estructural del pensamiento por l expresado; el histrico, en el estudio de las relaciones jurdicas determinantes de la promulgacin de la ley; el sistemtico, en la conexin interna de todas las instituciones y reglas jurdicas dentro de una magna unidad. Si por pensamiento nsito en la ley se entiende no la voluntad subjetiva del creador de la norma, sino el contenido objetivo de la expresin empleada, la definicin que Savigny propone puede considerarse correcta. Los cuatro elementos que menciona no corresponden a formas hermenuticas distintas, sino a momentos diversos de un solo mtodo. Frente al mtodo filolgicohistrico que investiga lo que los rganos de creacin jurdica quisieron decir, encontramos el lgicosistemtico, cuyo fin consiste en desentraar el sentido objetivamente vlido de los preceptos del derecho. El sentido de la ley no reside en la voluntad de los legisladores, porque aquella no vale como manifestacin de un querer subjetivo, sino como norma de conducta. La voluntad del legislador escribe Radbruch- no es medio de interpretacin, sino resultado y fin de la misma, expresin de la necesidad a priori de una interpretacin sistemtica y sin contradicciones de la totalidad del orden jurdico. Justamente por

eso es posible afirmar como voluntad del legislador lo que nunca existi conscientemente en la de ste. El interprete puede entender la ley mejor de lo que la entendieron sus creadores, y la ley puede ser mucho mas inteligente que su autor, es mas, tiene que ser mas inteligente que su autor. La posibilidad de discrepancia entre lo que el legislador quiso decir y lo que el texto dice, aparece con toda nitidez cuando se piensa en que las leyes, lejos de ser obra de un solo individuo, se deben a gran nmero de personas, que en mayor o menor grado intervienen en el proceso de la legislacin. El texto que el consultor o el juez tratan de entender, no existe solo, ni es expresin de una norma nica, sino que forma parte de un orden normativo y se haya en conexin con los dems preceptos del mismo. Esto quiere decir que las exigencias de unidad e interna congruencia, vlidas para cualquier sistema, reclaman una interpretacin contextual, no puramente textual, de las expresiones jurdicas. Y ya sabemos que el sentido objetivo puede no coincidir con la voluntad del autor de la ley, e incluso oponerse a ella. Con el propsito de explicarnos como la intencin del autor de una expresin puede discrepar del sentido objetivo de sta, pone Radbruch los siguientes ejemplos: Un acertijo puede tener, junto a la solucin que su autor pensara, todava otra segunda no pensada por l y que puede ser acertada como la primera; y una jugada aislada de ajedrez puede tener, posiblemente en la conexin de todo el juego, un sentido completamente diferente de aquel que crey el que la jugaba. Semejante a esta marcha en el ajedrez, que no esta solamente determinada por el jugador, es toda proposicin cuando hablamos. El lenguaje piensa y rima con nosotros, es decir, cuando hablo y pienso introduzco mis pensamientos en un mundo de pensamientos que tiene su propia y singular legislacin. Tan cierto como no estoy en situacin de crearme un lenguaje y un mundo conceptual para mi solo, es igualmente verdad que lo que expreso lo pongo bajo las leyes propias del mundo conceptual en que me muevo, es decir, uno a toda expresin ciertas relaciones conceptuales de las que no me esta permitido alejarme. La superioridad del mtodo lgicosistemtico, es indiscutible, porque descansa en principios correctos sobre el problema interpretativo, en tanto que el filolgico-histrico confunde de manera lamentable el sentido de las expresiones legales con la intencin de sus autores. Tanto la determinacin del sentido textual como la del contextual exigen como escribe Kalinowski el conocimiento de las reglas que precisan la estructura de la lengua en que las normas jurdicas son formuladas, es decir, las reglas de la lengua jurdica. Kalinowski dice: como el legislador no siempre define los trminos que emplea, e incluso los cientficos son a menudo equvocos vagos y fluctuantes, resulta ineludible establecer la

significacin adecuada, la extensin correcta y la comprensin precisa de cada uno. Al principio hermenutico supremo, se le da el nombre de axioma de interpretacin jurdica. El principio de la interpretacin contextual carecera de fundamento y sentido si los preceptos del derecho no fueran parte o elementos de un todo orgnico. La labor del interprete, en la orbita jurdica, tiene como finalidad inmediata el conocimiento del precepto expresado, ya en forma verbal, ya de otro modo, por los rganos creadores de derecho. No hay duda de que el acto aplicador es distinto del hermenutico, ni de que para aplicar una norma a la especie regida por ella es indispensable conocer el sentido y alcance de la expresin jurdica, lo que solo se logra interpretndola. Si las formas expresivas de que se valen los rganos creadores de derecho lo son de preceptos jurdicos, y stos, lgicamente considerados, son significaciones, el hecho de que cada expresin encierre sentidos diversos parece implicar la paralela existencia de una pluralidad de reglas normativas. El estudio de las sentencias de jueces distintos podra precisamente confirmar la posibilidad de que diversos interpretes deriven, de una sola forma de expresin, diferentes conclusiones y, por ende distintos fundamentos para sus fallos. Por eso no es extrao que jurista tan ilustre como Kelsen enfticamente sostenga que los textos legales son marcos o esquemas que encierran una pluralidad de posibilidades hermenuticas, y que no hay criterio que permita decidir objetivamente sobre su valor. La consecuencia mas importante es el aserto de que la sentencia judicial, mas que aplicacin de una norma preexistente y nica, es creacin de otra nueva, ya no genrica, sino individualizada. Hablar de proceso aplicador, en el sentido tradicional del vocablo, resultara una ficcin, y los verdaderos y nicos creadores del derecho seran los tribunales. Si se admite que el encargado de aplicar preceptos abstractos puede descubrir en las formas de expresin usadas por los creadores de derecho varios significados normativos, resulta obvio que ha de elegir el mas correcto entre los posibles, ya que no puede aplicarlos todos. El problema se reduce entonces a determinar cual es el ms aceptable o, para decirlo con mayor rigor, cual resuelve de modo ms perfecto, dentro del contexto normativo de cada institucin, el caso que se estudia. Al decir eso formulamos dos exigencias: una de orden lgico y otra axiolgica. La primera deriva del principio de la interpretacin contextual (o del texto por el contexto); la segunda tiene como pauta para el descubrimiento de la solucin optima en cada situacin, los principios axiolgicos inspiradores del sistema de que forma parte el precepto rector del caso. La mejor interpretacin ser aquella que, sin violentar el sentido contextual de la expresin interpretada, realice en mayor medida, en lo que a la especie respecta, esos supremos principios.

CONCLUSION DE LOGICA DEL RACICOINIO JURIDICO La lgica clsica se ha aplicado, a travs de los aos, en diversas actividades importantes de las ciencias jurdicas que han influido en el desarrollo de una lgica jurdica: interpretar, integrar y aplicar la ley, sistematizar el ordenamiento jurdico, desarrollar una teora de los principios lgicos supremos en el derecho y una teora del razonamiento jurdico. 2. El estudio y aplicacin de la lgica matemtica ha contribuido en el perfeccionamiento de la lgica jurdica: a. la lgica de las clases, para examinar y representar las relaciones entre los conceptos jurdicos; b. la lgica proposicional, para representar las relaciones entre los elementos del juicio y el raciocinio jurdicos; y, c. la lgica relacional, para analizar la estructura del juicio jurdico y la relacin de implicacin entre el concepto ontolgico-jurdico de l/hecho jurdico" y el de l/consecuencias de derecho". 3. La naturaleza o esencia de la lgica jurdica es la de ser una lgica especial, una rama de una lgica general de las normas (lgica dentica), y esquemticamente hablando es l/paralela" a la lgica de los enunciados. 4. La lgica jurdica tiene por objeto de estudio (objeto material) todas y cada una de las formas generales del pensamiento jurdico: concepto, juicio y razonamiento jurdicos, y no solamente este ltimo elemento, porque necesariamente se integra de juicios y conceptos jurdicos. 5. Una definicin completa del concepto jurdico, que incluye la parte de la esencia que es comn con todos los conceptos y la que lQ; diferencia de stos, lo determina como una significacin elemental, 341

referida a objetos propios o estudiados por la ciencia jurdica, que tiene las siguientes caractersticas: a. detenninacin del contenido o comprensin; b. conexin con otros conceptos; c. extensin; d. fundamento en juicios jurdicos; y, e. referencia axiolgica jurdica. 6. El concepto jurdico se divide de fonna semejante al concepto estudiado en la lgica clsica por razn de su extensin, cOll1prensin y relaciones, empero presenta una nueva perspectiva: por los objetos a los que se refieren. 7. Una divisin satisfactoria del concepto jurdico por su contenido no se apoya en la cantidad de notas que comprenden los conceptos jurdicos, en el nmero de palabras o trminos con los que se expresan, no crea definiciones de cada tipo de manera interdependiente, ni confunde dichas significaciones con los vocablos con los cuales se manifiestan. Son simples los conceptos jurdicos que expresan "una sola esencia", aunque contenga varias notas, y son compuestos o complejos los que comprenden "varias esencias". 8. Todo juicio jurdico es hipottico, an en el caso de que las normas de derecho tengan forma categrica, porque no es lo ll1islno el elelnento del pensamiento que su manifestacin verbal. Los derechos que un precepto jurdico atribuye a una persona u obligaciones que impone

a otra estn siempre condicionadas por ciertas hiptesis, explcitas o implcitas. 9. El anlisis de la estructura de la disposicin jurdica, con fundmnento en la teora del juicio de la lgica clsica, no es congruente ni vlido, porque el concepto-predicado de los juicios enunciativos expresa una caracterstica o cualidad del objeto significado por el conceptosujeto, y la funcin impero-atributiva del concepto que denomina 11 cpula jurdica" no imputa las consecuencias jurdicas a los sujetos de la regulacin como" cualidades" de stos o expresin de "ciertas caractersticas" . 1 O. La 11 fusin" de Eduardo Carda Mynez respecto a los esquemas lgicos correspondientes al juicio que estudia la lgica de los enunciados y al que analiza la lgica relacional, consistente en que la disposicin jurdica se integra de un concepto-sujeto, un concepto cpula y un concepto "predicado-relacional", es inconveniente porque los juicios enunciativos y los juicios relacionales son esencialmente diferentes por la relacin entre sus conceptos y sus conversiones. El esquema de los juicios relacionales no se puede reducir a] de los enunciativos. 11. Una definicin c0111pleta del juicio jurdico, que no confunda los conceptos ontolgico-jurdicos con los lgico-jurdicos y que no comprenda trminos equvocos, pero s las caractersticas propias y especficas de dicha significacin es la siguiente: juicio normativo de tipo hipottico, bilateral y con referencia axiolgica jurdica, integrado por el supuesto jurdico y la disposicin jurdica, la cual tiene estructura de un juicio relacional. 12. Todos los juicios jurdicos por su relacin o estructura son hipotticos, empero, pueden dividirse en disyuntivos, si la hiptesis y / o la disposicin jurdica se integran por juicios relacionados por el concepto que gramaticalmente es la conjuncin disyuntiva "o", y en conjuntivos, si sus elementos se constituyen por juicios relacionados por el concepto que gramaticalmente es la conjuncin copulativa l/y". 13. Las antinolnias se producen entre dos normas de derecho que: a. pertenecen al mismo ordenamiento jurdico; b. tienen los mismos mbitos de validez temporal, espacial, personal y material; y, c. una . norma tiene cualidad permisiva o positiva y la otra prohibitiva o negativa. Si slo se cumplen los primeros dos requisitos se aludira a dos preceptos jurdicos idnticos e incompletos que omiten el carcter permitido o prohibido del mbito material (el carcter o la regulacin jurdica de la conducta, que no es lo mismo que la conducta jurdicamente regulada). 14. Ninguno de los juristas cuyas doctrinas se investig formul una definicin del raciocinio jurdico ni del razonamiento jurdico deductivo, pero se concluye que la esencia del primero es la de ser un elemento general del pensamiento jurdico, conformado de juicios jurdicos, de los cuales uno es inferido de los otros que le sirven de fundamento por su relacin. Y la naturaleza del segundo, es un elemento general del pensamiento jurdico, conformado de juicios jurdicos, de los cuales, el primero que sirve de fundamento es por su cantidad genrico, est expresado en la ley, y se caracteriza porque la disposicin jurdica es bilateral y de naturaleza relacional, y el juicio inferido de los otros por su relacin, es por su cantidad

individualizado y tambin se caracteriza por ser bilateral y de esencia_ relacional. En el mtodo de interpretacin de la ley " objetivista", regulado en el artculo diez (la) de la Ley del Organismo Judicial, tienen una funcin primordial: a. la comprensin y extensin del concepto jurdico, porque una vez determinada la cOlnprensin de la significacin mental referida por la palabra a interpretar, se podr establecer los alcances de sta por la extensin de dicha forma del pensamiento; b. los elementos del juicio jurdico y sus divisiones por la cantidad, la cualidad y la relacin, ya que facilitan el anlisis de tal significacin mental para establecer los alcances del supuesto y la disposicin jurdica, lo cual coadyuva a una correcta glosa de una proposicin de derecho, que es el modo COlno se manifiesta dicho elemento del pensamiento jurdico; y, c. el empleo del lenguaje simblico de la lgica proposicional en el juicio jurdico, en particular las constantes o conectivas lgicas, con las cuales se representan de "una manera" las mltiples formas como se pueden expresar en lenguaje natural las relaciones entre proposiciones constitutivas de los elementos expresados del juicio jurdico, facilita la identificacin del tipo de vnculo entre las mismas, lo cual coadyuva a su correcta exgesis. 16. El problema de las lagunas y la integracin del derecho, una de las complicaciones relacionados con la actividad jurisdiccional, se deben resolver conforme las reglas contenidas en el juicio jurdico expresado en el artculo diez (10) de la Ley del Organismo Judicial, el cual comprende cnones que permiten la integracin con las disposiciones de otras leyes sobre casos o situaciones anlogas, refirindose al empleo de argumentos analgicos que estudia la lgica jurdica: el argumentum a simili ad simile, el a maiore ad minus y el a minore ad maius. 17. Entre la diversidad de teoras sobre el silogismo jurdico, se concluye que el mismo es la enunciacin o expresin del razonamiento jurdico deductivo, que se caracteriza porque tiene estructura hipottica, de tipo modus ponens y est conformado de varias proposiciones de derecho, de las cuales una es inferida de las otras que le sirven de fundamento por su relacin; la primera se llama conclusin y las otras premisas. Entre las premisas: la mayor representa un juicio jurdico que por su estructura es hipottico, por su cantidad es genrico, est expresado en la ley, y la disposicin jurdica es bilateral y de naturaleza refacional; y la menor alude al hecho jurdicamente probado, el cual realiza el supuesto jurdico del juicio significado en la premisa mayor. Y la conclusin representa un juicio jurdico que por su cantidad es individualizado y se caracteriza por ser bilateral y de esencia relacional. 18. Se considera errneo afirmar que la estructura del silogismo jurdico sea de tipo categrica, indistintamente del modo (modus barbara 1 o modus barbara II), porque implica que la premisa mayor representa un juicio jurdico que por su relacin es categrico, pero tal pensamiento confunde dicha significacin mental con su expresin lingstica, debido a que el juicio jurdico es hipottico.

19. El uso del silogismo jurdico definido no implica la reafirmacin de concepciones superadas, verbigracia, el positivismo jurdico, porque no se est reduciendo ni mecanizando la labor de los jueces, ya que la esencia del que se precis supone: a. un procedimiento mediante el cual el juez formula las premisas, el cual es un asunto esencialmente axiolgico, aunque est relacionado con labores en las que se emplea la lgica; b. el papel preponderante que tiene la actividad hermenutica en ese procedimiento; c. la prueba del hecho jurdico; d. el procedimiento probatorio, que consiste en establecer, con fundamento en un conjunto de normas de derecho que regulan el proceso, si ha de considerarse probado o no el hecho que el juez, en virtud de la sub suncin, califica como realizador del supuesto jurdico del precepto de derecho aplicable; y, e. una labor individualizadora y de subsuncin triple, con relacin al hecho condicionante, las consecuencias de derecho, y los sujetos a quienes se atribuyen esas consecuenCIas. 20. El razonamiento jurdico, reputado como una especie de razonamiento prctico, es objeto de estudio de la retrica y la dialctica, pero los jueces y los abogados litigantes para expresarlo se valen del silogismo. Es decir, el raciocinio jurdico, conforme la tesis indicada, es de naturaleza prctico prudencial, pero su forma es silogstica, y en eso converge con la lgica jurdica formal: los jueces emplean en la sentencia el silogismo jurdico hipottico del modus ponens, y los abogados litigantes utilizan en sus alegatos los entinemas, que son otro tipo de silogismos. 21. El raciocinio jurdico de tipo deductivo tiene una funcin esencial en la tarea del juzgador consistente en aplicar las leyes a casos concretos. Esa labor se realiza en todo tipo de resoluciones: sentencia, autos De un anlisis lgico-jurdico de los artculos ciento cuarenta y siete (147) de la Ley del Organismo Judicial, ciento noventa y ocho (198) del Cdigo Procesal Civil y Mercantil, trescientos ochenta y nueve (389) del Cdigo Procesal Penal y trescientos sesenta y cuatro (364) del Cdigo de Trabajo, se concluye que los mismos ordenan a los jueces que en las sentencias de primera instancia del ramo civil, penal y laboral, respectivamente, empleen los principios lgico-jurdicos de identidad y de razn suficiente, el principio ontolgico-jurdico de identidad, razonen la valoracin de los medios de prueba conforme el sistema correspondiente, formulen la premisa menor con apoyo en la prueba del hecho jurdico que constituye la hiptesis de la norma aplicable al caso, y analicen las leyes en que apoyan los razonamientos. Esas actividades suponen el uso de todos los elementos el pensamiento jurdico y la regla de inferencia que permite colegir de las premisas la conclusin. 23. De una interpretacin literal y un anlisis lgico-jurdico del artculo ciento cuarenta y uno (141) literal "b)" de la Ley del Organismo Judicial, se infiere que los jueces deben expresar su raciocinio en los autos. Se estima que la forma de expresin de tal elemento del pensamiento es la de un silogismo, como medio para garantizar la imparcialidad y la objetividad de los jueces, as como los derechos de las partes del proceso a una resolucin razonada. 24. De un anlisis de la extensin del concepto jurdico normativo

"contenido", aludido en el juicio jurdico referido en el artculo cinto cuarenta y tres (143) de la Ley del Organismo Judicial, que establece los requisitos de toda resolucin judicial, se considera que los jueces deben aludir en cualquier tipo de resolucin un silogismo jurdico ntegro, a efecto de que las personas tengan pleno conocimiento de las razones que moti varan a los jueces declarar o denegar sus peticiones, evitando as arbitrariedades. Dicha expresin del raciocinio judicial no agota todo el fenmeno del elemento del pensamiento mencionado. 25. De los estudios realizados en la ley sobre todos los tipos de resoluciones, se colige que la exigencia de rigor en el razonamiento judicial es un imperativo legal que garantiza la objetividad y la imparcialidad en el juicio del juzgador, porque su ausencia violara los derechos de las partes procesales, verbigracia: el derecho a un juez imparcial, el derecho a un juez objetivo, el derecho a una resolucin flmdamentada (razonada), el derecho de defensa, el derecho al debido proceso, el derecho de audiencia, el derecho de accin, e incluso, segn la deficiencia en el raciocinio, podra infringir el derecho a impugnar las resoluciones y el derecho de presuncin de inocencia. 26. La ley ordena a los abogados litigantes directores de los actos iniciales de los procesos civiles, penales y laborales, que lnanifiesten algunas o todas las proposiciones siguientes: a. la premisa D1ayor, que est referida en el fundamento de derecho y cita de leyes en que apoyan la demanda; b. la premisa menor, la cual est compuesta por las proposiciones de hecho que constituyen la realizacin de la hiptesis o supuesto jurdico de la norma de derecho en que apoyan el acto inicial, y probarn con el diligenciamiento de los medios de prueba (o medios de conviccin en los proceso penales) debidamente ofrecidos y propuestos; y, c. la conclusin, que declararn en las peticiones, y que infieren de la premisa mayor y de la menor, porque pedirn que se aplique al caso concreto la disposicin jurdica del juicio jurdico significado en el precepto de derecho en que apoyan la demanda, ya que estiman que probarn su hiptesis. 27. La estructura lgica del raciocinio que el abogado litigante emplea en los actos iniciales de los procesos civiles, penales y laborales, se aplica a todo acto procesal, porque todo razonamiento tiene COlno punto de partida una norma de derecho, cuya hiptesis expresa dicho profesional como un hecho, el cual, de probarse, demuestra la validez de las peticiones formuladas al juez. 28. Es una obligacin legal y profesional que los abogados expresen algunos o todos los elementos de sus raciocinios para estructurarlos correctamente, hacerlos eficaces y garantizar a la contraparte el derecho de defensa, porque este sujeto procesal tiene que saber lo que se le reclama o pide al juez en su contra. 29. El ejercicio prctico del derecho por jueces y abogados litigantes puede ser mejorado a partir del reconocimiento y aplicacin de la lgica jurdica. Los sujetos de estudio lo reconocen, pero segn los resultados de las entrevistas, la calidad del trabajo de uno u otro tipo de profesional del derecho no est bien ponderada. 30. Tanto los jueces en los ramos civil, penal y laboral, y los abogados litigantes en las mismas ramas del derecho mostraron deficiencias

semejantes: a. ninguno contest que la naturaleza de la lgica jurdica 347 U)C/C,\ J URiu/ c /\: 1 \'S'iR L/A- L',\TO \ 'n l Sr' I:',\ C;,.IUL.C V'I JUll..L f Lf I'/, Y JI A I:iOC.'IJ)() f.frt C; i\ Nn~ es la de ser una ciencia, una lgica de las normas (lgica dentica); b. ninguno respondi que para valorar los medios de prueba, los juzgadores se deben valer de: b.l. todos y cada uno de los elementos del pensamiento que estudia la lgica jurdica: concepto, juicio, raciocinio, todos de esencia jurdica; y, b.2. la regla de inferencia; porque dichos funcionarios pblicos deben atribuir valor probatorio mediante razonamientos lgicos, los cuales se integran de juicios y conceptos jurdicos; c. ningn juez, solamente dos (2) abogados de los veintiuno (21) entrevistados, afirmaron que la lgica jurdica estudia la estructura del pensamiento jurdico: concepto, juicio y raciocinio, todos de esencia jurdica; d. la gran mayora de dichos profesionales confunden el principio lgico-jurdico de identidad con el ontolgicojurdico de identidad y con un anlisis para concluir el carcter de permitido o prohibido del hecho sujeto a prueba, entre otras ideas errneas; y, e. la gran mayora de dichos profesionales no reflejan ideas correctas de aplicaciones del principio ontolgico-jurdico de identidad, y de oposicin de juicios. 31. La serie de artculos publicados en el apartad de "aplicaciones de la lgica jurdica" y los resultados de las entrevistas dirigidas a los abogados litigantes, reflejan una idea generalizada respecto a una deficiente legitimacin de las decisiones de los jueces en sus resoluciones. 32. La lgica jurdica es un instrumento indispensable para los jueces y los abogados litigantes, pero no es suficiente, porque existen otros contenidos de carcter jurdico, social y axiolgico para que el ejercicio profesional se perfeccione.

GLOSARIO A fortiori

Se puede utilizar esta expresin en dos sentidos. En el primero de ellos, para indicar que existen enunciados, en el discurrir de un razonamiento, que refuerzan la verdad de la proposicin cuya validez se intenta demostrar; en este caso se dice de tal proposicin que es "a fortiori" verdadera. En el segundo sentido, se llama "a fortiori" a un argumento en el que se utilizan adjetivos comparativos (mayor que, mejor que) de modo que permitan pasar de una proposicin a otra.

Analoga

Trmino procedente del griego "anlogos" (similar) que, en general es sinnimo de similitud o semejanza. En filosofa adquiere relevancia sobre todo a partir del uso que hace de l la escolstica, especialmente Toms de Aquino, quien lo utiliza como un modo de predicacin segn el cual el trmino que se predica se puede aplicar a varios sujetos de modo que tenga un significado comn a todos los sujetos de los que se predica, al mismo tiempo que otro diferente para cada sujeto. De este modo, la analoga se aleja tanto de la univocidad (cuando el trmino se predica con un slo significado) como de la equivocidad (cuando el trmino se predica con varios significados distintos). Los tomistas consideraban que, en la medida en que el ser "se dice de muchas maneras", siguiendo a Aristteles, la analoga era una caracterstica propia del ser. Tambin distinguan dos tipos de analoga: la de atribucin y la de proporcionalidad.

Axiologa

Trmino procedente del griego "xios" (lo que equilibara, lo digno) y logos (tratado, doctrina) y que etimolgicamente remite al estudio o doctrina de lo digno, de los valores. La axiologa es pues el estudio de los valores que, desde distintas propuestas metafsicas, establece jerarquas de valores humanos a los que deberan ajustarse las conductas de los individuos. En general, la axiologa considera que los valores estn jerarquizados, y que poseen fuerza de reconocimiento y atraccin (o repulsin, como se ve en los respectivos contravalores) y que ejercen una funcin rectora en la conducta del individuo.

Categrico

Que afirma sin restricciones, que no est sometido a ninguna condicin. Segn Kant, es la caracterstica que ha de poseer un mandato, un imperativo moral para que efectivamente lo sea.

Criterio

Lo que permite distinguir una cosa de otra, lo verdadero de lo falso, lo que tiene sentido de lo que no lo tiene. El problema del criterio de verdad alcanza especial relevancia en algunas filosofas, como la cartesiana, en la que, al encontrarse inicialmente el sujeto cerrado sobre s mismo, no es posible apelar a la correspondencia entre la proposicin y el objeto al que se refiere, como criterio de verdad, dado que la realidad del objeto est todava sometida a duda y no puede constituirse en fundamento de ninguna verdad. Descartes pretende superar dicha dificultad tomando como criterio de verdad las caractersticas del "cogito": la claridad y la distincin con que dicha proposicin es percibida.

Deduccin

En su sentido ms general, se entiende por deduccin el proceso mediante el que, por medio de un razonamiento, obtenemos una conclusin necesaria a partir de una o varias premisas dadas inicialmente. La deduccin no nos dice nada acerca de la verdad material de las premisas o de la conclusin, sino que se limita a establecer un vnculo de relacin necesaria entre las premisas y la conclusin. Garantiza, pues, que la conclusin se sigue necesariamente de las premisas, es decir, la verdad formal del razonamiento: que su estructura lgica es correcta, que cumple las leyes lgicas o reglas de inferencia del sistema en que se opera. Tambin podemos entender por deduccin la conclusin obtenida a partir de dichas premisas, siendo sinnimo, pues, en este caso, de conclusin, como cuando decimos: qu deduccin has obtenido de todo ello?

tica

Del griego "ethik", que deriva del vocablo "ethos" (carcter, forma de ser adquirida). La tica es la parte de la filosofa que tiene por objeto la reflexin sobre la conducta "moral" del ser humano, lo que puede llevar, a su vez, a la elaboracin de teoras que permitan comprender y explicar dicha conducta, porqu se considera, o no, "buena", y cul es el fundamento de "lo bueno". Siguiendo el anlisis de Jos Luis Lpez Aranguren, podemos reservar el trmino "moral" (aunque etimolgicamente tenga el mismo significado que "ethik", correspondiendo el vocablo latino "mor" al griego "ethos") para referirnos a la conducta observada por el ser humano respecto a lo "bueno" y a las normas por las que tal conducta se regula. En ese caso podramos decir que la tica es la parte de la filosofa que tiene por objeto de estudio la "moral".

Formalismo

De modo habitual y poco riguroso se utiliza el trmino para referirse a toda posicin filosfica en la que se hacen predominar los elementos formales o estructurales sobre los materiales (ya sean estos fsicos, semnticos o emocionales). En sentido propio se entiende por formalismo la doctrina segn la cual las matemticas son un sistema formal axiomtico (independiente por tanto de la experiencia pero que puede ser aplicado a ella) es decir, son un sistema lingstico organizado a partir de determinados axiomas y ciertas reglas de formacin de expresiones vlidas, de las que se derivan deductivamente todas las expresiones vlidas del sistema.

Gnero

Trmino con el que se designa la categora de seres a la que pertenecen todos aquellos que tienen en comn propiedades esenciales, pero que poseen diferentes propiedades no esenciales (diferencia especfica). La definicin de los entes debe contener, segn Aristteles, el gnero ms la diferencia especfica, como cuando se dice del ser humano, por ejemplo, que es un "animal racional": animal representara el gnero de seres al que pertenecen, y racional la diferencia especfica. Desde una perspectiva lgica, el gnero representa una clase de objetos que posee mayor extensin pero menor comprensin que otra, a la que se denomina especie.

Hermenutica

Del griego "hermeneia" (traduccin, interpretacin). El trmino "hermenutica" fue utilizado tradicionalmente sobre todo en el contexto de la exgesis bblica, asociado a las tcnicas y mtodos de interpretacin de dichos textos. En la actualidad nos referimos con l ms habitualmente a la corriente filosfica que propone como mtodo, en el mbito de las ciencias humanas, la comprensin de las acciones humanas en su contexto histrico y social, fuera del cual pierden su significado; al mismo tiempo, dicho mtodo seala la dificultad de tal tarea, al poner de manifiesto la heterogeneidad entre el significado (matizado por las creencias, tradiciones, prejuicios y valores, etc) que pueda tener el "mismo" hecho para el investigador y para la poca investigada. Esta dificultad parece exigir haber comprendido ya algo para poder

comprenderlo, lo que da lugar a una aparente circularidad que se conoce con el nombre de "crculo hermenutico".

Identidad

Podemos considerar la identidad desde el punto de vista ontolgico (o metafsico) o desde el punto de vista lgico. Desde el punto de vista ontolgico la identidad se expresa en el principio ontolgico de identidad, segn el cual toda cosa es igual a s misma. Desde el punto de vista lgico, se considera que el principio lgico de identidad es una ley de la lgica, una tautologa, que, en el caso de la lgica proposicional podra expresarse como una expresin condicional o bicondicional, del tipo "si p entonces p" o "p si y slo si p", respectivamente. La concepcin ontolgica se ha entrelazado, frecuentemente, en el discurso de los filsofos, con la concepcin lgica, y a menudo se ha confundido con ella, siendo difcil a veces deslindar de cul de ellas se est hablando.

Juicio

Del latn "iudicium". Por juicio se entiende el acto mental por el que el entendimiento afirma o niega que algo posea tal o cual propiedad. A los trminos relacionados de este modo por el juicio se les llama sujeto y predicado, respectivamente, y al trmino con el que se establece la relacin se le denomina "cpula". El juicio se expresa mediante el enunciado o proposicin. Aristteles distingue en los juicios la materia y la forma. La materia o contenido del juicio son los conceptos que se relacionan; la forma es la relacin que se establece entre ellos a travs del verbo ser. Aristteles representa el sujeto del juicio con un signo (S) y el predicado con otro (P) para intentar separar la materia de la forma: as, la forma del juicio "Juan es alto" se representara como "S es P", y la forma del juicio "Juan no es alto" como "S no es P". Los juicios se clasifican en varios grupos, atendiendo a la cantidad (segn la extensin del sujeto: universales, particulares, singulares), a la cualidad (segn la cualidad de la cpula: afirmativos y negativos), a la relacin (segn la relacin entre el sujeto y el predicado: categricos, hipotticos y disyuntivos) y a la modalidad (segn el modo en que expresan la relacin entre el sujeto y el predicado: apodcticos, asertricos y problemticos).

Lgica

Del griego "logik" (relativo a la razn, al discurso racional) en general, y en la actualidad, se considera que la lgica es una ciencia formal que tiene por objeto el estudio de las condiciones en las que un razonamiento puede ser considerado vlido, mediante la determinacin de las reglas de inferencia vlidas. Aunque se atribuye su origen a Zenn de Elea, el verdadero sistematizador e impulsor de la lgica griega fue Aristteles, cuyos trabajos, agrupados posteriormente bajo la denominacin de "Organon", se consider durante ms de 20 siglos como un compendio completo y definitivo de lgica. A finales del siglo XX, sin embargo, debido a los trabajos de Boole y Frege, entre otros, la lgica experimentar un cambio sustancial: deja de basarse en la clasificacin de las proposiciones y adopta el principio de generacin recursiva, lo que permite prescindir totalmente del lenguaje ordinario a favor de un lenguaje puramente formal, compuesto por un pequeo nmero de signos y de ciertas reglas de combinacin para formar enunciados. Desde entonces los estudios de lgica no han dejado de progresar, quedando reducida la lgica aristotlica a una pequea parte de las cuestiones de que se ocupa la lgica contempornea.

Mxima

En general, el trmino se emplea habitualmente como sinnimo de principio moral, de norma o regla de conducta, significado que comenz a adquirir a principios del siglo XVII. Anteriormente los escolsticos lo haban utilizado en la expresin "propositio maxima" para referirse a ciertas proposiciones que consideraban evidentes e indemostrables, o a aquellos principios de la ciencia que se pueden obtener por generalizacin inductiva.

Ontologa

De los trminos griegos "ontos" y "logos", etimolgicamente remite al estudio del ser, a la ciencia del ente. La ontologa es "la ciencia del ser en cuanto ser y de lo que esencialmente le pertenece". El trmino comienza a utilizarse a mediados del siglo XVII y alcanza gran difusin a raz del uso que de l hace el filsofo alemn C. Wolff. La Filosofa Primera de Aristteles, posteriormente denominada Metafsica, tena por objeto el estudio del ser en cuanto ser y el del Motor Inmvil (los seres divinos), y es la distincin entre los dos objetos de estudio lo que da lugar al surgimiento del trmino ontologa, aplicado al primer objeto de estudio (el ser en cuanto ser), para diferenciarla de la metafsica, que considerara como objeto primario de sus reflexiones el segundo (el Motor Inmvil).

Razn

Del latn "ratio", trmino con el que Cicern tradujo el griego "logos" (que significaba, entre otras cosas, tanto "clculo" como "discurso", significados que adoptar tambin "ratio"). Por "razn" se entiende, en general, aquella "facultad" o capacidad humana por la que se alcanza el conocimiento discursivamente, esto es, partiendo de premisas para llegar a alguna conclusin, o conclusiones, que se derivan de aquellas. La razn se asimila, as, a la "dinoia" (conocimiento discursivo) y se opone a "nous" (conocimiento intuitivo). En virtud de tal oposicin, al ser el trmino "nous" traducido por el latino "intellectus" (entendimiento) la razn termina por oponerse al entendimiento, en autores cono Kant, Hegel y en la escuela de Frankfurt, por ejemplo.

Razonamiento

Procedimiento intelectual mediante el cual, partiendo de unos datos conocidos, a los que llamamos premisas, llegamos por inferencia a otro u otros datos desconocidos, que se derivan de aquellos, a los que llamamos conclusin. Tambin recibe el nombre de argumentacin formal, deduccin o demostracin, cuando las conclusiones alcanzadas son el resultado de la aplicacin de reglas lgicas de inferencia.

Silogismo

Del griego "syllogismos" (razonamiento). El silogismo es una forma de razonamiento que consta de tres proposiciones, de modo que dos de ellas actan como premisas, de las que deriva una tercera, que se considera la conclusin del razonamiento. Los trminos de que constan las proposiciones (sujeto y predicado) estn distribuidos de tal modo que las tres proposiciones tienen, tomados de dos en dos, un trmino comn. La premisa que sirve de punto de partida se llama "premisa mayor" y es la ms general; la premisa que sirve de intermediario se llama "premisa menor", y es menos general que la anterior; la proposicin que se deduce de la "mayor" por mediacin de la "menor" es la conclusin del razonamiento. Se llama "trmino mayor" al predicado de la conclusin, que debe aparecer en la premisa mayor, y se le representa con la letra P. Se llama "trmino menor" al sujeto de la conclusin, que aparece tambin en la premisa menor, y se le representa con la letra S. El "trmino medio" es el que aparece en las dos premisas (mayor y menor) y no en la conclusin, y se le representa con la letra M.

M S -----S

es es es

P M P

Aristteles, en los Analticos, se ocupa tanto del razonamiento deductivo como del inductivo, pero considera que el conocimiento cientfico se alcanza deduciendo lo particular de lo general, es decir, con el conocimiento de las causas. Aristteles privilegiar, por tanto, el anlisis del razonamiento deductivo, y en especial del razonamiento deductivo categrico o silogismo. En general, con el trmino silogismo nos referimos, si no damos ms detalles, a su forma ms conocida, el silogismo categrico. Un ejemplo de tal silogismo sera el siguiente: Todos los seres Todos los griegos -------------------------------------Luego todos los griegos son mortales. humanos son son seres mortales humanos

Univocidad

Cualidad o propiedad de ser unvoco, de poseer un slo significado o ser utilizado siempre con un slo y nico significado. Los escolsticos, por ejemplo, defendieron la doctrina de la univocidad del ser, segn la cual un trmino es considerado unvoco cuando se aplica, a todos los seres a los que conviene, de un modo absolutamente idntico, adquiriendo pues, en todos los casos, el mismo significado.

Valor

Trmino procedente de la economa, donde representaba la cuantificacin del precio de los bienes producidos. Inicialmente se hizo depender el valor de una mercanca de la utilidad del objeto, pero posteriormente A. Smith estableci que el valor dependa de la cantidad de trabajo empleado para su produccin y comercializacin, distinguiendo, adems, dos clases de valor: el valor de uso y el valor de cambio. El trmino fue utilizado posteriormente en filosofa, a partir del siglo XIX, preferentemente en el mbito de la reflexin tica, desplazando el uso de trminos como "bien" y "bueno". En este sentido, el valor es aquella cualidad que apreciamos en un objeto moral; es decir, es una cualidad, no una cosa; y se manifiesta en relacin con la conducta humana, que hace patente dicha cualidad.

Nietzsche, por ejemplo, se refiere a los valores como al fundamento de la comprensin del mundo y de la vida. Para Max Scheler, los valores se captan a travs de la actividad emocional de la conciencia, no a travs de una actividad puramente intelectual y, en oposicin al formalismo kantiano, son "materiales", al formar parte del sentimiento intencional de la conciencia. Los valores, en cuanto cualidades de los objetos morales, son objetivos, estn jerarquizados y se presentan polarizados (la belleza se opone a la fealdad, por ejemplo).

Historia de la lgica La historia de la lgica documenta el desarrollo de la lgica en varias culturas y tradiciones a lo largo de la historia. Y logicamente el estudio logico de la logica es muy basto. Aunque muchas culturas han empleado intrincados sistemas de razonamiento, e, incluso, el pensamiento lgico estaba ya implcito en Babilonia en algn sentido, la lgica como anlisis explcito de los mtodos de razonamiento ha recibido un tratamiento sustancial solo originalmente en tres tradiciones: la Antigua China, la Antigua India y la Antigua Grecia. Es por eso que el licenciado Vidal en su clase les ensea ejemplos de logica general, no de logica juridica a ustedes estudiantes de logica juridica. Aunque las dataciones exactas son inciertas, particularmente en el caso de la India, es probable que la lgica emergiese en las tres sociedades hacia el siglo IV a. C. El tratamiento formalmente sofisticado de la lgica proviene de la tradicin griega, especialmente del Organon aristotlico, cuyos logros seran desarrollados por los lgicos islmicos y, luego, por los lgicos de la Edad Media europea. El descubrimiento de la lgica india entre los especialistas britnicos en el siglo XVIII influy tambin en la lgica moderna. ndice [ocultar]

1 La Edad Antigua
o o o o

1.1 Mesopotamia 1.2 La Antigua Grecia 1.3 La Antigua India 1.4 La Antigua China 2.1 El mundo islmico 2.2 La Europa medieval

2 La Edad Media
o o

3 La Edad Moderna

3.1 La lgica de Port-Royal

4 La Edad Contempornea 5 Vase tambin 6 Notas y referencias 7 Bibliografa adicional 8 Enlaces externos [editar]La Edad Antigua [editar]Mesopotamia En Mesopotamia, el Manual de diagnstico mdico de Esagil-kin-apli, escrito en el siglo XI a. C., se bas en un conjunto lgico de axiomas y asunciones, entre las que se incluyen la visin moderna de que, a travs del examen e inspeccin de los sntomas de un paciente, es posible determinar el problema del mismo, su etiologa y su desarrollo futuro, y las posibilidades de recuperacin.1 Durante los siglos VII y VIII, los astrnomos babilonios empezaron a utilizar una lgica interna en sus sistemas de prediccin planetaria que fue una importante contribucin a la lgica y la filosofa de la ciencia.2 El pensamiento babilnico tuvo una considerable influencia en el pensamiento de la Grecia arcaica.3 [editar]La Antigua Grecia En la Antigua Grecia, emergieron dos tradiciones lgicas opuestas. La lgica estoica estaba enraizada en Euclides de Megara, pupilo de Scrates, y con su concentracin en la lgica proposicional es la que quizs est ms prxima a la lgica moderna. Sin embargo, la tradicin que sobrevivi a las influencias de culturas posteriores fue la peripattica, que tuvo su origen en el conjunto de obras de Aristteles conocido como Organon (instrumento), la primera obra griega sistemtica sobre lgica. El examen de Aristteles del silogismo permite interesantes comparaciones con el esquema indio de la inferencia y la menos rgida discusin china. A travs del latn en Europa occidental y de distintas lenguas orientales como el rabe, armenio y georgiano, la tradicin aristotlica fue considerada de forma especial para la codificacin de las leyes del razonamiento. Solo a partir del siglo XIX cambi este enfoque. [editar]La Antigua India Dos de las seis escuelas indias de pensamiento estn relacionadas con la lgica: Nyya y Vaisheshika. Los Nyaya Sutras de Aksapada Gautama constituyen el ncleo de textos de la escuela Nyaya, una de las seis escuelas ortodoxas de filosofa hind. Esta escuela realista trabaj con un rgido esquema de inferencia de cinco miembros que engloba una premisa inicial, una razn, un ejemplo, una aplicacin y una conclusin. La filosofa budista idealista se convirti en la principal oponente de los Naiyayikas. Ngrjuna, el fundador del

camino intermedio Madhyamika, desarroll un anlisis conocido como "catuskoti" o tetralemma. Esta argumentacin de cuatro aspectos examin y rechaz sistemticamente la afirmacin de una proposicin, su negacin, la afirmacin conjunta y negacin, y finalmente, el rechazo de su afirmacin y negacin. Pero fue con Dignaga y su sucesor Dharmakirti con quienes la lgica budista alcanz su mayor altura. Su anlisis, centrado en la definicin de la implicacin necesariamente lgica, "vyapti", conocida tambin como concomitancia o penetracin invariable. A este fin, fue desarrollada una doctrina conocida como "apoha" o diferenciacin. Comprende lo que se podra llamar la inclusin y exclusin de propiedades definitorias. Las dificultades concernientes a esta empresa, en parte, estimularon a la escuela neoescolstica de Navya-Nyya, que introdujo un anlisis formal de la inferencia en al siglo XVI. [editar]La Antigua China En China, un contemporneo de Confucio, Mozi, "Maestro Mo", es considerado como el fundador de la escuela Mohista (mohsmo), cuyos principios estn relacionados con temas como la inferencia vlida y las condiciones de las conclusiones correctas. En particular, una de las escuelas que siguieron al mohsmo, los lgicos, es considerada por varios expertos como la primera que investig la lgica formal. Desafortunadamente, debido a la rgida normativa legal durante la dinasta Qin, esa lnea de investigacin desapareci de China hasta la introduccin de la filosofa india por parte del budismo. [editar]La Edad Media [editar]El mundo islmico Durante un tiempo tras la muerte de Mahoma, la ley islmica consider importante formular estndares para los argumentos, lo que dio lugar a una nueva aproximacin a la lgica en Kalam, pero esta aproximacin fue ms tarde desplazada por ideas tomadas de la filosofa griega y helenstica con el auge de los filsofos de la escuela Mu'tazili, que valoraron extraordinariamente elOrganon de Aristteles. Las obras de los filsofos islmicos con influencias helensticas fueron cruciales para la recepcin de la lgica aristtelica en la Europa medieval, junto con los comentarios sobre el Organon elaborados por Averroes. Las obras de alFarabi, Avicenna, al-Ghazali y otros lgicos musulmanes que en ocasiones criticaron y corrigieron la lgica aristotlica e introdujeron sus propias formas de lgica, tambin desempearon un papel central en el subsecuente desarrollo de la lgica europea medieval. La lgica islmica no solo incluye el estudio de modelos formales de inferencia y su validacin, sino tambin elementos de la filosofa del lenguaje y elementos de epistemologa y metafsica. Debido a disputas con gramticos rabes, los filsofos islmicos estuvieron muy interesados en trabajar en el estudio de las relaciones entre lgica y lenguaje, y dedicaron muchas discusiones a la cuestin del objeto de inters y objetivos de la lgica en relacin con el razonamiento y el habla. En el rea del anlisis lgico-formal, elaboraron la teora de los trminos, proposiciones y silogismos. Consideraron el silogismo como la forma a la que toda argumentacin racional poda

reducirse, y consideraron la teora silogstica como el punto central de la lgica. Incluso, lapotica fue considerada, en ciertos aspectos, como un arte silogstico por muchos de los ms importantes lgicos islmicos. Entre los ms importantes desarrollos realizados por los lgicos musulmanes est el de la lgica de Avicena como sustituta de la lgica aristotlica. El sistema lgico de Avicena fue responsable de la introduccin del silogismo hipottico,4 de la lgica modo-temporal,5 6 y de la lgica inductiva.7 8 Otro importante desarrollo en la filosofa islmica es el de una estricta ciencia de la cita, la isnad o "revisin", y el desarrollo de un mtodo cientfico de investigacin abierta para poner en cuestin determinadas afirmaciones, la ijtihad, que poda aplicarse normalmente a muchos tipos de cuestiones. Desde el siglo XII, a pesar de la sofisticacin lgica de al-Ghazali, el auge de la escuela Asharite al final de la Edad Media limit poco a poco la obra original sobre lgica en el mundo islmico, aunque continu posteriormente en el siglo XV. [editar]La Europa medieval Se entiende habitualmente por "lgica medieval" (tambin conocida como "lgica escolstica") la forma de la lgica aristotlica desarrollada en la Europa medieval en el periodo de c 12001600. Esta tarea comenz tras las traducciones al latn del siglo XII, cuando textos rabes sobre lgica aristotlica y la lgica de Avicena fueron traducidos a la lengua de Roma. Aunque la lgica de Avicena tuvo influencia en los primeros lgicos medievales europeos tales como Alberto Magno,9 la tradicin aristotlica se convirti en la dominante debido a la importante influencia delaverrosmo. Tras la fase inicial de traducciones, la tradicin de la lgica medieval fue desarrollada en manuales como el de Petrus Hispanus (fl. siglo XIII), de identidad desconocida, que fue autor de un manual estndar sobre lgica, el Tractatus, que fue bien conocido en Europa durante varios siglos. La tradicin alcanz su punto ms alto en el siglo XIV, con las obras de Guillermo de Ockham (c. 12871347) y Jean Buridan. Un rasgo del desarrollo de la lgica aristotlica se conoce con el nombre de teora de la suposicin, un estudio de la semntica de los trminos de la proposicin. La ltimas grandes obras de esta tradicin son Logic de John Poinsot (15891644, conocido como John of St Thomas), y Disputas metafsicas de Francisco Surez (15481617). [editar]La Edad Moderna [editar]La lgica de Port-Royal Artculo principal: Lgica de Port-Royal. La expresin "lgica tradicional" hace referencia, habitualmente, a la tradicin de manuales que comienza con La logique ou l'art de penser de Antoine Arnauld y Pierre Nicole, ms conocido como Lgica de Port-Royal. Publicada en 1662, fue la ms influyente obra sobre lgica

en Inglaterra hasta el Sistema Lgico de Mill de 1825 [N4]. El libro presenta una muy libre doctrina cartesiana (que la proposicin es una combinacin de ideas antes que de trminos, por ejemplo) dentro de un marco que se deriva ampliamente de la lgica de trminos aristotlica y medieval. Entre 1664 y 1700 se publicaron ocho ediciones, y el libro tuvo considerable influencia. Fue frecuentemente reeditado en Inglaterra hasta finales del siglo XIX. El tratamiento que realiza Locke de la proposicin en el Ensayo es, esencialmente, el de PortRoyal: "Las proposiciones verbales, que son palabras, [son] los signos de nuestras ideas, ya vayan juntas o separadas en oraciones afirmativas o negativas. As, pues, la proposicin consiste en juntar o separar esos signos, de acuerdo con las cosas con las que estn de acuerdo o en desacuerdo." (Locke, An Essay Concerning Human Understanding, IV. 5. 6) Los trabajos ms conocidos dentro de esta tradicin son los de Isaac Watts, Logick: Or, the Right Use of Reason (1725), Richard Whately, Logic (1826), y John Stuart Mill, A System of Logic(1843), que fue una de las ltimas grandes obras de la tradicin. [editar]La Edad Contempornea Histricamente, Descartes puede que haya sido el primer filsofo en haber tenido la idea de usar el lgebra, especialmente sus tcnicas para resolver cantidades desconocidas en las ecuaciones, como vehculo para la exploracin cientfica. La idea de un clculo de razonamiento fue tambin cultivada por Gottfried Wilhelm Leibniz. Leibniz fue el primero en formular la nocin de un sistema de lgica matemtica aplicable de forma generalizada. Sin embargo, los documentos relevantes al respecto no fueron publicados hasta 1901 y muchos de ellos siguen sin estar publicados, y la actual comprensin del poder de los descubrimientos de Leibniz no empez a desarrollarse hasta los aos ochenta. Gottlob Frege en su Begriffsschrift (1879) extendi la lgica formal ms all de la lgica proposicional para incluir constructores como "todo" y "algunos". Mostr cmo introducir variables y cuantificadores para revelar la estructura lgica de las oraciones, que podra estar ocultas tras su estructura gramatical. Por ejemplo, "Todos los seres humanos son mortales" se convierte en "Toda cosa x es tal que, si x es un ser humano entonces x es mortal." La peculiar doble notacin dimensional de Frege hizo que su obra fuese ignorada durante muchos aos. En un magistral artculo de 1885 ledo por Peano, Ernst Schrder y otros, Charles Peirce introdujo el trmino "Lgica de segundo orden" proporcionando la mayor parte de la moderna notacin lgica, incluyendo los smbolos prefijados para la cuantificacin universal y existencial. Los lgicos de finales del siglo XIX y de comienzos del XX estuvieron ms familiarizados con el sistema lgico de Peirce-Schrder, aunque generalmente se reconoce que Frege es el Padre de la lgica moderna.

En 1889, Giuseppe Peano public la primera versin de la axiomatizacin lgica de la aritmtica. Cinco de los nueve axiomas son conocidos como axiomas de Peano. Uno de estos axiomas fue una formalizacin del principio de la induccin matemtica.