Áreas donde se dividen la lógica matemática

Filosofía y critica
Kant - Filosofía moderna y critica. Kant llama "filosofía crítica" al conjunto de investigaciones
filosóficas que tienen como principal preocupación establecer los fundamentos y límites del ejercicio
de la Razón.
Lo que hace preguntarse, ¿por qué la filosofía es un saber crítico?
Respuesta. Es un saber crítico porque pone en duda ciertas cosas que no le parecen lo
suficientemente claras o bien explicadas. Y es un saber reflexivo porque se refiere a la meditación
que se da en su intento de conocer la realidad.
En cualquier caso, ¿qué puedo saber de la filosofia?
Las características del saber filosófico son las siguientes: Es un saber reflexivo porque se acerca a la
realidad y a la verdad, a través de nuestras capacidades racionales, en busca de soluciones a los
problemas que preocupan al ser humano.
Mucha gente se pregunta entonces, ¿qué es un supuesto en la filosofía?
La suposición puede llegar a ser confundida con la hipótesis, que en términos epistemológicos -
hipótesis (método científico)- es un paso posterior: la conclusión provisional que se ha obtenido
como consecuencia de la observación y precede a la experimentación. Los supuestos previos a un
razonamiento son las premisas.
Lógica general
La utilización de la lógica tradicional en el derecho, siendo útil, fue poco desarrollada. Aún más,
desde el siglo XIX es rebasada por la lógica clásica, que la asume, la supera y la proyecta en niveles
superlativos. Pero el hecho de que se haya desarrollado grandemente la lógica simbólica [clásica],
no significa que hubiese sido aplicada al derecho. Por el contrario, la lógica tradicional seguía
utilizándose en el ambiente jurídico, y en realidad rendía sus frutos al jurista. Sin embargo, la nueva
lógica aplicada al derecho se va a dar solamente en 1951.
Teoría de modelos
En matemática, teoría de modelos es el estudio de (clases de) estructuras matemáticas tales como
grupos, cuerpos, grafos, o incluso universos de teoría de conjuntos, en relación con las teorías
axiomáticas y la lógica matemática. La teoría de modelos permite atribuir una interpretación
semántica a las expresiones puramente formales de los lenguajes formales.
Al mismo tiempo los lenguajes en los que se ha estructurado la noción de verdad y de los que habla
la teoría de modelos son, por lo general, sistemas matemáticos. Las «cosas» representadas en
dichos lenguajes son también sistemas matemáticos. Por esto, la teoría de modelos es una teoría
semántica que pone en relación unos sistemas matemáticos con otros sistemas matemáticos. Dicha
teoría nos proporciona algunas pistas con respecto a aquella semántica que pone en relación los
lenguajes naturales con la realidad. Sin embargo, ha de tenerse siempre presente que no hay ningún
sustituto matemático para los problemas genuinamente filosóficos. Y el problema de la verdad es un
problema netamente filosófico.
Teoría de la computabilidad
La teoría de la computabilidad, también denominada teoría de la recursión, es una de las cuatro
partes que constituyen la lógica matemática, siendo las otras tres, la teoría de conjuntos, la teoría de
modelos y la teoría de la demostración, y se ocupa del estudio y clasificación de las relaciones y
aplicaciones computables. Además, la teoría de la computabilidad, junto con la teoría de autómatas,
lenguajes y máquinas, es el fundamento de la informática teórica y esta, a su vez, de la industria de
los ordenadores.
De manera que hasta principios del siglo XX se daba por hecho que existían algoritmos y que el
único problema residía en determinarlos. Así pues, si lo que se desea es determinar un algoritmo, no
hay ninguna necesidad de definir la clase de todos los algoritmos; eso sólo es necesario si se
pretende demostrar que algún problema no es algorítmicamente soluble, i.e., que para dicho
problema no hay ningún algoritmo que lo resuelva.
Teoría de conjuntos
La teoría de conjuntos es una rama de la lógica matemática que estudia las propiedades y relaciones
de los conjuntos: colecciones abstractas de objetos, consideradas como objetos en sí mismas. Los
conjuntos y sus operaciones más elementales son una herramienta básica en la formulación de
cualquier teoría matemática.
La teoría de los conjuntos es lo suficientemente rica como para construir el resto de objetos y
estructuras de interés en matemáticas: números, funciones, figuras geométricas, etc; gracias a las
herramientas de la lógica, permite estudiar los fundamentos.
Teoría de la demostración
La teoría de la demostración o teoría de la prueba es una rama de la lógica matemática que trata a
las demostraciones como objetos matemáticos, facilitando su análisis mediante técnicas
matemáticas. Las demostraciones suelen presentarse como estructuras de datos inductivamente
definidas que se construyen de acuerdo con los axiomas y reglas de inferencia de los sistemas
lógicos. En este sentido, la teoría de la demostración se ocupa de la sintaxis, en contraste con la
teoría de modelos, que trata con la semántica. Junto con la teoría de modelos, la teoría de conjuntos
axiomática y la teoría de la computabilidad, la teoría de la demostración es uno de los «cuatro
pilares» de los fundamentos de las matemáticas.
Modelos no estándar
En lógica matemática, más precisamente en teoría de modelos, un modelo no estándar de una teoría
es un modelo cuyo conjunto base es diferente del modelo "estándar" de la teoría (cuando hay uno),
siendo el ejemplo más común el conjunto ℕ de enteros con sus operaciones habituales, que es el
modelo estándar de las teorías aritméticas, como la aritmética de Peano. Cualquier modelo no
estándar de aritmética de Peano tiene una copia isomórfica de ℕ (la interpretación de los términos
del lenguaje) como segmento inicial.
Un modelo no estándar puede o no ser elementalmente equivalente al modelo estándar, es decir,
satisfacer las mismas declaraciones cerradas (si es así, es un modelo no estándar de la teoría de
modelos estándar, que es completo por definición). Puede ser o no una extensión del modelo
estándar y cumplir con los mismos parámetros establecidos terminados en el modelo estándar, es
decir, ser una extensión elemental (in).