TIPOS DE LOGICA

Páginas: 10 (2354 palabras) Publicado: 31 de octubre de 2014
David Camacho Fernández

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...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • LÓGICA Y TIPOS DE LÓGICA
  • la lógica de los tipos logicos
  • Tipos De Logica
  • Tipos de logica
  • Tipos De Logica
  • El concepto de lógica y los distintos tipos de lógica
  • Logica Examen Tipo 1
  • Tipos De Compuertas Logicas

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS