Bueno, tu pregunta no es del todo explicativa, pero tratar de responder de buena forma.

La lgica se da en dos niveles: LGICA NATURAL y LGICA CIENTFICA. LA LGICA NATURAL es aquella que todo el ser humano adquiere con la experiencia sensible. Si un da me quemo con una plancha encendida, al otro da, al ver que la plancha est encendida no tocar el plato puesto que por lgica s que me voy a volver a quemar. LA LGICA CIENTFICA es aquella que adems de usar la experiencia, tambin hace uso de la razn, haciendo juicios con todo lo existente. Entonces le doy una explicacin al fenmeno de la plancha utilizando las leyes fsicas y qumicas, la resistencia del cuerpo humano y la razn, para comprender a fondo el por qu me quem. Esta primera divisin de la LGICA se llama divisin MATERIAL. La segunda divisin de la LGICA se deriva de su objeto de estudio. La lgica estudia tanto el proceso de la razn y el razonamiento, como la validez de tal razonamiento. La lgica se divide, segn su campo de estudio en dos: LA LGICA FORMAL y LA LGICA MATERIAL. LA LGICA FORMAL trata del estudio del razonamiento desde su aspecto correcto. Sin implicar la validez de tal razonamiento. Es adecuado pensar que si hoy es lunes entonces ir a la escuela. Mi pensamiento es correcto sin importar si es o no vlido. As como decir La tierra gira, la lluvia cae, el sol calienta, etc. Hay ciertas reglas que a la lgica material le importan para que un pensamiento sea correcto, de esto habla la estructura y las figuras lgicas. LA LGICA MATERIAL, se estudia desde una rama de la filosofa llamada epistemologa. El objeto de la lgica material se basa en la validez de un pensamiento tomando en cuenta la realidad. Puedo pensar el cielo est nublado luego entonces llover. Aunque mi pensamiento es correcto, no tiene validez, no es verdadero. Puede estar nublado y sin embargo no llover o puede estar soleado y de repente comenzar a llover.

Podemos clasificar los tipos de lgica desde dos puntos de vista, la lgica clsica y la moderna. Sin embargo dicha clasificacin slo sirve para efectos histricos, de ah que mejor proponemos dividir, los distintos tipos de lgica, respecto a los objetos que trata. La Lgica Formal es conocida tambin como lgica clsica o aristotlica, Se imputa al filosofo ARISTOTELES ser el creador de la misma, aunque ya existan antecedentes en PARMENIDES y ZELEO.. As mismo con el paso del tiempo, con la evolucin de algunas corrientes matemticas, especficamente las aportaciones realizadas por los matemticos EULER y BOOLE, a la lgebra, se da inicio a la Lgica Moderna, Matemtica, Simblica o Logstica. De esta lgica moderna, se desprende la semitica, lgica dentica, modal, cuantificacional y proposicional. La Semitica es la lgica de los smbolos y se divide en tres partes: sintaxis, semntica y pragmtica. La primera trata de las

relaciones de los smbolos entre si, prescindiendo de su contenido. La segunda trata de las relaciones entre el smbolo y lo que significa. La tercera trata de las relaciones entre el smbolo y el sujeto que lo utiliza. La lgica dentica se formaliza a travs de conceptos relacionados con el deber. Este tipo de lgica se utiliza en el Derecho, infirindose del mismo, la denominada lgica de las normas. La lgica modal lo hace en los conceptos de necesidad y posibilidad.
Tipos de lgica

Se pueden clasificar de la siguiente forma:

A.- Lgica formal: es conocida tambin como la lgica clsica o aristotlica, Aristteles fue su creador, aunque despus se presentaron otros filsofos con otras definiciones, esta es la primordial; con la evolucin de las matemticas, se da inicio a la lgica moderna, matemtica, simblica o logstica. De la lgica moderna se derivan las siguientes lgicas: Semitica. Lgica de los smbolos. Se divide en: sintaxis (relaciones de smbolos entre s), semntica (relaciones entre los smbolos y su significados) y pragmtica (relaciones entre los smbolos y el que utiliza). Dentica: Se relaciona con el deber, se utiliza en el derecho denominada lgica de las normas. Modal: Lo hace en los conceptos de necesidad y posibilidad. De clases: Se aplican las propiedades del sujeto y del predicado, se representa grficamente con crculos empleando la denominada "Algebra Booleana". Cuantificacional: Estudia los predicados a travs del uso de cuantificadores que expresan cantidad (todos?, o algunos?). Proporcional: Razona proporciones y conectivos proporcionales (operadores lgicos). Simblica: Emplea un lenguaje artificial que simboliza letras, utilizando operadores lgicos, llamados conectores, functores, juntores, para construir formulas operando sobre variables proporcionales y proporciones complejas. B.- Lgica dialctica o normativa: Esta tiene un contenido ideolgico, obtiene principios racionales, utilizando una normativa en el proceso, por lo menos para realizar una tesis, se realiza primero el estudio, luego la tesis, la anttesis y su respectiva conclusin llamada sntesis, en pocas palabras, es el estudio de algo, llevando un orden de reglas para llegar a conclusiones.
QUE SON LOS PRINCIPIOS LGICOS. Los principios lgicos constituyen las verdades primeras, evidentes por s mismas, a partir de las cuales se construye todo el edificio formal del pensamiento, segn la Lgica tradicional.

Dentro de una consideracin ms moderna de la Lgica Formal, los principios lgicos sern los preceptos o reglas operantes que rigen toda forma correcta de pensamiento. El modo de considerar estos principios ha variado a travs de la Historia de la Lgica y del pensamiento cientfico, pero la Lgica Formal ha coincidido en la formulacin de cuatro principios lgicos, aunque el cuarto no es aceptado por todos los lgicos. Tales principios son: 1. Principio de identidad. 2. Principio de Contradiccin (o Principio de no-Contradiccin). 3. Principio de Exclusin del trmino medio (o Principio del medio excluido o Principio del tercero excluido o Principio del Tercer trmino excluido) 4. Principio de Razn Suficiente. Desde un punto de vista psicolgico (aunque no desde la Psicologa Cientfica sino de la Psicologa Racional), los principios lgicos seran las leyes generales de operacin del pensamiento, es decir, las leyes que fundamentan los procesos lgicos. Desde un punto de vista ontolgico o metafsico, estos principios seran las determinaciones ms generales del ser an ms generales que las categoras. Pero desde un punto de vista estrictamente lgico, slo pueden ser considerados como las proposiciones fundamentales que cimientan toda otra proposicin en el pensamiento formalmente correcto.

EL PRINCIPIO DE IDENTIDAD. El principio de Identidad fue formulado por primera vez como parte de una teora de la realidad del ser. Ese principio afirmaba algo tan general como que El ser es; esto puede ser explicado diciendo que todo objeto es idntico a s mismo. Estas afirmaciones no son todava lgicas, pero con el tiempo, se reflexiono sobre las implicaciones lgicas de ese principio, logrando la formulacin lgico-formal del primer principio. Esa formulacin consisti en la afirmacin de la verdad de un juicio cuyo objeto sea idntico al predicado (ese tipo de juicio se ha llamado juicio analtico). El primer principio lgico se ha resumido con la frmula:

Resea Histrica de la Lgica

La lgica form parte desde la antigedad del conjunto de pensamientos razonamientos englobados en las distintas posturas filosficas. As, el trmino sistema fue propuesto por Laozi (Lao tse) 500 aos A.C. al expresar que "un carro es mas que la suma de sus partes ", es decir, la relacin entre los distintos de elementos que forman el carro lo hace tener unas propiedades especiales y diferentes a las que poseen sus componentes por separado. Aristteles sealo ya un principio de abstraccin al describir el sistema como un conjunto de funciones, esencias y atributos que pueden ser diferenciables. Sin embargo, el trmino lgica matemtica denota preferentemente el conjunto de reglas y razonamientos deductivos elaborados a partir de la segunda mitad del siglo XIX. Mediante la eliminacin de los defectos lgicos del lenguaje comn y la adopcin de criterios de formalizacin y empleos de signos, la lgica formal se convirti en una disciplina asociada a las matemticas. George Boole hallo en 1854 que los conectivos propuestos por Aristteles para las proposiciones, como los de del tipo "y", "o", "negacin de", etc., verifican reglas similares a la suma y la multiplicacin, con lo que diseo el lgebra que lleva su nombre y se fundamenta en la lgica binaria de verdadera o falsa. Poco despus George Cantor fundo la teora de conjuntos y sus operaciones. Defini el conjunto como la unin de objetos con propiedades que son expresables, y el conjunto de conjuntos como un nuevo conjunto que se contiene as mismo como uno de sus propios elementos, en un razonamiento paradjico revelado por Bertrand Russell. Segn es te ltimo, un conjunto pertenece a la categora primera si no se contiene as mismo, y a la segunda si se contiene a si mismo como elemento; Si el conjunto A tiene como elementos los conjuntos de la primera categora, por deduccin no puede pertenecer a ninguna de las dos categoras, aunque inicialmente se asignar una categora a cada conjunto. Ernst Zermelo en 1904 formulo un axioma de eleccin acerca de conjuntos no vacos, es decir, aquellos que contienen elementos. En una familiade conjuntos no vacos, cualquiera que sea su tamao, se puede elegir al mismo tiempo un elemento de cada conjunto, y considerar el conjunto A que no poda pertenecer a ninguna categora como constituido por esos elementos. Con este axioma se pudieron demostrar teoremas matemticos clsicos carentes de lgica aparente, aunque se inicio la polmica de la validez de los teoremas basados en l y su equiparacin con los teoremas que no necesitan de su uso. En la prctica, se termin por indicar si en un determinado teorema se haba empleado o no el axioma de eleccin. Kurt Godel declar en el siglo XX que un sistema matemtico que fuera suficiente nicamente para la aritmtica clsica que tena que ser incompleto. Aadi que cualquier sistema puede ser coherente al incorporarle el axioma de eleccin, y se mantiene de igual manera al incluir la negacin de dicho axioma de eleccin. La hiptesis de continuidad general tambin es coherente con las matemticas ordinarias, que se mantiene coherentes si se les aaden simultneamente el axioma de eleccin y la hiptesis de continuidad general. Esta hiptesis propone una explicacin probable de un hecho o una serie de hechos cuya verdadera causa se desconoce.

