Acceso

Orgenes y Evolucin de la Lgica como disciplina.

Responsable:

Ral Oscar Moreira

La lgica ha sido el intento del pensamiento humano por dotar al lenguaje de cierta precisin
matemtica como soporte de toda investigacin cientfica. Como veremos a continuacin la
lgica ha crecido a lo largo de la historia siempre en relacin con la matemtica. Tal vez por
ello, algunos autores la han presentado como la matemtica del lenguaje.

Orgenes y Evolucin de la Lgica como disciplina.

1ER. ENCUENTRO VIRTUAL

INTRODUCCIN A LA LOGICA

Bienvenidos a nuestro primer encuentro virtual!

En primer lugar, quiero darles la bienvenida a todos. Mi nombre es Ral Moreira,

soy Profesor de Filosofa, y mi tarea a partir de ahora, consistir en acompaarlos
por el abordaje de esta disciplina Lgica Filosfica - que a veces puede parece tan
rida, pero que sin embargo, es y ha sido una herramienta indispensable para el
desarrollo del conocimiento cientfico en la historia de la humanidad.

Quien no ha cuestionado alguna vez un razonamiento por su falta de lgica, en el

sentido de coherencia de una argumentacin. Quin no ha tratado de descifrar un
enigma articulando la relacin implcita entre las pistas que se presentan. Quin no
ha disfrutado de la novela el cine policial, donde la investigacin se presenta como
el esfuerzo por sistematizar y ordenar un conjunto de proposiciones que llamamos
pistas en la seguridad de que a travs de su correcta y precisa articulacin nos
conducir a encontrar al asesino.

Pues bien, tambin la ciencia se presenta como un enigma a resolver; y cada tramo
de una investigacin representa alguna de aquellas pistas, proposiciones,
hiptesis a travs de cuya concatenciacin esperamos resolver algn misterio de la
naturaleza en el campo de la biologa, qumica, fsica, medicina etc. As pus la
validacin de un nuevo conocimiento supone que aquella concatenacin surja de un

orden lgico preestablecido, sin el cual una teora no podra darse por
suficientemente probada.

Del mismo modo, cuntos crmenes pudieron quedar impunes debido a la falta de
articulacin entre cada una de las pruebas, haciendo que un delito determinado no
haya podido darse por probado en virtud de la falta de secuencia lgica de la
investigacin lo que no permite reconstruir el itinerario de un crimen.

Para comenzar diremos provisoriamente que la lgica entonces es un intento del

pensamiento humano de dotar al lenguaje de cierta precisin matemtica como
soporte de toda investigacin cientfica. Como veremos a continuacin la lgica ha
crecido a lo largo de la historia siempre en relacin con la matemtica. Tal vez por
ello, algunos autores la han presentado como la matemtica del lenguaje.

Veamos a continuacin un breve repaso por la historia de la lgica como disciplina

para contextualizar su desarrollo como soporte del conocimiento cientfico.

Introduccin
El nacimiento de la lgica propiamente dicho est directamente relacionado con el
origen del pensamiento en el hombre. Se trata de una herramienta formal para
apropiarse del conocimiento de la naturaleza y sus leyes. Poncair distingue cinco
etapas o revoluciones en ese proceso que se presentan entre dos grandes tpicos:
del rigor y la formalidad, a la creatividad y el caos. Las etapas se identifican como:
Revolucin Matemtica, Revolucin Cientfica, Revolucin Formal y Revolucin
Digital adems de la prxima y prevista Revolucin Lgica.

