Repblica Bolivariana de Venezuela

Ministerio del Poder Popular para la Educacin Universitaria

Colegio Universitario Monseor de Talavera
Materia: Lgica

Alumna:
Susjeil Betancourt
C.I 20.821.289

Caracas 13 de febrero de 2013

El estudio de la lgica es el estudio de los mtodos y principios usados al

distinguir entre los argumentos correctos (buenos) y los argumentos
incorrectos (malos).
El estudio de la lgica, especialmente la lgica simblica como el estudio de
cualquier ciencia exacta incrementara la capacidad de razonamiento.
El razonamiento es la clase especial de pensamiento llamada interferencia, en
la que se sacan conclusiones partiendo de premisas.
Lo lgico no se interesa en el proceso real de razonamiento. A el le importa la
correccin del proceso completado. Su pregunta siempre es: se sigue la
conclusin de las premisas usadas o supuestas? Si las premisas son un
fundamento adecuado para aceptar la conclusin, si afirmar que las premisas
son verdaderas garantiza afirmar la verdad de la conclusin, entonces el
razonamiento es correcto. De otra manera es incorrecto. Los mtodos y
tcnicas del lgico se interesa en todo razonamiento, sin atender al contenido
del mismo, sino solo desde este punto de vista especial.
Tipos de lgica
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, al 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.
La lgica de clases relaciona conceptos con propiedades (sujeto y
predicado), estudia adems las implicaciones de unas clases con otras,
las cuales suelen ser representados grficamente mediante crculos

(mejor conocidos como diagramas de Venn) empleando la denominada

lgebra booleana.
La lgica cuantificacional que estudia de manera ms detallada los
predicados a travs del uso de cuantificadores que expresan cantidad
(todos o algunos).
La lgica proposicional analiza los razonamientos formalmente vlidos
partiendo de proposiciones y conectivas proposicionales (operadores
lgicos).

Esta lgica simblica, de la que nos estamos refiriendo, emplea un lenguaje

artificial en la que simboliza las proposiciones generalmente con las letras p, q,
r, s, t utilizando de operadores lgicos, tambin llamados conectores, funtores,
juntores, para poder construir formulas operando sobre las variables
proposicionales y las proposiciones complejas.
Finalmente existe otro tipo de lgica que es la dialctica, aunque sta no la
podemos considerar como integrante de la lgica moderna, toda vez que la
misma no tiene un contenido formal, sino ideolgico; ni es pasiva como la
lgica formal, sino que es activa, al obtener principios racionales a travs de la
interpretacin de la historia, utilizando como su estructura en su discurso, la
tesis, seguida de la anttesis y su respectiva conclusin denominada sntesis;
teniendo sus antecedentes desde los griegos con SOCRATES y PLATN quienes
la concibieron como una tcnica de discusin y de obtencin de conclusiones,
siendo la misma tambin estudiada y empleada por algunos filsofos como
KANT, HEGEL, MARX, entre otros ms.
Leyes de la lgica
Las leyes lgicas, son proposiciones universales, necesarias, evidentes y
verdaderas. Dichas leyes son cuatro, el principio de identidad, el de
contradiccin, el de tercero excluido y el de razn suficiente.

El principio de identidad nos dice que una cosa es idntica a si misma, lo

que es, es; lo que no es, no es:
A es A, o no A es no A

El principio de contradiccin nos dice que es imposible afirmar y negar

que una cosa es y no es al mismo tiempo y bajo la misma circunstancia.
A no es no A

O bien, tambin puede enunciarse que dos proposiciones contradictorias no

pueden ser a la vez verdaderas

El principio de tercero excluso nos dice que una cosa es o no es, no cabe
un trmino medio:
A es B, o A no es B.

O bien, tambin puede enunciarse como no hay medio entre dos

proposiciones contradictorias

El principio de razn suficiente nos seala que todo ser tiene una razn
de ser, es decir, una razn suficiente que lo explique:

A es la razn de B

