Historia De La Logica

HISTORIA DE LA LÓGICA

Históricamente la palabra «lógica» ha ido cambiando de sentido. Comenzó siendo una modelización de los razonamientos, propuesta por los filósofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales.

Etimológicamente la palabra lógica deriva del término griego Λογικός logikós, que a su vez deriva de λόγος logos 'razón, palabra, discurso.

En un principio la lógica no tuvo el sentido de estructura formal estricta.

NACIMIENTO DE LA LÓGICA

El nacimiento de la lógica propiamente dicho está directamente relacionado con el nacimiento intelectual del ser humano.

La lógica emerge como mecanismo espontáneo en el enfrentamiento del hombre con la naturaleza, para comprenderla y aprovecharla. Poncairé destaca cinco etapas o revoluciones en ese proceso que se presentan entre dos grandes tópicos: del rigor y la formalidad, a la creatividad y el caos. Las etapas se identifican como: Revolución Matemática, Revolución Científica, Revolución Formal y Revolución Digital además de la próxima y prevista Revolución Lógica.

ETAPAS DE LA LÓGICA

Podemos distinguir dos etapas o dos tipos de lógica: la lógica antigua y la lógica moderna (matemática).

1.- LA LÓGICA ANTIGUA

Aristóteles fue quien fundó la lógica y desarrolló ampliamente la silogística que es igual a la actual lógica de clases. Parménides y Platón también realizaron estudios lógicos.

Posteriormente, los ESTOICOS hicieron algunas aportaciones a la lógica: desarrollaron el silogismo hipotético (condicional y disyuntivo) e iniciaron lo que actualmente se llama lógica proposicional.

Los lógicos medievales continuaron estudiando la lógica aristotélica, no añadieron nada sustancial, pero si hicieron notables avances en un campo desconocido en esa época, la semántica.

2.- LA LÓGICA MODERNA (MATEMÁTICA)

Hacia la mitad del S. XIX, la lógica se transforma radicalmente en lógica matemática. Esto se debió a que se realizaron encuentro de cuatro corrientes distintas:

1.- La lógica aristotélica.

2.- La idea de un lenguaje matemático universal.

3.- Los progresos de álgebra y la geometría.

4.- La concepción de amplios sectores de la matemática como sistema deductivo, lo cual conducía a la necesidad de construir "la lógica de la matemática".

Así pues, la nueva lógica surge de la aplicación de los métodos matemáticos a la lógica antigua. Por eso se puede decir que se abre un nuevo período, cuando las matemáticas se convierten en objeto de lógica.

Fue el italiano G. Peano quien usó por primera vez la expresión "lógica matemática"; de este modo pudo realizar la axiomatización de la aritmética. El último período supone la aparición de lógicas divergentes, es decir, lógicas que no respetan alguno de los rasgos característicos de la lógica "clásica".

PADRES DE LA LÓGICA

PLATON: Platón, 427aC - 347 aC, propone instaurar en Siracusa una utópica república dirigida por filósofos. Crea la Academia de Atenas que no era solo una institución filosófica, sino centro de formación política para jóvenes aristócratas. Según algunos especialistas, Platón edifica su teoría del conocimiento con el fin de justificar el poder emergente de la figura del filósofo. Sostiene la existencia de dos mundos -el mundo de las ideas y el de mundo físico de los objetos. Según Platón, lo concreto se percibe en función de lo abstracto y por tanto el mundo sensible existe gracias al mundo de las ideas. Platón escoge el formato diálogo como forma de transmisión del pensamiento.

ARISTOTELES:

Los tratados de lógica de Aristóteles, 384aC - 332 aC, conocidos como Organón, contienen el primer tratado sistemático de las leyes de pensamiento para la adquisición de conocimiento. Representan el primer intento serio que funda la lógica como ciencia. Aristóteles no hace de la lógica una disciplina metafísica sino que establece correspondencias recíprocas entre pensamiento lógico y estructura ontológica. El silogismo fue adoptado por los escolásticos que representan el sistema teológico-filosófico, característico de la Edad Media. La escolástica, sin embargo, acabó por sobrecargar la teoría del silogismo, lo que acarreó su descrédito a partir del Renacimiento. Los lógicos de la edad moderna como Ramée, Arnauld, Nicole, Leibniz, Euler, y Lambert procuraron simplificarla al máximo, y su tratamiento matemático se completó hasta principios del siglo XX con Boole, De Morgan, Frege y Russell. Desde entonces el silogismo se incluye en la lógica de predicados de primer orden y en la lógica de clases, y ocupa en la ciencia lógica un papel mucho menor que en otros tiempos.

EUCLIDES:

Matemático alejandrino autor de la universal obra, los célebres Elementos. Uno de los textos matemáticos más relevantes de la historia del pensamiento científico hasta del siglo XIX. Los Elementos están divididos en XIII Libros y constituyen la recopilación más exhaustiva de las matemáticas conocidas en el año 300 aC. Su valor universal lo propaga el uso riguroso del método deductivo que distingue entre principios -definiciones, axiomas y postulados-, y teoremas, que se

...