Para contextualizar...
Algunos Antecedentes de la lgica en su vinculacin con la matemtica.
Del ao 600 aC hasta 300 aC se desarrollan en Grecia los principios formales de las
matemticas. Este periodo clsico lo protagonizan Platn, Aristteles y Euclides.
Platn propone ideas o abstracciones. Aristteles resuelve el razonamiento
deductivo y sistematizado. Euclides es el autor que establece el mtodo axiomtico.
En los Elementos Euclides organiza las pruebas deductivas de que dispone dentro
de una estructura sistemtica, rigurosa, altamente eficaz.
Los tratados de lgica de Aristteles, 384aC - 332 aC, conocidos como Organn,
contienen el primer tratado sistemtico de las leyes de pensamiento para la
adquisicin de conocimiento. Representan el primer intento serio que funda la
lgica como ciencia.
El silogismo fue adoptado por los escolsticos que representan el sistema teolgicofilosfico, caracterstico de la Edad Media.
Euclides, matemtico alejandrino, autor de la universal obra, los
clebres Elementos. Uno de los textos matemticos ms relevantes de la historia
del pensamiento cientfico hasta del siglo XIX. Los Elementos estn divididos en
XIII Libros y constituyen la recopilacin ms exhaustiva de las matemticas
conocidas en el ao 300 aC. Su valor universal lo propaga el uso riguroso del

mtodo deductivo que distingue entre principios -definiciones, axiomas y

postulados-, y teoremas, que se demuestran a partir de los principios.
El Renacimiento es el inicio de una nueva revolucin que revive la ciencia y las
matemticas. Los representantes ms destacados son Descartes, Newton y Leibniz.
Este periodo abarca del ao 1500dC al 1800 dC.
Ren Descartes Filsofo y matemtico francs, 1596-1650, se destaca entre otras
aportaciones por la creacin de la geometra analtica a la vez que aporta un corpus
cuantitativo al asunto y permite el uso de mtodos algebraicos. La geometra exige
ser cuantitativa para ser usada en ciencia e ingeniera, y los mtodos algebraicos
permiten el desarrollo ms rpido que los mtodos sistemticos -a su vez ms
rigurosos- requeridos por el enfoque axiomtico de la geometra clsica. Ubi
dubium ibi libertas, donde hay duda hay libertad.
A Isacc Newton, 1642-1727, se le debe el descubrimiento de la gravitacin
universal, el desarrollo del clculo infinitesimal e importantes descubrimientos
sobre ptica, as como las leyes que rigen la mecnica clsica que alimentara el
nacimiento de la mecnica cuntica. Su obra fundamental, Principios matemticos
de la filosofa natural (1686).
Gottfried W. Leibniz Filsofo y matemtico alemn, 1646-1716; fund la
Academia de Ciencias de Berln, 1700. En Discurso sobre el arte
combinatorio enuncia la necesidad de un lenguaje riguroso, exacto y universal
puramente formal. Como matemtico, su principal trabajo publicado en 1684 es la
memoria Nuevo mtodo para la determinacin de los mximos y los mnimos, en la
que expone las ideas fundamentales del clculo infinitesimal, anticipndose unos
aos a Newton. La notacin que emple es particularmente cmoda y se sigue
utilizando con algunas modificaciones; introdujo el smbolo de integral y de
diferencial de una variable. En el rea de lgica matemtica publica Generales
inquisitiones de analysi notionum et veritatum y Fundamenta calculi logici .
Georg Wilhelm Friedrich Hegel
Filsofo alemn, 1770-1831; fascinado por la obra de Kant y de Rousseau. Autor
de Ciencia de la lgica se le atribuye con este trabajo la constitucin de la lgica
dialctica entendida como principio motor del concepto que disuelve y produce las
particularidades de lo universal.
Nikolai I. Lobachevsky Matemtico ruso, 1792-1856; funda la Geometra No
Euclidiana y renueva por ello los fundamentos que hasta ese momento cimentaban
la ciencia de la Geometra.

Peroso de Formalizacin de las Matemticas

Esta etapa se caracteriza por el resurgimiento de la formalizacin rigurosa de las
matemticas, que en la etapa clsica griega fu representativa. El uso de los
infenitesimales fue una de las prcticas ms notoria en la poca renacentista, para
la cual no se ofreca una justificacin. La rigorizacin del anlisis lleg con la
eliminacin de los infinitesimales y la presencia de los lmites como argumento. En
este periodo se crea la lgica simblica, la escuela formal, la lgica booleana, el
clculo proposicional, la induccin matemtica, el clculo de secuentes,....
Personajes muy notables de esta etapa son: Peano, Hilbert, Frege, Boole, de
Morgan, Gentzen, Russell, Gdel y Whitehead. A Rusell y Gdel se deben los
planteamientos de las limitantes de la lgica y de la ciencia en general.