Juicio
El juicio es la representacin mental mediante la cual afirmamos o negamos el
ser o la existencia de las cosas.
Cuando la mente humana logra captar dos conceptos (sujeto y predicado) y
establece una relacin en ambas a travs de una cpula o nexo lgico-verbal,
se logra formar un juicio, mismo que se expresa a travs de una proposicin.
As tenemos que los elementos que conforman al juicio, son el sujeto, el
predicado y la cpula o nexo lgico verbal. El sujeto es la idea de la cual se
afirma algo, el predicado es lo que se afirma o se niega y el verbo expresa la
misma afirmacin o negacin.
El juicio constituye un pensamiento completo, que se soporta en la verdad.
Toda ciencia se compone de juicios: leyes, principios, axiomas, postulados,
teoremas, corolarios, etc.
Los juicios tienen como principal propiedad fundamental, su confrontacin con
la realidad para ser calificados de falso y verdadero. Por lo que se refiere al
Derecho, los juicios de la lgica jurdica, pueden ser de validez o invalidez,
legalidad o ilegalidad, constitucional o inconstitucional.
De igual formas, los juicios pueden sealarnos cantidad, ya sea para indicarnos
cuantificacionalmente, universalidad o particularidad, cuando se utilizan las
expresiones: todos, ninguno, algunos. Los juicios se simbolizan a travs de
proposiciones. No hay que confundir para ello la utilizacin de algunas
palabras, como enunciados u oraciones.
MARIO BUNGE nos dice que los enunciados son objetos fsicos que puede
exteriorizarse de manera verbal, escrita o por ademanes; la oracin es una
clase de enunciacin concreta que se da en circunstancias particulares;
mientras que una proposicin es el significado de una oracin
Raciocinio
El razonamiento es el acto mental por el cual, a partir de lo que ya se
conoce, se adquiere un nuevo conocimiento. Implica un antes y despus,
ya que va de lo conocido a lo desconocido.

Todo razonamiento se forma en dos partes, un antecedente que se integra por

proposiciones dadas (premisas); y un consecuente que es la proposicin nueva
que se obtiene (conclusin). El nexo que liga el antecedente con el
consecuente, se le llama raciocinio y el proceso mediante el cual se obtiene la
conclusin, se llama inferencia. As tenemos tambin que la materia de un
razonamiento, son los juicios, que a su vez, estos se integra de conceptos.
En ese mismo orden de ideas, una serie de palabras forman una proposicin,
mientras que una serie de proposiciones concatenadas, forman un argumento.
Las inferencias pueden ser a su vez mediatas o inmediatas, las primeras son
aquellas que se obtienen a partir de dos o ms proposiciones, mientras que las
segundas, se obtienen a partir de una sola proposicin.
Las inferencias inmediatas pueden ser por conversin, equivalencia,
subalternacin, obversin, reciproca y contraposicin.
Por su parte,
las inferencias mediatas, se obtiene la conclusin de la primera premisa, por
mediacin de una segunda premisa (silogismos).
Un silogismo se integran por una premisa mayor, una premisa menor y una
conclusin. (materia prxima), as como tres trminos; mayor, menor y medio
(materia remota) Y estn sujetas a una serie de reglas, tales como primero
debe enunciarse el termino mayor, luego el menor y finalmente la conclusin.
El silogismo proporciona el conocimiento por sus causas, expresa
rigurosamente una deduccin ordinaria y facilita el procedimiento para
fundamentar por causas y razones alguna afirmacin controvertida.
Todo silogismo se sujeta a las siguientes reglas:
1. Consta de tres conceptos, y slo tres: mayor, menor y medio.
2. Ningn trmino debe tener mayor extensin en la conclusin que en las
premisas.
3. El trmino medio jams pasa a la conclusin
4. El trmino medio debe ser por lo menos una voz universal
5. De dos premisas negativas no se concluye nada
6. De dos premisas afirmativas no se puede inferir una conclusin negativa
7. Dos premisas particulares no dan conclusin
8. La conclusin siempre sigue a la parte ms dbil.
Estas reglas del silogismo suelen aplicarse a la lgica jurdica, por lo que se
refiere a las normas jurdicas, segn su jerarqua de validez.
Clculo proposicional
El clculo proposicional forma parte de estudio de la lgica simblica, esta
tiene por estudio el clculo de la inferencia, para demostrar la validez de un
argumento, a travs de una serie de reglas. Para la utilizacin del clculo

proposicional es necesario la simbolizacin del lenguaje natural a travs de un

