Logica Formal 2A

LOGICA FORMAL:
 

Percy Acuña Vigil

LÓGICA FORMAL.
Percy Acuña Vigil1
En este escrito se presenta información sintetizada sobre lógica formal y sobre los aportes a ella a
partir del trabajo de Gottlob Frege.

Contenido 
LÓGICA FORMAL. ................................................................................................................................ 1 
1. APORTES MODERNOS .............................................................................................................  3 
1.1.  Friedrich Ludwig Gottlob Frege .......................................................................................  3 
2.  OTROS APORTES ......................................................................................................................  6 
2.1. DAVID HILBERT ................................................................................................................  6 
2.2.  GIUSEPPE PEANO ............................................................................................................  6 
2.3.  GEORGE CANTOR. ...........................................................................................................  6 2.4.  ALFRED TARSKY ...............................................................................................................  6 
2.5.  NOAM CHOMSKY. ...........................................................................................................  7 
2.6.  NICOLÁS  BOURBAKI. .......................................................................................................  8 2.7.  BERTRAND RUSSELL: .......................................................................................................  8 
2.8.  HENRI POINCARÉ .............................................................................................................  9 
2.9. ALFRED TARSKI: ...............................................................................................................  9 
2.10.  TOMAS MORO SIMPSON ...............................................................................................  10 
2.11.  PATRICK SUPPES: ...........................................................................................................  10 
3.  AXIOMATIZACIÓN DE LA LÓGICA. .........................................................................................  11  

La lógica formal, como un análisis explícito de los métodos de razonamientos, se desarrolló
originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo V y
el Siglo I a. C. Sin embargo Aristóteles fue el primero en emplear el término “Lógica” para

referirse al estudio de los argumentos dentro del "lenguaje apofántico2" como manifestador
de laverdad en la ciencia. Con Aristóteles nace la lógica formal. Aristóteles formalizó el cuadro

de oposición de los juicios y las formas válidas del silogismo.3 Kant en el siglo XVIII pensaba que
                                                            

1

Magister en arquitectura, Diplomado en Planeamiento urbano y regional en la Universidad de Edimburgo,
UK. Maestría en epistemología en laUNMSM. Estudios de Doctorado en Filosofía en la UNMSM, Lima,
Perú. Catedrático principal de la UNI-FAUA
2
Aristóteles distingue dos tipos de logos: el logos semántico, que corresponde al lenguaje como tal y el logos
apofántico, o logos proposicional. El logos semántico corresponde a los significados de los signos
lingüísticos, es decir, a los conceptos. Se vincula con el conocimientoprimario, intuitivo, anterior a la
distinción entre existencia e inexistencia, entre verdad y falsedad. Al contrario, el logos proposicional o
apofántico corresponde al conocimiento que afirma o niega algo acerca de algo, al conocimiento de la ciencia,
la cual sí está limitada por la existencia y la verdad.
3 El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como...