LGICA

Catedrtico:

Lic. MSc.
Francisco Girn Mendizbal

Evolucin de la Tecnologa

OBJETIVO DE LA CLASE DE HOY

- Analizar el concepto de Lgica.

- En el aula, usando como referencia

la presentacin del catedrtico.
- Los Alumnos debern presentar en
forma oral sus ideas respecto a los
tpicos del objetivo de la clase.

 QU ES
LA
LGICA ?

Deriva del griego "" (logik-logiks),

que a su vez es "" (logos), que significa
razn.
Ciencia encargada de estudiar el pensamiento
a travs de las Formas Mentales.
Aristteles fund la Lgica como un medio de
conocimiento o Propedutica.
Segn Kant es una ciencia formal (estudia las
formas del pensamiento prescindiendo de todo
contenido).

 Carl Sagan autor de El mundo y sus demonios,

presenta a la razn y el uso de la lgica como un
modelo de causas-efectos.
La lgica plantea certezas y la razn busca la
verdad mediante el uso de certezas descritas por
la lgica material.
Ciencia de relaciones porque estudia el
pensamiento (pensar es establecer relaciones = la
lgica es una ciencia formal).
Disciplina cientfica dirigida a satisfacer la
necesidad de investigar las leyes o principios
(constituyen el fundamento terico de toda
indagacin cientfica).

 Similitud entre Lgica Gramtica

Gramtica = no nos ensea a hablar, pero si
nos ensea; a ser ms correctos, precisos y
exactos en la expresin hablada y escrita.
Lgica = operaciones lgicas que practica el
hombre sin haberlas aprendido en textos de
lgica, sino en las distintas ciencias
especiales que se sirven de esta y de la
experiencia cotidiana.
La Lgica mejora nuestro razonamiento y nos
ayuda a evitar errores en la forma o estructura
de nuestro pensamiento.

HISTORIA
DE
LA LGICA

 Surgimiento de la Lgica Informal (estudio

metdico de los argumentos).
Se especializ en identificar falacias, paradojas
y en la construccin correcta de razonamientos.
Mediados del Siglo XIX = Lgica Formal
(estudiada en el campo de las matemticas y
posteriormente
por
las
ciencias
computacionales = naciendo as la Lgica
simblica).

 Lgica
Simblica
=
esquematiza
los
pensamientos
de
forma
clara
y
sin
ambigedades (lenguaje de signos propio y
distinto al verbal).

Para Lgica Matemtica y Filosofa Analtica =

la Lgica es un objeto de estudio en s mismo.

 Nacimiento de la lgica Nacimiento

intelectual del ser humano
(mecanismo espontneo en el
enfrentamiento del hombre con la
naturaleza).
Para su estudio:
Por etapa
Enfoque cultural

Clasificacin histrica de la Lgica segn Poncair:

del rigor y la formalidad,

a la creatividad y el caos

Etapas:
Revolucin Matemtica.
Revolucin Cientfica.
Revolucin Formal.

Revolucin Digital.
La prxima y prevista Revolucin Lgica.

REVOLUCIN MATEMTICA

Platn (427aC 347 aC) propone instaurar una repblica dirigida

por filsofos.
Academia de Atenas (centro de formacin poltica para jvenes
aristcratas).
Sostiene la existencia de dos mundos: el mundo de las ideas y el
de mundo fsico de los objetos.
Aristteles (384aC 332 aC) primer tratado sistemtico de las
leyes de pensamiento para la adquisicin de conocimiento
(Organn - el arte de la argumentacin correcta y verdadera)
Representan el primer intento de situar a la lgica como ciencia.
Se le considera el fundador de la lgica (introduccin al saber
general).

 Euclides (siglo III aC): Matemtico autor de la obra los Elementos.

Obra dividida en 13 libros (recopilacin de las matemticas
conocidas en el ao 300 aC).
Uso riguroso del mtodo deductivo que distingue entre principios
-definiciones, axiomas y postulados-, y teoremas, que se
demuestran a partir de los principios.

REVOLUCIN CIENTFICA
La ciencia matemtica ante el retroceso de la escuela
clsica de los griegos se presentan periodos de autoridad
religiosa.
El Renacimiento es el inicio de una nueva revolucin que
revive la ciencia y las matemticas.
Ren Descartes (1596 1650)
Parte de la duda universal como principio (prescinde de
cualquier conocimiento previo que no quede demostrado
por la evidencia con que ha de manifestarse el espritu).
Pienso, luego existo.
Creacin de la geometra analtica (uso de mtodos
algebraicos).
Ubi dubium ibi libertas, donde hay duda hay libertad.

 Isaac Newton (1642 1727) La gravitacin universal

