1

FACULTAD DE DERECHO Y
CIENCIAS POLÍTICAS.

Segundo Ciclo
LÓGICA JURÍDICA:

Sesión 10:
Lógica de clases: Estructura de
pensamiento: concepto, juicio y
silogismo categórico.

Francisco Javier Reyes Carranza.

Abogado

2

Reglas de NETiqueta
Al ingresar al salón de la Clase de Videoconferencia:
1. Asegúrese de tener su cámara y micrófono en
buen estado y funcionando antes que empiece la
clase.
2. Debe contar con buena cantidad y calidad de
datos al acceder a clase.
3. Las clases se darán por la plataforma de Google
Meet cuya invitación llegará a su correo
corporativo de UCT de parte del profesor, por lo
tanto, tenga activada esa cuenta.
4. Permanezca en todo el desarrollo de la clase (hasta el final),
la asistencia se toma en varios momentos.
5. Asegúrense que en clase tengan un cuaderno y lapicero
para tomar apuntes de ella.
6. Al entrar en el “salón de clase” asegúrense de cerrar la
cámara web y el micrófono de su PC, laptop o celular.
7. Si desea hacer una pregunta, levante la mano con la
herramienta de Meet; si el profesor no le da la palabra,
active su micrófono diríjase al profesor hablando.
8. Este atento a lo que el profesor explica, cuando pide su
opinión, si le llama por su nombre, etc. para responder de
manera oral.
9. Debe realizar los productos académicos individuales o
colaborativos que se soliciten en clase, posteriores a ella, o
como actividad para la siguiente sesión según se indique.
10. Escriba ciñéndose a la buena redacción, ortografía y uso de
palabras apropiadas.
11. Hable con respeto hacia sus compañeros y al profesor.
12. Revise durante la semana el aula de clase de la plataforma
virtual, y aceda a los materiales allí dejados, en especial las
guías de actividades, grabación de la sesión, y lecturas.
3
 Presentación
• Soy abogado, trabajo en el ejercicio libre de la
carrera, en ONG diseñando programas y
proyectos de desarrollo, y además dictando
clases.
• Los temas que desarrollo son ciudadanía y
derecho políticos, derechos humanos y derecho
laboral.
• Estudié el pregrado en la facultad de Derecho y
Ciencias Políticas de la UNT, en la escuela de
Postgrado de la PUCP en la maestría de “Gerencia
Social” y “Derechos Humanos”, y Docencia
Universitaria en la Escuela de posgrado de la UCV.
• Dicto en universidades de pre y postgrado
investigación científica. Francisco Javier Reyes Carranza

Va a ser un gusto tenerlos en clase.

4
I.- Resolvamos ejercicios.

5
Las clases o conjuntos se han definido de la siguiente
manera:
José A. Diez Calzada la define así: "Los conjuntos, o
clases, son "colecciones" de cosas, son entidades
que consisten en tener otras entidades como
miembros"; y,

Sergio Custodio manifiesta al respecto que: "Se

denomina clase al conjunto formado por objetos,
cosas, fenómenos o hechos que tienen
características comunes”.

6
 Los conjuntos pueden ser denotados:
• Por extensión o
• por comprensión,
{Concepto, Juicio y raciocinio} {X/X es una ciencia Formal}

POR EXTENSIÓN: Pero en ambos casos se POR COMPRENSIÓN: consiste en consignar

hace entre llaves "{}". La primera, consiste entre las llaves una variable (x) y una
en consignar entre dichos símbolos el condición que cumplan los entes que
nombre de todos los elementos del integran la clase (c(x)),
conjunto.
Por ejemplo:
Por ejemplo:
• {x/x es una ciencia formal},
• {lógica, matemática}: • {x/x es una forma del pensamiento que
• {concepto, juicio, raciocinio} y estudia la lógica general} y
• {l,2,3,4,5}. • {x/x es un número menor que seis}.

7
 Los conjuntos se simbolizan de la siguiente
manera: las clases con las letras mayúsculas
"A", "B", "C" y siguientes;

