RAMAS DE LA LOGICA

RAMAS DE LA LOGICA

1. LOGICA SIMBOLICA

   • analiza las relaciones entre símbolos
     • Proposicional
       • sistema formal compuesto por proposiciones
         • capaces de crear otras proposiciones a través de conectores llamados “conectivas lógicas”
     • Lógica predicativa o de primer orden
       • sistema formal compuesto por
         • variables cuantificables
         • fórmulas

2. LOGICA FILOSOFICA

   • áreas de la filosofía en las que se emplean los métodos de la lógica
   • centrada en el pensamiento y el lenguaje natural
   • utiliza cuatro principios fundamentales que establecen los procesos de pensamiento correcto
     • principio de no contradicción
     • principio de no contradicción
     • principio de no contradicción
     • principio de identidad

3. LOGICA INFORMAL

   • analiza
   • evalua
   • estudia
     • argumentos desplegados en el lenguaje natural o cotidiano

4. LOGICA MATEMATICA

   • aplicación del lenguaje matemático en la construcción de sistemas lógicos hace posible reproducir la mente humana
     • Logicismo
       • aplicación de la lógica en las matemáticas
     • Intuicionismo
       • sostiene que tanto la lógica como las matemáticas son métodos cuya aplicación es consistente para realizar construcciones mentales complejas

5. LOGICA FORMAL

   • estudio de las inferencias con contenido puramente formal y explícito
   • se utiliza para extraer una conclusión de una o más premisas
     • las cuales pueden ser
       • axiomas(proposiciones evidentes por sí mismas)
       • teoremas (conclusiones de un conjunto fijo de reglas de inferencias y axiomas)

6. LOGICA COMPUTACIONAL

   • fundamental en varios niveles
     • circuitos computacionales
     • programación lógica y analisis
     • optimización (de recursos temporales y espaciales) de algoritmos