LA LGICA FORMAL Definicin. Es la ciencia formal que estudia la validez de la inferencia.

Es formal porque hace abstraccin del contenido para ocuparse nicamente de su estructura o conexiones entre sus partes. Es el estudio de las diversas operaciones, leyes y principios de la validez de la inferencia. Historia de la lgica. El desarrollo de la lgica est ntimamente ligado al de la matemtica. Podemos distinguir tres grandes etapas del desarrollo de la lgica: la antigua o clsica, la escolstica o medieval y la moderna. El iniciador de la lgica, en la etapa antigua, fue Aristteles, quien elabor la silogstica y el planteamiento de la investigacin segn el mtodo deductivo. En esta misma etapa, los estoicos (Los estoicos proclamaron que se puede alcanzar la libertad y la tranquilidad tan slo siendo ajeno a las comodidades materiales, la fortuna externa, y dedicndose a una vida guiada por los principios de la razn y la virtud (tal es la idea de la imperturbabilidad o ataraxia) se dedicaban a una lgica de proposiciones, precursora de la lgica proposicional actual. En la poca medieval contribuyeron al desarrollo de la lgica los escolsticos (La escolstica (del latn scholasticus, y ste a su vez del griego [aquel que pertenece a la escuela]), es el movimiento teolgico y filosfico que intent utilizar la filosofa grecolatina clsica para comprender la revelacin religiosa del cristianismo. Domin en las escuelas catedralicias y en los estudios generales que dieron lugar a las universidades medievales europeas, en especial entre mediados del siglo XI y mediados del XV.) Duns Escoto, Guilermo de Ockham, Alberto de Sajonia y Raimundo Llull. Juan Duns Scoto (1266-1308) fue un telogo escocs perteneciente a la escolstica. Ingres en la orden franciscana y estudi en Cambridge, Oxford y Pars; fue profesor en estas dos ltimas universidades. La sutileza de sus anlisis le vali el sobrenombre de "Doctor Sutil". Se le consider santo y se le vener sin mediar canonizacin. El 20 de marzo de 1993 el Papa Juan Pablo II confirm su culto como beato. Entre sus obras destacan Ordinatio (Opus oxoniense) y Reportata parisiensa (Opus parisiense). Respecto a sus obras menores, la de mayor trascendencia es Tratado del primer principio. En ella, utilizando la aplicacin de la lgica deductiva en el terreno metafsico, intenta demostrar la existencia de Dios y la de sus atributos fundamentales. Sus argumentos giran alrededor de las esencias, los inteligibles y el orden ontolgico que se puede establecer entre ellos. Uno de los aspectos ms interesantes es la agudeza con que demuestra que el
1

Primer Principio (Primer Eficiente o Causa Incausada), por ser infinito, por su propia naturaleza, est dotado no slo de inteligencia, sino tambin de voluntad. Con lo cual la Creacin no es un acto de necesidad metafsica, sino de plena libertad divina. Guillermo de Ockham, (1280/1288 1349) fue un fraile franciscano y filsofo escolstico ingls, oriundo de Ockham, un pequeo pueblo de Surrey, cerca de East Horsley. Como franciscano, Guillermo estuvo dedicado a una vida de pobreza extrema. Occam muri a causa de la peste negra. Ockham ha sido llamado el mayor nominalista que jams vivi y tanto l como Duns Scoto, su homlogo en el bando realista, han sido considerados por algunos como las dos mentes especulativas ms grandes de la edad media entre los pensadores pertenecientes a la escuela franciscana. Por ello, se ha escrito que son dos de los metafsicos ms profundos que jams vivieron. En sus razonamientos hizo frecuente uso del principio de economa de entes, conocido en el mbito cultural anglosajn como principio de parsimonia; por ello, aunque es muy anterior a l -ya lo utilizaban los antiguos griegos y aparece en el Organon aristotlico-, fue bautizado como Navaja de Ockham. Beato Raimundo Lulio (en cataln: Ramon Llull) (1232 - 1315), fue un laico prximo a los franciscanos (pudo haber pertenecido a la Orden Tercera de los frailes Menores), filsofo, poeta, mstico, telogo y misionero mallorqun del siglo XIII. Fue declarado beato y su fiesta se conmemora el 29 de marzo. Los estudiosos cristianos del siglo XIII celebraron el hallazgo de Lulio, a pesar de que pronto detectaron los problemas del razonamiento luliano. Si bien es cierto que normalmente ambas ciencias estn de acuerdo porque lo que es cierto en filosofa no puede ser falso para el telogo ambas llegan a la verdad por caminos diversos: la teologa se apoya en la razn y la revelacin divina, mientras que el filsofo est solo frente al problema, provisto nicamente de su propia razn. Los rabes fueron un paso ms all: criticaban a la Ars Magna expresando que, segn ellos, lo que es falso en filosofa perfectamente puede ser verdadero en teologa, porque nada es imposible para Dios y l muy bien puede pasar por encima de las limitaciones de la ciencia. Este concepto se conoce como "Verdad de Doble Nivel". La lgica moderna, en la que destacan importantes lgicos, tiene sus antecedentes, entre otros, a Francisco Bacon (1561-1626), en cuyos trabajos reivindica la importancia del mtodo inductivo dndole nuevos fundamentos (la induccin incompleta), en su obra
2

Novum Organum. Se considera como precursor de la lgica moderna a Leibniz (16461716), quien fue el primero en formular la idea de un clculo lgico. Cabe mencionar tambin a Leonhard Euler (1707-1783), quien popularizo el uso de los diagramas circulares para anlisis del silogismo. La lgica simblica se inicia con el lgebra de la lgica de George Boole (1815-1864). John Venn (1834-1923) utiliz diagramas que se trasladan para el anlisis de esta lgica. A fines del siglo XIX, la preocupacin de los matemticos estaba centrada en buscar en la lgica un fundamento para sus conceptos y procedimientos demostrativos. Los trabajos de Gottlob Frege (1848-1925) estuvieron entre ellos. l aport la distincin entre variables y constantes, el concepto de funcin lgica y el uso de los cuantificadores por lo cual se le considera padre de la lgica moderna. Su obra principal es conceptografa. En 1879, Frege public su revolucionaria obra titulada Conceptografa (Begriffsschrift), en la que sent las bases de la lgica matemtica moderna, iniciando una nueva era en esta disciplina que haba permanecido prcticamente inalterada desde Aristteles. Mediante la introduccin de una nueva sintaxis, con la inclusin de los llamados cuantificadores (para todo o para al menos un), permiti formalizar una enorme cantidad de nuevos argumentos. Tambin fue el primero en distinguir la caracterizacin formal de las leyes lgicas de su contenido semntico. Giussepe Peano (1858-1925) cre un lenguaje simblico para las demostraciones matemticas: emple puntos en lugar de los signos de agrupacin y simboliz los cuantificadores y otros signos, aportes que fueron acogidos posteriormente en principia mathematica, la obra de B. Russell y Alfred N. Whitehead. Ellos realizan la sntesis de toda la teora de la inferencia y los tipos de inferencia empleados en la demostracin de teoremas de la matemtica anteriores en su obra conjunta Principia mathematica. David Hilbert (1862-1934), luego de analizar Principia mathematica y detectar algunos defectos en ella cometidos por Russell y Whitehead, debido a la falta de rigor en el lenguaje usado al estudiar la inferencia, cre un nuevo mtodo, actualmente conocido como metateora (Una metateora es una teora que se dedica al estudio de otra teora o conjunto de teoras. En sentido general podra ser llamada teora de las teoras. Si A es una teora de B y B es en s misma una teora, entonces A es una metateora. Sin embargo, una teora general no puede ser una metateora desde que no se dedica en particular a una o a un conjunto de teoras) o metalenguaje, el cual permite la elaboracin rigurosa de los sistemas axiomticos.

Tambin son importantes los trabajos de Emil Post, Kurt Godel, Alfred Tarski. Mencin especial merece Ludwig Wittgenstein (1889-1951), quien redujo la lgica de predicados y la matemtica al clculo proposicional e introdujo el mtodo de las tablas de verdad para la evaluacin de los esquemas proposicionales. 1. Formas del pensamiento. Se conoce con las formas del pensamiento (del

conocimiento) al sistema de abstracciones que reflejan adecuadamente la esencia del objeto del conocimiento (de la realidad natural o social o de la trayectoria evolutiva del propio pensamiento). La misin del pensamiento es reproducir el proceso histrico real en toda su objetividad, complejidad y contradiccin. El medio de que se vale el pensamiento para cumplir su misin es lo lgico, que refleja lo histrico en forma terica, es decir, reproduce la esencia del objeto y la historia de su desarrollo en un sistema de abstracciones. Lo histrico, con referencia a lo lgico, es lo primario; la lgica refleja los jalones fundamentales de la historia. La forma del pensamiento o forma lgica, puede definirse en pocas palabras como el modo de reflejar la realidad por medio de abstracciones. Toda forma lgica constituye un eslabn en la trayectoria del pensamiento hacia la verdad objetiva y en ella se expresan los resultados del pensar. En el proceso de la eterna e infinita aproximacin del pensamiento al objeto se forman diversos puntos nodales; en ellos se reflejan los resultados del conocimiento del objeto. Las formas del pensamiento son estos peculiares puntos nodales donde los resultados de la actividad de abstraccin del intelecto aparecen organizados de forma determinada, vinculados entre s, y expresan el nivel del conocimiento alcanzado en el cambio de su ulterior progresin. Interrelacin de las formas del pensamiento. La lgica ha determinado hace ya mucho tiempo, como fundamentales, las siguientes formas: concepto, juicio y razonamiento. A lo largo de toda la historia de la lgica, los investigadores centraron su atencin en el estudio de las diferencias entre estas formas, de su lugar en la trayectoria del pensamiento hacia la verdad. Una forma del pensamiento se opona con frecuencia a la otra, se aislaba, se consideraba como la principal, la primaria. Durante mucho tiempo se ha considerado en la lgica que el concepto antecede al juicio y al razonamiento, que le juicio es el vnculo de los conceptos y el razonamiento, el resultado de la suma, de la unin de los juicios. Esta concepcin era muy grata a los racionalistas, sobre todo, ya que reconocan la existencia de
4

ideas innatas y acabadas, anteriores a la experiencia e independientes de ella, en forma de conceptos, sencillsimos y primordiales, que constituyen la base de todo nuestro saber, de todos los juicios y razonamientos. 2. Formas del pensamiento jurdico.

Concepto jurdico. El concepto jurdico permite reflejar en sntesis segn el caso, las caractersticas tanto esenciales como secundarias de aquello que es objeto y sujeto, respectivamente, de la regulacin jurdica, de la conducta objeto de la consecuencia jurdica, de las circunstancias objetivas y subjetivas de la regulacin jurdica; e igualmente, permite reflejar la trayectoria histrico lgico del conocimiento jurdico, la clase de norma jurdica, la estructura interna del juicio jurdico, etc. Ejemplos: objeto de la regulacin jurdica son: la vida, el honor, la soberana, la funcin pblica, la libertad, el predio urbano o rstico, propiedad intelectual, la salud, el bien mueble, el dinero, energa elctrica, mineral, etc. Sujeto de la regulacin jurdica son: obligado, facultado, Cooperativas, Estados, Universidad, partido poltico, Organizacin de los Estados Americanos, alimentistas, contratistas, Fiscal, Juez, Rector, alumnos, etc. Son conductas objeto de la regulacin jurdica: pagar una deuda, omitir en auxiliar a una persona en estado de necesidad, acaparar alimentos, interponer una reclamacin, formular una peticin ante los Poderes Pblicos, pagar tributo, de mandar, exigir libertad de expresin, expedir resolucin, cumplir un contrato, desacatar a la autoridad, incumplir (ilegalmente) una resolucin de la autoridad competente, etc. Circunstancias objetivas y subjetivas de la regulacin jurdica son: trmino para formular una reclamacin, calidad y cantidad de lo debido, edad o estado civil del sujeto de derecho, intencin o negligencia previstas; estado de inconsciencia de la vctima, mvil de la conducta, lugar donde debe cumplirse la conducta obligada, distancia prevista para la ejecucin u omisin de un comportamiento, etc. Trayectoria histrico-lgico del conocimiento jurdico: desentraar la evolucin del concepto de: derecho de propiedad, del concepto de libertad personal y libertades polticas, de Derechos Humanos, etc. Clase de norma jurdica: norma jurdica prohibitiva, obligatoria, permisiva, potestativa, de dispensa. Etc. Estructura interna del juicio jurdico: hiptesis jurdica, operador dentico, consecuencia jurdica.

3.

Clasificacin de los conceptos jurdicos. las especies o clases del objeto del conocimiento que el concepto abarca y refleja lo esencial de l; o sea, es la cantidad, el volumen, de objetos que abarca. Un concepto sin extensin es tan imposible como un concepto sin contenido. A primera vista, puede parecer que existen conceptos carentes de extensin. Tal es, supongamos, el concepto cuadrado redondo. Es evidente que no existe ningn cuadrado que corresponda a este concepto, sin embargo, incluso en casos semejantes, hablando en rigor, el concepto no carece de extensin. Lo que ocurre es que la extensin ser, como suele decirse, cero (o vaca). Desde el punto de vista cuantitativo (formal), tenemos:

3.1. Concentos jurdicos segn su extensin. Se entiende por extensin del concepto a

a.

Concepto jurdico universal. Desde el punto de vista cuantitativo, es aqul que incluye y expresa a la totalidad de los componentes de los objetos y/o sujetos de una determinada regulacin o relacin jurdica, a la totalidad de actos o hechos jurdicos o antijurdicos en una determinada consideracin, a la totalidad del tipo imputacin jurdica o a la totalidad de las hiptesis jurdicas o a la totalidad de las consecuencias jurdicas, etc., tomando en cuenta en un determinado contexto. Ejemplos: todas las universidades del Per, todos los alumnos universitarios, todos los contribuyentes de la regin de Ayacucho.

b. Concepto jurdico particular. Desde el punto de vista cuantitativo, es aquel que se refiere a una pluralidad que es menor que la totalidad y mayor que la unidad. Es identificable fcilmente debido al cuantificador que necesariamente se le antepone para designarlo, para expresarlo. Ejemplo: algunos obligados, ciertos inmuebles, unas cuantas sentencias, varios tratados internacionales, muchos de compra-venta, pocos Estados, algunas hiptesis jurdicas, etc. c. 3.2. 4.