a. Los miembros de los conjuntos con la letra

a. “x  A” significa que el elemento
minúscula “X", y sólo en caso de relaciones
representado con la letra "x"
entre éstos se utilizan otras variables con
pertenece al conjunto aludido con el
letras minúsculas "r", "s", "t", "y", "z", y otras; Por ejemplo:
carácter "A", y
y,
b. La relación de los elementos del conjunto con
b. X  A" significa que el elemento
éste,
expresado con la letra "x" “no
i. si es de “pertenencia” se emplea el
pertenece” o no es miembro del
símbolo , y conjunto referido con el carácter "A" .
ii. si es de “no pertenencia” el símbolo .

8
Si dos clases tienen los mismos miembros
entonces son conjuntos idénticos, de
conformidad con el principio de
extensionalidad, pero, si todos los miembros
de un conjunto también son elementos de
otro, entonces el primero está incluido en el
segundo.
Esta relación entre clases se denomina
"inclusión", y la misma se simboliza con el
signo "", el cual se coloca entre dos
conjuntos, cuyos elementos del primero, de
izquierda a derecha, están en el segundo.
Simbólicamente se define la relación de
inclusión entre conjuntos de la siguiente
manera: A  B, si y solo si, para todo x: si x A
entonces x  B.
Como ejemplos de la relación de inclusión
entre conjw1tos se expresan, los siguientes:
a. {concepto, juicio}  {concepto, juicio,
raciocinio};
b. {x/x es un contrato}  {x/x es un
negocio jurídico}; y,
c. {decreto}  {decreto, auto, sentencia}.
En todos los ejemplos los miembros del
primer conjunto están también en el
segundo, y éste tiene elementos que no
están en aquél. Por dicha relación se dice
que la primera clase es subconjunto de la
segunda, y se simboliza con el signo "".
9
Con el uso del lenguaje simbólico de la
teoría de conjuntos se define la relación de
"subconjunto" así: A  B, si Y solo si A  B y
A ≠ B.

Otros ejemplos de subconjuntos:

d. {a, b, c}  {a, b, c, d, e, f}; y,

e. {compraventa, donación} 
{compraventa, donación, permuta}.

En el caso de que uno o más elementos del

primer conjunto no estén comprendidos en
el segundo, entonces no existe relación de
inclusión, lo cual

10
 Las operaciones entre conjuntos consisten en
obtener una clase de la combinación o
relación de los miembros de otras. Las
operaciones más básicas son las siguientes:
A. UNIÓN: la unión de conjuntos produce B. INTERSECCIÓN: la intersección de
otra clase que comprende los elementos conjuntos genera otra clase que
de los que se deriva sin repetirse los comprende únicamente los elementos
comunes, es decir los elementos que comunes de los que se deriva, es decir,
están en uno "u" en otro conjunto que se los elementos que están en uno "y" en
operan. otro conjunto que se operan.
Esta operación se simboliza con el signo Esta operación se simboliza con el signo
"", el cual se coloca entre los símbolos "", el cual se coloca entre los símbolos
que representan las clases. que representan los conjuntos.

C. DIFERENCIA: la diferencia de conjuntos D. COMPLEMENTO: el complemento de una

produce otra clase que comprende los
elementos que pertenecen a una pero no
a la otra. Esta operación se 'simboliza con
el signo "-" que se coloca entre los
símbolos que representan las clases.
clase forma otra que contiene todos los
elementos que no pertenecen al conjunto
que se opera. Esta operación se simboliza
con el signo “ A’ ", el cual se coloca por
encima de la letra que representa el
conjunto que se opera.
11
Ejemplos de las operaciones de unión, intersección
y diferencia:

PRIMER EJERCICIO: Letras de abecedario.

A = {a,b,c,d,e,f}, B = {d,e,f,g,h,i}.

SEGUNDO EJERCICIO: Términos Jurídicos.