Guiseppe Peano (1858-1932) enunci los principios , acerca de lgica matemtica

y su aplicacin prctica quedaron contenidos en su obra Formulaire de
mathematiques. Los axiomas de Peano permiten definir el conjunto de los nmeros
naturales.
Friedrich G. Frege (1848-1925) junto con Boole y Peano, partiendo del anlisis de
los fundamentos de la matemtica lleva a cabo la ms profunda renovacin y
desarrollo de la lgica clsica hasta el momento. Es el primero en introducir los
cuantificadores u operadores y en elaborar una Teora de la Cuantificacin.
George Boole (1815-1864) aplica el clculo matemtico a la lgica, fundando el
lgebra de la lgica. En cierto modo realiza el sueo de Leibniz de
una characteristica universalis o clculo del raciocinio. El empleo de smbolos y
reglas operatorias adecuados permite representar conceptos, ideas y
razonamientos mediante variables y relaciones (ecuaciones) entre ellas. Boole dio
un mtodo general para formalizar la inferencia deductiva, representando
complicados raciocinios mediante sencillos sistemas de ecuaciones.
Augustus De Morgan (1806-1871) De Morgan es autor de la mayor contribucin
como reformador de la lgica fundamentando la teora del desarrollo de las
relaciones y la matemtica simblica moderna o lgica matemtica.
Bertrand Rusell (1872-1970) es uno de los creadores de la logstica y uno de los
pensadores de mayor influencia en la filosofa cientfica contempornea.
Antiaristotlico por excelencia lleg a afirmar que para iniciarse en lgica lo bsico
era no estudiar la lgica de Aristteles. Siguiendo adems de los trabajos de
Cantor, a Peano y Frege, Rusell se propone fundamentar y axiomatizar la
matemtica a partir de conceptos lgicos. Este empeo culmina con la publicacin
(1910-1913) de los monumentales Principia Mathematica -en colaboracin con
Whitehead-, obra que, adems, sienta las bases de la moderna lgica formal.

La Revolucin Digital
Esta revolucin se inicia con la invencin de la computadora digital y el acceso
universal a las redes de alta velocidad. Turing relaciona lgica y computacin antes
que cualquier computadora procese datos. Weiner funda la ciencia de la
Ciberntica. En las Escuelas modernas de Computacin estn presentes Lgicos que
han permitido avances importantes como Hoare que presenta un sistema
axiomtico de los sistemas de programacin y Dijkstra con un sistema de
verificacin y deduccin de programas a partir de especificaciones.
Alfred Tarski Matemtico y lgico y filsofo polaco (1902-1983). Emrito profesor
de la University of California, Berkeley, realiza importantes estudios sobre lgebra
en general, teora de mediciones, lgica matemtica, teora de conjuntos, y
metamatemticas. El trabajo de Tarski incluye respuestas a la paradoja de BanachTarski, el teorema de la indefinibilidad de la verdad, las nociones de cardinal,
ordinal, relacin y es inductor de las lgebras cilndricas.
Benoit Mandelbrot es el gran impulsor de la matemtica contempornea y
pionero de la geometra fractal a quien la computacin pura revela la
moderna Geometra de la Naturaleza. Fractal y geometra fractal son
el corpus principal de sus investigaciones adems de los sistemas irreversibles. A la
prctica totalidad de disciplinas se aplican hoy sus principios dando por sentado
paradigmas como la Teora del Caos que a finales del siglo XX ya contemplaba el
estudio de sistemas dinmicos, irreversibles, caticos.

La siguiente revolucin lgica

La siguiente Revolucin Lgica incorpora la fusin entre matemticas y
computacin. Las computadoras tienden a explorar datos inteligentemente
transfiriendo informacin de las bases de datos a las bases de conocimiento
interconectadas a travs de la Red a escala infinitesimal.
Como ya habr podido advertir, el gran campo de desarrollo de la lgica en la
actualidad es el mundo de la informtica. Un programa software no es otra cosa
que un conjunto de rdenes lgicamente secuenciadas que habrn de ejecutarse
electrnicamente atravs de un hardware. El lenguaje de programacin, es tambin
un lenguaje lgico en permanente crecimiento y desarrollo.
Pero antes de avanzar, veamos algunos problemas de lgica...

