Filosofía de la lógica computacional
Luis Enrique Peñuelas Carrillo A manera de introducción, la importancia de abordar en este texto la lógica computacional, es delimitar los alcances que puede tener un ordenador, una computadora en cuanto a “pensar” se refiere. Así, el presente texto aborda la lógica de una computadora como una forma particular de entender de la computadora operada, bajo intervención humana, es decir, la computadora se ve limitada por sí misma, y se ve limitada a la hora de “pensar” porque depende de la intervención humana. En otras palabras, la computadora es capaz de entender y maniobrar la lógica, más no es capaz de formular su propia lógica, ni de “pensar” de manera independiente. Para entender la lógica computacional, el presente texto aborda la noción de lógica, y la manera cómo es utilizada por la computación, es decir, se aborda primeramente la lógica, y posteriormente la lógica computacional. Para definir la lógica, se define lo que es un silogismo. Más adelante, se define en la lógica compu...