NOCIONES ELEMENTALES DE LGICA

LGICA:
CONCEPTO:
Denominacin directamente relacionada con la palabra griega Logos cuyo
significado en griego antiguo es equivalente a pensamiento o razn pero tambin
palabra o conocimiento y LOGIK era lo relativo a logos.
Se trata del estudio de la forma en que funciona la facultad humana de pensar y
razonar.
Puede definirse la lgica como el conjunto de conocimientos que tienen por objeto la
enumeracin de las leyes que rigen los procesos del pensamiento humano, as como
de los mtodos que han de aplicarse al razonamiento y a la reflexin para lograr un
sistema de raciocinio que conduzca a resultados que puedan considerarse como
certeros o verdaderos.
Debe distinguirse entre:
LGICA FORMAL o PURA:
Es la ciencia (en cuanto conocimiento) que determina cuales son las formas
correctas y vlidas de los raciocinios, pero lo hace considerndolos en s mismos y
con prescindencia de los contenidos concretos de los razonamientos; es decir,
considerando esos contenidos como entes lgicos abstractos, de tal manera que las
leyes a aplicar tengan validez para cualquier contenido concreto.
El RACIOCINIO puede definirse como UN PROCESO DEL PENSAMIENTO ( por lo
tanto exclusivamente humano) QUE A PARTIR DE CIERTOS CONOCIMIENTOS
ESTABLECIDOS (PREMISAS), CONDUCE A ADQUIRIR UN CONOCIMIENTO
NUEVO (contenido en la CONCLUSIN) SI QUE POR ELLO HAYA QUE
RECURRIR A NUEVAS CONSTATACIONES U OBSERVACIONES SENSIBLES
DESTINAS O ADICIONALES A LAS YA CONTENIDAS EN LAS PREMISAS.
La verdad a la que conduce la LGICA FORMAL es una verdad formal que ser
verdad si es verdad el contenido de las premisas, aunque el razonamiento sea
correcto o vlido como tal.
LGICA MATERIAL o LGICA APLICADA:
Es aquella en que UN PROCESO DE RACIOCINIO O DE PENSAMIENTO SE
ANALIZA EN CXONSIDERACIN AL CONTENIDO REAL DE SUS
PREMISAS, Y POR LO ANTO DEBE CONDUCIR A UNA VERDAD
MATERIAL, UNA CONCLUSIN QUE SEA CONCORDANTE CON LA
REALIDAD.
Mientras que las premisas (PREDICADOS) que considera la lgica pura constituyen
entidades abstractas y absolutamente precisas, respecto de las cuales no es
requerido que exista ningn objeto que las verifique; es difcil encontrar en la
realidad conceptos de origen emprico-sensible que presenten exactamente las
caractersticas de los objetos lgicos.
Por lo tanto, respecto de proposiciones lgicas que utilicen esos conceptos, las leyes
de la lgica formal solamente sern aplicables con especial precaucin.
De tal manera, las leyes de lgica formal solamente sern aplicables con alcance
estricto n el campo de las ciencias puras como las matemticas, la propia lgica, la
mecnica, y aquellas disciplinas exclusivamente normativas y abstractas tales como
la interpretacin jurdica.
BREVE HISTORIA DE LA LGICA
ARISTTELES. (384-322 a de C) Su principal aporte fue la SILOGSTICA: el
estudio del procedimiento del raciocinio por medio del SILOGISMO, en que de dos
premisas se deduce una conclusin tambin llamada lgica de las proposiciones o
LGICA CLSICA
FILSOFOS POSTERIORES (ESCUELA ESTOICA PRE-CRISTIANA y
ESCOLASTICA MEDIEVAL) desarrollaron a fondo la LOGICA DE LAS
PROPOSICIONES, sistematizando y completando la silogstica aristotlica
llegando a desarrollar las llamadas LOGICAS MODALES.
Siglo XIX, desenvolvimiento de la LGICA MATEMTICA que partiendo del
antecedente del pensamiento de LEIBNITZ realizaron BOOLE y FREGE.
LEIBNITZ, Gottfried Wilhelm (1646-1716) creador
de la LOGICA MATEMTICAdesarroll la idea de un CALCULUS
RATIOCINATOR mediante el cual se aplicara un sistema de reglas a algunos
conceptos generales, precisamente definidos, lo que habilitara a operar n el campo
de las cuestiones filosficas con los mismos procedimientos del razonamiento
matemtico. Esta idea tena implcito el concepto de crear un mtodo equivalente al
de las ciencias exactas para alcanzar la certeza en cuanto a cuestiones filosficas.
BOOLE, George, ingls, siglo XIX, autor de Investigacin de las leyes del
pensamiento en que se fundan las teoras matemticas de la Lgica y la
probabilidad, desarrolla la LOGICA MATEMTICA o LGICA SIMBLICA.
Conjuntamente con FREGE consigui construir clculos lgicos rigurosamente
formalizados que permitieron aplicar a los problemas lgicos los procedimientos
matemticos, sentando con ello los fundamentos operativos de la tecnologa de la
moderna computacin que fueron desarrollados posteriormente por las teoras de
Emil POST y el matemtico ingls Allan MATHISON TURING creador
de la AutomaticDigital Machine que permiti por primera vez realizar
clculos usando algoritmos.
La obra culminante de la lgica simblica PRINCIPIA MATHEMATICA de Sir
BERTRAND RUSSELL (1872-1970) y Alfred NORTH WHITEHEAD, (1861-
1947)sustenta el concepto de que las matemticas puras se obtienen de premisas
lgicas puras, de modo que los conceptos que las definen tambin son conceptos
lgicos puros.

