Sesion 01 Diapositiva - Logica y Ciencia

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 19

CICLO MAYO – SETIEMBRE 2022

CENTRO DE ESTUDIOS PREUNIVERSITARIOS DE LA


UNIVERSIDAD NACIONAL DE TRUJILLO

LOGICA
Y
CIENCIA

SEMANA: 01 Docente: JORGE SILVA GONZALEZ


Curso: RAZONAMIENTO LÓGICO
ÁREA:
CICLO MAYO – SETIEMBRE 2022

 PROPÓSITOS:
1. IDENTIFICAR CARACTERÍSTICAS DE LA LÓGICA EN LA CIENCIA
2. IDENTIFICAR A LOS PRINCIPIOS LÓGICOS POR SU ESTRUCTURA
3. IDENTIFICAR A LAS LEYES DE LA DIALÉCTICA POR SUS CARACTERÍSTICAS
4. IDENTIFICAR ENUNCIADOS DE LAS ÁREAS DE LA LÓGICA POR SUS
CARACTERÍSTICAS.
CICLO MAYO – SETIEMBRE 2022

LAS CIENCIAS

CIENCIAS Objeto de estudio CIENCIAS FORMALES


Objeto de estudio
FÁCTICAS Abstracto
Concreto

Matemática
-Material
Ciencias -Ideal
-Verificable
Naturales Biología, -Demostrable
-Real
Física, Química, -Racional
-Inductivo -Deductivo
Zoología,etc
- Específico - Analítico
LÓGICA
- Empírico - Sistemático
Ciencias FORMAL
-Experimental. - Axiomático
Sociales
-Historia, - Objetivo
Economía, etc
CICLO MAYO – SETIEMBRE 2022

BUSCA LA VERDAD O FALSEDAD EN SU REALIDAD


CONCRETA

LÓGICA LÓGICA MAYOR


(es de contenido,
DIALÉCTICA es objetiva)

ESTUDIA EL SIGNIFICADO O CONTENIDO DE LA


PROPOSICIÓN

LÓGICA
GENERAL BUSCA LA VERDAD FORMAL DE LAS
FÓRMULAS LÓGICAS

LÓGICA LÓGICA
FORMAL MENOR
(es simbólica)
ESTUDIA LA ESTRUCTURA DE LAS
PROPOSICIONES
CICLO MAYO – SETIEMBRE 2022

LÓGICA FORMAL

Ciencia formal que estudia las estructuras del razonamiento


estableciendo su validez e invalidez, las que están sujetas a reglas
deducidas de las leyes lógicas.

P1: Todos los humanos son mortales


P2: Sócrates es humano
C : Sócrates es mortal

REGLA DE LA
P1: H → M IMPLICACIÓN
P2: Hs LÓGICA
C: Ms MODUS PONENDO
PONES
CICLO MAYO – SETIEMBRE 2022

Lógica Bivalente (Aristóteles) : 1 , 0 (V,F)


La química es una ciencia fáctica.

-Trivalente 0, ½ y 1 - Modal (Lukasiewicz)

Posiblemente
LÓGICA indeterminado
NO SI
PROPOSICIONAL
0 1/2 1
Necesariamente
Imposible

Lógica -Difusa-Fuzzy-Borrosa. 0 , 1/8 , 1/4 , 1/2,…1 (Lofti A.. Zadeh)


Polivalente
No es muy alto, Hace mucho calor,
(Multivaluada)
El ritmo del corazón está un poco acelerado.
La velocidad de un auto es normal , entonces la fuerza del frenado
debe ser moderado.
CICLO MAYO – SETIEMBRE 2022

L. Tradicional : Utiliza proposiciones categóricas. Formas típica (SaP, SeP,


SiP, SoP)
Todos los mamíferos son vertebrados (Sap)
Ningún virus es bacteria (Sep.)
LÓGICA DE Algunas proposiciones son moleculares (Sip)
TÉRMINOS

L. Cuantificacional : x(Ax→Bx) ,  x (A ˄ B)
Algebra de Boole: S P ≠  ; S P = 

L. Clasial Diagramas de Venn: Representar proposiciones


categóricas
s
Diagramas de Euler:
P p

x x
CICLO MAYO – SETIEMBRE 2022

Afirmaciones de Obligación, George Von Wright:


Es obligatorio pagar la matricula (Op)
Esta prohibido fumar Ph(p)
Está permitido utilizar protectores faciales P(p)
Son expresiones equivalentes en la LÓGICA DEÓNTICA:
LÓGICA I. Op ≡ Ph – P ≡ – P – p
DEÓNTICA II. Op ≡ Ph p ≡ – P p
III. – Op ≡ Ph – p ≡P – p
Si: O = Obligación Ph = Prohibición Pp = Permisión; y la expresión
formal:
Op ≡ Ph – P ≡ – Pp
Se traduce:
I. Es obligatorio pagar impuestos
II. Está prohibido no pagar impuestos
III. No está permitido no pagar impuestos
Se afirma que las tres afirmaciones son equivalentes
CICLO MAYO – SETIEMBRE 2022

Posibilidad e Imposibilidad, de Necesidad(Saul Kripe)

LÓGICA Posible/Imposible:  p /   p
MODAL Necesario/Innecesario:  p/  p
 p     p : Necesariamente p  No es posible no p
 p     p : Posiblemente p  no es necesario no p
CICLO MAYO – SETIEMBRE 2022

RAZÓN SUFICIENTE: (Demócrito)


IDENTIDAD (Parménides de Elea):
“Nada hay sin razón”
(Leibniz) “Todo objeto debe de tener p→p;pp
una razón suficiente que lo explique” Toda proposición se implica
Los planetas se mueven en orbitas a sí misma.
elípticas por alguna razón, y esa
Si la lógica formal es abstracta
razón aparece cuando acudimos a la
concluimos que abstracta
ley de la Gravitación Universal.
Principios es la lógica formal.
Dialécticos
y
NO CONTRADICCIÓN Formales
(Platón): “Es imposible que una TERCIO EXCLUIDO (Aristóteles):
proposición sea verdadera y falsa “Toda proposición es verdadera o
a la vez” falsa. No hay tercera opción”:
 (p  p) p  p
“Es mentira que, la biología sea una
“La Libertad exporta arándanos a
ciencia fáctica aunque a la vez no lo
Europa, salvo que no lo haga”
sea”
.
CICLO MAYO – SETIEMBRE 2022

La ley de la unidad y La ley del tránsito de los


lucha de contrarios cambios cuantitativos a los
Los elementos de la
contradicción, a la vez que son
LEYES DE LA cualitativos

radicalmente opuesto,
conforman una unidad.
LÓGICA La cantidad se convierte en
calidad

DIALÉCTICA
G.W.F. Hegel (1762-1814)

La ley de la negación de la negación


Lo nuevo surge de su contrario: de lo viejo.
Algo tiene que morir para que nazca la vida.
CICLO MAYO – SETIEMBRE 2022 HISTORIA DE LA LÓGICA

EDAD ANTIGUA EDAD MEDIA EDAD MODERNA


600-300 a.c. XI-XV XVII

PEDRO ABELARDO
PÁRMENIDES ROBERE FRANCIS LUDWIG
GROSSETESTE BACON WITTGENSTEIN
TOMAS DE
ZENON DE ELEA AQUINO
ALBERTO MAGNO LEIBNIZ, WILHELM JAN
DUNS SCOTO LUKASIEWICZ
GUILLERMO
DEMOCRITO OCAM JUAN AUGUSTUS D’
BURIDAN MORGAN
ALFRED TARSKI
SOCRATES

GEORGE BOOLE
PROTÁGORAS RAMON LLUL. KURT
PEDRO GODEL
HISPANO JHON VENN
PLATÓN GUILLERMO
OCCAM GOTTLOB LOFTI
GUILLERMO FREGE ZADEH
ARISTÓTELES SHYRESWOOD
TOMAS SAUL KRIPKE
GIUSEPPE
HOBBES
PEANO
F. MIRO
BERTRAND QUEZADA
RUSSELL
CICLO MAYO – SETIEMBRE 2022
HISTORIA DE LA LÓGICA