Lgica Aristotlica
Aristteles es el primero en tratar con detalle la lgica y por esta razn se le considera su fundador, en un principio se le llam analtica, en virtud del ttulo de las obras que trat los problemas lgicos. Aristteles plantea un problema que es el siguiente: de que no es posible probar y demostrar que un conocimiento es verdadero, es decir, que tiene una validez universal, Aristteles encuentra el fundamento de la demostracin en la deduccin, procedimiento que consiste en derivar un hecho particular de algo universal. Se efecta de una forma de derivacin que es el silogismo, por esta razn la silogstica llega a ser el centro de la Lgica Aristotlica. Aristteles en su lgica investiga como nuestro concepto se encadena en el espritu, formula la teora de dicho encadenamiento abstracto en forma de silogismo. Es la deduccin formal cuya regla estableci de un modo inconmovible hasta el extremo de que Kant consideraba que la Lgica Aristotlica era algo perfecto y acabado.

Biografa de Aristteles (384-322 a.C.)

Filsofo y cientfico griego, considerado, junto a Platn y Scrates, como uno de los pensadores ms destacados de la antigua filosofa griega y posiblemente el ms influyente en el conjunto de toda la filosofa occidental. Naci en Estagira (actual ciudad griega de Stavro, entonces perteneciente a Macedonia), razn por la cual tambin fue conocido posteriormente por el apelativo de El Estagirita. Hijo de un mdico de la corte real, se traslad a Atenas a los 17 aos de edad para estudiar en la Academia de Platn. Permaneci en esta ciudad durante aproximadamente 20 aos, primero como estudiante y, ms tarde, como maestro. Tras morir Platn (c. 347 a.C.), Aristteles se traslad a Assos, ciudad de Asia Menor en la que gobernaba su amigo Hermias de Atarnea. All contrajo matrimonio con una pariente de ste (posiblemente su sobrina o su hija), llamada Pitias, y actu como su consejero. Tras ser capturado y ejecutado Hermias por los persas (345 a.C.), Aristteles se traslad a Pela, antigua capital de Macedonia, donde se convirti en tutor de Alejandro (ms tarde Alejandro III el Magno), hijo menor del rey Filipo II. En el ao 336 a.C., al acceder Alejandro al trono, regres a Atenas y estableci su propia escuela: el Liceo. Debido a que gran parte de las discusiones y debates se desarrollaban mientras maestros y estudiantes caminaban por su paseo cubierto, sus alumnos recibieron el nombre de peripatticos. La muerte de Alejandro (323 a.C.) gener en Atenas un fuerte sentimiento contra los macedonios, por lo que Aristteles se retir a una propiedad familiar situada en Calcis, en la isla de Eubea, donde falleci un ao ms tarde. En lgica, Aristteles desarroll reglas para establecer un razonamiento encadenado que, si se respetaban, no produciran nunca falsas conclusiones si la reflexin parta de premisas verdaderas (reglas de validez). En el razonamiento los nexos bsicos eran los silogismos: proposiciones emparejadas que, en su conjunto, proporcionaban una nueva conclusin. En el ejemplo ms famoso, "Todos los humanos son mortales" y "Todos los griegos son humanos", se llega a la conclusin vlida de que "Todos los griegos son mortales". La ciencia es el resultado de construir sistemas de razonamiento ms complejos. En su lgica, Aristteles distingua entre la dialctica y la analtica; para l, la dialctica slo comprueba las opiniones por su consistencia lgica. La analtica, por su parte, trabaja de forma deductiva a partir de principios que descansan sobre la experiencia y una observacin precisa. Esto supone una ruptura deliberada con la Academia de Platn, escuela donde la dialctica era el nico mtodo lgico vlido, y tan eficaz para aplicarse en la ciencia como en la filosofa.

Definiciones de la Lgica

1. Es el estudio de los mtodos y principios usados para distinguir el buen (correcto) razonamiento del malo (incorrecto). (IRVINGH COPI). 2. Ciencia que proporciona principios y mtodos que, aplicados a la estructura de los razonamientos, no permiten decir que si estos son o no correctos (ANGEL MUOZ GARCA) 3. Ciencia que estudia la estructura o forma del pensamiento. Dichas estructuras son conceptos, juicios y razonamientos (BERNANDO CONTRERAS GONZLEZ). 4. Ciencia que estudia los principios y mtodos del pensar correcto (GERARDO RELLOSO).

