CENTRO DE ESTUDIOS PREUNIVERSITARIOS DE LA

UNIVERSIDAD NACIONAL DE TRUJILLO

CICLO NOVIEMBRE– MARZO 2022

TEMA 01

Docente: SONIA GABY CASTILLO MENDOZA

SEMANA: 01 Curso: RAZ. LÓGICO
ÁREA: A,B,CD
LÓGICA
La lógica es una ciencia que estudia las
estructuras del razonamiento estableciendo
su validez o invalidez .
Según Mario Bunge las ciencias se
clasifican en 2 bloques generales :
 

CICLO MAYO – SETIEMBRE 2022

 DIVISIÓN DE LA
LÓGICA

LÓGICA LÓGICA
FORMAL DIALÉCTICA

* Estudia las condiciones o leyes que

cumple todo razonamiento para ser
formalmente válido.

* Es una ciencia estructurada.

* Utiliza el método deductivo e inductivo

Es la ciencia que estudia las leyes
universales del movimiento y el
*Trata de objetos abstractos e ideales
desarrollo de la naturaleza.
Se subdivide en :

Lógica Proposicional

Lógica de términos o de predicados

 LÓGICA
PROPOSICIONAL

LÓGICA LÓGICA POLIVALENTE

BIVALENTE

 ( Lógica heterodoxa,
.
anticonvencional,
plurivalente, multivaluada).
La proposición tiene dos
Se clasifica en :
valores de verdad:
verdadero o falso. (V – F) a.-Lógica trivalente
Autor:
  CRISIPO DE SOLI b.-Lógica modal
c.-Lógica deóntica
d.-Lógica fuzzy
a.-Lógica trivalente(Jan (Lukasiewicz)
Es básico para la lógica modal.
Es una lógica basado en el inderminismo
Considera tres opciones de verdad para las
proposiciones: 1 , ½, 0
Ejemplos:
“Todos los hombres son mortales” ( verdadero = 1)
“El próximo año viajaré a España”
“ Vargas Llosa es matemático”
b.-Lógica Modal.
Estudia los distintos modos de ser de la realidad como son:
posibilidad, necesidad, contingencia (casual)

Necesario. Significa que se da obligatoriamente

Ejemplo :
Necesariamente López Albújar es escritor
Posible.- Significa resultado potencial.
Ejemplo: Carlos puede ingresar a la UNT a la carrera de
medicina.
Casual.- Es lo que puede ser y no puede ser.
Ejemplo: Es posible ser juicioso y a la vez es posible no ser juicioso.
 

c.-Lógica Deóntica.-
Es una lógica no clásica
Es la ciencia de los deberes. Se ocupa de las nociones morales de
obligación y permisión.
Autor: Henrik Von Wright
Ejemplo:

No está permitido el ingreso de animales

Alcánzame el borrador
Está prohibido almorzar digitando el celular.
Están obligados a salir del país
  

d.-Lógica Fuzzy (difusa, heurística)

Autor : Lotfi Zadeh
Es una lógica borrosa, inexacta, multivaluada.
Investiga las relaciones lógicas de las proposiciones,
utilizando los valores de verdad que están entre dos
extremos absolutos o entre 0 y 1
( 1/3, 1/2, 1/10)
Ejemplo:
 La camisa es un tono azulado.
 Sechura es una ciudad aproximadamente baja.
 El vaso con jugo está casi lleno.
 Los estudiantes que hacen tareas de Aprendo en Casa
son relativamente pocos.
 El nevado Huascarán es poco elevado.
 LÓGICA DE PREDICADOS O DE TÉRMINOS
 
Establece la validez de los argumentos en base a las
relaciones que se establecen entre términos. Dentro de la
lógica de términos tenemos:
 Lógica tradicional
 Lógica Cuantificacional
 Lógica Clasial
 a) Lógica Tradicional
 Orientada a las inferencias en base a formas típicas de
proposiciones categóricas.
Le da el tratamiento de predicados a los conceptos.
 A, E,I,O Ejemplo: Todos los hombres son mortales

b) Lógica Cuantificacional
Orientada a las equivalencias en base a cuantores.
 LÓGICA DIALÉCTICA
