Origen de la lgica matemtica segn Aristteles

Es la tradicin lgica basada en el trabajo del filsofo

griego Aristteles, primer pensador en formalizar el sistema lgico de
tal manera que sus propuestas han trascendido hasta nuestros das.
Aristteles plante sus ideas en varias obras, reunidas
posteriormente bajo el nombre de rganon (rgano, herramienta),
para difundir su conocimiento sobre las leyes del razonamiento,
argumentando que estas eran vitales para adentrarse en el mundo de
la filosofa.

Origen de la lgica matemtica segn boole

lgebra de Boole tambin llamada lgebra booleana,
en informtica y matemtica es una estructura
algebraica que esquematiza las operaciones lgicas Y, O, NO y SI
(AND, OR, NOT, IF)[cita requerida], as como el conjunto de
operaciones unin, interseccin y complemento.

Origen de la lgica matemtica segn Frege

Frege fue un defensor del logicismo, la tesis de que
las matemticas son reducibles a la lgica, en el sentido de que las
verdades de la matemtica son deducibles de las verdades de la
lgica. Sin embargo su defensa del logicismo era de alcance limitado,
aplicndola slo a la aritmtica y a la teora de conjuntos, puesto que
Frege permaneci en gran medida kantiano respecto de la geometra.
Su obra titulada Leyes bsicas de la aritmtica (Grundgesetze der
Arithmetik) fue un intento de llevar a cabo el proyecto logicista. En
1902, con las pruebas corregidas del segundo volumen ya en la
imprenta, recibi una carta de Bertrand Russell en la que le adverta
acerca de una grave inconsistencia en su sistema lgico, conocida ms
adelante como la paradoja de Russell.

El trabajo de Frege en los fundamentos de la matemtica influy directamente en

los Principia Mathematica de Bertrand Russell y Alfred North Whitehead.
Ludwig Wittgenstein y Edmund Husserl tambin fueron otros filsofos
profundamente influidos por Frege.
Frege fue tambin una figura importante para la filosofa del lenguaje. La distincin
entre sentido y referencia y entre concepto y objeto se deben a l.

En 1930, los teoremas de incompletitud de Gdel socavaron parte del proyecto

logicista de Frege. Los teoremas muestran que para cualquier sistema formal que
tenga el poder suficiente para expresar la aritmtica, habr proposiciones verdaderas
en el sistema que no pueden ser demostradas, ni sus negaciones refutadas.
Gilles Deleuze articula su Lgica del sentido con base en la proliferacin infinita de
entidades verbales o paradoja de Frege, segn la cual "dada una proposicin siempre
puede tomarse su sentido como lo designado de otra proposicin".

Origen de la lgica matemtica segn leibniz

Una lgica como ciencia universal o fundamental, mathesis
universalis. Es lo que llam logstica o lgica matemtica, se propona
la posibilidad de representar la lgica con un lenguaje artificial
(alguien dgame una mejor palabra), que solamente hiciera caso a la
estructura lgica y no tanto al contenido especfico. Esto obviamente
para facilitar la comprobacin de si las afirmaciones en la filosofa y la
ciencia son verdaderas o falsas. Fue tan ambicioso lo que quera
Leibniz, de la creacin de este lenguaje lgico universal, que tuvo que
pasar un siglo a partir de su muerte para que otros matemticos y
filsofos continuaran su proyecto (Boole, de Morgan, Frege).

Que es la lgica matemtica

Es la disciplina que estudia mtodos de anlisis y razonamiento;
utilizando el lenguaje de las matemticas como un lenguaje analtico.

La lgica matemtica nos ayuda a establecer criterios de verdad,

equivalencias lgicas tales como el silogismo, hacer demostraciones
de teoremas que participan en el anlisis de argumentos planteados.

Dentro de la misma, se complementa tambin de la heurstica para

resolver problemas y es muy til en matemticas.

Suele dividirse en cuatro subcampos: teora de modelos, teora de la

demostracin, teora de conjuntos y teora de los sistemas formales
en relacin con el modo en el que codifican conceptos intuitivos de
objetos matemticos como conjuntos, nmeros, demostraciones y
computacin.