Sie sind auf Seite 1von 17

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.
ÁREAS DE LA
LÓGICA
MATEMÁTICA

TEORÍA DE
LOS
CONJUNTOS
Rama de la lógica  El conjunto de axiomas
matemática. (teoría de Zermelo –
Fraenkel) es suficiente
 Estudia propiedades y para desarrollar toda la
relaciones de los matemática.
 Existen casos de propiedades
conjuntos.
indemostrables o
contradictorias , por esta  Es suficiente para
razón , sus razonamientos y  La teoría de conjuntos construir objetos y
técnicas se apoyan en la es objeto de estudio estructuras de interés en
lógica. 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 -Escribió el “Organón”,
conocimiento para que fue el primer
justificar el poder del intento de establecer
filósofo. ala lógica como
-El mundo sensible ciencia.
debe su existencia al -Establece
mundo de las ideas. PLATÓN ARISTÓTELES correspondencia ente
-Escogió al diálogo para pensamiento lógico y
verter sus ideas. estructura ontológica.
-Descubrió el Principio ANTIGUA -Trata las reglas del
de no Contradicción GRECIA pensamiento
silogístico.
EUCLIDES -Descubrió el principio
del tercio excluido.
-Publicó su obra
“elementos” texto
matemático donde usó
método deductivo.
-Distintigue entre
principios:
definiciones, axiomas
y postulados; y
teoremas.
-Creó la geometría
analítica. -Se le debe el
-Su punto de partida es descubrimiento de la
la “duda universal”, la gravitación universal,
cual consiste en el desarrollo del
prescendir de cualquier RENÉ DESCARTES ISAAC NEWTON cálculo infinitesimal.
conocimiento previo -Realizó también
que no queda descubrimeinto s sobre
confirmado por la óptica y leyes de la
evidencia LA CIENCIA mecánica clásica
MATEMÁTICA
-Fundó la Academia de -Introdujo el signo de
Ciencias de Berlín (1700). LEIBNIZ igualdad para decir que “a”
-En “discurso sobre el es idéntico a “b”.
arte combinatorio” a es b en el sentido de “todos
enuncia la necesidad de los a son b”. Y si a es idéntico
un legunaje formal. a b, podemos sustituir el
-Publicó “Mathesis símbolo a en cualquier
Universalis”. enunciado por el símbolo b
-Enunció el principio de preservando el valor de
la razón suficiente. 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