EVOLUCIÓN DEL

PENSAMIENTO
LÓGICO A TRAVÉS
DE LA HISTORIA
 HISTORIA DE LA LOGICA
La historia de la lógica es producto de la confluencia de cuatro líneas de
pensamiento, que aparecen en momentos históricos diferentes:
 La lógica antigua, obra de Aristóteles, los megáricos y los estoicos.
 La idea de un lenguaje único, completo y exacto para razonar, sueño al que
aspiraban Ramón Llull y Leibniz.
 Los progresos en álgebra y geometría al comienzo del siglo XIX, y el desarrollo
de un cálculo completo, obra de Frege.
 Ya en el siglo XX, Bertrand Russell y Whitehead culminaron el proceso de
creación de la lógica. A partir de este momento no cesarán de producirse
nuevos desarrollos y de nacer escuelas y tendencias.

El nacimiento de la lógica propiamente dicho está directamente relacionado con

el nacimiento intelectual del ser humano. La lógica emerge como mecanismo
espontáneo en el enfrentamiento del hombre con la naturaleza, para
comprenderla y aprovecharla. Poncairé destaca cinco etapas o revoluciones en ese
proceso que se presentan entre dos grandes tópicos: del rigor y la formalidad, a la
creatividad y el caos. Las etapas se identifican como: Revolución Matemática,
Revolución Científica, Revolución Formal y Revolución Digital además de la
próxima y prevista Revolución Lógica.
 Ciencia que se basa en  Ciencia formal que
las leyes , modalidades estudia la estructura o
y formas del formas del
conocimiento pensamiento humano.
científico.

DEFINICIÓN DE
LA LÓGICA

 Ciencia que propone  Ciencia de la

estudiar los métodos y demostración, pues
los principios sólo se preocupa de
adecuados para formular reglas para
identificar al alcanzar verdades a
razonamiento correcto través de la
frente al que no lo es. demostración.
  La Lógica matemática
estudia los sistemas
 Disciplina que estudia formales en relación con el
métodos de análisis y modo en el que codifican o
razonamiento. definen nociones intuitivas
de objetos matemáticos
como conjuntos , números ,
DEFINICIÓN
demostraciones y algoritmos
 El razonamiento lógico DE LA , utilizando un lenguaje
se emplea en LÓGICA formal.
Matemáticas para MATEMÁTICA
demostrar teoremas,
sin embargo, se usa en
 La Lógica Matemática
forma constante para
nos ayuda a
realizar cualquier
establecer criterios de
actividad en la vida.
verdad .
 La lógica matemática cuestiona
con rigor los conceptos y las reglas
de deducción utilizados en
matemáticas lo que convierte la
lógica en una especie de
metamatemática.
  Comprende y
explica los
requisitos, objeto,
método y la
naturaleza de las
matemáticas.

ÁREAS DE LA
FILOSOFÍA Y
LÓGICA CRÍTICA
MATEMÁTICA
 Direcciones:
 Filosófico: El objetivo
principal es resolver aspectos
problemáticos entre las
matemáticas y la filosofía.
 Matemático: El interés
principal es proveer al
conocimiento matemático de
fundaciones firmes.
 MODAL
 Es un sistema formal que
intenta enlazar el
comportamiento
deductivo de operadores
modales.
 OPERADORES MODALES:
Son expresiones que
ÁREAS DE LA califican la verdad de los
LÓGICA juicios.
LÓGICA
GENERAL
MATEMÁTICA
FUZZY
 Es una metodología que
proporciona una manera
simple y elegante de
obtener una conclusión a
partir de información de
entrada ambigua, imprecisa
o incompleta.
  Rama de la lógica
matemática.

 Estudia las clases de

estructuras
matemáticas.

 Atribuye una
ÁREAS DE LA interpretación
TEORÍA DE
LÓGICA semántica a las
LOS MODELOS
MATEMÁTICA expresiones formales.

 Permite estudiar los

conjuntos de axiomas ,
completitud ,
consistencia, la
independencia de unos
de otros e introduce
número de cuestiones
metalógicas.

Rama de la lógica
matemática.
 Existen casos de propiedades
indemostrables o
contradictorias , por esta
razón , sus razonamientos y
técnicas se apoyan en la
lógica.
ÁREAS DE LA
LÓGICA
MATEMÁTICA
TEORÍA DE
LOS
CONJUNTOS
 El conjunto de axiomas
(teoría de Zermelo –
Fraenkel) es suficiente
 Estudia propiedades y para desarrollar toda la
relaciones de los matemática.
conjuntos.
 Es suficiente para
 La teoría de conjuntos construir objetos y
es objeto de estudio estructuras de interés en
por si misma. matemáticas.
  Rama de la lógica
matemática que trata a
las demostraciones como
objetos matemáticos,
facilitando su análisis
mediante técnicas
matemáticas

 Las demostraciones se
presentan como
estructuras definidas.
ÁREAS DE LA
LÓGICA TEORÍA DE LA
MATEMÁTICA DEMOSTRACIÓN  Se construyen con
los axiomas y reglas
de inferencia de los
sistemas lógicos.

 Es uno de los “cuatro