LOS PRINCIPIOS LGICOS
Como punto de partida del estudio de las leyes que rigen el proceso del
razonamiento se establecieron LEYES FUNDAMENTALES que se consideraron
GENERALES y ANTERIORES A TODOS LOS QUE DE ELLOS SE DEDUCEN,
QUE SON PRODUCTO DE LA INTUICION (resultado de un conocimiento directo e
inmediato) Y SOBRE LOS CUALES SE FUNDAMENTAN TODAS LAS RESTANTES
NORMATIVAS LGICAS.
Se consideran VERDADES AXIOMTICAS, EVDENTES POR S MISMAS, QUE NO
TIENEN QUE, NI NECESITAN, DEMOSTRARSE.
Son 4 los principios, los tres primeros enunciados por ARISTTELES y el cuarto
agregado por LEIBNITZ:
1. PRINCIPIO DE IDENTIDAD: Desde el punto de vista del ser (ontolgico) se
enuncia expresando que TODO OBJETO (DE CONOCIMIENTO) ES IGUAL A S
MISMO. Sin embargo desde el punto de vista lgico, su enunciado se relaciona con
la estructura de las proposiciones, expresando qu EL PRINCIPIO DE IDENTIDAD
SE VEROFOCA CUANDO EN UNA PROPOSICION VERDADERA EL CONCEPTO
CONTENIDO EN EL PREDICADO ES TOTAL O PARCIALEMTNE IDNTICO AL
CONCCEPTO CONTENIDO EN EL SUJETO. Ej. El tringulo tiene tres lados
2. PRINCIPIO DE (NO) CONTRADICCIN: tambin tiene formulacin
ontolgicaconforme a la cual UN ONBJETO (DE CONOCIMIENTO) NO PUEDE
SER Y AL MISMO TEMPO NO-SER. Desde el punto de vista lgico, este principio
se enuncia expresando que DOS PROPOSICIONES CONTRADICTORIAS NO
PUEDEN SER AMBAS VERDADERAS o que TODA CONTRADICCIN ENCIERRA
UNA FALSEDAD. Si es verdad que el tringulo tiene tres lados no puede ser
verdad que el triangulo no tiene tres lados. En relacin a la lgica aristotlica (o
Clsica) pude decirse que el principio de no contradiccin es el fundamental de
todos, al punto de que hay quienes lo consideran el nico principio del cual se
extraen los otros.
3. PRINCIPIO DEL TERCERO EXCLUIDO: Est estrechamente vinculado con el
de no contradiccin, al punto que a veces se lo distingue de este diciendo que
MIENTRAS EL DE NO CONTRADICCIN EXPRESA QUE DOS
PROPOSICIONES CONTRADICTORIAS NO PUEDEN SER AMBAS
VERDADERAS, EL DEL TERCERO EXCLUDO EXPRESA QUE DOS
PROPOSICIONES CONTRADICTORIAS NO PUDEN SER AMBAS FALSAS.Sin
embargo, es ms apropiado referir este principio al concepto de valor de verdad de
la lgica clsica, conforme al cual UNA PROPOSICION SOLAMENTEPUEDE
TENER VALOR DE VERDADERA O DE FALSA Y POR LO TANTO ENTRE LA
VERAD O LA FALSEDAD NO EXISTE UNA TERCERA POSIBILIDAD. En
consecuencia la relacin con el principio de no contradiccin queda mejor
expresada en cuanto al principio del tercero excluido si se enuncia en el sentido de
que DE DOS PROPOSICIONES CONTRADICTORIAS, NECESARIAMENTE UNA
HA DE SER VERADERA YLA OTRA HA DE SER NECESARIAMENTE FALSA.
4. PRINCIPIO DE RAZN SUFICIENTE: Enunciado por LEIBNITZ en un
sentido ontolgico expresando que TODO LO QUE EXISTE TINE SU RAZON DE
SER. Algunos filsofos le han dado una enunciacin en sentido lgico expresando
que TODO JUICIO ES FALSO O VERADERO POR ALGUNA RAZN, Y POR LO
TANTO HA DE SER POSIBLE JUSTIFICAR SU VERACIDAD O SU FALSEDAD
POR MEDIO DE LA RAZN.

De este principio se deriva: PRINCIPIO DE CAUSALIDAD: Este principio ms
propiamente ontolgico implica que TODO LO QUE EXISTE TIENE UNA CAUSA,
POR LO CUAL TODO LO QUE ES EFECTO DE UNA CAUSA PUDE
CONVERTIRSE A SU VEZ EN CAUSA DE OTRO EFECTO.
Objetivos de la Lgica Jurdica
- Proporcionar principios y procesos correctos del pensamiento en relacin al
ordenamiento legal y su vinculacin Abogado - Sociedad - Estado.
- Valorar todas las expresiones del pensamiento, de las acciones y procesos,
mediante el conocimiento de las operaciones lgicas.
- Ejecutar el Derecho en forma racional a travs de conceptos, juicios y
razonamiento, evitando errores y estableciendo siempre la verdad.
- Determinar la condicin que justifique el estudiante de derecho a partir de las
preposiciones dadas, llamadas premisas alcance una conclusin derivada de
aquellas.
- Discutir, exponer y demostrar con razonamiento los caminos ms viables
para la solucin de problemas.
- Aplicar los principios y leyes del pensamiento en general al campo del
Derecho, a la jurisdiccin, a la doctrina y fundamentos de la misma.