A = {demanda, proceso civil, notificación,

contestación de demanda, declaración testimonial,
audiencia}
B = {Allanamiento, declaración testimonial,
Incautación de bienes, notificación, excepción,
demanda, juicio oral, archivamiento}

12
 PRIMER EJERCICIO: Letras de abecedario.
A = {a,b,c,d,e,f},
B = {d,e,f,g,h,i}.

A  B = { a, b, c, d, e, f, g, h, i }

A  B = { d, e, f }

A - B = { a, b, c }
U
d h
b e
A = { a, b, c, d, e, f } U = B = { d, e, f, g, h, i }
a i
A’ = { a, b, c } c f
g

13
 SEGUNDO EJERCICIO: Términos Jurídicos.
A = {demanda, proceso civil, notificación, contestación de demanda, declaración testimonial,
audiencia}
B = {Allanamiento, declaración testimonial, Incautación de bienes, notificación, excepción,
demanda, juicio oral, archivamiento}

A  B = { Demanda, proceso civil, notificación, contestación de demanda, declaración testimonial,

audiencia, allanamiento, incautación de bienes, excepción, juicio oral, archivamiento}

A  B = {Demanda, notificación, declaración testimonial}

A - B = {proceso civil, contestación de demanda, audiencia}

A = {demanda, proceso civil, notificación, contestación de demanda, declaración testimonial, audiencia}

B = {Allanamiento, declaración testimonial, Incautación de bienes, notificación, excepción, demanda,

juicio oral, archivamiento}

A’ = Allanamiento, Incautación de bienes, excepción, juicio oral, archivamiento}

14
II.- Estructura de pensamiento en
lógica de clases

15
 A.- EL CONCEPTO.

Al definir la LÓGICA DE CLASES se

estableció que estudia los conceptos, las
formas del juicio categórico y el
razonamiento deductivo, los cuales se
estudiarán a continuación.

En lógica de clases el concepto*, se

reputa como un conjunto y la extensión
de aquel elemento general del
pensamiento expresa los miembros o
elementos de la clase.

* Es la expresión verbal del término o la

palabra/s (a partir del cual se representa
simbólicamente).

16
 Por ejemplo: la clase de "hombre" está
incluida () en la de "ser racional", la de
"ser racional" en la de "animal", la de
“animal" en la de “ser animado", la de "ser
animado" en la de “cuerpo", y la de
“cuerpo" en la de ser “substancia".

Los árboles lógicos, estudiados en lógica

general, representan la relación de
INCLUSIÓN entre clases, ya que la especie
está incluida en la diferencia genérica, la
diferencia genérica en el género próximo,
la diferencia genérica en el género
subalterno, hasta que se figure la relación
de inclusión de la diferencia genérica en el
género supremo.

17
 Las formas del discurso

De lo anterior también se denota otra

relación entre clases: la de SUBCONJUNTO,
ya que “la especie” es SUBCONJUNTO de la
“diferencia genérica”, la diferencia
genérica es subconjunto del género
próximo y así, hasta agotar las relaciones
de inclusión mencionadas, porque cada
elemento, por ejemplo, de la clase formada
por una especie determinada, es miembro
del conjunto constituido por la diferencia
genérica a la cual corresponde la especie,
pero existen en esta clase elementos que
no pertenecen a aquélla.

18
Las formas del discurso

Otra noción de lógica general que refleja

las relaciones de inclusión y de
subconjuntos es la de "SUBORDINACIÓN
DE CONCEPTOS", una división de los
conceptos por su relación, porque si un
concepto está contenido en la extensión
de otro, aquel concepto, reputado como
clase, está incluido en el más extenso, y
ES TAMBIÉN UN SUBCONJUNTO DE
ÉSTE.

19
 Las formas del discurso
B.- EL JUICIO CATEGÓRICO.

En lógica de clases el juicio se reputa de la

siguiente manera:

b1. Jorge Witker y Rogelio Larios expresan