ACTIVIDAD:
Despues de leer esta breve introduccin, referente a los aspectos histricos de la
lgica, le proponemos a continuacin una serie de ACERTIJOS que tendr que
resolver de manera intuitiva, claro, an no dispone de mtodo alguno. Para el caso
que pueda descifrar las incgnitas le proponemos que piense en los procedimientos
empleados para alcanzar el resultado.

Acertijo N 1
Alonso, Kurt, Rudolf y Willard son cuatro artistas creativos de gran talento.
Uno de ellos es bailarn, otro pintor, otro cantante y uno de ellos es
escritor, aunque no necesariamente en ese orden.
1. Alonso y Rudolf estaban en el recital en el que hizo su debut el
cantante.
2. Kurt y el escritor han encargado sus retratos al pintor.
3. El escritor, cuya biografa de Willard fue un best seller, est
planeando escribir una biografa de Alonso.
4. Alonso nunca haba odo hablar de Rudolf.
A qu se dedica cada uno de ellos?

Acertijo N 2
En cierta tripulacin de un vuelo areo, las posiciones de piloto copiloto e ingeniero
de vuelo son ocupadas por allen,Brown y Carr, aunque no necesriamente en ese
orden.
1. El copiloto, quien es hijo nico, es el que gana menos.

2. Carr, quien est casado con la hermana de Brown, gana ms que el piloto.
Qu posicin ocupa cada persona?

Acertijo N 3
Un hombre esta al principio de un largo pasillo que tiene tres interruptores,
al final hay una habitacin con la puerta cerrada. Uno de estos tres
interruptores enciende la luz de esa habitacin, que esta inicialmente
apagada.
Cmo lo hizo para conocer que interruptor enciende la luz recorriendo una
sola vez el trayecto del pasillo?
Pista: El hombre tiene una linterna.

Acertijo N 4
El Sr. Chaparro, su hermana, su hijo y su hija practican golf y juegan juntos
frecuentemente. Los siguientes enunciados son verdaderos acerca de ellos:
1. El gemelo del mejor jugador y el peor jugador son de sexo opuesto.
2. El mejor jugador y el peor jugador tienen la misma edad.
Cul de los cuatro es el mejor jugador?

Acertijo N 5
Los empleados de una pequea compaa de seguros son el Sr. Black, el Sr.
White, la Sra. Coffee, la Srta Ambrose, el Sr. Kelly y la Srta. Earnshaw. La
posicin que ocupan son gerente, asistente de la gerencia, cajero,
estengrafo, recepcionista, y mecangrafo, aunque no necesariamente en
ese orden. El asistente del gerente es el nieto del gerente, el cajero es el
yerno del estengrafo, el Sr. Black es soltero, el Sr. White tiene veintids
aos de edad, la Srta Ambrose es la cuada de la recepcionsta y el Sr. Kelly
es el vecino del gerente.
Quin ocupa cada puesto?

Acertijo N 6

En una mesa hay tres sombreros negros y dos blancos. Tres seores en fila india se
ponen un sombrero al azar cada uno y sin mirar el color.
Se le pregunta al tercero de la fila, que puede ver el color del sombrero del segundo
y el primero, si puede decir el color de su sombrero, a lo que responde
negativamente.

Se le pregunta al segundo que ve solo el sombrero del primero y tampoco puede

responder a la pregunta.
Por ltimo el primero de la fila que no ve ningn sombrero responde acertadamente
de que color es el sombrero que tenia puesto.
Cul es este color y cual es la lgica que uso para saberlo?

Acertijo N 7
Un prisionero est encerrado en una celda que tiene dos puertas, una
conduce a la muerte y la otra a la libertad. Cada puerta est custodiada por
un vigilante, el prisionero sabe que uno de ellos siempre dice la verdad, y
el otro siempre miente. Para elegir la puerta por la que pasara solo puede
hacer una pregunta a uno solo de los vigilantes
Cmo puede salvarse?