lenguaje artificial, as como tambin el empleo de conctivos lgicos y tablas
de verdad. Las proposiciones pueden ser representadas por las letras P, Q, R, S,
algunas de estas pueden ser atmicas (simples) o moleculares (cuando las dos
o ms proposiciones atmicas se enlazan a travs de un conectivo lgico).
El empleo de conectivos lgicos y de la formalizacin del lenguaje natural al
lenguaje lgico proposicional, lo presentamos en el siguiente cuadro.
Nombre

Lenguaje natural

Negacin

No
No ocurre que
No es cierto que
y
Sin embargo
Empero
Aunado
O
Si ...entonces...
...es condicin
suficiente para...
...Por lo tanto...
...en consecuencia...
...Si y slo si...
...es condicin
necesaria y
suficiente...

Conjuncin

Disyuncin
Condicional
Implicador

Bicondicional

Lenguaje
proposicional

_
&

.
V
?

?
=

Los conectivos lgicos sirven para formar proposiciones compuestas.

Las proposiciones pueden ser verdaderas o falsas, pero no pueden ser ambas.
Las proposiciones atmicas slo tienen dos valores: verdad o falsedad, pueden
ser representados mediante los nmeros 1 y 0. Mediante los valores de
verdad de las proposiciones atmicas pueden ser conocidos los valores de
verdad de las proposiciones moleculares. A cada conectivo lgico le
corresponde un valor de verdad.
1. Negacin. Toda proposicin verdadera al ser negada se convierte en falsa y
viceversa.
P
1
0

P
0
1

P
1
0

2. Conjucin. La conjucin de dos proposiciones ser verdadera si y slo si ambas

son verdaderas-

P
1
1
0
0

Q
1
0
1
0

P&Q
1
0
0
0

3. Disyuncin. Existen dos tipos de disyuncin.

a) Incluyente. La disyuncin de dos proposiciones ser verdadera si y slo si
ambas no son falsas.
P
1
1
0
0

Q
1
0
1
0

PVQ
1
1
1
0

b) La disyuncin excluyente. La disyuncin de dos proposiciones ser verdadera si

y slo si ambas no son simultneamente verdadeas o simultneamente falsas.
P
1
1
0
0

Q
1
0
1
0

PVQ
0
1
1
0

4. Condicional. La condicional de dos proposiciones ser verdadera siempre y

cuando no exista un antecedente verdadero y un consecuente falso.
P
1
1
0
0

Q
1
0
1
0

P?Q
1
0
1
1

5. Bicondicional. La bicondicional de dos proposiciones ser verdadera si y slo si

ambas son simultneamente verdaderas o simultneamente falsas.
P
1
1
0
0

Q
1
0
1
0

P?Q
1
0
0
1

Lgica de Conjuntos
La lgica de conjuntos, tambin conocida como lgebra booleana, es un
sistema matemtico para el manejo de ciertos problemas. As tenemos que la
teora de los conjuntos es un instrumento adecuado para la sistematizacin de
nuestra manera de pensar y para el desarrollo de la capacidad de anlisis.
La base fundamental de esta lgica, radica en el conjunto, debiendo
entender a este, como cualquier agregado o coleccin de objetos o entes de
cualquier ndole (nmeros, libros, empresas, personas, bienes, cosas, etc.) con
o sin relacin entre estos. As tenemos como ejemplo, la expresin comn en la
lgica jurdica, en que el Derecho es un conjunto de normas....
La existencia de un determinado conjunto, se condiciona a que la coleccin
de los objetos que quieran agruparse, se encuentren bien definidos; un
conjunto se encuentra integrado de elementos (objetos agrupados), existe una
relacin de pertenencia entre el conjunto con cada uno de los miembros o
elementos que integran el conjunto.
Por ejemplo, supongamos la existencia del conjunto A, cuyos componentes
son las vocales, y por otra parte, el conjunto B cuyos miembros son las
consonantes; por lo tanto la letra e no pertenece al conjunto B, ni tampoco la
consonante z es miembro del conjunto A; pero si podemos decir que el
elemento e pertenece A y z a B.
Existen distintos tipos de conjuntos, el conjunto universal denota todos los
elementos de una clase determinada; el conjunto vaco, que no contiene
elemento alguno; los conjuntos cuyos elementos pueden ser finitos o infinitos;
o bien, los subconjuntos, que son conjuntos integrantes de otro conjunto.
Asimismo existen diversas operaciones matemticas que pueden hacerse a
los conjuntos; mediante las cuales se pueden combinar los conjuntos para
formar otros conjuntos, dichas operaciones son: la complementacin,
interseccin, unin, diferencia; y pueden ser las mismas explicadas a travs de
la utilizacin de diagramas de Venn.
La complementacin se le denomina al conjunto de elementos del conjunto
universal ? que no pertenecen al subconjunto A. As tenemos en el siguiente
caso que el complemento de A es A
?