La Lgica Simblica
Una de las figuras ms destacadas del Crculo de Viena, el filsofo alemn Rudolf Carnap, realiz su ms importante contribucin a la semntica filosfica cuando desarroll la lgica simblica: Sistema Formal que analiza los signos y lo que designan. El positivismo lgico entiende que el significado es la relacin que existe entre las palabras y las cosas, y su estudio tiene un fundamento emprico: puesto que el lenguaje, idealmente es un reflejo de la realidad, sus signos se vinculan con cosas y hechos. Ahora bien, la lgica simblica usa una notacin matemtica para establecer lo que designan los signos, y lo hacen de forma ms precisa y clara que la lengua tambin constituye por si misma un lenguaje, concretamente un metalenguaje (lenguaje tcnico formal) que se emplea para hablar de la lengua como si de otro objeto se tratara: la lengua es un objeto de un determinado estudio semntico. Una lengua objeto tiene un hablante (por ejemplo una francesa) que emplea expresiones (como por ejemplo la plume rouge) para designar un significado, (en este caso para indicar una determinada pluma plume- de color rojo rouge-. La descripcin completa de una lengua objeto se denomina semitica de esa lengua. La semitica presenta los siguientes aspectos: 1) un aspecto semntico, en el que reciben designaciones especficas los signos (palabras, expresiones y oraciones); 2) un aspecto pragmtico, en el que se indican las relaciones contextuales entre hablantes y los signos; 3) un aspecto sintctico, en el que se indican las relaciones formales que

existen entre los elementos que conforman un signo (por ejemplo, entre los sonidos que forman una oracin). Cualquier lengua interpretada segn la lgica simblica es un objeto que tiene unas reglas que vinculan los signos a sus designaciones. Cada signo que se interpreta tiene una condicin de verdad una condicin que hay que encontrar para que el signo sea verdadero . El significado de un signo es lo que designa cuando se satisface su condicin de verdad. Por ejemplo la expresin o signo la luna es una esfera la comprende cualquiera que sepa espaol; sin embargo, aunque se comprenda, puede o no ser verdad. La expresin es verdadera si la cosa a la que la expresin o signo se vincula la luna- es de verdad una esfera. Para determina los valores de verdad del sigo cada cual tendr que comprobarlo mirando la luna.

Los Principios Lgicos

El Principio Lgico de Identidad Afirma que: toda cosa es lo que es. Tomemos en consideracin los siguientes ejemplos el crculo es redondo; el hombre es un animal racional. Tanto en el primero como en el segundo ejemplo, el predicado esta implcito en el sujeto. En efecto, es inconcebible un crculo que no fuere redondo, y que el hombre no fuese un animal racional. Estas dos proposiciones presentan una identidad entre el sujeto y el predicado. Crculo es lo mismo que redondo, y el hombre es lo mismo que un animal racional. En este sentido, podramos reducir a la formula A es A. Esta identidad lgica indica al mismo tiempo que el crculo implica el ser redondo, y el hombre implica ser animal racional, lo cual expresado en frmula sera A implica A. De esto se sigue que: De lo verdadero se deriva siempre lo verdadero, nunca lo falso. El Principio Lgico de Contradiccin El principio de la contradiccin afirma que: es imposible que algo sea al mismo tiempo verdadero y falso. Consideremos los siguientes ejemplos: el crculo no es redondo; el hombre no es un animal racional. Ambas proposiciones son falsas porque son ambas contradictorias. En efecto, es falso que el crculo no sea redondo y que el hombre no sea un animal racional. Si es un crculo es imposible que no sea redondo, y si es un hombre es imposible que no sea animal racional. Como es inadmisible que sea algo y no sea al mismo tiempo y en el mismo sentido, amabas proposiciones son contradictorias. La contradiccin puede aparecer tambin entre dos proposiciones contradictorias entre s. Por ejemplo: El tringulo tiene tres lado. Ahora si es verdadero que el tringulo tiene tres lados, es automticamente falsa la otra que afirma que no tiene tres lados. Luego, dos proposiciones contradictorias entre s contribuyen a una contradiccin. La contradiccin expresada en frmula sera: tanto si una proposicin predica que algo es y no es como si dos proposiciones son contradictorias entre s, hay una contradiccin. El Principio Lgico del Tercer Excluido Dice que: dos proposiciones contradictorias no pueden ser ambas falsas, ni ambas verdaderas. Necesariamente una de ellas debe ser verdadera. Consideremos el siguiente ejemplo: el sol es una estrella. Por el principio de contradiccin no podemos considerar ambas como verdaderas, y por el principio del tercer excluido no podemos aceptar que ambas son falsas. Luego, se sigue que si una es verdadera la otra es falsa y viceversa. Su expresin formal sera: A, o es A o no es A. De esto se sigue que: entre dos proposiciones contradictorias, si la primera es verdadera, la segunda ser falsa, y si la segunda es verdadera la primera ser falsa. Principio de la Razn Suficiente El principio lgico de la razn suficiente no fue enunciado por Aristteles sino posteriormente por el filsofo y cientfico alemn Guillermo Leibniz (1.646-1.716), y se refiere a que para nuestro pensamiento slo son verdaderos aquellos conocimientos que podemos probar con un nmero suficiente de razones, para que lleven al convencimiento de la verdad de lo afirmado. Esto quiere decir que, "Todo objeto debe tener una razn suficiente que lo explique". O lo que es, es por alguna razn. Este principio por referirse al problema de la verdad lo encontraremos tanto en el campo de la gnoseologa como en el de la lgica, ya que el estudio de la verdad compete a la Gnoseologa. Dejemos claro que existe un gran nmero de conocimientos cuya verdad adquirimos a travs de nuestros sentidos, mientras que existen otros que deben ser admitidos como el caso de los axiomas de las matemticas.

