La lógica
"¡Lógico!" Utilizamos esa palabra sin pensar lo que realmente queremos decir. Algo se "siente" como lógico, ya que está basado en nuestras experiencias, por ello sencillamente "sentimos" que debe ser así.
A veces nos damos cuenta de algo, y decimos: Pero claro si es lógico.
También usamos nuestro "sentido" lógico cuando tenemos que tomar una posición en algun problema, y lo utilizamos cuando debatimos con otras personas, cuando argumentamos. Expresamos una serie de premisas que son favorables a nuestras ideas, y tratamos de arribar a una conclusión lógica. O tal vez otra persona nos convence, es decir, aceptamos y reconocemos sus argumentos.
A veces, nos encontramos con situaciones en las que la lógica nos falla, y todo parece ser paradójico y contradictorio. No sabemos que opinar pues existen buenos argumentos a favor y en contra. Debemos razonar ... Eso mismo pueden sentir matemáticos y físicos, pero estos toman las cosas de una manera mas racional. Utilizan la lógica como una herramienta, como una disciplina científica.
El Padre de la lógica
La lógica empezó a desarrollarse desde la antiguedad clásica, y su mas alto exponente es el filósofo griego Aristóteles (384-322 ac), que escribió una serie de libros acerca de lógica - como describir la realidad y llegar a conclusiones lógicas. Acerca de utilizar el idioma, para encontrar nuevas verdades desde verdades dadas, y adquirir nuevos conocimientos partiendo de lo que uno ya sabe.
La lógica de Aristóteles se convirtió en una disciplina científica, lo mismo que otras disciplinas que se relacionan al idioma: la gramatica (que da las reglas del uso correcto de idioma) y la retorica, que enseña como hablar de manera que facilmente se convenza al auditorio.
En la edad media se desarrolló la ciencia lógica, y se utilizó sobre todo en la teología Se podrá por ejemplo, con ayuda de la lógica, demostrar la existencia de dios?, Que pasa con el libre albedrío de la gente, si el dios todopoderoso sabe lo que pasará en el futuro?
En este contexto, la dependencia de la lógica al idioma condujo a un interes del concepto "tiempo", y el peso recaía al momento de presentar los argumentos, y de sacar sus conclusiones en los tiempos pasado presente y futuro del verbo.
En la universidad medieval se desarrolló el debate. Una conversación se desarrollaba en la que los participantes exponían y fundamentaban sus argumentos. Se exigía explicaciones, se debatía a favor y en contra (pro et contra) - luego el magistrado explicaba las conclusiones.
En los debates teológicos sobre la canonización de santos, se nombraba una persona que tenía como trabajo buscar tantos argumentos en contra como sean posibles, el "abogado del diablo" (advocatus dioboli).
El alfabeto del pensamiento
En el siglo XVI se independizó la ciencia lógica de su dependencia del idioma, y con el matemático y filósofo aleman Gottfried Wilhelm Leibnitz (1646-1716), se convirtió la lógica en una rama de las matemáticas.
Leibnitz propuso que se impusiera un "alfabeto del pensamiento", una serie de reglas
matemáticas con las cuales se pueda describir los pensamientos lógicos correctos, no solo
en matemáticas sino en todas las situaciones de la vida.
Los argumentos deberían ser expresados en símbolos simples, de tal manera que las relaciones
entre las premisas podrían leerse exactamente como una ecuación matemática.
El gran plan de Leibnitz no se desarrolló, pero puede ser considerado como un antepasado a la lógica simbólica moderna, que fué fundada por el ingles George Boole (1815-1864) y el aleman Friedrich Ludwig Gottlob Frege (1848-1925). Este último dijo que "todos los buenos matemáticos son mas de la mitad filósofos, y todos los buenos filósofos son mas de la mitad matemáticos".
Durante los últimos 50 años el concepto "tiempo" ha encontrado su camino de retorno a la lógica, lo que tiene aplicaciones en por ejemplo derecho, en la metafísica, y en la rama de las ciencias de la computación llamada "inteligencia artificial".
Hoy en día se ha desarrollado un lenguaje de programación Prolog, en el que se ha automatizado el proceso lógico.