pilares” de los fundamentos
de las matemáticas.
-Edifica su teoría del
conocimiento para
justificar el poder del
filósofo.
-El mundo sensible
debe su existencia al
mundo de las ideas. PLATÓN ARISTÓTELES
-Escogió al diálogo para
verter sus ideas.
-Descubrió el Principio ANTIGUA
de no Contradicción GRECIA
EUCLIDES
-Publicó su obra
“elementos” texto
matemático donde usó
método deductivo.
-Distintigue entre
principios:
definiciones, axiomas
y postulados; y
teoremas.
-Escribió el “Organón”,
que fue el primer
intento de establecer
ala lógica como
ciencia.
-Establece
correspondencia ente
pensamiento lógico y
estructura ontológica.
-Trata las reglas del
pensamiento
silogístico.
-Descubrió el principio
del tercio excluido.
-Creó la geometría
analítica.
-Su punto de partida es
la “duda universal”, la
cual consiste en
prescendir de cualquier RENÉ DESCARTES
conocimiento previo
que no queda
confirmado por la
evidencia
MATEMÁTICA
-Fundó la Academia de
Ciencias de Berlín (1700).
-En “discurso sobre el
arte combinatorio”
enuncia la necesidad de
un legunaje formal.
-Publicó “Mathesis
Universalis”.
-Enunció el principio de
la razón suficiente.
-Se le debe el
descubrimiento de la
gravitación universal,
el desarrollo del
ISAAC NEWTON cálculo infinitesimal.
-Realizó también
descubrimeinto s sobre
óptica y leyes de la
LA CIENCIA mecánica clásica
-Introdujo el signo de
LEIBNIZ igualdad para decir que “a”
es idéntico a “b”.
a es b en el sentido de “todos
los a son b”. Y si a es idéntico
a b, podemos sustituir el
símbolo a en cualquier
enunciado por el símbolo b
preservando el valor de
verdad de ese enunciado.
-Fue el primero en dar a -Fue un enconado
la lógica el nombre de defensor de la
Lógica Matemática. axiomática como
-Consideró que la lógica enfoque principal de los
es el instrumento de la problemas científicos.
matemática. GIUSSEPPE PEANO DAVID HILBERT
-Planteó que era
-Propuso el uso de puntos necesario crear un
auxiliares, en remplazo método especial
de los signos de denominado
agrupacion. FORMALIZACIÓN “Metateoría”,
-Creó un lenguaje DE LAS “Metaciencia” o
simbólico para las
demostraciones
MATEMÁTICAS “Metalingüística”.
matemáticas.
FRIEDRICH G. FREGE -Fue el primero en introducir
-Se le considera como el padre de
la Lógica Moderna. los cuantificadores u
-Desarrolló el estudio de la lógica operadores y en elaborar una
predicativa. teoría de la cuantificación.
-Establece diferencia entre -Distingue entre ley y regla.
constante y variable. -Su obra más importante es
-Distingue el lenguaje del “Conceptografía”.
metalenguaje.
-Aplicó el cálculo -La formalización de la
matemático a la lógica, lógica, iniciada por
fundando el álgebra de Boole, ha contribuido
la logica, estableciendo poderosamente a
definidamente las leyes aclarar la estructura de
para la ejecución de los objetos lógicos, en
las operacionesy dando GEORGE BOOLE contraposición a los
una interpretación materiales y aún en
coherente de los contraposición a los
resultados. FORMALIZACIÓN matemáticos, pese a las
-Dio un método general DE LAS analogías formales
para formalizar la entre la matemática y
inferencia deductiva,
MATEMÁTICAS
la lógica.
representando -Su principal obre es
complicados raciocinios “Investigación de las
AUGUSTUS DE MORGAN
mediante sencillos leyes del pensamiento”
sistemas de
ecuaciones, siendo así -Consideró que el silogismo no es más que una serie de
el creador de la lógica combinaciones y relaciones de clases.
simbólica moderna. -Planteó que la base de común entre la lógica y la matemática son:
Las relaciones de inclusión o exclusión total o parcial de clases.
-Enuncia las leyes de transitividad y expresa rigurosamente las leyes
distributivas de la negación, que llevan ahora su nombre.
-Sus primeros trabajos con
GEORG F. CANTOR GENTZEN -Sus principales trabajos
las SERIES DE FOURIER lo
giraron en torno a los
llevaron al desarrollo de
fundamentos de la
una teoría de los números
matemática y la teoría de la
irracionales.
demostración.
-Formulo la teoría de
-Introdujo la noción de
conjuntos, sobre la que se
sistema de deducción
basa la matemática
natural para la lógica clásica
moderna.
y la lógica intuicionista.
-Se le considera en la
-Demostró la consistencia de
actualidad como el padre
los axiomas de Peano.
de la teoría de conjuntos

-Fundamento la lógica
-Creó el sistema
matemática.
formal llamado maquina post,
-Reordeno la lógica en un
equivalente a la maquina de
sistema axiomático.
Turing.
-Crea el lenguaje formalizado
-Sus trabajos más importantes
que mas se utiliza en la
fueron en lógica fundamental ;
actualidad.
grupos poliadicos, conjuntos
-Obra: Principia Matemática , y
recursivamente enumerables,
que propone que las
BERTRAND RUSELL KURT GöDEL resolubilidad de problemas
matemáticas pueden reducirse
combinatorios, etc.
a una rama de la lógica.
 LA REVOLUCIÓN
DIGITAL

Se inicio con la Invención de la

computadora digital y el acceso
universal a redes de alta
velocidad.
  Publico su libro mas
 Aporto importantes famoso
estudios de “Cibernética, o
Álgebra. control y
 Teoría de ALFRED TARSKI NORBERT WIENER comunicación en el
animal y la
Mediciones.
máquina”.
 Lógica Matemática  Dio vida a la
 Teoría de Conjuntos Definición a la
LA Cibernética.
REVOLUCIÓN
DIGITAL

 Fue pionero en la “ Teoría

de la Computación”  Ideo la llamada Máquina de
 Contribuyó en importantes ALAN TURING Turing.
Análisis lógicos en los  Su objetivo principal fue
procesos computacionales. desarrollar la máquina mas
simple.
GRACIAS