Lógica matemática

Lógica matemática

La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con la ciencias de la computación y la lógica filosófica.

La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican nociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.

La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas. Actualmente se usan indiferentemente como sinónimos las expresiones: lógica simbólica( o logística), lógica matemática, lógica teorética y lógica formal.[1]

La lógica matemática no es la «lógica de las matemáticas» sino la «matemática de la lógica». Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente.

Contenido

Historia

Lógica matemática fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lógica de Aristóteles, pero desde el punto de vista de una nueva notación, más abstracta, tomada del álgebra.

Previamente ya se hicieron algunos intentos de tratar las operaciones lógicas formales de una manera simbólica por parte de algunos filósofos matemáticos como Leibniz y Lambert, pero su labor permaneció desconocida y aislada.

Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero presentaron un sistema matemático para modelar operaciones lógicas. La lógica tradicional aristotélica fue reformada y completada, obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemática.

El tradicional desarrollo de la lógica enfatizaba su centro de interés en la forma de argumentar, mientras que la actual lógica matemática lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un nivel sintáctico (por ejemplo, el envío de una cadena de símbolos perteneciente a un lenguaje formal a un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una máquina), como a un nivel semántico, construyendo modelos apropiados (teoría de modelos). La lógica matemática estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.

Áreas

La Mathematics Subject Classification divide la lógica matemática en las siguientes áreas:

En algunos casos hay conjunción de intereses con la Informática teórica, pues muchos pioneros de la informática, como Alan Turing, fueron matemáticos y lógicos. Así, el estudio de la semántica de los lenguajes de programación procede de la teoría de modelos, así como también la verificación de programas, y el caso particular de la técnica del model checking. También el isomorfismo de Churry-Howard entre pruebas y programas se corresponde con la teoría de pruebas, donde la lógica intuicionista y la lógica lineal son especialmente significativas. Algunos sistemas lógicos como el cálculo lambda, y la lógica combinatoria entre otras han devenido, incluso, auténticos lenguajes de programación, creando nuevos paradigmas como son la programación funcional y la programación lógica.

Lógica de predicados

La lógica de predicados es un lenguaje formal donde las sentencias bien formadas son producidas por las reglas enunciadas a continuación.

Vocabulario

Un vocabulario es una tupla: \tau = \langle R_1,R_2,...,R_r,f_1,f_2,...,f_s,c_1,c_2...c_t \rangle que consta de:

  • r símbolos relacionales Ri, cada uno de ellos con un número entero ai asociado, el cual se conoce como la aridad de Ri
  • s símbolos funcionales fj, cada uno de aridad bj
  • t símbolos constantes ck

Una fórmula de primer orden φ en el vocabulario τ, es una fórmula de primer orden donde los únicos predicados, funciones y constantes empleados son los especificados por τ.

Lenguajes y estructuras de primer orden

Un lenguaje de primer orden' \mathfrak{L}\, es una colección de distintos símbolos clasificados como sigue:

  1. El símbolo de igualdad' =\,; las conectivas \lor\,, \lnot\,; el cuantificador universal \forall\, y el paréntesis (\,, )\,.
  2. Un conjunto contable de símbolos de variable \{v_i\}_{i = 0}^\infty\,.
  3. Un conjunto de símbolos de constante \{c_\alpha\}_{\alpha \in \Alpha}\,.
  4. Un conjunto de símbolos de función \{f_\beta\}_{\beta \in \Beta}\,.
  5. Un conjunto de símbolos de relación \{R_\gamma\}_{\gamma \in \Gamma}\,.

Así, para especificar un orden, generalmente sólo hace falta especificar la colección de símbolos constantes, símbolos de función y símbolos relacionales, dado que el primer conjunto de símbolos es estándar. Los paréntesis tienen como único propósito de agrupar símbolos y no forman parte de la estructura de las funciones y relaciones.

Los símbolos carecen de significado por sí solos. Sin embargo, a este lenguaje podemos dotarlo de una semántica apropiada.

