FORMATO PARA LA PRODUCCIÓN DE CONTENIDOS ACADÉMICOS

1. Datos Generales y Específicos de la Asignatura

1.1. ASIGNATURA: Lógica y Dialéctica Jurídica 1.2. PERIODO ACADÉMICO: Primer Nivel 1.3. MODALIDAD:
En Línea
1.4. Horas de Docencia 1.5. Horas autónomas 1.6. Horas prácticas 1.7. Total de horas semanales: 1.8. Total de horas de la
(HD): 2 (HA): 8 experimentales (HP) : 10 asignatura: 160
1.9. Docente Autor: Oskary Zambrano 1.10. Correo Electrónico: ozambranod@unemi.edu.ec

2. Informació n de la unidad / Tema de la semana

Unidad Tema Subtemas Objetivo Video de Presentación

© Universidad Estatal de Milagro – UNEMI

Comprender el significado de
Subtema 1: Lógica Clásica
la lógica como vía de
I.- Fundamentos de la 3.- Aportaciones Subtema 2: Lógica Moderna
conocimiento, distinguiendo
Lógica y Conceptos Históricas al Subtema 3: Lógica de los Sistemas Aplica
las diferentes aportaciones
Claves pensamiento lógico Subtema 4: Lógica de las Probabilidades
históricas al pensamiento
lógico

1
 FORMATO PARA LA PRODUCCIÓN DE CONTENIDOS ACADÉMICOS

3. Informació n de los subtemas

3.1 Subtema 1: Ló gica Clá sica

La Lógica Clásica, también conocida como Lógica Formal, porque se dirige a la formas
del raciocinio humano. Su origen lo encontramos en el pensamiento aristotélico. La
Lógica propuesta por Aristóteles en su obra “Organon” ha sido la base del análisis
racional por miles de años.

1. Proceso de Formación de la Lógica Clásica

Siglo XIX
Nace con Lógicos megáricos Matematización
Aristóteles y estoicos Estancamiento de la Lógica
Identifican algunas hasta la Edad
Silogismo Augustus De
conectivas Media
Categórico Morgan y de
Desarrollaron la Teoría de la George Boole
Validez
regla de la consequentia
Inducción Utilización de
Inferencia Boecio Fórmulas para
Inferencia Condicional expresar
relaciones lógicas
© Universidad Estatal de Milagro – UNEMI

Fuente: elaboración propia

Se puede observar que el proceso de formación de la lógica clásica fue largo,  desde
Aristóteles (350 a. C) hasta las aportaciones de Alfred Tarski (1930). Esta lógica se
caracteriza por ser bivalente, es decir, opera con dos valores de verdad (verdadero o

2
 FORMATO PARA LA PRODUCCIÓN DE CONTENIDOS ACADÉMICOS

falso), fundamentada en el principio de identidad, el de no contradicción, en el

principio del tercero excluido y en el principio de explosión y cuyas proposiciones son
equivalentes entre sí.

Es importante hacer una acotación referida al proceso de formación de la lógica

clásica. Para Aristóteles, la lógica no formaba parte del conjunto de las ciencias, era un
instrumento, una propedéutica para toda la ciencia. Sin embargo, esto era percibido
de forma diferente por los estoicos, quienes concibieron a la lógica, física y ética como
el conjunto del saber.

2. Teoría de la Deducción

Esta teoría explica lo concerniente a los argumentos deductivos, entendiéndose por

deducción, la explicación de las relaciones entre las premisas y la conclusión de un
elemento válido. Algunos, de manera más simple nos explican que la deducción va de
lo general a lo particular. Mediante esta teoría se ponen en prácticas técnicas para
evaluar a un argumento deductivo, es decir, para discriminar entre deducciones válidas
e inválidas.

Para la Teoría de la Deducción un argumento es válido cuando su forma lógica lo es. Al

respecto, señala Toulmin (2007), que la validez de los argumentos silogísticos es
consecuencia del hecho de que las conclusiones de esos argumentos son simplemente
“transformaciones formales” derivadas de las premisas que las han originado. Se
afirma que si la información de la que se parte, tal como se expresa en las premisas
mayores y menores, lleva a la conclusión que se deriva de ella mediante un inferencia
válida es porque la conclusión nace simplemente de barajar los componentes de las
© Universidad Estatal de Milagro – UNEMI