Arturo Schopenhauer (1.788-1860) en su obra "De la cudruple raz del principio de la razn suficiente", hace una distincin entre este principio y el de la causa y dice que la causa no puede reducirse a una simple razn, porque es por s misma un hecho y distingue cuatro fuentes para el principio de razn suficientes que son: El principio de la razn suficiente aplicado al cambio, al devenir, es el principio de causa, que se enuncia as: todo devenir tiene su causa. El principio de razn suficiente aplicado al conocer, establece que todo juicio que expresa un conocimiento debe tener su fundamento y justificacin en otros juicios, ello se enuncia: Toda afirmacin exige una justificacin. El principio de razn suficiente aplicado al ser independiente de todo tiempo; es decir, que todas las partes de un todo deben estar relacionadas entre s y cada una de ellas se encuentran determinada y condicionada por sus partes constitutivas. Esto se enuncia: Todo ser tiene su razn. El principio de razn suficiente aplicado al obrar, es la afirmacin y se enuncia de la manera siguiente: Toda accin tiene su motivacin. La razn suficiente la razn suficiente no es otra cosa que la conformidad del juicio con la legalidad de la misma razn. Guillermo Leibniz formul este principio de la forma siguiente: "Todas las cosas deben tener una razn suficiente por la cual son los que son y no otra cosa", lo que quiere decir que para nuestro pensamiento slo podrn ser inobjetables y verdaderos aquellos conocimientos que se puedan probar suficientemente". Relacin de la Lgica con otras Ciencias Muy relacionada con la lgica se encuentra la semntica o filosofa del lenguaje, la epistemologa, la psicologa, la computacin, las ciencias fsicas y naturales, en las ciencias sociales y en la vida cotidiana para resolver infinidades de problemas.

Biografa de Gottfried Wilhelm Leibniz (1.646-1716)

Filsofo y matemtico alemn, nace en leipzig y muere en Hannover. Su actividad cientfica y filosfica es notable y los estudiosos lo consideraban el primer filsofo de importancia en Alemania. Su formacin acadmica abarca el derecho, la historia, la lingstica, la diplomacia, la fsica, la teologa, la filosofa y las matemticas. Descubre a la par con Newton el clculo infinitesimal y establece un consistente sistema filosfico que ha perdurado hasta el mundo moderno. De familia luterana se educa en la Nicola Schule y en la biblioteca privada de su padre como autodidacta. Ingresa a la Universidad de Leipzig en 1.661, donde conoce a Galileo Galilei, Francis Bacn, Thomas Hobbes y a los nominalistas luteranos: se doctora en derecho y estudia matemticas en Jena. En 1.673 viaja a Pars, donde conoce a Antoine Arnauld, quien ejerce gran influencia en su pensamiento. Estudia matemticas con Christian Huygens, las que perfecciona con sus tratados sobre el clculo integral y diferencial en 1.675. Viaja a Hannover y trabaja como bibliotecario del prncipe Juan Federico; desarrolla all una intensa actividad intelectual y se relaciona con los ms importantes centros culturales de Europa. Mantiene correspondencia con Jacques Benigne Bossuet desde 1.702 y a partir de este intercambio deduce su teora filosfica. Su tesis sobre el universo y su composicin en monadas o sustancias inmateriales e independientes dotadas de movimiento propio, trata de conciliar las ideas aristotlicas de la finalidad interna de la naturaleza y la doctrina de Baruch Spinoza de la casualidad mecnica. La unin de estas partculas o monadas se da gracias a una casualidad ideal y no fsica y ellas constituyen la armona universal. Para leibniz, Dios dirige la armona humana y universal. Su metafsica considera que el conocimiento parte de Dios hacia el hombre. Leibniz afirma que hay dos clases de verdades, la de la razn, que se fundamenta en el principio de identidad o contradiccin y la verdad del hecho que se aplica en el principio de la razn suficiente. En Essais de Theodicee (Teodicea, 1710) para refutar las ideas de Pierre Bayle, precursor de lailustracin francesa. Entre sus obras se destacan Monadologie (Monadologa, 1.714); Dissertatio de Arte Combinatoria (1.666); Discours de Metaphysique (1.686); Sisteme nouveau de la Nature (1.695) y Nouveau essais sur l"entendement humaine (1.765).

Biografa de George Boole

Naci en 1.815 en la ciudad de Lincoln, Inglaterra, y muri en 1.864. Tambin es considerado uno de los precursores o iniciadores de la Lgica del lgebra y de la Lgica Simblica. El uso del

simbolismo y la tendencia a convertir la Lgica en clculo, hacen que esta ciencia a partir de Boole, adquiera una expresin muy nueva y vigorosa. En al obra de Boole se seala un cambio de lnea en el estudio de la Lgica y si bien no logro construir definitivamente la Lgica Matemtica; se le puede considerar como uno de los promotores de la misma; y su posterior desarrollo no hubiese sido posible sin el esfuerzo por l realizado. Su obra fundamental se titul: "The Mathematichal Analyst of Logic", al traducirla, dice: "El Anlisis Matemtico de la Lgica", la cual fue publicada en Londres en 1.847 y en ella se descubren los rasgos caractersticos de sus investigaciones lgicas. Su mrito esta en haber descubierto la analoga existente entre algunas funciones del lgebra y las funciones del Lenguaje. Boole afirm con convencimiento de causa que se puede trabajar con los signos lgicos de la misma manera que es posible laborar con los signos algebraicos.