Clculo infinitesimal
Leyes que rigen la mecnica clsica que alimentara el nacimiento
de la mecnica cuntica (accin reaccin).
Su obra fundamental, Principios matemticos de la filosofa natural
(1686).
Gottfried W. Leibniz (1646 1716) Academia de Ciencias de Berln
(1700).

En Discurso sobre el arte combinatorio enuncia la necesidad de un

lenguaje riguroso, exacto y universal puramente formal.
Nuevo mtodo para la determinacin de los mximos y los mnimos
(1684): expone ideas fundamentales del clculo infinitesimal (se
anticipa a Newton).
Introdujo el smbolo de integral y de diferencial de una variable.

 Friedrich Hegel (1770 1831). Influenciado por Kant

y Rousseau.
Ciencia de la lgica (lgica dialctica principio
motor del concepto que disuelve y produce las
particularidades de lo universal).
Nikolai I. Lobachevsky (1792 1856)
funda la Geometra No Euclidiana (renueva la
Geometra).
Campos de lo fsico y lo real.

REVOLUCIN FORMAL
Formalizacin de las Matemticas

Uso de los infinitesimales.

La rigorizacin del anlisis lleg con la
eliminacin de los infinitesimales y la
presencia de los lmites como argumento.
En este periodo se crea la Lgica Simblica,
la Escuela Formal, la Lgica Booleana, el
Clculo
Proposicional,
la
Induccin
Matemtica.

 Guiseppe Peano (1858 1932) Formulaire de

mathematiques
(conjunto
de
los
nmeros
naturales).
David Hilbert (1862 1943).
Campos fundamentales de la relatividad y la
mecnica cuntica con la Teora de Invariantes y el
concepto de Espacio de Hilbert.
Fundamentos de Geometra, en la que formula sus
principios de axiomatizacin de la geometra
(necesario establecer un conjunto de postulados
bsicos antes de plantear de modo ms detallado
cualquier tipo de problema fsico o matemtico).

 Friedrich G. Frege (1848 1925). Renovacin y desarrollo

de la lgica clsica hasta el momento.
Teora
de
la
Cuantificacin
cuantificadores u operadores)

