Lgica preposicional, de cuantificacin y de clases.

La lgica proposicional o lgica de orden cero trata con sistemas lgicos que carecen
de cuantificadores, o variables interpretables como entidades. En lgica proposicional
si bien no hay signos para variables de tipo entidad, s existen signos para variables
proposicionales (es decir, que pueden ser interpretadas como proposiciones con un
valor de verdad de definido), de ah el nombre proposicional. La lgica proposicional
incluye adems de variables interpretables como proposiciones simples signos para
conectivas lgicas, por lo que dentro de este tipo de lgica puede analizarse la
inferencia lgica de proposiciones a partir de proposiciones, pero sin tener en cuenta la
estructura interna de las proposiciones ms simples.
Todos los lenguajes estn construidos a partir de combinaciones de signos que reciben
el nombre de expresiones. Pero no cualquier combinacin es vlida, sino que
dicha combinacin debe realizarse de acuerdo con una serie de reglas gramaticales
(morfolgicas, sintcticas, etc.). Cuando una expresin del lenguaje natural es
gramaticalmente correcta y tiene un sentido completo recibe el nombre de oracin.
Hay muchos tipos de oraciones en los lenguajes naturales: enunciativas, desiderativas,
de posibilidad, dubitativas, exhortativas, interrogativas, exclamativas, etc. Aqu nos
interesan las oraciones enunciativas, tambin llamadas enunciados o proposiciones,
que son aquellas oraciones que afirman o niegan algo y que, por tanto, pueden ser
verdaderas o falsas. La Lgica proposicional (denominada tambin Lgica de
enunciados) se ocupa de las proposiciones.
Tanto lgica como gramaticalmente, las oraciones pueden ser sometidas a anlisis.
Tomemos, por ejemplo, la proposicin Las moscas son insectos. Gramaticalmente
podemos analizar esta oracin comenzando por distinguir un sujeto y un predicado.
Lgicamente podemos analizarla sealando que en ella se establece una relacin entre
dos clases o conjuntos, en cuyo caso la interpretaremos como afirmacin de que los
miembros de la clase de las moscas son tambin miembros de la clase de los insectos:
as se hace en la Lgica de clases.
Pero en la Lgica proposicional las proposiciones no se analizan, sino que se toman
como un todo, en bloque. Las proposiciones son los elementos ltimos sobre los cuales
opera esta rama de la Lgica. Las proposiciones Las moscas son insectos y La
Tierra es un planeta son proposiciones simples. En cambio, Las moscas son insectos
y la Tierra es un planeta y Si las moscas son insectos, entonces la Tierra es un
planeta son proposiciones complejas.
Una proposicin simple es aquella que no puede descomponerse en partes que, a su
vez, sean proposiciones. Las proposiciones simples se denominan tambin atmicas.
Una proposicin complejatambin denominada molecular es aquella que puede
descomponerse en proposiciones simples.
Las proposiciones complejas se componen, pues, a partir de proposiciones simples por
medio de partculas como y, si... entonces..., etc., que sirven para conectar o unir
proposiciones entre s

La lgica y su aplicacin al derecho.

La utilidad de la lgica en el derecho, ayuda a construir razonamientos y argumentos
ms slidos y a encontrar los errores en los razonamientos que se formulen y
mejorarlos.
Por otra parte, la lgica puede ser til para el jurista en su labor tcnica de anlisis en
el derecho, dado que siempre parte de tres elementos:
a) Una conducta (sea gobernado o autoridad)
b) Una norma jurdica (producida por la autoridad)
c) Un acontecimiento (cuyos enunciados descriptivos se buscan las premisas para
concluir si sucedi o no)
Lo cual puede plantearse de la siguiente manera:
En virtud del artculo 16 constitucional, toda la resolucin de autoridad que ocasione
una molestia a los gobernados debe fundarse y motivarse.
Aqu se aprecian las relaciones lgicas entre la resolucin de autoridad, como
conclusin, y la fundamentacin y motivacin como premisas.

Toda interpretacin explcita o implcita de una norma jurdica, sea hecha por
autoridad o por gobernado, conlleva la relacin entre la interpretacin como
conclusin, y la norma interpretada y reglas de interpretacin como premisas
Siendo las premisas consistentes en la fundamentacin y motivacin conlleva a que
todo ordenamiento jurdico aplique dicho razonamiento; por lo que la justificacin de
que una conducta o acontecimiento realmente sucedi tiene importancia lgica en:
a) La relacin entre los enunciados descriptivos de tal conducta o acontecimiento,
como conclusin y las pruebas como premisas.
b) La relacin entre las pruebas empleadas, como conclusin y las normas jurdicas que
las regulan como premisas.
c) La relacin entre la valoracin de las pruebas que hace la autoridad como
conclusin, y las normas jurdicas que regulan tal valoracin como premisas