premisas, reordenándolos según un nuevo patrón.

Para la lógica formal los razonamientos deductivos son de carácter analítico, es decir,
que la conclusión recoge la información que está en las premisas y no aporta
información nueva. Los razonamientos están compuesto por proposiciones, es decir
por oraciones informativas de las que se puede predicar verdad o falsedad. El
razonamiento deductivo, infiere desde una generalidad, o de una ley, las

3
 FORMATO PARA LA PRODUCCIÓN DE CONTENIDOS ACADÉMICOS

consecuencias que esa generalidad tiene para la singularidad, este proceso de

inferencia, se expresa principalmente por el silogismo.

Ejemplo de Silogismo:

a) Todas las personas son amparadas por los Derechos Humanos (premisa
mayor).
b) Rosa es persona (premisa menor).
c) Rosa es amparada por los Derechos Humanos (conclusión).

3. Proposiciones Categóricas

Las Proposiciones Categóricas son la unidad fundamental que conforma un argumento.

A través de los silogismos categóricos e incondicionales podemos entender este tipo
de proposiciones.

La forma general de toda proposición categórica es la siguiente:

Cuantificador   Sujeto   Cópula   Predicado

Fuente: Elaboración propia

Explicando un poco, decimos que el Cuantificador, determina si la proposición se

refiere a todos los sujetos de un conjunto, a una parte de ellos o sólo a un elemento
© Universidad Estatal de Milagro – UNEMI

del conjunto. El Sujeto, se refiere al conjunto de individuos o cosas sobre las que versa
la proposición; la Cópula es el lazo, es decir, el verbo que une al sujeto con el
predicado y el Predicado es lo que se afirma o niega del sujeto.

4
 FORMATO PARA LA PRODUCCIÓN DE CONTENIDOS ACADÉMICOS

Ejemplo:

Todos Los hombres son mortales

Cuantificador Sujeto Cópula Predicado

Fuente: elaboración propia

4. Tipos de proposiciones Categóricas

Existen cuatro formas de proposiciones categóricas, ellas son:

4.1 Proposiciones universales afirmativas

Son aquellas cuya aseveración es para “todos” (Todo S es P)1 . Ejemplo: “Todas las
actrices son bellas”

4.2 Proposiciones universales negativas

Es aquella donde se establece una negación de carácter universal. Se afirma que la

clase sujeto está excluida completamente de la clase predicado. (Ningún S es P)
Ejemplo: Ninguna actriz es bella.

4.3 Proposiciones particulares afirmativas

© Universidad Estatal de Milagro – UNEMI

Esta proposición no afirma ni niega nada acerca de la clase entera. Introduce el

término “algún”, que es un término indefinido que se entiende como al menos uno. No
hace afirmación universal, sino parcial. (Algún S es P) Ejemplo: Alguna Actriz es bella

4.4 Proposiciones particulares negativas

1
Donde S es sujeto y P predicado

5
 FORMATO PARA LA PRODUCCIÓN DE CONTENIDOS ACADÉMICOS

Se parecen mucho a la tercera clase, pero a diferencia de esta no afirma la inclusión de

un miembro, esto es precisamente lo que niega (Algún S no es P) Ejemplo: Alguna
actriz no es bella.

3.2 Subtema 2: Ló gica Moderna

La Lógica moderna busca discriminar los argumentos válidos de los inválidos con otras
técnicas, mediante la incorporación de los símbolos. Estos facilitan mucho la reflexión
sobre los argumentos. Nos permiten llegar al núcleo del argumento para mostrar su
naturaleza esencial. Además los símbolos nos permiten ejecutar casi mecánicamente
algunas operaciones lógicas. Con la lógica moderna se persiguen directamente los
objetivos del análisis deductivo y se logra una comprensión más profunda. La lógica
simbólica es el estudio de la lógica mediante la matemática, es decir, que incorpora la
exactitud y rigor matemáticos. Leibniz citada por Bertolio (2013), sostenía que “todo
razonamiento humano se lleva a cabo mediante signos o caracteres”.  El hombre para
expresar sus ideas utiliza signos, cuyos significados cree poseer, de esa manera abrevia
sus pensamientos. Es por ello, que los signos no sólo cumplen una función subrogativa,
sino que además simplifican y agilizan el razonamiento humano evitando la
consideración de las definiciones de cada uno de los conceptos en juego. 

