Está en la página 1de 2

Concepto de lgica matemtica[editar]

La lgica matemtica estudia los sistemas formales en relacin con el modo en el que
codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros,
demostraciones y computacin. La lgica estudia las reglas de deduccin formales, las
capacidades expresivas de los diferentes lenguajes formales y las
propiedades metalgicasde los mismos.
En un nivel elemental, la lgica proporciona reglas y tcnicas para determinar si es o no vlido
un argumento dado dentro de un determinado sistema formal. En un nivel avanzado, la lgica
matemtica se ocupa de la posibilidad de axiomatizar las teoras matemticas, de clasificar su
capacidad expresiva, y desarrollar mtodos computacionales tiles en sistemas formales.
La teora de la demostracin y la matemtica inversa son dos de los razonamientos ms
recientes de la lgica matemtica abstracta. Debe sealarse que la lgica matemtica se
ocupa de sistemas formales que pueden no ser equivalentes en todos sus aspectos, por lo
que la lgica matemtica no es mtodo de descubrir verdades del mundo fsico real, sino slo
una fuente posible de modelos lgicos aplicables a teoras cientficas, muy especialmente a la
matemtica convencional.
La lgica matemtica no se encarga por otra parte del concepto de razonamiento humano
general o del proceso creativo de construccin de demostraciones matemticas mediante
argumentos rigurosos pero hechas usando lenguaje informal con algunos signos o diagramas,
sino slo de demostraciones y razonamientos que pueden ser completamente formalizados en
todos sus aspectos.

Sistemas lgicos[editar]
La lgica matemtica se interesa por tres tipos de aspectos de los sistemas lgicos:

La sintaxis de los lenguajes formales, es decir, las reglas de formacin de smbolos


interpretables construidos a partir de un determinado alfabeto, y las reglas de inferencia.
En concreto el conjunto de teoremas deducibles de un conjunto de axiomas.
La semntica de los lenguajes formales, es decir, los significados atribuibles a un
conjunto de signos, as como el valor de verdad atribuible a algunas de las proposiciones.
En general las expresiones de un sistema formal interpretadas en un modelo son ciertas o
falsas, por lo que un conjunto de proposiciones que admite un modelo es siempre
consistente.
Los aspectos metalgicos de los lenguajes formales, como por ejemplo la completitud
semntica, la consistencia, la compacidad o la existencia de modelos de cierto tipo, entre
otros.
Los diferentes tipos de sistemas lgicos pueden ser clasificados en:

Lgica proposicional (Lgica de orden cero): En ella existe smbolos para variables
proposicionales (que pueden ser interpretados informalmente como enunciados que
pueden ser ciertos o falsos) adems de smbolos para diversas conectivas. Estas
conectivas permiten formar expresiones complejas a partir de variables proposicionales
simples. Un sistema lgico puede incluir diversos tipos de conectivas, entre ellos, la lgica
clsica suele hacer uso de los siguientes:
se lee no
se lee y
se lee o
se lee implica o si,entonces,
se lee equivalente con o "si, slo s"
Dentro de la lgica proposicional pueden distinguirse varios tipos, por ejemplo
restringiendo las posibilidades de interpretacin semntica se obtiene la lgica
intuicionista y ampliando la complejidad de las interpretaciones semnticas se
obtienen las lgicas modales.

Lgica de predicados: Esta no incluye smbolos para variables proposicionales


sino que las proposiciones ms elementales son predicados atmicos formados a
partir de variables interpretables como objetos singulares, relaciones (entre estas
frecuentemente se usan = , <, >, etc.), funciones matemticas. Adems smbolos
para representar variables, relaciones y funciones este tipo de lgicas
incluyen cuantificadores. Dentro de la lgica de predicados se pueden distinguir
ciertos tipos:
Lgica de primer orden que usualmente es finitaria (slo se admiten
proposiciones formadas mediante un nmero finito de pasos) aunque tambin
existen lgicas infinitarias.
Lgica de segundo orden que a su vez pueden ser de diferentes subtipos.