Biografa de Bertrand Russell

Filsofo, matemtico y escritor ingls. Nace en Telleak y muere en Penhyn den droeth. Estudia en la Universidad de Cambridge, donde aos ms tarde ensea Matemticas, Lgica Formal y Filosfica. Sus ideales polticos pacifistas durante la Primera Guerra Mundial, le ocasionan el encarcelamiento y la destitucin en Cambidge. En la primera etapa de su trabajo se inclina a considerar las matemticas como el ideal del razonamiento filosfico. Polemiza con las escuelas Alemanas y Francesas Institucionalistas y Formalistas; sus tesis pretenden demostrar que las matemticas puras tratan de conceptos posibles de definir a travs de un pequeo nmero de enunciados lgicos fundamentales y que todas las proposiciones matemticas se deducen de un pequeo nmero de principios lgicos esenciales. Reduce la matemtica a la lgica creando as el logicalismo. Sus postulados filosficos son antikatianos en el sentido que las proposiciones lgicas y matemticas no son sintticas a priori sino analticas. Ludwig Wittgenstern lo conduce al neopositivismo filosfico y a lo que el mismo llama CONSTRUCTIVISMO Y ATIMISMO Lgico. El mrito de su pensamiento esta en servir de puente entre la lgica formal y las matemticas en el discurso filosfico. Su vida social, poltica intelectual le merecen grandes honores de parte de la Corona Britnica y el ttulo Nobiliario de Lord. Entre sus obras se destacan Principio Matemtico (1.910-1.943): The Prblems of Philosophy (1.912) y War Crimes in Vietnan (1.967) en 1.950 obtiene el premio Nobel de Literatura.

Juicio Crtico
Es necesario recalcar que la lgica se puede definir de diferentes maneras y de hecho en diversas publicaciones con una gran variedad de definiciones, si bien, todas ellas girar en torno a una misma idea (Enseanza de Raciocinio), "se puede decir que es: "Ciencia que ensea a relacionar con exactitud" "Ciencia que pone las leyes del raciocinio" Dando origen a la lgica simblica que va a estar construida como un clculo, o sea, como un conjunto de reglas operativas que afectan a los smbolos refirindose a una forma y no a un significado. La lgica puede enumerar que serie de desarrollos que ahora pasaremos a examinar. Se trata, de todos modos la lnea de investigacin que no se vincula ni siquiera indirectamente puesto que, como se ha dicho, las investigaciones lgicas de este, quedaron inditas durante siglos y, tras volver a ser descubiertas a finales de siglo XIX, solo empezaron a ser publicados.

La lgica jurdica es un mtodo de investigacin para entender al Derecho, obtiene su principal fuente del conocimiento en la razn y no de

la experiencia; el empleo de un lenguaje simblico del Derecho, permite tambin formar un paradigma en el conocimiento jurdico, que infiere en resultados perfectos, es decir, razonamientos tan exactos, como los que nos puede dar las matemticas. La lgica jurdica como tal no puede existir, toda vez que no es una especie del gnero lgica, sino lo que recibe ese nombre es solamente la aplicacin de la lgica a la ciencia del derecho. Es el Estudio sistemtico de las estructuras de las normas, los conceptos y los raciocinios jurdicos. Sistematiza y determina la estructura de las normas. KLUG, define la lgica jurdica como

la teora de las reglas lgico formales que llegan a emplearse en la aplicacin del Derecho. Asimismo subraya que la lgica jurdica es aplicada intuitivamente por los jueces en los razonamientos de sus sentencias, pero en ningn momento ha llegado a ser aplicada de manera reflexiva. VON WRIGHT (1951) creador de la lgica dentica, reflexiona sobre el empleo de los cuantificadores alguno, ninguno y todos; reflexionando anlogamente la existencia de las modalidades posible, imposible y necesario; lo que lo hace deducir conceptos jurdicos denticos El estudio de la lgica dentica, debe basarse en la lgica de la accin, es decir, en la produccin de

un suceso originado involuntariamente por un agente, que modifica intencionalmente un estado original de cosas a otro estado de cosas. La lgica jurdica es el instrumento de la ciencia jurdica, es el mtodo jurdico. Perfecciona el criterio de verdad sin el cual no puede alcanzarse la justicia. Se entiende tambin por Lgica jurdica, la lgica especial aplicada que, como sub- clase de la lgica Dentica, es una disciplina autnoma. Esta disciplina es denominada tambin por algunos autores con otros nombres como: Lgica dentica, Lgica del Discurso Normativo, Lgica de las normas(1).

PRINCIPIOS UNIVERSALES DE LA LGICA Y SU PARALELO CON LA LGICA JURDICA. 1) Principio de identidad: Significa que un concepto idea u objeto son siempre idnticos a si mismos. Su caracterstica o naturaleza ( sustancia ) no vara en el tiempo. Plantea la equivalencia que puede existir entre un concepto y sus elementos constitutivos ( hombre = animal y racional). Deriva su verdad y validez objetiva de la estructura ontolgica de los objetos ( ser iguales a si mismos ). Identidad del imperativo: Todo mandato en que lo mandado es

