LOGICA

CONTEMPORANEA
UNIVERSIDAD NACIONAL JORGE BASADRE
GROHMANN
FACULTAD DE INGENIERÍA

ESCUELA PROFESIONAL DE INGENIERÍA

METALÚRGICA Y MATERIALES

CURSO:
INTEGRANTES:
MATEMÁTICA JIANCARLO MAMANI
DOCENTE: GIANFRANCO VARGAS
JOHN TINTAYA
Ing. ROSA REQUELME
JACK LIMACHI
 La ciencia que estudia los
principios del pensamiento y
el razonamiento correctos, o
¿QUE ES LA LOGICA? bien la ciencia de las
argumentaciones,
demostraciones e inferencias
válidas.

2
 LA ERA
CONTEMPORANEA
 ESTA ETAPA SE
CARACTERIZA POR EL
RESURGIMIENTO DE LA
FORMALIZACIÓN
RIGUROSA DE LAS
MATEMÁTICAS.

 LA RIGORIZACIÓN
DEL ANÁLISIS
LLEGÓ CON LA
ELIMINACIÓN DE
LOS
INFINITESIMALES Y
LA PRESENCIA DE
LOS LÍMITES COMO
ARGUMENTO.

3
 GEORGE BOOLE
GEORGE BOOLE
Publicó el tratado que lleva
por nombre “EL ANALISIS Publico su segundo
MATEMÁTICO DE LA tratado titulado “LAS
LÓGICA” LEYES DEL
PENSAMIENTO”.

18 18 18
47 54 79

AUGUSTUS DE MORGAN
GOTTOB FREGE

Publica su obra CONSIDERADO UNO DE LOS

“LOGICA FORMAL” LÓGICOS MAS
IMPORTANTES , DIO A
CONOCER SU TRABAJO “ LA
CONCEPTOGRAFIA”
 JOHN VENN GOTTLOB FREGE

Publico su libro Publico en 2 volúmenes

“LÓGICA “LAS LEYES DE LA
SIMBOLICA” ARITMETICA”.

18 18 18 19
81 83 93 10

BERTRAND RUSELL Y ALFERD

NORTH WHITEHEAD
CHARLES SANDERS PEIRCE

Publican un trabajo
monumental “PRINCIPIA
Publica su obra
MATHEMATICA”
“STUDIES IN
LOGIC”
 AUGUSTUS
DE MORGAN
GEORGE
BOOLE GUISEPPE
PEANO

JHON VENN PRINCIPALES BERTRAND

REPRESENTANTES RUSELL

WILLIAM
STANLEY
JEVONS GOTTLOB
FREGE

DAVID
HILBERT
 AUGUSTUS DE MORGAN

FUE UN MATEMÁTICO Y LÓGICO  BRITÁNICO,

DESCENDIENTE DE JAMES DODSON, QUIEN CALCULÓ UNA
TABLA DE ANTILOGARITMOS, ES DECIR, LOS NÚMEROS
CORRESPONDIENTES A LOS LOGARITMOS EXACTOS.

CONOCIDO POR FORMULAR LAS LEYES DE MORGAN

7
APORTES
LOGICA FORMAL

╸ Hace un análisis lógico de las leyes

símbolos y operaciones matemáticas.
╸ Introduce la expresión “inducción
matemática”
╸ Formula los principios del razonamiento
simbólico y algunas paradojas.
╸ Realizo un análisis matemático de la
lógica .

8
 FUE UN ITALIANO GUISEPPE PEANO
MATEMÁTICO , LÓGICO Y
FILOSOFO ITALIANO . EL
AUTOR DE MÁS DE 200
LIBROS, UNO DE LOS
FUNDADORES DE LA LÓGICA
MATEMÁTICA Y LA TEORÍA
DE CONJUNTOS , A LO QUE
CONTRIBUYÓ EN GRAN
MEDIDA LA NOTACIÓN.

Asistió al Liceo classico

Cavour en Turín , y se
matriculó en la Universidad
de Turín en 1876,
graduándose en 1880 con
altos honores.
APORTES

 FUE QUIEN POR PRIMERA VEZ

ESTABLECIÓ EL TERMINO DE
“LÓGICA MATEMÁTICA”.

 LOS AXIOMAS DE PEANO

PERMITEN DEFINIR EL
CONJUNTO DE LOS NÚMEROS
NATURALES.

10
 BERTRAND RUSELL

