I.

BREVE HISTORIA DE LA LGICA

ARISTTELES: Padre de la Lgica Formal. Naci alrededor de 384 a. de C. en Estagira Tran. Fue discpulo de Platn. Fue maestro de Alejandro Magno Muri en Calcis en 322 a. de C. LA LGICA ARISTOTLICA

Silogismo.
Es un discurso en que, puestas ciertas premisas, algo distinto de ellas surge necesariamente a partir de las mismas

Toda A es B Toda B es C Por lo tanto, Toda A es C

Si A es predicado de B, y B lo es de C; A debe ser predicado de toda C

LA OBRA DE LEIBNIZ Y EL NACIMIENTO DE LA LGICA SIMBLICA

Gottried Wilhem Leibniz (1646-1716). Naci en Lepzig. Estudi matemticas en la y jurisprudencia. En 1700 fue nombrado presidente de la Sociedad de Ciencias de Berln.

CARACTERSTICA UNIVERSAL

Un lenguaje simblico

Clculo del razonamiento

Un lgebra.

Alfabeto del Pensamiento Humano

GEORGE BOOLE
George Boole: (1815-1864). Naci en Lincoln, Inglaterra. Profesor de matemticas en Queen's College de Cork. Es considerado como el fundador de la Lgica Simblica. La caracterstica fundamental de todo elemento del lenguaje la de ser signo, y, adems, que estos signos son susceptibles de combinacin de acuerdo a reglas fijas.

(I) Los objetos de nuestros conceptos los represent con las letras ltimas del alfabeto x, y, z, . . . (II) Como signos de operacin emple: +, -, x. (III) Emple adems el signo de identidad.

GOTTLOB FREGE
Gottlob Frege: (1848-1925). Naci en Wismar, fue profesor de matemticas en la Universidad de Jena. Formula de manera clara la distincin entre variable y constante, el concepto de funcin lgica, cuantificador, distingue entre regla y ley, diferencia el lenguaje objeto y el metalenguaje. Los conceptos matemticos se pueden obtener a partir de conceptos lgicos, y de esta manera la matemtica se converta en una parte de la lgica.

EN EL SIGLO XX BERTRAND RUSSELL:

Naci en 1872 en Inglaterra. Primero se interes por las matemticas, luego por temas filosficos, histricos y sociales. En 1952 recibi el Premio Novel de Literatura
Demostraron que los nmeros enteros positivos pueden analizarse en trminos puramente lgicos.