exactamente idntico a lo que se esta realizando, es necesariamente obedecido. Identidad de lo lgico jurdico: La norma que permite lo que no est jurdicamente prohibido o prohbe lo que no est jurdicamente permitido es necesariamente vlida. 2) Principio de Contradiccin: Dos juicios contradictorios no pueden ser a un mismo tiempo verdaderos. Contradiccin del imperativo: El mandato sera contradictorio si al mismo tiempo manda hacer y no hacer algo por lo tanto no pueden ser obedecidos ni vlidos. Contradiccin de lo lgico jurdico:

Dos normas se oponen contradictoriamente cuando teniendo mbitos iguales de validez material, espacial y temporal, una permite y la otra prohbe a los mismos sujetos la misma conducta. LA LOGICA JURIDICA COMO CIENCIA: Las posiciones sobre la lgica como ciencia jurdica se ha visto reflejada en los escritos de Bentham y en nuestro medio en gran media en la obra de Garca Maynes que afirma: Es importante percatarse que no se trata (hablando sobre la lgica jurdica) de una aplicacin al campo del derecho, de las leyes supremas de la lgica pura. Mientras las ltimas se refieren a juicios enunciativos y afirman o niegan algo de su verdad o falsedad, los otros principios aluden siempre

a normas y afirman o niegan algo de su validez o invalidez. Aquellas pertenecen, por ende, a la lgica del ser, estos a la del deber jurdico. (2) LA LOGICA JURIDICA COMO LOGICA FORMAL APLICADA A contrario censu de lo anterior se pronuncia Hernando Plaza quien plantea: La lgica jurdica enfrenta los problemas de tipo lgico surgidos de la reflexin acerca de la ciencia jurdica y de aplicacin de la lgica formal a resolverlos. Quien debe pautarlos y resolverlos es un investigador que rena las calidades de filosofo y jurista(3) OBJETO DE ESTUDIO DE LA LGICA: Tiene como tratamiento cognoscitivo a las categoras del

conocimiento lgico- jurdico que son fundamentalmente: La norma jurdica, el concepto jurdico, el juicio jurdico, la naturaleza coimplicante de la imputacin jurdica, la inferencia jurdica, la argumentacin jurdica.(1) Relacin entre lgica y derecho. La relacin entre derecho y lgica ha divergido en la historia. Las diferentes tendencias filosficas adoptadas por las Escuelas del Derecho, el progreso del la lgica y el ambiguo uso de este ltimo trmino, al cual se le han asignado concepciones y contenidos mltiples, es el motivo por el cual la apreciacin de su utilidad y aplicacin al campo del derecho ha sido cambiante. Por esto, es prudente aclarar las tres

concepciones principales sobre la relacin entre derecho y lgica, a saber: la de los ius naturalistas modernos, la de la jurisprudencia de los conceptos y la del formalismo neo kantiano. El estudio del derecho conforme a los ius naturalistas modernos es semejante al estudio de la geometra. Su percepcin del derecho es la de un sistema deductivo que a partir de principios naturales evidentes de la correcta actuacin humana es posible inferir el resto de las normas que rigen la conducta humana. Esta concepcin del derecho aparece en autores como Thomas Hobbes, quien en su obra Leviatn, pretende construir una teora racional y universal del derecho.

Esta idea del sistema jurdico como un sistema de reglas deducidas de algunos principios evidentes o naturales o con otras palabras- esta idea de un legislador racional y universal, lleg hasta la poca de la Ilustracin. La idea misma de una codificacin universal se inspiraba en el modelo de un ordenamiento jurdico como sistema deductivo, cuyos caracteres especiales deberan ser la unidad, la simplicidad, la integridad y la coherencia. Esta concepcin del sistema jurdico, basada en normas inferidas de teoremas, fue sucedida por la Escuela Histrica del Derecho y su positivismo jurdico que abandon la idea de la legislacin universal e inferible, por la de un sistema legislativo cambiante conforme a las

necesidades y convicciones predominantes de la sociedad. No obstante, la conexin entre lgica y derecho subsista, no en la produccin de normas sino en la aplicacin de la ley. En tanto que el ius naturalismo haba credo poder reducir la actividad misma del legislador a un complejo de operaciones lgica, circunscribiendo el nexo entre derecho y lgica al momento mismo de la formacin del ordenamiento, el positivismo jurdico, que prevaleci en el desarrollo del pensamiento jurdico del siglo XIX, abandon el momento de la produccin para expresarse con una frmula sinttica, aun cuando un poco burda- a las fuerzas irracionales de la historia, y restringi el dominio de la lgica a un campo subordinado

pero igualmente bien delimitado, y no obstante vasto e importante, el de la aplicacin de la ley al caso concreto. Bajo esta concepcin surge la llamada teora del silogismo jurdico que consiste, grosso modo, en un razonamiento normativo cuya premisa mayor est compuesta de una norma general, la premisa menor en los hechos y la conclusin en la norma especfica, deducida lgicamente de aquellas. En cuanto a su aplicacin en la ciencia del derecho, se deleg el trabajo de la lgica al estudio de la relacin y conexin de los conceptos y las normas jurdicas, al estudio de los postulados fundamentales, lo que conllevaba, en la visin de los conceptualistas, a una rigurosidad matemtica en la ciencia del

