La lógica simbólica o matemática.
Lógica viene del término griego "λογική" (logiké) el cual puede traducirse por Razón, aunque tiene multiples acepciones, sobre todo en la filosofía griega, éste se deriva del término "λόγος" (logos). Entre las multiples acepciones de la palabra, la más recurrida en castellano es: razón; pero Heráclito habla de un logos que es el principio ordenador del cosmos. San Juan, al comienzo de su evangelio dice: En el pricipio era el Verbo (traducción del términp griego "λόγος" (logos) ) y el Verbo estaba en Dios y el Verbo era Dios; de tal manera su significado, a parte del de Dios, es tambien la palabra (del latin "verbum").
Modernamente, logos, se refiera más a la razón que a cualquier otra acepción de la palabra; pero está cada vez más relacionado con la Lógica simbólica que es una "construcción" matemática derivada de la Lógica aristotélica.
La
Lógica Simbólica es un sistema ordenado de símbolos que proceden, mediante
reglas y leyes, "ad hoc", a determinar ciertas operaciones primarias
de la razón humana. Las reglas y las leyes son enteramente racionales y se
justifican por una serie de razonamientos que son válidos y universales (axiomas); siendo
demostrados mediante argumentos de razón suficiente.