EDAD ANTIGUA
600-300 A. C.
ZENON DE ELEA

DEMOCRITO PROTÁGORAS ARISTÓTELES


Dio origen al
método
dialéctico PLATÓN Descubrid
Al SOCRATES Utiliza las
razonamient or del
oraciones
o hipotético Principio Descubrió principio
en el
y a la
de la el principio del tercio
reducción al plano
Razón de la excluido
absurdo sintáctico
Utilizo el Contradicc Padre de
Suficiente. y
método ión o No la Lógica
semántic Contradicc
Mayéutic Formal.
o ión
a “Organon
 (p  p)

CICLO MAYO – SETIEMBRE 2022

ARISTÓTELES

“ORGANON”
Tratados:
CATEGORIAS: Teoría Del Conceptos Y Términos
DE LA INTERPRETACION: Teoría Del Juicio o Enunciado
LOS PRIMEROS ANALITICOS: Teoría del Razonamiento
Argumentación –Figuras del Silogismo
LOS SEGUNDOS ANALITICOS: Teoría De La Demostración
LAS REFUTACIONES SOFISTICAS: Razonamientos Incorrectos-
vicios Lógicos –Falacias.
LOS TOPICOS: Procedimientos lógicos del raciocinio(dialéctica)
CICLO MAYO – SETIEMBRE 2022

EDAD MODERNA
GOTTFRIED AUGUSTUS D’ GEORGE CHARLES
FRANCIS BACON PIERCE
WILHELM LEIBNIZ MORGAN BOOLE

1561 - 1626 1646 - 1716 1806 - 1871 1815 - 1864 1839 - 1914
Desarrollo el
Padre de la calculo de la Enunció
lógica lógica varias leyes Elaboro el
inductiva. proposicional
Libro: como: Algebra de Trabajo
Libro:
“Novum Transitivida Boole. argumentos
“Mathesis
Organum” d, ley Enuncia las Deductivos
Universalis”
Sistematizo distributiva leyes del Inductivos y
La verdad de
la Inducción abductivos
los hechos son y las Leyes calculo de
experimental de D´
contingentes. clases.
(Razonam. Precursor de Morgan.
Inductivo) Lógica
Matemática
CICLO MAYO – SETIEMBRE 2022

EDAD MODERNA
GOTTLOB FREGE JAN LUKASIEWICZ LUDWIG
BERTRAN RUSSELL Giuseppe. Peano
WITTGENSTEIN

1848 - 1925 1878 - 1956 1858 - 1932


1872 - 1970
1889 - 1951
Fundador de la Ideo las tabla
lógica matemática
de Verdad. Propuso
moderna
Libro: Elaboro el Obra: Puntos
Obra: “Principia “Tractatus auxiliares en
“Conceptografía” primer
Padre de la lógica Matemática” Logico-
Moderna. Interpretación sistema reemplazo
Philosophicus” de
En su Libro “Notación Logística de la lógico
conceptual”, separa El lenguaje es
matemáticas polivalente Los signos
la caracterización la
formal de las leyes (trivalente) representació de
lógicas de su
n lógica del agrupación
contenido
semántico. mundo.
CICLO MAYO – SETIEMBRE 2022

EDAD MODERNA
Rudolf Carnap ALFRED TARSKI KARL POPPER LOFTI ZADEH

1891 - 1970 1901- 1983 1902 - 1994 1921 - 2017


Lógica de la
Fundador de investigación
Obra: “La
la semántica científica
estructura lógica Demarcación Creó la
lógica
del mundo” científica de teoría de
formal.
La mayoría las conjuntos
Establecido
problemas proposiciones borrosos y la
que cada de la ciencia
filosóficos lógica
enunciado y de las que
provienen de borrosa
demostrable no lo son.
un uso impropio
es verídico. (Falsacionismo
del lenguaje )
CICLO MAYO – SETIEMBRE 2022

REDUCCION AL ABSURDO

[ p → (q ˄ ¬q)] → ¬ p
CICLO MAYO – SETIEMBRE 2022

También podría gustarte