derecho. Con la llegada de los neo kantianos y, en especial con su ms conocido promotor, Hans Kelsen, la conexin entre lgica y derecho fue reemplazada por lo que se denomin el problema lgico del derecho, conducindola de la ciencia del derecho hacia la filosofa del derecho y que puede entenderse mejor a travs de la siguiente analoga sobre la funcin de la lgica del derecho.

QUE SON LOS PRINCIPIOS LGICOS. Los principios lgicos constituyen las verdades primeras, evidentes por s mismas, a partir de las cuales se construye todo el edificio formal del pensamiento, segn la Lgica tradicional. Dentro de una consideracin ms moderna de la Lgica Formal, los principios lgicos sern los preceptos o reglas operantes que rigen toda forma correcta de pensamiento. El modo de considerar estos principios ha variado a travs de la Historia de la Lgica y del pensamiento cientfico, pero la Lgica Formal ha coincidido en la formulacin de cuatro principios lgicos, aunque el cuarto no es aceptado por todos los lgicos. Tales principios son: 1. Principio de identidad. 2. Principio de Contradiccin (o Principio de no-Contradiccin). 3. Principio de Exclusin del trmino medio (o Principio del medio excluido o Principio del tercero excluido o Principio del Tercer trmino excluido) 4. Principio de Razn Suficiente. Desde un punto de vista psicolgico (aunque no desde la Psicologa Cientfica sino de la Psicologa Racional), los principios lgicos seran las leyes generales de operacin del pensamiento, es decir, las leyes que fundamentan los procesos lgicos. Desde un punto de vista ontolgico o metafsico, estos principios seran las determinaciones ms generales del ser an ms generales que las categoras. Pero desde un punto de vista estrictamente lgico, slo pueden ser considerados como las proposiciones fundamentales que cimientan toda otra proposicin en el pensamiento formalmente correcto.

EL PRINCIPIO DE IDENTIDAD. El principio de Identidad fue formulado por primera vez como parte de una teora de la realidad del ser. Ese principio afirmaba algo tan general como que El ser es; esto puede ser explicado diciendo que todo objeto es idntico a s mismo. Estas afirmaciones no son todava lgicas, pero con el tiempo, se reflexiono sobre las implicaciones lgicas de ese principio, logrando la formulacin lgico-formal del primer principio. Esa formulacin consisti en la afirmacin de la verdad de un juicio cuyo objeto sea idntico al predicado (ese tipo de juicio se ha llamado juicio analtico). El primer principio lgico se ha resumido con la frmula:

A es A

EL PRINCIPIO DE CONTRADICCIN. Este principio ha sido llamado tradicional e incorrectamente principio de contradiccin, cuando lo que se enuncia es la imposibilidad de contradiccin en el pensamiento. Se trata del principio fundamental de la Lgica clsica que descarta cualquier posibilidad de contradiccin en el pensamiento y en la realidad (esta implicacin ha sido y es uno de los obstculos ms fuertes que ha encontrado toda consideracin dialctica de la realidad y el pensamiento). La forma ms plena del segundo principio es la que se refiere a la no-contradiccin entre dos juicios, tal como se expresa en la frmula:

A es A y A no es A no son ambos verdaderos que se lee: El juicio A es A y su contradictorio, el juicio A no es A no pueden ser verdaderos a la vez. La forma original de este segundo principio es tambin ontolgica y se formulaba de la siguiente manera: El ser es y no puede a la vez no ser.

EL PRINCIPIO DE EXCLUSIN DEL TRMINO MEDIO. Como un complemento necesario del principio de no contradiccin, se formula el principio de exclusin del trmino medio. En su forma original, se refera tambin a una estructura de la realidad y consista en la afirmacin de que no hay trmino medio entre el ser y el no-ser. En su forma lgica, este principio debe entenderse como afirmando que dos juicios contradictorios no pueden ser ambos falsos, tal como se sintetiza en al frmula:

A es A y A no es A no son ambos falsosque se lee: El juicio A es A y su contradictorio, el juicio A no es A no pueden ser falsos a la vez.

EL PRINCIPIO DE RAZON SUFICIENTE. Este es, de los cuatro principios lgicos, el ms discutido, pues no todos los lgicos clsicos lo acepten. Su formulacin fue muy posterior a la de los otros, pues mientras los primeros tres se atribuyen a Parmnides de Elea quien vivi en el siglo V antes de nuestra era-, el cuarto principio fue formulado por Gottfried Wilhelm Leibniz aproximadamente en 1666, en plena Edad Moderna.

El cuarto principio se enuncia:

Nada es sin una razn suficiente.

Christian Wolf en 1712 distingui entre tres modos de entender este principio: a) Como razn de ser, b) Como razn de llegar a ser c) Como razn de conocer.

Dentro de la Lgica tradicional, se ha entendido este cuarto principio en el tercero de los significados que propuso Wolf. Desde ese punto de vista, el principio puede ser formulado: Todo conocimiento tiene que estar fundado.

Leccin anterior

Siguiente Leccin