Epistemowikia
Revista «Hiperenciclopédica» de Divulgación del Saber
Segunda Época, Año IX
Vol. 8, Núm. 3: de julio a agosto de 2014
Epistemowikia es parte de
Logotipo de CALA Virtual
CALAALA | Communitas | Evolvere
Editio | Epistemowikia | Exercitatio | Fictor | Flor
Epistemowikia no se hace responsable ni se identifica necesariamente con el contenido ni las opiniones expresadas por sus colaboradores.
La Universidad de Extremadura no se hace en ningún caso responsable de los contenidos publicados en Epistemowikia.
Ni la Asociación Conocimiento Comunal (CONOMUN) ni el Grupo de Investigación de Ingeniería Telemática Aplicada y Comunicaciones Avanzadas (GÍTACA) se hacen en ningún caso responsable de los contenidos publicados por terceros.

[editar] Inicio | La revista | Índex | Hemeroteca | Búsquedas | Quiénes somos | Contacto | Publica

Relación entre lógica y matemáticas

De Epistemowikia

Tabla de contenidos

Introducción

En este apartado se explica con más detalle, si cabe, la separación entre la lógica y las herramientas matemáticas que usa.

Lógica y matemáticas

Desde un punto de vista realista, la lógica es una disciplina teórica y filosófica, separada de las matemáticas. El objetivo de la lógica es el estudio de las propiedades y relaciones lógicas entre los objetos lógicos (proposiciones, modelos, entidades…). Como todas estas propiedades son independientes de los sistemas usados para su estudio, se concluye que la lógica filosófica es una ciencia teórica. La incompatibilidad, verdad, falsedad, o equivalencia son denominadas como propiedades o relaciones básicas.

También existen otra serie de propiedades y relaciones derivadas, que se dividen en tres grandes grupos: teoría de modelos (estudia las relaciones básicas fundamentales entre los enunciados de una teoría), teoría de pruebas (estudio matemático de la derivación) y teoría de la recursión que estudia la computabilidad de las derivaciones jugando un papel esencial dentro de la lógica formal.

¿Qué es la lógica matemática?

Por lógica matemática pueden entenderse tres opciones distintas:

  1. Lógica matemática como lógica matematizada, es decir, que usa métodos y herramientas matemáticas.
  2. Lógica matemática como la parte matemática dentro de la lógica. En este sentido, es más una lógica de las matemáticas, es decir, el estudio de las relaciones, propiedades de teorías, pruebas y conceptos matemáticos
  3. Lógica matemática como la lógica de las matemáticas, es decir como la parte que estudia y analiza los diferentes razonamientos y argumentaciones que se dan dentro de las matemáticas. Es en este sentido una rama más de las matemáticas.

Normalmente, en el primer sentido explicado, se produce una fuerte confusión entre la lógica y las matemáticas, debido a que en lógica formal se usa un método matemático que hace difícil discernir entre ciencia (lógica) y método (matemáticas). También, hay que saber distinguir entre los sistemas lógicos formales que son entidades matemáticas complejas y las teorías lógicas. El objetivo de los sistemas lógicos formales es construir una correspondencia entre propiedades lógicas y matemáticas. La lógica matemática en el primer sentido contempla las tres acepciones en conjunto.

Ahondando en las diferencias entre lógica y matemática.

La identidad de los objetos matemáticos están completamente determinadas por las propiedades de las que se le pueden predicar en el lenguaje puramente teórico y por su aplicabilidad según la lógica del mismo. Si la lógica fuera matemática, dos objetos lógicos serían lógicamente equivalentes, sin embargo, estas propiedades lógicas no están completamente determinadas por la herramienta formal con la que las estudiamos.

Licencia









Esta obra se publica multilicenciadamente con las siguientes licencias. Por tanto, usted es libre de reproducir, distribuir, comunicar públicamente, interpretar y transformar, por cualquier medio, con o sin ánimo de lucro, la presente obra, en cualquier momento o lugar, licenciando o multilicenciando, según sea el caso, la obra original o la obra derivada, con una de las siguientes licencias o con un subconjunto de ellas:





Herramientas personales