(introduccin

George Boole (1815 1864). Aplica el

matemtico a la lgica = lgebra de la Lgica.

de

clculo

Empleo de smbolos, reglas operatorias, variables y

relaciones = ecuaciones.
Mtodo para formalizar la inferencia deductiva (sistemas
de ecuaciones).
Investigacin de las leyes del pensamiento (teoras
matemticas de la lgica y la probabilidad).

 Augustus De Morgan (1806 1871)

Leyes de Morgan = teora del desarrollo de las relaciones y la
matemtica simblica moderna o lgica matemtica.
George F. Cantor (1845 1918)

Infinito continuo (conjuntos infinitos dados simultneamente).

Se le considera el creador de la teora de los nmeros
irracionales y de los conjuntos.
Gerhard Gentzen (1909 1945). Consistencia de un sistema de
aritmtica clsica
Mtodo no elemental = extensin de induccin matemtica a
partir de una secuencia de nmeros naturales a un cierto
segmento de nmeros ordinales transfinitos.

 Bertrand Russell (1872 1970). Creador de la logstica (filosofa

cientfica contempornea).
Teora de los Tipos.
Teora de la Jerarqua de los lenguajes (para eliminar las
paradojas semnticas).
Principia Mathematica (bases de la moderna lgica formal).

Kurt Gdel (1906 1978). Demostracin de la hiptesis cantoriana

del continuo y el teorema y prueba de incompletez semntica.
Sobre las proposiciones indecidibles de los sistemas de
matemtica formal = imposible construir un sistema de clculo
lgico suficientemente rico en el que todos sus teoremas y
enunciados sean decidibles dentro del sistema (matematizacin
de la sintaxis lgica).

REVOLUCIN DIGITAL
Invencin de la Computadora Digital y acceso a
redes de alta velocidad.

Turing relaciona lgica y computacin previo al

procesamiento de datos
Weiner funda la ciencia de la Ciberntica

Hoare presenta sistema axiomtico de los

sistemas de programacin
Dijkstra sistema de verificacin y deduccin de
programas a partir de especificaciones

 Alan Turing. Matemtico y Lgico pionero en Teora de la

Computacin
(anlisis
lgicos
de
los
procesos
computacionales).
Mquina de Turing: la matemtica se puede reducir a algn
tipo simple de computacin (dispositivo simple capaz de
realizar cualquier operacin matemtica).
Norbert Weiner (1894 1964). Ciberntica, o control y
comunicacin en el animal y la mquina (primera vez la
palabra Ciberntica).
Ciberntica -del griego kybernetes: piloto Weiner: La Ciberntica es la ciencia que estudia la traduccin

de procesos biolgicos a procesos que reproduce una

mquina (Neurologa, Biologa, Biosociologa, Robtica e
Inteligencia Artificial).

 Luitzen Egbertus Jan Brouwer (1881 1966).

fundador de la Escuela de la Lgica intuicionista
Sus trabajos: Life, Art and Mysticism (1905) y Sobre la
infiabilidad de los principios lgicos.

Alfred Tarski (1902 1983). Estudios sobre lgebra en

general, teora de mediciones, lgica matemtica,
teora de conjuntos, y metamatemticas.
Benoit Mandelbrot. Impulsor de la matemtica
contempornea y pionero de la Geometra de la
Naturaleza.

LA PRXIMA Y PREVISTA REVOLUCIN LGICA.

Incorpora
fusin
computacin.

entre

matemticas

Computadoras = exploran datos inteligentemente

(transfieren informacin de las bases de datos a
las bases de conocimiento interconectadas a
travs de la Red a escala infinitesimal).
La lgica nace del rigor formal de la Matemtica
griega, emerge de etapas oscuras de la Edad
Media hasta el intercambio constante y continuo
de datos (Edad Moderna) y de estructura de redes
que Internet proporciona a modo neuronal a la
Humanidad.

LA LGICA
Y OTRAS
CIENCIAS

CLASIFICACIN DE LAS CIENCIAS

Ciencias
Puras

Clasificaciones
de las ciencias

Ciencias
Aplicadas

Son las diferentes tcnicas que se

apoyan en las ciencias puras.

Estadstica
Ciencias forenses
Otras

La lgica se identifica dentro de las ciencias puras.

DEFINICIONES APLICADAS DE LA LGICA

Aplicada a las ciencias

Aplicada a los procesos
Aplicada a las matemticas

DEFINICIONES APLICADAS DE LA LGICA

Aplicada a las ciencias
La Lgica se relaciona con todas las ciencias.
Las ciencias trabajan sobre diversos lenguajes
simblicos
Todas establecen relaciones de pensamiento
entre varias ideas.
Lgica es una ciencia de relaciones y (sobre
todo) la ciencia que estudia las relaciones.

OBJETO FORMAL Y OBJETO MATERIAL

Objeto formal (OF) = caracteriza a una ciencia
Objeto material (OM) = estrecha relaciones entre dos o
ms ciencias.
A travs del OF podemos identificar y distinguir las
disciplinas del saber aunque posean ciertas similitudes.
El OM puede ser compartido por varias ciencias.

Ejemplos: la Lgica, la Gramtica, la Teora del

Conocimiento y la Psicologa las cuales poseen el mismo
objeto material: el pensamiento.

DEFINICIONES APLICADAS DE LA LGICA

Aplicada a los procesos
Lgica = proceso de reflejo del mundo objetivo en la
conciencia del hombre y de verificacin de la
correccin de este reflejo por la prctica
CONOCIMIENTO
SISTEMAS
Sub Sistemas

CIENCIAS

Procesos
Acciones

DEFINICIONES APLICADAS DE LA LGICA

Aplicada a las matemticas

Lgica matemtica = sistema deductivo (axiomas
bsicos y reglas de deduccin).
Conjunto de expresiones (o smbolos) que permiten
construir proposiciones (o secuencias de signos
dotables de significado)

Matematizacin de la lgica
Lgica formal (Aristteles)
Lenguajes simblicos (mediados siglo XIX)
Subordinacin de una ciencia (Lgica) al mtodo de
las matemticas.

PREGUNTAS ?

GRACIAS POR
SU ATENCIN !!!

LGICA
Catedrtico:

Lic. MSc.
Francisco Girn Mendizbal