TIPOS DE LOGICA
Temas Avanzados en Ingeniería Informática I
(Lógica)
Lógica Computacional
“La mayoría de las ideas fundamentales de la
ciencia son esencialmente sencillas y, por regla
Tema 1: Introducción
general pueden ser expresadas en un lenguaje
comprensible para todos.”
Albert Einstein
Lógica Computacional
Definiciones
La Lógica Computacional aborda elestudio de la Lógica
Matemática desde la perspectiva de su aplicación al mundo de la
computación
Lógica
logos:razón, tratado o ciencia
La Lógica se utilizará para:
Lógica : Ciencia del Razonamiento
Como una forma de representación del conocimiento
La lógica surge con la filosofía: Debate entre el
materialismo y el idealismo
Para la implementación de procesos que permitan laresolución de problemas
Lógica
1
David Camacho Fernández
Definiciones
Lógica Matemática= “La Lógica es la ciencia que tiene
como objetivo el análisis de los métodos de
razonamiento”
Lógica Matemática = Lógica Formal = Lógica Simbólica
Lógica Formal= deducción de conocimiento a partir de
otros elementos. Ciencia que estudia la validez formal del
razonamiento
Breve historia de laLógica Formal
Definiciones
Razonamiento (deducción, inferencia, argumentación):
obtención de nuevo conocimiento (conclusión) a partir de una
serie de conocimientos previos (premisas)
Validez formal: un razonamiento es formalmente válido si la
conclusión es necesariamente verdadera cuando las premisas
son verdaderas (es válido en virtud de su forma -su estructura-,
es decir,independientemente del conocimiento concreto del que
trata). En este caso se dice que la conclusión es una
consecuencia lógica de las premisas
Breve historia de la Lógica Formal
Demócrito (460-370 a.c) Fundador de la teoría atomística
Edad Media
Sócrates (469-339 a.c.) y Platón (427-347 a.c.): contra la corriente
materialista
La Lógica fue formalmente introducida en el marco de la Filosofía
por elfilósofo griego Aristóteles (384-322 A.C.). Teoría del
raciocionio y de la demostración: rigurosa diferenciación entre lo
verdadero y lo falso
Bacon (1561-1626): lógica inductiva
Descartes (1596-1650), Método Científico
El matemático alemán Leibniz (1646-1716) fue el primero en
plantear una verdadera formalización de la lógica como cálculo
matemático
También antecedentes en China yla India
Lógica
2
David Camacho Fernández
Breve historia de la Lógica Formal
Breve historia de la Lógica Formal
El gran desarrollo de la lógica formal se produjo a finales del siglo
El trabajo es completado a mediados del siglo XIX con los
trabajos de los matemáticos ingleses Boole y De Morgan, que
aplicaron a la lógica métodos algebraicos:
XIX y primera mitad del XX, conlas aportaciones de:
Gottlob Frege(1848-1925): fundador de la lógica moderna y de
la lógica de primer orden
Bertrand Russell(1872-1957), Alfred North Whitehead(1861-
G. Boole(1815-1864): Lógica Booleana
1947): Principia Mathematica: lógica simbólica
Kurt Gödel (1906-1978): Teoremas de Gödel
Augustus de Morgan(1806-1871): leyes distributivas de la
Alfred Tarski (1902-1983),Fundamentación de la metalógica y la
negación
metamatemática
Hilbert, Herbrand…
Tipos de Lógicas
Breve historia de la Lógica Formal
A partir de los años 50 una parte importante de la
Lógica Clásica
investigación en lógica se centra en el estudio de
Considera únicamente construcciones declarativas, sobre las que
sus aplicaciones en computación, en particular
podemospronunciarnos acerca de su verdad o falsedad sin
como herramienta de programación
consideraciones de contexto
Es veritativo-funcional. Una expresión es veritativa-funcional si
forma estructuras compuestas en los que basta conocer el valor
de verdad de sus partes para saber el valor de verdad de la
estructura total
Lógica
3
David Camacho Fernández
Tipos de Lógicas
Tipos de...
Regístrate para leer el documento completo.