Es la ciencia que estudia las leyes universales del
movimiento y el desarrollo de la naturaleza.
Dialéctica.- Proviene del griego antiguo dialegomai que
significa “discusión”
LEYES DE LA LÓGICA DIALÉCTICA
UNIDAD Y LUCHA DE CONTRARIOS O LEY DE LA CONTRADICCIÓN.-
Todos los objetos de mundo tienen aspecto positivo y su aspecto
negativo, lo que caduca y lo que crece, lo que muere y se desarrolla,
tendencias opuestas. Son aspectos opuestos:
El polo norte y el polo sur La luz y la oscuridad
El bien y el mal La burguesía y el proletariado
LEY DE LOS SALTOS CUANTITATIVOS A CUALITATIVOS O LEY DE LOS CAMBIOS.
El aumento o disminución de la cantidad de materia influye en la
transformación de una cosa en otra distinta.
Ejemplo:
La transformación de los estados del agua, del estado líquido al sólido, ,del
estado líquido al gaseoso.

El ser humano tiene 46 cromosomas y si existe una alteración en el

cromosoma 21(cambio cuantitativo) va a originar cambios en lo físico mental
de una persona(cambios cualitativos) originando el Síndrome de Down.
LEY DE LA NEGACIÓN DE LA NEGACIÓN.-
Se produce negando lo viejo por lo nuevo.
Ejemplo:
El desarrollo de la corteza terrestre, pasó por varias épocas
geológicas, siendo cada nueva época, que surgía a base de la
anterior.
METODO DE REDUCCIÓN AL
ABSURDO
Consiste en negar lo que se quiere
demostrar para llegar a una
contradicción.

P Q
- Q
………….
-P
 PRINCIPIOS LÓGICOS
PRINCIPIO DE IDENTIDAD
Autor: Parménides de Elea
Fundamento:
Toda proposición se implica así misma
Toda proposición es idéntica así misma
Ejemplo:
Si soy estudioso entonces soy estudioso

A A

Soy estudioso si y solo si soy estudioso

A A
PRINCIPIO DE NO CONTRADICCIÓN
Autor: Platón. (obra : El Sofista)
Fundamento:
Es imposible que una misma proposición
sea verdadera y falsa al mismo tiempo.
Ejemplo:
Es falso que sea trujillano y no sea
trujillano
Estructura formal. - ( A ^ -A)
PRINCIPIO DEL TERCIO EXCLUÍDO
Auto: Aristóteles.
Fundamento:
Toda proposición es verdadera o falsa, la
tercera opción esta excluida.
Ejemplo:
El gato es mamífero o no es mamífero.
A v-A
PRINCIPIO DE LA RAZÓN SUFICIENTE
Autor: Demócrito.
Fundamento:
“Nada hay sin razón”
“No hay efecto sin causa”
Ejemplo:
Los planetas se mueven en órbitas elípticas por
alguna razón, y esa razón aparece cuando
acudimos a la LEY DE LA GRAVITACIÓN
UNIVERSAL.
HISTORIA DE LA LÓGICA
SÓCRATES
DESCUBRE EL PRINCIPO DE LA NO
CONTRADICCIÓN

Obra: “El Sofista”

 Creador de la Teoría del Silogismo.
 Descubrió el “Principio del Tercio
excluido.”
 Introdujo el uso de variables.
 Desarrollo la lógica de predicados

DE LA INTERPRETACIÓN.-Estudia el juicio.
Refutaciones sofísticas .-Trata sobre
las falacias.
PRIMEROS ANALÍTICOS.-
introducen su método
silogístico, argumenta su
corrección .
EL ORGANON
DE LAS CAGORIAS.- Estudia
los conceptos.
Capítulos :
Del 1 al 3: pre- predicamenta
Del 4 al 9. predicamenta
Del 10 al 15: Post-predicamenta.
Trata de los modos del ser. Sustancia accidente
Trata de los modos de existir: sustancia –
accidente.
LOS TÓPICOS , tratan temas sobre la
construcción de argumentos
válidos.
Los Segundos analíticos (de
la demostración) discute el
LOS MEGÁRICOS
 Escuela a la que
pertenecieron : Filón
de Megara y Diodoro
cronos.
 DIODORO CRONOS es
el máximo
representant de la
lógica modal
 Hicieron aportes a la
lógica modal
 Estudiaron y desarrollaron el
encadenamiento de los
enunciados simples y
complejos.
 EDAD MEDIEVAL
PEDRO
ABELARDO
Se denomina lógica medieval a la lógica fue el primer
desarrollada en las escuelas y universidades lógico medieval
de
de mayor
Europa Occidental entre los siglos XI y XV. importancia
Surgen una clase de lógicos profesionales
A fines del siglo
Posteriormente surgen XIII, Oxford es el
teólogos que trataron
de recuperar el centro de la
Aristóteles original
estudiando y lógica y DUNS
comentando el Organón.
 