Una \mathfrak{L}\,-estructura sobre el lenguaje \mathfrak{L}\,, es una tupla consistente en un conjunto no vacío A\,, el universo del discurso, junto a:

  1. Para cada símbolo constante c\, de \mathfrak{L}\,, tenemos un elemento c^{\mathfrak{A}} \in A\,.
  2. Para cada símbolo de function n\,-aria f\, de \mathfrak{L}\,, una function n\,-aria f^{\mathfrak{A}} : A^n \longrightarrow A\,.
  3. Para cada símbolo de relación n\,-aria R\, de \mathfrak{L}\,, una relación n\,-aria sobre A\,, esto es, un subconjunto R^{\mathfrak{A}} \subseteq A^n\,.

A menudo, usaremos la palabra modelo para denotar esta estructura.

Véase también

Referencias

  1. ↑ Evandro Agazzi, 1986.

Bibliografía adicional

  • Agazzi, Evandro (1986). Lógica simbólica. Herder. ISBN 9788425401305. 

Enlaces externos


Wikimedia foundation. 2010.

Игры ⚽ Нужен реферат?

Mira otros diccionarios:

  • Lógica matemática — ► locución Teoría científica del razonamiento, que se divide en cálculo de enunciados y cálculo de predicados. * * * La lógica matemática es la disciplina que se vale de métodos de análisis y razonamiento utilizando el lenguaje de las matemáticas …   Enciclopedia Universal

  • Independencia (lógica matemática) — En lógica matemática, la noción de independencia o indecidibilidad se refiere a la imposibilidad de de demostrar o refutar una sentencia a partir de otras. Una sentencia σ se dice independiente o indecidible en una teoría de primer orden T u… …   Wikipedia Español

  • Literal (lógica matemática) — En lógica matemática, un literal es una fórmula atómica o la negación de una. Los literales pueden se pueden caracterizar en dos tipos de acuerdo a su signo: Un literal positivo es una fórmula atómica. Un literal negativo es la negación de una… …   Wikipedia Español

  • Inteligencia lógica-matemática — Para otros usos de este término, véase Inteligencia (desambiguación). La inteligencia lógica matemática es la capacidad para utilizar los números de manera efectiva y de razonar adecuadamente empleando el pensamiento lógico. Es un tipo de… …   Wikipedia Español

  • logică — LÓGICĂ s. 1. logică matematică v. logică simbolică; logică simbolică logistică, logică matematică. 2. coerenţă, noimă, sens, şir. (Vorbeşte fără logică.) 3. v. justificare. Trimis de siveco, 13.09.2007. Sursa: Sinonime  lógică s. f., g. d. art.… …   Dicționar Român

  • Lógica (desambiguación) — Saltar a navegación, búsqueda Lógica libre Lógica aristotélica Lógica binaria Lógica bivalente Lógica combinatoria Lógica computacional Lógica de control Lógica de descripción Lógica de primer orden Lógica de segundo orden Lógica deóntica Lógica… …   Wikipedia Español

  • lógica — (Del lat. logĭca, y este del gr. λογική). 1. f. Ciencia que expone las leyes, modos y formas del conocimiento científico. 2. Tratado de esta ciencia. Escribió una lógica que fue muy comentada. lógica borrosa, o lógica difusa. f. La que admite una …   Diccionario de la lengua española

  • Lógica — La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), que significa «dotado de razón, intelectual, dialéctico,… …   Wikipedia Español

  • Lógica de primer orden — La lógica de primer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.[1] Los lenguajes de primer orden son, a su vez, lenguajes… …   Wikipedia Español

  • Lógica empírica — La lógica empírica es la base del razonamiento empírico y por lo tanto del método empírico. Esta visión de la lógica proviene de la antigua Grecia. El término empírico deriva del griego antiguo de experiencia, έμπειρία, que a su vez deriva de έυ… …   Wikipedia Español

Compartir el artículo y extractos

Link directo
… Do a right-click on the link above
and select “Copy Link”