Logica

Todos estamos familiarizados con la idea de que algunas personas poseen una mentalidad lógica mientras que otras no. No siempre resulta sencillo seguir razonamientos o argumentos extensos para obtener conclusiones válidas.

Nosotros trabajamos con argumentos dentro de la lógica aristotélica, donde todo argumento debe ser o verdadero o falso, no existe una tercera posibilidad. Para poder manejar y operar entre estos argumentos, el lenguaje usual puede resultar ambiguo respecto a la validez de los argumentos.

La frase: “Pon el sobre que te sobre, sobre la mesa”, sugiere que la palabra sobre tiene tres diferentes significados en la misma oración. Por ello, se necesita de un lenguaje que sea más preciso: la lógica simbólica. Su propósito consiste en establecer un nuevo lenguaje, el cual se pueda utilizar para simplificar el análisis de argumentos lógicos complicados.

La lógica simbólica es la rama de las matemáticas que nos permite reconocer la validez de una argumentación, así como también nos proporciona las herramientas de razonamiento necesarias para elaborar demostraciones irrefutables y convincentes. Una parte importante de las matemáticas son las definiciones, éstas en general no responden a la pregunta ¿qué es?, sino a la pregunta ¿qué características tiene?

Además, las definiciones tienen una parte conceptual

(¿qué significa?) y una parte operativa (¿cómo se trabaja?).

Leibniz fue el primero en concebir este planteamiento, cuando a la edad de 14 años intentó reformar la lógica clásica. En 1666, deseaba crear un método general en el cual todas las verdades de la razón serían reducidas a una especie de cálculos, llamando a la lógica simbólica “característica universal”.

El sueño de Leibniz no se realizó hasta que Boole separó los símbolos presentes en las operaciones matemáticas, de los conceptos sobre los cuales operaban y estableció un sistema factible y sencillo de lógica simbólica.

...