Conceptos esenciales de lógica, razonamiento y tipos de lógica para modelado y computación

Lógica. Estudia diferentes formas de razonamiento.

Razonamiento. Conocimiento ya adquirido (representado mediante símbolos).

Pensamiento. Puede ser cualquier cosa; no siempre es real.

La lógica se expresa mediante proposiciones y conectores lógicos.

Ecuación diferencial. Sirve para modelar sistemas dinámicos en la naturaleza.

Memoria. Conjunto de celdas (almacena un bit).

Modelar. Sacar una representación exacta de algo que existe.

Paradigma. Un "cómo hacer", un estilo.

Metalinguaje. Descripción del lenguaje.

Inferir. Deducir algo basado en otra cosa o extraer una conclusión.

Predecir. Anunciar por revelación, ciencia o conjetura algo que ha de suceder.

Hipótesis. Suposición de algo posible o imposible para sacar de ello una consecuencia.

Formalización. Representación simbólica de fenómenos naturales.

Especificación. Se estudia en diferentes etapas del ciclo de vida de un software.

Proposición. Afirmación verdadera o falsa.

Razonamiento matemático. Dan cuenta de la lógica proposicional.

Razonamiento con sentido común. (ej. de Piolín).

Razonamiento abductivo y de diagnóstico.

Razonamiento inductivo. Tiene que ver con la inferencia de una ley general a partir de ciertas observaciones.

Lógicas específicas

• Lógica difusa. Modela ciertos patrones de razonamiento con incertidumbre, como "alto", "viejo", "nuevo", etc. Aplicaciones: control automático (lavadoras).
• Lógica multivaluada. Lógica clásica que maneja F, V e indeterminado. Usada en semántica de programas en lógica.
• Lógica probabilística. Asigna valores de verdad probabilísticos a proposiciones.
• Lógica intuicionista y constructivista. Sirven para modelar el razonamiento matemático constructivo del tipo "existe un objeto", en la medida en que haya una demostración de p o de no p.
• Lógica modal. Modela razonamiento con modalidades como necesario y posible.
• Lógica paraconsistente. Permite modelar formas de razonamiento en presencia de cierto tipo de inconsistencias sin que todo colapse (en razonamiento matemático: en presencia de una contradicción no necesariamente cualquier conclusión es válida).
• Lógica deóntica. Asociada al razonamiento legal (deber y obligación).

Elementos esenciales:

• Sintaxis del lenguaje
• Semántica
• Sistema deductivo
• Correspondencia entre sintaxis y semántica
• Implementación computacional

Las interpretaciones se dan en términos de objetos externos que son denotados (nombrados) en el lenguaje formal.

Cuando en clase de alemán, por ejemplo, si en alemán dicen "EIN BIER", están pidiendo una cerveza; se describe el alemán (lenguaje objeto) en castellano, que actúa como metalinguaje.

Este documento reúne definiciones y tipos de lógicas y razonamientos relevantes para el modelado, la semántica y la implementación computacional. Mantiene términos clave para su estudio y aplicación en ciencias de la computación, matemáticas y disciplinas afines.