FUE UN BRITÁNICO PENSADOR, FILÓSOFO,
LÓGICO, MATEMÁTICO,
HISTORIADOR, ESCRITOR, CRÍTICO SOCIAL,
ACTIVISTA POLÍTICO, Y EL PREMIO
NOBEL.ES UNO DE LOS CREADORES DE LA
LOGÍSTICA Y UNO DE LOS PENSADORES DE
MAYOR INFLUENCIA EN LA FILOSOFÍA
CIENTÍFICA CONTEMPORÁNEA.

Por excelencia llegó a afirmar que para

iniciarse en lógica lo básico era no estudiar
la lógica de Aristóteles.
11
APORTES
• DESCUBRE EN LA TEORÍA DE CONJUNTOS VARIAS
PARADOJAS .AÑOS MÁS TARDE ESTABLECE UNA TEORÍA
LA DE “LA JERARQUÍA DE LOS LENGUAJES” SIMILAR A
“LA TEORÍA DE TIPOS”, , PARA ELIMINAR LAS
PARADOJAS SEMÁNTICAS.

SIGUIENDO A PEANO Y FREGE, RUSELL

SE PROPONE FUNDAMENTAR Y
AXIOMATIZAR LA MATEMÁTICA A
PARTIR DE CONCEPTOS LÓGICOS. ESTE
EMPEÑO CULMINA CON “PRINCIPIA
MATEMÁTICA” CON WHITEHEAD EN
1910.
12
 GEORGE BOOLE
FUE UN MATEMÁTICO,
FILÓSOFO Y LÓGICO INGLÉS EN
GRAN PARTE AUTODIDACTA.
TRABAJÓ EN LOS CAMPOS
DE ECUACIONES
DIFERENCIALES Y LÓGICA
ALGEBRAICA , Y ES MEJOR
CONOCIDO COMO EL AUTOR
DE THE LAWS OF
THOUGHT (1854) QUE
CONTIENE ÁLGEBRA
BOOLEANA .

13
 APORTES
╸ Señalo la analogía entre los símbolos
algebraicos y los que pueden representar
formas lógicas y silogismos.

╸ En 1847 y 1854 comenzó el algebra de la

lógica , a lo que ahora se llama algebra de
Boole.

Quizás su contribución básica sea la simbolización y

determinación de operaciones lógico-algebraicas, conforme
a el supuesto de que toda operación lógica tiene un análogo
algebraico.
14
 JHON VENN
FUE UN MATEMÁTICO, LÓGICO Y FILÓSOFO
INGLÉS CONOCIDO  . ENSEÑO EN
CAMBRIDGE COMO PROFESOR DE CIENCIAS
MORALES, ESTUDIANDO Y ENSEÑANDO
LÓGICA Y TEORÍA DE LA PROBABILIDAD.
POR VOCACIÓN FAMILIAR SE CONVIRTIÓ
EN SACERDOTE ANGLICANO PERO
TERMINO RENUNCIANDO PORQUE ERA
INCOMPATIBLE CON SUS CREENCIAS
FILOSÓFICAS,

15
APORTES

En 1866, Venn publico The Logic of Chance, un

libro innovador que propugnaba la teoría de la
frecuencia de la probabilidad.

Presentó el diagrama de Venn , utilizado en los

campos de la teoría de conjuntos ,
la probabilidad , lógica, estadística , matemáticas
de competencia e informática .

The Principles of Empirical Logic(principios de la

lógica empírica) en 1889.

16
 FUE UN
INGLÉS ECONOMISTA,
FILOSOFO Y LÓGICO INGLES
WILLIAM STANLEY
. A LOS QUINCE AÑOS FUE
ENVIADO A LONDRES PARA
JEVONS
ASISTIR A LA UNIVERSITY
COLLEGE SCHOOL .

Asumió un papel como ensayador en la Casa de

la Moneda de Sydney. En 1866, fue elegido
profesor de lógica y filosofía mental y moral.
También fue profesor de economía política de
Cobden en el Owens College. 17
APORTES
╸ En 1866 se dio cuenta de lo que él
consideraba el gran principio
universal de todo razonamiento; y
en 1869 publicó un bosquejo de esta
doctrina fundamental bajo el título
de La sustitución de similares . 

Construyó la primera máquina lógica (1866),

mediante la cual la conclusión derivable de
cualquier conjunto de premisas  podría
obtenerse mecánicamente. 18
 DAVID HILBERT

FUE UN MATEMÁTICO ALEMÁN Y UNO DE LA MAYORÍA

