Documentos de Académico
Documentos de Profesional
Documentos de Cultura
LGICA DE PROPOSICIONES
LGICA PROPOSICIONAL
ETIMOLOGA.
Permite saber que el trmino lgica tiene su origen en el vocablo
latnlgica, que a su vez deriva del griego logikos (de logos razn o
estudio.
ANTECEDENT
ES
La Lgica remite sus primeros
historiales a la Grecia antigua
donde Aristteles, comienza a
utilizar el adjetivo lgico, cuyo
significado comprende el amplio
tipo de acepciones de los
trminos
razn
y
palabra.
Podramos considerar la lgica
como La ciencia de pensar
rectamente, es decir, como un
proceso intelectual ordenado a
obtener razonamientos correctos
o formalmente vlidos (lgica
formal o pura) , sino tambin
como un proceso que conduce al
conocimiento verdadero (lgica
dialctica o material).
LGICA JURDICA
1. Principio de Identidad
Significa que un
concepto idea u
objeto
son
siempre idnticos
a s mismos. Su
caracterstica
o
naturaleza
(sustancia)
no
vara
en
el
tiempo
Dos
juicios
contradictorios
no
pueden a un mismo
2.Principio de Contradiccin: tiempo falso. Uno de los
dos debe ser verdadero
y el otro falso. Se
excluye un tercer juicio
Dos juicios contradictorios
verdadero
entre
2
no pueden ser a un mismo
juicios
contradictorios
tiempo
verdaderos.
falsos.
Contradiccin
del
imperativo: El mandato
sera contradictorio si al
mismo
tiempo
manda
hacer y no hacer algo por
lo tanto no pueden ser
2
normas
de
derecho
contradictorias no pueden ser al
mismo
tiempo
invlidas
o
inaplicables, una de las dos debe
ser
vlida.
Se
excluye
la
posibilidad de una tercera norma
vlida en medio de dos invlidas.
8. Razn Suficiente en lo
Lgico Jurdico: es un
Principio Lgico y
Ontolgico:
RELACIN ENTRE
LGICA Y
DERECHO:
1. Generalizacin:
La lgica se ocupa de los criterios de
correccin de clases o tipos de
argumentos,
no
de
argumentos
concretos (aunque puede ser usada
para
evaluar
la
correccin
de
argumentos concretos).
2. Abstraccin:
la lgica prescinde de las circunstancias
contextuales
del
argumento
(del
contexto de descubrimiento) y de su
contenido (esto es, de los significados
de los enunciados).
3. Atencin a la Estructura:
Lo que le interesa a la lgica es
exclusivamente la estructura o forma de
los argumentos. Un argumento es
formalmente correcto o vlido si tiene la
estructura o forma adecuada.
b) Deductiva:
Los argumentos son lgicamente correctos
si su forma es tal que respeta el principio
de deducibilidad, de acuerdo con el cual, si
las premisas del argumento son verdaderas,
la conclusin es necesariamente verdadera.
Por ejemplo:
En ningn Estado Constitucional es jefe del Estado un monarca.
Espaa es un estado constitucional.
En Espaa el jefe del Estado no es un monarca. Se trata de una manifestacin de la
idea que ya vimos de que puede haber argumentos internamente justificados que no
lo estn externamente, y de la idea de que a la lgica slo le interesa la justificacin
interna, no la externa. Por ello, debemos distinguir la validez (como validez formal)
de los argumentos lgicos y la verdad de los mismos.
c. Formal:
Para determinar si entre dos proposiciones se dan
relaciones de deducibilidad, la lgica no atiende al
contenido, sino a la forma, a la estructura del
argumento (que viene dada por la funcin de
algunas partculas del lenguaje como "y", "o", etc.)
d. Simblica:
La lgica que vamos a estudiar prescinde del
lenguaje natural. Es un paso ms all de los
ejemplos que acabamos de ver. Como no interesa
el significado de las premisas, podemos
sustituirlas por variables y smbolos.
EJEMPLOS:
3+2 = 2+3
a+b = b+a
Utilizando las variables expresamos que la
propiedad conmutativa se da cualesquiera que
sean los nmeros que utilizamos. No nos interesa
lo que ocurre con los nmeros concretos, sino las
relaciones que surgen entre nmeros en esa
situacin.
ELEMENTOS DE LA LGICA
La lgica que vamos a construir consta de los siguientes elementos :
VARIABLES
Las
proposiciones
suelen
representarse
con
letras
(variables): p, q,
r, s.
CONECTIVAS
En el lenguaje natural
solemos unir dos o ms
enunciados
o
proposiciones
para
formar enunciados o
proposiciones
ms
complejas
(podeos
distinguir,
entonces,
entre
proposiciones
simples y compuestas,
siendo stas ltimas la
unin de dos o ms
La
CONECTIVAS
lgica
trata
de
precisar tales partculas
estableciendo
signos
especiales
para
representar los distintos
tipos
de
vnculos
y
determinando la manera
en que afectan a la
verdad o falsedad de las
proposiciones.
Las
conectivas que vamos a
usar son las siguientes:
LAS TABLAS DE
VERDAD
Se trata de tablas que definen el funcionamiento lgico de las
conectivas. Las tablas de verdad se construyen sealando cul es
el valor de verdad o falsedad de una proposicin compuesta para
cada una de las combinaciones posibles de valores de verdad o
falsedad de las proposiciones simples que la integran.
LA
NEGACIO
N
LA
CONJUNCIO
N
DISYUNCION
INCLUYENTE
DISYUNCIO
N
EXCLUYENT
E
CONDICION
SUFIECIENTE
CONDICION
NECESARIA
C.
NECESARI
AY
SUFICIENT
E
EJEMPLO:.
un subsidio de
Se dispone
desempleo por
excarcelacin?
Supongamos que los absueltos no tienen derecho
al desempleo. En cambio, los que cumplen toda la
condena tienen derecho al desempleo. Pero los
absueltos deben ser tratados como los que
cumplen la condena ntegra. Luego los absueltos
tienen derecho al desempleo. Esta ltima
conclusin contradice la primera premisa, luego
debemos rechazar aqulla
Si partiendo de una hiptesis
llegamos a un absurdo (en sentido
estricto,
a
una
contradiccin
lgica), esa hiptesis es falsa, lo
que asegura la verdad de su
contradictoria.
FALACIAS
JURIDICAS
Las falacias de atinencia o de
ambigedad
son
tan
problemticas en Derecho como
en cualquier otro contexto en el
que buscamos juicios confiables.
Pero lo que pueden parecer
errores del razonamiento en el
discurso
ordinario,
pueden
convertirse, a causa de las
condiciones
especiales
impuestas por los procesos
legales, en buenos argumentos.
En
ocasiones
el
abogado
litigante ante un proceso penal,
civil o laboral se vale de las
falacias para que el contrincante
caiga en el error y en perjuicio
EJEMPLO:
Cuando la prueba de cierto tipo es esencial
para resolver un caso, el nfasis en la falta
de esa evidencia que puede parecer una
apelacin a la ignorancia puede ser
lgicamente correcto. La inocencia de un
acusado de cierto delito se puede considerar
establecida
en
ausencia
de
pruebas
definitivas en contra.
DEFINICIONES LEGALES