La lgica dentica.
Al iniciar el tema debemos distinguir dos cosas, la lgica jurdica y la lgica dentica
son disciplinas diferentes.
La primera es un parte tcnica de inters propio para los abogados y juristas en
general, que consiste en el estudio de la aplicacin de todos los recursos favorables y
aprovechables de la lgica, en sentido amplio, al campo del derecho. Estos recursos
comprenden el empleo de la lgica indicativa formal (tanto tradicional, como simblica)
as como el de la lgica dentica y la lgica retrica o de la argumentacin.
No se soslaya, que en ocasiones no se aplique a la rama del derecho todos los
elementos de la lgica, en todas sus partes, ya que comnmente se puede aplicar al
campo del derecho en cualquier circunstancia.
En definicin tenemos que la lgica dentica, es rama de la ciencia lgico-formal que
emplea y simboliza fundamentalmente material lingstico relacionado con la funcin
normativa, para el anlisis del razonamiento y de las estructuras formales de la
comunicacin, y por tanto, no utiliza exclusivamente lenguaje relacionado con la
funcin informativa, como lo hace la lgica hasta ahora comentada.
La funcin normativa del lenguaje es una especie de la funcin directiva y comprende
al lenguaje de las normas jurdicas, pero no slo ste si no tambin al de otro tipo de
normas. Por consiguiente, la lgica dentica puede emplearse adems en la religin, en
la moral sea social, familiar o de otra clase as como en cualquier otro tipo de
fenmeno normativo. Sin embargo, no porque con la lgica dentica se puedan
analizar los razonamientos derivados de las normas religiosas, se justifica denominarla
lgica religiosa.
La lgica dentica emplea en gran medida los conceptos, mtodos y leyes de la lgica
indicativa. Su simbologa utiliza los denominados operadores denticos.
El significado de estos operadores se refiere a los trminos denticos o modalidades de
la conducta que a su vez, son palabras y conceptos que caracterizan al lenguaje
normativo. Dichos operadores son O de obligacin, F de facultamiento, V de
prohibicin y P de permiso. Si bien estos operadores se estudiarn en el apartado
siguiente, en este momento nos ocuparemos bsicamente de la obligacin.

Por lo que en funcin de lo anterior la gran mayora de las proposiciones denticas, a

diferencia de las indicativas, puede dividirse en dos partes:
a) La parte relativa a la modalidad de la conducta (que puede ser simbolizada por el
operador dentico) que nos indica si existe una obligacin, una prohibicin, etctera.
b) La que se refiere al tema o contenido conductual de la norma, que no seala con
precisin cul es la conducta que se encuentra obligada, prohibida, etctera (que
puede ser simbolizada por un variable). Tal divisin tiene consecuencias importantes
para el sentido de las conectivas denticas, seguimos en lo fundamental las ideas de
Garca Mynez
A diferencia de la lgica indicativa, la dentica tiene dos tipos de negacin: la negacin
externa y la negacin interna.
La negacin externa es igual a la lgica indicativa. En ambas se niega la totalidad de la
proposicin correspondiente y esto significa, en la dentica, que se afecta a la
modalidad de la conducta.
As, en el lenguaje cotidiano, la proposicin indicativa:
Hoy es viernes
Se puede negar de la siguiente manera:
No es cierto que hoy es viernes
Por su parte, la proposicin dentica:
Hay obligacin de cumplir con el convenio
Se niega externamente:
No hay obligacin de cumplir con el convenio
En donde se afecto la modalidad conductual: la obligacin.
Por tanto, las definiciones lgicas de las dos negaciones son iguales.
Si bien la negacin externa afecta toda la proposicin, la negacin interna afecta
exclusivamente a una parte: el tema de la conducta, y no al trmino dentico.
As tenemos que la proposicin dentica se niega internamente:
Hay obligacin de no cumplir con el convenio
La negacin interna, como algo diferente e la externa, no existe en las proposiciones
indicativas. Cualquier intento de reformulacin lingstica, en este sentido, como:
Hoy es un da diferente del viernes
o:
Hoy es falso que sea viernes

Las cuales mientras no modifican el significado de la proposicin, nicamente

conducen a una negacin externa.

Lgica simblica.
La lgica se define como la ciencia del razonamiento, o como el estudio de los
mtodos y principios usados para distinguir el razonamiento correcto del incorrecto. Por
su parte, la lgica simblica es el estudio de la lgica mediante la matemtica, es
decir, que incorpora la exactitud y rigor matemticos.
Un razonamiento es cualquier grupo de oraciones declarativas, tal que una de ellas
(conclusin) se afirma que se deriva de otras, llamadas premisas, las cuales se
consideran evidencia de la verdad de la primera. Para efectos del curso, estudiaremos
dos tipos de razonamiento:
Inductivo: Comnmente, por analoga; afirma probabilidad o cierta evidencia de la
verdad de la conclusin.
Deductivo: Sus premisas ofrecen una evidencia contundente de la verdad de la
conclusin. Su correctitud viene dada por la validez o invalidez del razonamiento.
En el caso del derecho esta lgica es empleada para ver que estadsticas existen al
respecto de un delito, y si existe gran incidencia crear otras leyes para tratar de lograr
que se cometa en menor cantidad, ya sea imponiendo penas econmicas o de prisin
mas severas; o todo lo contrario, cuando es nula la comisin de un delito dejarlo sin
efectos dentro del orden jurdico.