UNIVERSIDAD NACIONAL DEL ALTIPLANO

FACULTAD DE INGENIERIA CIVIL Y ARQUITECTURA

ESCUELA PROFESIONAL DE CIENCIAS FÍSICO MATEMÁTICAS

DESARROLLO HISTÓRICO DE LA LÓGICA MATEMÁTICA

PRESENTADO POR:

JOSE CARLOS ESPINOZA CHIPANA

Puno - 2017
 AGRADECIMIENTOS

Por el amor recibido, la dedicación y la paciencia con la que cada dı́a me tratan. A mis
padres y hermanos

Un agradecimiento especial al Lic , por habernos dicatado la asignatura Lógica Ma-

temática

1
 INDICE
1. DATOS GENERALES 4

2. FORMULACIÓN DE LOS OBJETIVOS 4

3. ALCANCES Y LIMITACIONES 4
3.1. ALCANCES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
3.2. LIMITACIONES . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

4. METODOLOGÍA DE LA INVESTIGACIÓN 4
4.1. TIPO DE INVESTIGACIÓN . . . . . . . . . . . . . . . . . . . . . . . . 4
4.2. METODOLOGÍA . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

5. DEFINICIÓN Y FORMULACIÓN DEL PROBLEMA 5

6. MARCO TEORICO 5
6.1. ANTECEDENTES PRE-ARISTOTÉLICOS . . . . . . . . . . . . . . . . 5
6.1.1. PARMÉNIDES (540 a.C) . . . . . . . . . . . . . . . . . . . . . . 5
6.1.2. ZENÓN DE ELEA (490 a.c) . . . . . . . . . . . . . . . . . . . . . 6
6.1.3. SÓCRATES (470-399 a.C) . . . . . . . . . . . . . . . . . . . . . . 6
6.1.4. PROTÁGORAS (490-421 a.C) . . . . . . . . . . . . . . . . . . . 6
6.1.5. PLATÓN (427-347 a.C) . . . . . . . . . . . . . . . . . . . . . . . 6
6.2. Aristóteles (384-322 a.C . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
6.3. Euclides (ca. 325 a.C.-ca. 265 a.C) . . . . . . . . . . . . . . . . . . . . . 7
6.4. LOS CONTINUADORES DE ARISTÓTELES . . . . . . . . . . . . . . 7
6.4.1. TEOFRASTO(372-288 a.C) Y EUDEMO( ca. 370 hasta ca. 300 a.C) 7
6.4.2. DIODORO CROMO(S. IV a.C) Y FILON DE MEGARA(fl. 300
a.C) . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
6.4.3. CRISIPO DE SOLI (279-206 a.c) . . . . . . . . . . . . . . . . . . 7
6.4.4. LOS ESTOICOS . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
6.5. LOS COMENTADORES DE ARISTÓTELES . . . . . . . . . . . . . . . 8
6.6. LA LÓGICA EN LA EDAD MEDIA . . . . . . . . . . . . . . . . . . . . 8
6.6.1. RAMÓN LLULL (1235-1316) . . . . . . . . . . . . . . . . . . . . 8
6.7. LA LÓGICA MODERNA . . . . . . . . . . . . . . . . . . . . . . . . . . 8
6.7.1. GOTTFRIED LEIBNIZ (1646-1716) . . . . . . . . . . . . . . . . 8
6.7.2. LEONHARD EULER (1707-1777) . . . . . . . . . . . . . . . . . 9
6.7.3. JOHANN HEINRICH LAMBER (1728-1777) . . . . . . . . . . . 9
6.7.4. BERNARD BOLZANO (1781-1848 . . . . . . . . . . . . . . . . . 9
6.8. EL DESARROLLO DE LA LÓGICA MATEMÁTICA . . . . . . . . . . 9
6.8.1. WILLIAM HAMILTON (1788-1856) . . . . . . . . . . . . . . . . 9
6.8.2. AUGUSTUS DE MORGAN (1906-1871) . . . . . . . . . . . . . . 9
6.8.3. George Boole (1815–1864) . . . . . . . . . . . . . . . . . . . . . . 10
6.8.4. William Stanley Jevons (1835-1882) . . . . . . . . . . . . . . . . . 10
6.8.5. John Venn (1883-1923 . . . . . . . . . . . . . . . . . . . . . . . . 10
6.8.6. HUGH MACCOLL (1837-1909) . . . . . . . . . . . . . . . . . . . 10
6.8.7. CHARLES SANDERS PEIRCE (1839-1914) . . . . . . . . . . . . 10
6.8.8. ERNST SCHRÖDER (1841-1902) . . . . . . . . . . . . . . . . . . 10
6.9. FREGE-PEANO-RUSSELL . . . . . . . . . . . . . . . . . . . . . . . . . 11

2
 6.9.1. FRIEDRICH LUDWIG GOTTLOB FREGE (1848-1925) . . . . . 11
6.9.2. GIUSEPPE PEANO (1858-1932) . . . . . . . . . . . . . . . . . . 11
6.9.3. BERTRAND RUSSELL (1872-1970) . . . . . . . . . . . . . . . . 11
6.10. LA LÓGICA DESPUES DE LOS PRINCIPIA MATHEMATICA . . . . 12
6.10.1. DAVID HILBERT (1862-1943) . . . . . . . . . . . . . . . . . . . 12
6.10.2. CLARENCE IRVING LEWIS (1883–1964) . . . . . . . . . . . . . 12
6.10.3. ALONZO CHURCH (1906–1995) . . . . . . . . . . . . . . . . . . 12
6.10.4. KURT GÖDEL (1906-1978) . . . . . . . . . . . . . . . . . . . . . 12

7. CONCLUSIONES 13
REFERENCIAS14

3
1. DATOS GENERALES
TITULO: DESARROLLO HISTÓRICO DE LA LÓGICA

INVESTIGADOR: JOSE CARLOS ESPINOZA CHIPANA

ASESOR: Lic

LUGAR DE INVESTIGACIÓN: ESCUELA PROFESIONAL DE CIENCIAS FÍSICO

MATEMÁTICAS

2. FORMULACIÓN DE LOS OBJETIVOS

OBJETIVO GENERAL

Estudiar la Historia de Lógica y su contribución al desarrollo general de la ciencia y las

matemáticas

OBJETIVOS ESPECÍFICOS

. Presentar un estudio teórico e histórico de la lógica.

. Aplicar el concepto de Lógica para deducir conceptos básicos de las matemáticas y las
ciencias
. Interpretar el concepto lógica

3. ALCANCES Y LIMITACIONES
3.1. ALCANCES
El alcance de la propuesta que se pretende es inherente al programa de Matemática,
Fı́sica, Computación e Informática de la Escuela profesional de Educación Secundaria y
los lineamientos para una cultura investigativa en el programa.

3.2. LIMITACIONES
La propuesta a desarrollar se enmarca dentro de los aspectos de investigación formativa en
el programa de Matemática, Fı́sica, Computación e Informática de la Escuela profesional
de Educación Secundaria.

4. METODOLOGÍA DE LA INVESTIGACIÓN
4.1. TIPO DE INVESTIGACIÓN
La investigación que se plantea es básica o fundamental en ciencias puras y aplicadas.

4
4.2. METODOLOGÍA
El presente trabajo también se desarrolla en el marco de la investigación formativa, que
consiste en una investigación bibliográfica-teórica, se complementa con una reseña históri-
ca, lo cual consiste en presentar materiales o investigadores que se han dedicado al cultivo
de la lógica matemática.

5. DEFINICIÓN Y FORMULACIÓN DEL PRO-

BLEMA
La lógica es la disciplina en la que mayor medida juegan un rol decisivo la exactitud y
la predicción. Es la ciencia formal que estudia los métodos y las leyes que determinan la
validez de la inferencia. La lógica moderna o lógica simbólica(Alude a su uso predo-
minante de sı́mbolos) es también llamada lógica matemática, puesto que se desarrollo
con el propósito de examinar los fundamentos de esta ciencia.

Nuestra cultura depende del pensamiento más que ninguna en la historia humana. De-
pende del pensamiento no sólo porque la organización de la sociedad está hoy dı́a sujeta
directamente a las regulaciones de la ciencia, sino también Y sobre todo porque vivimos
en una época de grandes transformaciones, el inicio de una nueva era completamente dife-
rente a la anterior. El hombre vive hoy en peligro permanente de desorientación. Ante los
cambios enormes que suceden a nuestro alrededor en el dominio de la ciencia, la técnica, la
industria y la polı́tica, es difı́cil saber cuáles son las ideas, las opiniones, los principios que
han perdido vigencia y cuáles tienen valor permanente. Incluso la matemática considera-
do el idioma universal, caracterizado por su rigidez, siente estos cambios, el nacimiento de
nuevos resultados y problemas, la apertura de nuevas áreas de las matemáticas, de cuya
existencia no se habı́a ni sospechado, y junto a ellas, nuevas pruebas a resultados clásicos.
La lógica, cuyo objeto de estudio son los razonamientos (inferencias) con la finalidad de
determinar su validez o invalidez, es muy relevante para la ciencia, siendo páralo a ella.
Por lo tanto, conocer el desarrollo histórico de la lógica es muy importante para com-
prender mejor el avance: de la técnica, la polı́tica, la industria y sobre todo el cientı́fico
y matemático.

Por lo que el problema se reduce a:

¿cómo se desarrollo la lógica a lo largo de la historia? ¿Cómo contribuye en el desarrollo
de la Ciencia y las matemáticas?

6. MARCO TEORICO
6.1. ANTECEDENTES PRE-ARISTOTÉLICOS
6.1.1. PARMÉNIDES (540 a.C)
Con su tesis el ser es, el no ser no es, da una primera formulación del principio de
identidad.[3]

5
6.1.2. ZENÓN DE ELEA (490 a.c)
Discı́pulo de Parménides. Desarrollo sus célebres aporı́as: Aquiles y la tortuga, el arco y
la flecha, etc.[3]

6.1.3. SÓCRATES (470-399 a.C)

Experto en la argumentación rigurosa.[8]

6.1.4. PROTÁGORAS (490-421 a.C)

En el plano sintáctico y semántico del lenguaje, fue el primero en estudiar las oraciones.[8]

6.1.5. PLATÓN (427-347 a.C)

En su obra El Sofista trató las afirmaciones y las negaciones,y en sus cuentos deja
entrever claramente la noción de método axiomático que más tarde fue completada por
Aristóteles, y de manera más precisa por Euclides.Dio la primera formulación al principio
de no contradicción.[8, 5]

6.2. Aristóteles (384-322 a.C

Fue el primero que reunió todo el material existente en su época, en el que incluyo sus
propios descubrimientos, mucho más numerosos e importantes que todos los anteriores.
Los escritos lógicos de Aristóteles están contenidos en el libro denominado Organon que
significa Instrumento, propedéutica, metodologı́a. Este libro contiene los cinco tratados
siguientes: Las categorı́as, Sobre las proposiciones, Los analı́ticos( Primeros y Se-
gundos), Los tópicos y las refutaciones sofisticas. De este conjunto de escritos, Los
analı́ticos es el tratado que contiene las naturaleza de la lógica, y el Silogismo, es el tema
central del razonamiento lógico aristotélico, que se caracteriza solamente por usar propo-
siciones categóricas, donde dos de estas proposiciones son premisas y la otra es conclusión
.Un ejemplo tı́pico de el nos proporciona el razonamiento: Si todos los cuadrados son
rombos y todos los rombos son paralelogramos, entonces todos los cuadrados
son paralelogramos.[8, 7, 6]

El acierto de Aristóteles radica principalmente en estudiar estas deducciones consideran-

do solo su forma o estructura con independencia de su significado o contenido. De esta
manera un razonamiento como: Si todos los Peruanos son americanos y todos los
americanos son occidentales, entonces todos los peruanos son occidentales es
desde el punto de vista lógico igual al anterior porque tienen una misma estructura o
forma. Desde el punto de vita de su significado el primero habla de figuras geométricas
y el segundo de seres humanos pero si se examina las relaciones que existen entre sus
términos se encontrar que en ambos casos son las mismas. Los dos ejemplos corresponden
al esquema Si todo A es B y todo B es C, luego todo A es C.[6]

Lo dicho anteriormente nos sirve para hacer comprensible que la notable contribución
aristotélica fue desarrollar una teorı́a sobre los razonamientos o deducciones
que no tenga en cuenta el contenido de los mismos sino su forma o estruc-
tura. Esta es la razón por que la lógica desde fu creación es una ciencia formal

6
o estructural y este carácter lo mantiene hasta nuestros dı́as después de veinti-
cuatro siglos. Asimismo el tratamiento estructural que hizo el estagirita (ası́ se lo llama
a Aristóteles por haber nacido en Estagira) de la deducción le posibilita otro aporte sus-
tancial al desarrollo de la lógica y de la matemática: el método axiomático su teorı́a del
silogismo, o silogı́stica, seleccionando como como puntos de partida cuatro estructuras
básicas, a las que llamo axiomas, y luego construyo todas las demás como derivaciones de
las básicas. De esta manera la teorı́a del silogismo constituye el primer sistema axiomático
de la historia de la ciencia.[6]

La teorı́a del silogismo fue expuesto por Aristóteles con tal perfección que, salvo pequeños
detalles, conserva su validez hasta nuestros dı́as.[7]

6.3. Euclides (ca. 325 a.C.-ca. 265 a.C)

Matemático Alejandrino autor de la universal obra, los célebres Elementos de geo-
metrı́a. Uno de los textos matemáticos más relevantes en la historia del pensamiento
cientı́fico, están divididos en 13 libros y constituyen la recopilación más exhaustiva de los
conocimientos matemáticos conocidas hasta el año 300 a.c .Su valor universal lo propa-
ga el uso riguroso del método axiomático que distingue tres principios-definiciones,
axiomas y postulados.[4]

6.4. LOS CONTINUADORES DE ARISTÓTELES

6.4.1. TEOFRASTO(372-288 a.C) Y EUDEMO( ca. 370 hasta ca. 300 a.C)
Discı́pulos de Aristóteles, estudiaron y aportaron a la obra de su maestro los silogismos
hipotéticos condicionales pertenecientes a la lógica de proposiciones.[8]

6.4.2. DIODORO CROMO(S. IV a.C) Y FILON DE MEGARA(fl. 300 a.C)

filosofos Megáricos, avanzan con el estudio de los conceptos modales y por promera vez
en la historia de la lógica plantean el significado de las proposiciones Si-entonces.[8]

6.4.3. CRISIPO DE SOLI (279-206 a.c)

Es el más representativo de los filósofos estoicos y desarrolla la lógica bivalente (Verdadero-
Falso) de las proposiciones.[8]

6.4.4. LOS ESTOICOS

Pertenecientes al Periodo filosófico conocido como Helenı́stico-Romano, tienen como prin-
cipales representantes a Crisipo y Arquedamo. A diferencia de Aristóteles, los estoicos
consideraban a la lógica como la rama más básica de la filosofı́a. De ella se desprenden
las otras ramas (la fı́sica y la ética).[3]

La lógica proposicional fue el principal aporte de los estoicos en lógica, destacando las
siguientes acciones:

. Clasificas las proposiciones en simples y no simples (compuestas).

. Inventan el Método de las matrices de la verdad.

7
 . Formulan el principio de transitividad.[3]

6.5. LOS COMENTADORES DE ARISTÓTELES

Posteriormente, la lógica aristotélica y la lógica estoica no tuvieron continuadores. Lo
que se hace es comentar las obras de Aristóteles, Teofrasto y Crisipo. Entre los mejores
lógicos de esta época de comentarios se tiene a Galeno (129-199 d.C), Alejandro de
Afrodisia (hacia 200 d.C), Porfirio (232-301 d.C), y posteriormente Boeccio (480.524
d.C). Gracias a ellos se proporcionó información complementaria a las fuentes griegas, se
acuño la terminologı́a latina para la investigación lógica y se transmitieron en compendios,
traducciones y comentarios de la lógica griega a la Edad Media.[8]

6.6. LA LÓGICA EN LA EDAD MEDIA

Se denomina lógica medieval a la lógica desarrollada en las escuelas y universidades de
Europa Occidental entre los siglos XI y XV. En el siglo XI surgen una clase de lógicos pro-
fesionales. Pedro Abelardo (1070-1142) fue el primer lógico medieval de mayor impor-
tancia. Posteriormente surgen Teólogos que trataron de recuperar el Aristóteles original
estudiando y comentando el Organon. Entre los más importantes figuran Robert Gros-
seteste (1175-1253), Tomas de Aquino (1224-174) y Alberto Magno(muerto en
1280) entre otros. A fines del siglo XIII, Oxford es el centro de la lógica y Duns Scoto fue
uno de sus más altos exponentes. El periodo de madurez de la lógica medieval se expuso
con Guillermo de Occam(1285-1349), y Juan Buridian (1295-1358).[8, 7]

6.6.1. RAMÓN LLULL (1235-1316)

Con su obra Ars Magna da el primer paso en la elaboración de un lenguaje completo
automático para el razonamiento. Ası́ pues, se dedicó a diseñar y construir una maquina
lógica, a la que se daba instrucciones con respuesta automática. Según Llull, la maquina
podı́a probar por sı́ misma la verdad o mentira de un postulado.[1]

6.7. LA LÓGICA MODERNA

6.7.1. GOTTFRIED LEIBNIZ (1646-1716)
Es considerado como el precursor de la lógica matemática porque él fue el primero en
introducir la idea de que el lenguaje se podrı́a expresar de una manera clara y exacta a
través de un sistema o combinación de sı́mbolos o ars combinatoria y un lenguaje univer-
sal o characteristica universalis. Introdujo también la idea del cálculo algorı́tmico, que lo
condujo a concebir la utopı́a de que cualquier disputa o desacuerdo sobre cualquier cosa,
no solamente sobre números, se podrı́a zanjar y resolver “calculando” frente a frente en
una mesa, ası́ como se juega ajedrez.[2, 7]

Introdujo el cálculo lógico llamado Mathesis Universalis que fuese operacionalmente

mecánico, inequı́voco y no cuantitativo que permitiera acabar con todas las disputas y
controversias. En maceticas desarrollo el cálculo Infinitesimal paralelo a Newton. Tam-
bién se destacó como filósofo, Jurista, bibliotecario, historiógrafo y diplomático.[6, 3]

8
El proyecto de Leibniz era demasiado ambicioso por eso fracaso. Aunque su intuición fue
grande estuvo lejos de lo posible y de la construcción de un lenguaje simbólico que supere
la vieja silogı́stica aristotélica.[6]

6.7.2. LEONHARD EULER (1707-1777)

Es otro de los precursores de la lógica matemática, introdujo los diagramas que llevan su
nombre para ilustrar geométricamente los silogismos. Fue un matemático, fı́sico y filósofo
suizo. Se trata del principal matemático del siglo XVIII y uno de los más grandes y
prolı́ficos de todos los tiempos, muy conocido por el número de Euler (e), número que
aparece en muchas fórmulas de cálculo y fı́sica.[8, 6]

6.7.3. JOHANN HEINRICH LAMBER (1728-1777)

Buscó la conexión con el árbol de Porfirio para hacer cálculo de la lógica. Fue un ma-
temático, fı́sico, astrónomo y filósofo alemán de origen francés. Demostró que el número
Π es irracional, usando el desarrollo en fracción continua de tan x, con lo que cerró la po-
sibilidad de poder determinar una expresión .exacta”(fracción numérica o cociente de dos
enteros) para este número. También hizo aportes al desarrollo de la geometrı́a hiperbólica
y de la astronomı́a, desarrollando un método para calcular las órbitas de los cometas y
el teorema de Lambert.[8, 6]

6.7.4. BERNARD BOLZANO (1781-1848

Introdujo la técnica de la sustitución que le permitió de manera asombrosa poder definir
conceptos de nociones meta lógicos y de derivabilidad. Fue un matemático, lógico, filósofo
y teólogo bohemio que escribió en alemán y que realiza importantes contribuciones a las
matemáticas y a la Teorı́a del conocimiento.[8, 6]

6.8. EL DESARROLLO DE LA LÓGICA MATEMÁTICA

El siglo XIX se caracteriza por el nivel de abstracción que alcanza la lógica matemática.

6.8.1. WILLIAM HAMILTON (1788-1856)

Es significativa su innovación sobre la cuantificación de todo y alguno.Fue un matemáti-
co, fı́sico, y astrónomo irlandés, que hizo importantes contribuciones al desarrollo de la
óptica, la dinámica, y el álgebra. Su descubrimiento del cuaternión junto con el trabajo
de Hamilton en dinámica son sus trabajos más conocidos. Este último trabajo fue des-
pués decisivo en el desarrollo de la mecánica cuántica, donde un concepto fundamental
llamado hamiltoniano lleva su nombre.[8, 6]

6.8.2. AUGUSTUS DE MORGAN (1906-1871)

Fue un matemático y lógico británico nacido en la India. Profesor de matemáticas en
el University College de Londres entre 1828 y 1866; y primer presidente de la Sociedad
Matemática de Londres. Conocido por formular las llamadas leyes de De Morgan, en su
memoria, y establecer un concepto riguroso del procedimiento, inducción matemática.
Considera que la base común de la lógica radica en las relaciones de inclusión o exclusión,
parcial o total, entre clases; y su objetivo fue mostrar que el silogismo no es más que una

9
serie de combinación de relaciones.Fue el descubrir de las leyes lógicas de equivalencia que
llevan su nombre, en su obra Lógica Formal: cálculo de las inferencias probables y
necesarias. Fue uno de los pioneros en intentar relacionar la lógica con los procedimientos
matemáticos, en pleno siglo XIX.[8, 6, 3]

6.8.3. George Boole (1815–1864)

Matemático inglés. Es considerado fundador de la lógica simbólica, y su contribución más
importante es el cálculo de clases, habitualmente llamado álgebra booleana.A través de
sus obras Análisis matemático de la lógica e Investigaciones de las leyes del pensamien-
to. Boole utilizó el lenguaje del álgebra para atacar los problemas lógicos tradicionales
planteadas por el silogismo aristotélico, los cuales resolvió a través de procedimientos
mecánicos de cálculo.Sin embargo este nuevo lenguaje, conocido como Álgebra de Boo-
le, manifestó su potencia resolviendo problemas que exedı́an los alcances de la lógica
aristotélica y poniendo por primera vez en evidencia los errores del Estagirita.[2, 6]

6.8.4. William Stanley Jevons (1835-1882)

fue un economista y filósofo inglés. Alumno de Augustus De Morgan. Aunque men-
ciona el exesivo matematicismo de Boole, reformula la definiciónn de suma. Aademás,
fue el primero en concebir la idea de una maquina pensante.[8]

6.8.5. John Venn (1883-1923

Fue un matemático y lógico británico miembro de la Real Sociedad de Londres. Es
especialmente conocido por su método de representación gráfica de proposiciones (según
su cualidad y cantidad) y silogismos conocido como los diagramas de Venn. Estos per-
miten una comprobación de la validez o invalidez de un silogismo. Posteriormente fue-
ron utilizados para mostrar visualmente las operaciones más elementales de la teorı́a de
conjuntos.[8]

6.8.6. HUGH MACCOLL (1837-1909)

Fue un matemático escocés que se destacó en el campo de la lógica. Desarrollo la
llamada lógica pura basada en la lógica de proposiciones.[8]

6.8.7. CHARLES SANDERS PEIRCE (1839-1914)

Filósofo, lógico y cientı́fico estadounidense. Es considerado el fundador del pragma-
tismo y el padre de la semiótica moderna o teorı́a de los signos, junto a Ferdinand de
Saussure. Fue el primer lógico que puso en práctica la definición de suma de clases pro-
puesta por De Morgan y Jevons, aplicandola a una serie de investigaciones básicamente
Booleanas.[8]

6.8.8. ERNST SCHRÖDER (1841-1902)

fue un matemático alemán, conocido especialmente por sus trabajos sobre lógica alge-
braica, proporcionó el tratado más sistemático y más completo de la lógica matemática
caracterizado por el examen crı́tico sometido a las propias demostraciones de la ma-
temática.[8]

10
6.9. FREGE-PEANO-RUSSELL
6.9.1. FRIEDRICH LUDWIG GOTTLOB FREGE (1848-1925)
Fue un matemático, lógico y filósofo alemán. Se le considera el padre de la lógica
matemática y de la filosofı́a analı́tica, concentrándose en la filosofı́a del lenguaje y de
las matemáticas. Frege desarrolló su carrera en relativa oscuridad como catedrático de
matemáticas de la Universidad de Jena, largamente ignorado por la comunidad filosófica
y matemática. Es principalmente gracias a Giuseppe Peano (1858-1932) y a Bertrand
Russell (1872-1970), que hicieron una gran labor de divulgación de la obra de Frege, que
Frege llegó a ser conocido por generaciones posteriores de filósofos y matemáticos.[2]
Es el personaje más resaltante de esta época su obra Begriffsschrift (1879, habitual-
mente traducido como concepteografı́a) maraca el comienzo de la lógica moderna y sólo
es comparable con Los Primeros Analı́ticos de Aristóteles, dado que en ambas obras
hay toda una serie de perpectivas totalmente nuevas. Frege es el primero en formular
de manera clara la distinción entre variable y constante, el concepto de función lógica,
la idea de funcion de varios argumentos y el concepto de cuantificador, da una formula-
ción notablemente más rigurosa de la teorı́a aristotélica de sistema axiomático, distingue
cuidadosamente entre ley y regla, introduce la diferenciación igualmente precisa entre
leguaje y metalenguaje, y entre otros conceptos inicia la teorı́a de las descripciones.[8]

6.9.2. GIUSEPPE PEANO (1858-1932)

Matemático y lógico italiano. Sus aportes más importantes podemos resumirlo de la
manera siguiente:

1. Sistematizó el cálculo proposicional utilizando un simbolismo que luego se hizo po-

pular, siendo empleado posteriormente por Russell con ligeras modificaciones.

2. Fue el primero en usar explı́citamente la denominación lógica matemática.

3. También fue el primero en axiomatizar la aritmética y publicar el fruto de esa

labor, aunque poco antes habı́a hecho el mismo trabajo Dedekind, si bien no llegó a
publicarlo. El quinto axioma de Peano luego se constituyó en el esquema de la inducción
matemática.[2]

6.9.3. BERTRAND RUSSELL (1872-1970)

fue un filósofo, matemático, lógico y escritor británico ganador del Premio Nobel de
Literatura y conocido por su influencia en la filosofı́a analı́tica, sus trabajos matemáticos
y su activismo social.

Sus aportes más importantes son los siguientes:

1. En los Principia Mathematica, conjuntamente con A. N. Whitehead, llevó a cabo el

colosal intento de reducir toda la matemática a la lógica bajo la concepción de la hipótesis
–independientemente de Frege– de que la matemática era un caso particular de la lógica.

11
 2. Dio origen al programa logicista, encaminado a reconducir los fundamentos de la
matemática a una base lógica.

3. Creó la lógica de segundo orden, a través de la denominada teorı́a de los tipos

lógicos.

4. Creó la teorı́a de las descripciones, que constituye toda una concepción y es, a la
vez, una poderosa técnica de análisis del lenguaje.[2]

6.10. LA LÓGICA DESPUES DE LOS PRINCIPIA MATHE-

MATICA
Despues de los Principia Matehematica, la tarea de los lógicos consistió en simplificar
y perfeccionar las baes axiomáticas de este sistema.

6.10.1. DAVID HILBERT (1862-1943)

Filósofo, lógico y matemático alemán; sus aportes más importantes son los siguientes:

1. Estableció los fundamentos y la técnica de la formalización, en particular, de la

aritmética.

2. Axiomatizó y formalizó la geometrı́a, que generalizó en n dimensiones.

3. Desarrolló la teorı́a de la prueba o metamatemática con la prueba de la consistencia.[2]

6.10.2. CLARENCE IRVING LEWIS (1883–1964)

Lógico norteamericano. Su aporte principal consiste en el desarrollo de varios sistemas
de lógica modal alética, labor cuyo propósito básicamente es superar la paradoja de la
implicación material, que se encuentra en los Principia Mathematica, y que, como tal,
conduce a resultados absurdos, aunque terminó consiguiendo resultados análogos dentro
de su sistema de lógica modal.

6.10.3. ALONZO CHURCH (1906–1995)

Lógico y matemático norteamericano. Es el autor de uno de los metateoremas más
famosos e importantes sobre la decidibilidad o computabilidad. En términos no técnicos
y sencillos, Church demostró en el año 1931, que no existe ningún algoritmo que permita
decidir o computar la validez de cualquier fórmula sea matemática (es decir, numérica)
o no.[2]

6.10.4. KURT GÖDEL (1906-1978)

Lógico y matemático austriaco. A Gödel se debe el descubrimiento de uno de los
metateoremas más famosos e impactantes del siglo XX. En términos sencillos, sostiene
que las teorı́as matemáticas o cualquier teorı́a formalizada es incompleta en el sentido de
que por más que se agregue más axiomas, siempre habrá una fórmula F, tal que ni F ni
¿F serán demostrables.[2]

12
7. CONCLUSIONES
La lógica es una ciencia formal desde su creación, por sus métodos rigurosos tiene
relacion directa con el método cientı́fico, y la investigacion de otras ciencias aplicadas y
teóricas.
A lo largo de la historia la lógica ha sido paralela al desarrollo matemático, jugando
un papel tracendental hasta nuestro dı́as.

13
Referencias
[1] Asociación Fondo de Investigadores y Editores. (2003). Compendio Académico de
Psicologı́a, Filosofı́a y Lógica. Lima: Lumbreras Editores..

[2] Chávez, A. (2009).Francisco Miró Quesada Cantuarias y su contribución en el ámbito

de la lógica jurı́dica(tesis de postgrado. UNIVERSIDAD NACIONAL MAYOR DE
SAN MARCOS, Lima, Perú.

[3] Espı́ritu, A. , and Ramos , F. (2013). Filosofı́a Lógica. Lima: Lumbreras Editores.

[4] Iglesias, D. (Dirección). (2013). ENSAYO DE HISTORIA DE LA LÓGICA MA-

TEMÁTICAS [Video de Youtube].

[5] Licla, R. (2014). Lógica Proposicional. Lima: Lumbreras editores.

[6] Piscoya, L. (1986). Filosofı́a y Lógica. Lima: Edimaso.

[7] Quesada, F. M. (1961). Lógica. Lima: Universo.

[8] Rosales, D., and Garcia, S. (1984). Filosofia y Lógica. Lima: Amaru Editores.

14