Entre los mas importantes SCOTO fue uno
figuran ROBER
GROSSETESTE, TOMAS DE de sus mas altos
AQUINO Y ALBERTO Pedro exponentes.
Hispano, Juan
MAGNO
El periodo de Raymundo Buridan, Alberto de
madurez de la Lulio, Pedro Sajonia y Pedro
lógica medieval se Hispano, Abelardo.
expuso con Guillermo Destacaron por
GUILLERMO DE de Occam; emplear una forma
establecieron
OCCAM Y JUAN reglas de especializada el
BURIDAN. inferencia. lenguaje.
Redescubrieron la
EDAD MODERNA Y CONTEMPORÁNEA

 “NOVUM ORGANUM”
hace la primera
formulación moderna
del método
científico.

 Padre de la lógica
inductiva

ESTUDIÓ EL
FRANCIS BACÓN
RAZONAMIENTO
INDUCTIVO
 Precursor de la lógica
moderna.

 Introdujo el cálculo Lógico en

su obra MATHESIS
UNIVERSALIS.

 Estableció la ley de la
tautología.
 Consideró que las verdades
de hecho son contingente y
no manifiestan por si mismas
la verdad
Es considerado como uno de los iniciadores de la lógica moderna
Desarrollo el cálculo de relaciones y
expresó las leyes distributivas de la
negación rigurosamente.

Es considerado como uno de los

iniciadores de los iniciadores de la
lógica moderna
Bertrand Russel

Su obra Principia
Mathematica. ​propone
una interpretación
logística de las
matemáticas.. 
 GOTTLOB FREGE
 ES EL PADRE Y FUNDADOR DE
LA LÓGICA MODERNA

 ESTABLECIÓ LA DIFERENCIA
ENTRE CONSTANTE Y
VARIABLE.

 OBRA :
“CONCEPTOGRAFÍA”
 PUBLICÓ “FUNDAMENTOS DE
ARITMÉTICA
CONCEPTUALMENTE
EN SU LIBRO NOTACIÓN DERIVADA” EN EL CUAL
CONCEPTUAL SEPARA LA FORMALIZA LA LÓGICA DE
CARACTERIZACIÓN FORMAL DE PREDICADOS.
LAS LEYES LÓGICAS DE SU
CONTENIDO SEMÁNTICO
SEMÁNTICA FORMAL
FUNDAMENTADA POR TARSKI.La
oración : “la nieve es blanca “ es
verdadera si y sólo si la nieve es
blanca.
Define el concepto de verdad en el
lenguaje formal.
Fundó la semántica lógica formal.
Establecio que cada enunciado
demostrable es verídico , pero no cada
enunciado verídico es demostrable

AFIRMÓ “ El concepto de verdad en

lenguajes formalizados”
 Publicó el Tractatus
logico-philosophicus

Tesis fundamental del Tractatus es esta

estrecha vinculación estructural (o
formal) entre lenguaje y mundo.

El lenguaje es la representación lógica

del mundo.

Mi mundo se reduce a mi lenguaje.

De lo que no se puede hablar, mejor es

callarse.
 FUNDAMENTA LA DEMARCACIÓN CIENTÍFICA DE LAS
PROPOSICIONES DE LA CIENCIA Y DE LAS QUE NO LO SON

EL FALSCIONISMO DE KARL POPPER PROPONE CRITERIOS DE

DEMARCACIÓN ENTRE LA CIENCIA Y LA METAFÍSICA.
F. HEGEL

Según Hegel, la oposición:

”Ley dialéctica”- “principio formal”
está dada en
* Unidad y lucha de contrarios - no
contradicción.
*Negación de la negación- identidad.
*Cambios cuantitativos a saltos
cualitativos- tercio excluido.
El desarrollo de la realidad se basa
en sucesiones negativas.
Łukasiewicz trabajó
en lógica plurivalente
, incluyendo su propio
cálculo de tres
valores de verdad, la
primera lógica de
cálculo no clásica.
DESARROLLO EL
SIMBOLISMO LÓGICO SIN
PARÉNTESIS
Carnap define como lógica de la
ciencia una “sintaxis lógica” que tiene
como función analizar lógicamente el
lenguaje de la ciencia.

Consideró que la mayoría de

problemas filosóficos provienen de
un uso impropio o excesivo del
lenguaje.