que: "Las proposiciones relacionan clases
entre sí. UNA CLASE es la extensión o b4. Antonio Gallo Armosino define el juicio
denotación de un término, o sea, es el como una oración en la que "...En general,
conjunto de individuos u objetos a las que todo sujeto es un miembro o es una
se aplica una misma palabra o expresión. subclase de la clase predicado...”
También, PUEDE TENER UN SOLO
MIEMBRO, como las clases denotadas por
los nombres propios. Cuando las
proposiciones relacionan clases,
explícitamente y sin condiciones, SON
DENOMINADAS PROPOSICIONES
CATEGÓRICAS.

20
 Las formas del discurso

Considerado lo anterior se define el juicio

categórico en esta parte de la lógica
matemática como una relación de
pertenencia o no pertenencia entre un ente y
una clase o una relación entre conjuntos.
Establecido lo anterior, la proposición:
"Fernando es un hombre estudioso", que
significa un juicio categórico, se representaría
de la siguiente manera:
x  A, donde "x", "" y "A", simbolizan,
respectivamente, el ente significado por el
término "Fernando", la relación expresada
por las palabras “es miembro de” y la clase
significada con la letra “A”, que corresponde a
la de los hombres estudiosos.
Las formas del juicio categórico denotan
otro tipo de relación, estrictamente entre
clases, y son estudiadas, entre otros lógicos,
por José Ferrater Mora, Hugues Leblanc,
María Cristina Campagna, Adriana
Lazzeretti, José A. Diez Calzada y Sergio
Custodio, quienes además se valen de los
diagramas de John Venn para
representarlos gráficamente:

21
 Las formas del discurso
b.l. El juicio universal afirmativo, significado
con el esquema: "Todo S es P", se simboliza
"S  P’ = ɸ, (intersección) y se representa
gráficamente:
A B
b.3. El juicio particular afirmativo, aludido
con el esquema: "Algún S es P", se simboliza
"S  `p’ ǂ ɸ“ (Intersección), y se representa
gráficamente:
A B
b.2. El juicio universal negativo, expresado con
el esquema: "Ningún S es P", se simboliza "S
 P = ɸ “ (intersección), y se representa
gráficamente:
A B
b.4. El JUICIO particular negativo, referido con
el esquema "Algún S no es P", se simboliza "S
 P’ ǂ ɸ“ (intersección), y se representa
gráficamente:
A B
22
 Las formas del discurso
C.- EL RACIOCINIO EN SU EXPRESIÓN DE
SILOGISMO CATEGÓRICO.

Con las diagramaciones de John Venn para

Por ejemplo, el silogismo en modo DARlI
representar gráficamente las formas del
primera figura, citado en lógica general:
juicio categórico, se puede determinar la
Premisas:
validez del raciocinio deductivo a partir de
su expresión: EL SILOGISMO CATEGÓRICO,
Mayor: Todos los argumentos lógicos son
pero para ello es necesario que se
válidos.
introduzca un tercer círculo para que estén
Menor: Algunos argumentos jurídicos son
totalmente significados los tres términos del
argumentos lógicos.
silogismo (cada término es la expresión de
Conclusión: Algunos argumentos jurídicos
un concepto, y éste se reputa en lógica de
son válidos.
clases corno un conjunto).

23
 Las formas del discurso
Los conceptos significados en las proposiciones del silogismo en
modo DARII* se representarán de la siguiente manera:

C.1. el concepto expresado con las palabras "todos los argumentos

lógicos", que son el término medio en el silogismo, con la letra
"M";

C.2. el concepto manifestado con el vocablo "válidos", que es el

término mayor en el silogismo, con la letra "P"; y,

C.3. el concepto referido con la expresión "algunos argumentos

jurídicos", que es el término menor en el silogismo, con la letra
"S".

* Darii es un término de la lógica aristotélica que designa uno de los cuatro silogismos de la primera figura de los
veinticuatro modos. Incluye una conclusión de tipo A mayor, una de tipo I menor y una de tipo I, es decir, una mayor
universal afirmativa, una menor particular afirmativa y una conclusión particular afirmativa.

24
Las formas del discurso

25
Las formas del discurso

26