1. Símbolos de conjunción, negación y disyunción

Para este tipo de argumentos se contempla al menos un enunciado compuesto, el cual

es llamado así porque dentro del enunciado se encuentra subsumido otro enunciado.
Por ejemplo: María es agradable y María es bonita.
© Universidad Estatal de Milagro – UNEMI

Existen varios tipos de argumentos compuestos, ellos son:

a) De conjunción, cuando se utiliza la palabra “y” . Un enunciado compuesto

veritativo-funcional nos permite establecer en una tabla grupos de cuatro
valores posibles.

Donde p es verdadera y q es verdadera, p.q es verdadera

Donde p es verdadera y q es falsa, p.q es falsa
Donde p es falsa y q es verdadera, p.q es falsa
Donde p es falsa y q es falsa, p.q es falsa

6
 FORMATO PARA LA PRODUCCIÓN DE CONTENIDOS ACADÉMICOS

Veamos con símbolos en una tabla

p q p.q
V V V
V F F
F V F
F F F

b) De Negación, se forma por la inserción de un “no” en el enunciado original. La

regla acá establece que la negación de cualquier enunciado verdadero es falso
y la negación de cualquier enunciado falso es verdadera. Ejemplo: Es falso que
todos los humanos son mortales. Se está negando un enunciado verdadero, por
lo cual es falso. La negación se simboliza con ~

p ~p
V F
F V

c) De Disyunción, implica alternancia. Tiene dos significados relacionados, pero

distinguibles. Ejemplo: los intereses se cancelaran en caso de retraso o
enfermedad. En este caso una disyunción es falsa solo en el caso de que ambos
disyuntivos sean falsos. Usamos la V para indicar la disyunción.

p q pVq
© Universidad Estatal de Milagro – UNEMI

V V V
V F V
F V V
F F F

7
 FORMATO PARA LA PRODUCCIÓN DE CONTENIDOS ACADÉMICOS

2. Significado de “válido” e “inválido”

¿Qué se quiere decir precisamente cuándo se dice que la forma de un argumento

es válida?

Una forma argumental es válida, si y solo si, si no tiene instancias de sustitución

con premisas verdaderas y una conclusión falsa. Para probar la validez de un
argumento se usan las tablas de la verdad. La tabla debe estar bien construida y el
arreglo debe mostrar todas las combinaciones posibles de verdad y falsedad de
todas las variables.

3.3 Subtema 3: Ló gica de los Sistemas

La lógica de los sistemas se relaciona con la aplicación de la lógica matemática a las

ciencias de sistemas o computacionales. La lógica se extiende al corazón de la
informática. Estas aplicaciones han ido evolucionando, desde Alan Turing con el
Entscheidungsproblem hasta los campos de la inteligencia artificial en nuestros días. La
lógica juega un papel básico en la informática (bases de datos, complejidad
computacional, lenguajes de programación, inteligencia artificial, diseño y verificación
de sistemas hard y soft, etc.), sirve de fundamento y proporciona la madurez y agilidad
necesarias para asimilar los conceptos, lenguajes, técnicas y herramientas informáticas
que van surgiendo. Los informáticos necesitan analizar las propiedades lógicas de sus
sistemas. Basa su estudio en la Lógica de las Proposiciones y la Lógica de los Predicados
de Primer Orden. La primera ofrece un marco formal sencillo plantea las propiedades e
interrelaciones sobre los valores de las expresiones (satisfacibilidad, validez,
consecuencia, equivalencia), sobre sus métodos de decisión y sobre los sistemas
© Universidad Estatal de Milagro – UNEMI