DE LOS MATEMÁTICOS INFLUYENTES Y UNIVERSALES
DEL SIGLO 19 Y PRINCIPIOS DE SIGLO 20, ES CONOCIDO
COMO UNO DE LOS FUNDADORES DE LA TEORÍA DE
LA PRUEBA Y LA LÓGICA MATEMÁTICA.

19
 APORTES

Publica en 1899 su obra “Fundamentos de

Geometría” donde reconocía tres sistemas de entes
geométricos, puntos, rectas y planos a los que pueden
aplicarse axiomas distribuidos en cinco categorías:
pertenencia, orden, igualdad o congruencia,
paralelismo y continuidad.

Aporta grandes avances a campos

fundamentales de la relatividad y la mecánica
cuántica con la “Teoría de Invariantes” y el
concepto de “Espacio de Hilbert”.
20
 GOTTLOB FREGE

╸ ERA UN ALEMÁN   FILÓSOFO, LÓGICO Y MATEMÁTICO.

TRABAJÓ COMO PROFESOR DE MATEMÁTICAS EN
LA UNIVERSIDAD DE JENA , Y MUCHOS LO ENTIENDEN
COMO EL PADRE DE LA FILOSOFÍA ANALÍTICA ,
CONCENTRÁNDOSE EN LA FILOSOFÍA DEL
LENGUAJE , LA LÓGICA Y LAS MATEMÁTICAS.

21
APORTES
ª LOS FUNDAMENTOS DE LA ARITMETICA

Establece formalmente
1) las tablas de la verdad.

Desarrollo de la
2) aritmética mediante la
lógica simbólica.

Desenvuelve la lógica
3) de clases y
formula la implicación
material.

Funda así la lógica de

4) los predicados.
22
 BOOLE
(FUE EL CANDIDATO
MÁS POPULAR A
PRINCIPIOS DE
SIGLO PERO
TODAVÍA HOY
ENCUENTRA
PARTIDARIOS)

LOS TRES
PRESUNTOS
FUNDADORES
FREGE
(ES LA PEANO
CANDIDATURA MÁS (SEGÚN UNA
VOTADA EN ESTA OPINIÓN
SEGUNDA MITAD FRANCAMENTE
DEL SIGLO) MINORITARIA)

23
 LOS CUATRO PROGRAMAS RELEVANTES
POR SU CAPACIDAD DE ORIENTACIÓN DEL
ANÁLISIS LÓGICO

• El programa del «álgebra de la lógica», de

origen booleano, pero con profundas inflexiones
posteriores

• El programa logicista de Frege que procura formar y

desarrollar el análisis lógico sobre la base del lenguaje de
una "gran lógica“.

24
 LOS CUATRO PROGRAMAS RELEVANTES
POR SU CAPACIDAD DE ORIENTACIÓN DEL
ANÁLISIS LÓGICO

• El programa de una lógica subyacente y de una

metodología estructural de las teorías deductivas
(matemáticas).

• Diversas contribuciones en el campo de la semántica —

investigaciónes tan dispares como la algebraica, la
Fregeana o la Hilbertiana — encontrando unas primeras
señas técnicas de identidad en la «semántica científica» de
Tarski de los años 30.

25
 ¿CÓMO SE PUEDE CARACTERIZAR LA
NOVEDAD DE ESTA LÓGICA?
UN RASGO MÁS PROFUNDO EN ESTA
LÍNEA ES LA FORMALIZACIÓN, EL
RECURSO A LENGUAJES
ARTIFICIALES, CONSTRUIDOS PARA
FORMULAR DE MODO
TRANSPARENTE Y PRECISO LOS
CONTENIDOS LÓGICOS .

⋀ ⋁

⟶
~ EL RASGO MÁS APARENTE FUE AL PRINCIPIO SU LENGUAJE
SIMBÓLICO —DE AHÍ QUE EL TÍTULO DE "LÓGICA
⟺ ∆ SIMBÓLICA" PRECEDIERA AL DE "LÓGICA MATEMÁTICA“
 ES CURIOSO OBSERVAR QUE LA DENOMINACIÓN «LÓGICA
MATEMÁTICA» SE DEBA INICIALMENTE A A. DE MORGAN,
"ON THE SYLLOGISM. III" QUE LA EMPLEA PARA SIGNIFICAR UNA
RELACIÓN GENÉRICA CON LAS MATEMÁTICAS COMO LA
DESIGNADA POR LA EXPRESIÓN MÁS COMÚN EN LA GRAN
BRETAÑA DE LA 2ª MITAD DEL S. XIX: «LÓGICA SIMB ÓLICA».

27