La interseccin es lo que se conoce en el clculo proposicional como el

conector conjuncin. Para entender la interseccin, partimos del supuesto de
que A y B son subconjuntos del conjunto universal ?.
La interseccin de los conjuntos A y B, es el conjunto de elementos ? que
son miembros tanto de A como de B, es el conjunto formado por los elementos
comunes de ambos conjuntos.
La interseccin se simboliza: A n B (A interseccin B) y se grfica de la
siguiente forma:
?

La unin es lo que se conoce en el clculo proposicional como el conector

disyuncin. Para entender la unin, partimos del supuesto de que A y B son
subconjuntos del conjunto universal ?.
La unin de los subconjuntos A y B es el conjunto de elementos ? que
pertenece por lo menos a uno de los conjuntos A B.
La unin se simboliza: A U B (A unin B) y se grfica de la siguiente forma:
?

Finalmente para entender la diferencia de conjuntos, partimos del supuesto

de que A y B son dos subconjuntos cualesquiera del conjunto universal ?. La
diferencia de dos conjuntos A y B es el conjunto de elementos que pertenecen
a A pero no a B.
El conjunto diferencia se denota por A B y se grafica de la siguiente forma:
?

O bien, la expresin B A se representa de esta manera:

Uno de los principales fines que persigue la lgica de conjuntos, es

establecer el orden de los X elementos que pueden integrar un conjunto.
LGICA JURDICA
Cuando escuchamos la expresin de lgica jurdica, esta nos genera algunas
impresiones. La primera de ellas es concebir a la lgica como una ciencia
auxiliar del Derecho, una especie de mtodo de investigacin aplicable al
Derecho, o bien, conceptualizamos esta lgica del Derecho, como una rea
del conocimiento jurdico.
La lgica jurdica es una lgica material, es decir, sus reglas principales se
encuentran en la lgica formal, encaminadas a una disciplina como lo es en
este caso al Derecho. 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.
Cabe sealar la fuerte oposicin y crtica de algunos juristas frente a la
Lgica, principalmente aquellos que consideran que la principal fuente del
conocimiento del Derecho lo constituye la experiencia y no la razn (corrientes
empricas del Derecho); as como tambin de los propios estudiosos de la
Lgica Jurdica, quienes debaten entre ellos mismos, sobre la aplicacin o
inaplicacin de algunas leyes de la lgica al Derecho.
NORBERTO BOBBIO expone en su ensayo Derecho y Lgica; las distintas
etapas por las cuales ha evolucionado el Derecho, y que son a su parecer tres
etapas: la primera de ellas el iusnaturalismo moderno, la segunda la
jurisprudencia de conceptos y la tercera el formalismo neo-kantiano.

Conclusin
Con la llegada del Siglo XX esta ciencia pas a ser considerada principalmente
como una Lgica Simblica, utilizando Reglas de Inferencia y reemplazando las
distintas aserciones por simples asignaciones de Smbolos, por lo que
posteriormente fue aplicada a las bases de la Informtica, teniendo una
estructura meramente de Ciencia Lgica desde aquel entonces.
Otra de las formas que podemos aplicar el concepto de Lgica est en la vida
cotidiana, cuando se habla de un Pensamiento Lgico, o la utilizacin de
reacciones o trminos Lgicos, siendo inherente a ello lo relativo a la Tradicin
y Cultura, o bien teniendo en cuenta al Contexto de un suceso determinado
para poder brindar una Afirmacin Coherente o una Reaccin relativa a dicho
entorno.
Es por ello que este concepto se emplea como una cuestin Sociolgica o
Cultural, teniendo este sentido una relacin Pragmtica, en torno a una funcin
especfica que permite hacer un anlisis de eficacia en una relacin de
Estmulo-Respuesta.

Bibliografa

http://www.tuobra.unam.mx/publicadas/050707190037-Tipos.html
http://html.rincondelvago.com/logica_9.html