deductivos creados para abordar estas cuestiones. Por otro lado, la Lógica de los
Predicados de Primer Orden, extiende el lenguaje de la Lógica de Proposiciones
introduciendo los cuantificadores (’todos los ...’), la explicitación de propiedades y de

relaciones entre términos. Desde el punto de vista computacional, la lógica de

predicados es la base de los procesos de representación y de razonamiento.
(Fernández, J. , Manjarres, A. y Díez, F. 2003).

8
 FORMATO PARA LA PRODUCCIÓN DE CONTENIDOS ACADÉMICOS

El desarrollo de un pensamiento lógico y una adecuada interpretación abstracta para

lograr la resolución eficiente y efectiva de los problemas cotidianos emerge en la
actualidad como un requerimiento para cualquier profesional. En el caso de los
ingenieros de sistema, la lógica es un componente básico, porque su desempeño
estará relacionado con la adecuada interpretación del problema. La formación
adecuada en lógica permite desarrollar y aplicar procesos de creatividad. La capacidad
lógico-interpretativa tiene que ver con la forma como se interviene en el mundo.

3.4 Subtema 4: Ló gica de las Probabilidades

Esta rama de la lógica también llamada “Lógica Probabilística” para algunos autores es
una extensión natural de las tablas de la verdad, en la cual se combina la capacidad de
la teoría de la probabilidad para el manejo de la incertidumbre y la capacidad de
deducción lógica para explicar la estructura. En este tipo de Lógica las proposiciones,
no solo son verdaderas o falsas, sino que las mismas poseen un valor intermedio,
denominado probabilidades de la veracidad. Se aplica para obtener una estimación
aproximada de las hipótesis. Esto se realiza sin necesidad de confrontación, se hace
mediante otras proposiciones que expresan el saber.

Se recomienda ver el siguiente video para una mejor comprensión de la Lógica de las
Probabilidades y su uso.
© Universidad Estatal de Milagro – UNEMI

Fuente: http://bit.ly/2JL7FBz

9
 FORMATO PARA LA PRODUCCIÓN DE CONTENIDOS ACADÉMICOS

4. Bibliografía
Bertolio, María Julia. (2013). Observaciones acerca del pensamiento ciego en
Leibniz. Tópicos (México), (44), 149-175. Recuperado en 29 de mayo de 2019, de
http://bit.ly/2KkI2Y3

Fernández, J. , Manjarres, A. y Díez, F. (2003) Lógica Computacional. Dpto. Inteligencia

Artificial. E.T.S.I. Informática. UNED. Disponible en: http://bit.ly/2YVmkO4

Irving M Copy, Carl (2005) Introducción a la Lógica, Limusa, México. Disponible en:
http://bit.ly/30nSGT4

Perdomo Márquez, Rómulo (2006) Introducción a la Lógica Jurídica. Universidad de los

Andes, Mérida.

Toulmin, Stephen. (2007). Los usos de la argumentación. Barcelona. Península. (edición

original: 1958).

Zuluaga EG (1993). Introducción a la lógica jurídica. Disponible en:

http://bit.ly/2JEQPmZ
© Universidad Estatal de Milagro – UNEMI

10
 FORMATO PARA LA PRODUCCIÓN DE CONTENIDOS ACADÉMICOS

TIEMPO PUNTAJE DURACIÓN NÚMERO

HORA FORMATO
N TIPO DETALLE POR URL/LINK DE
APLICA VALOR ENTREGA INICIO FIN
ACTIVIDAD ANEXO
Realizar los ejercicios que se
Actividades 3 Si 15 Word 1
1 detallan en el anexo 1

2 Experiencias 8

3 Más Recursos
Lectura Complementaria
Capítulos 5 (Lógica Clásica) y
8 (Lógica Moderna) del libro http://bit.ly/
5 No 2
Irving M Copy, Carl (2005) 30nSGT4
Introducción a la Lógica,
Limusa, México.

5 Test
© Universidad Estatal de Milagro – UNEMI

Video autor
4 Presencia virtual 2 Clase síncrona
Sala de chat

1. Plan de actividades semanales online

L