Logica simbolica

La lógica es un método de razonamiento que no acepta conclusiones, excepto las que son inevitables. Esto se puede lograr debido a la forma estricta en que se define cada uno de los conceptos. Estoes, todo debe definirse de manera que no dé lugar a dudas o imprecisiones en su significado. Nada puede darse por supuesto, y las definiciones de diccionario no son normalmente suficientes. Por ejemplo,en el lenguaje ordinario un enunciado u oración se puede definir como "una palabra, o grupo de palabras, que declara, pregunta, ordena, solicita, o exclama algo; unidad convencional del habla oescritura coherente, que normalmente contiene un sujeto y un predicado, que empieza con letra mayúscula y termina con un punto."
Todos estamos familiarizados con la lógica y con la idea de que algunaspersonas poseen una "mentalidad lógica" mientras que otras no. ¿Cómo podemos entonces llegar a ser lógicos? No siempre resulta sencillo seguir razonamientos o argumentos extensos para obtenerconclusiones válidas. El propósito de la lógica simbólica consiste en establecer un lenguaje simbólico artificial que se pueda utilizar para simplificar los argumentos lógicos complicados El gran matemáticoalemán Gottfried Leibniz (1646-1716) fue el primero en concebir este planteamiento cuando a la edad de 14 años intentó reformar la lógica clásica.
Leibniz llamó a la lógica simbólica característicauniversal y escribió en 1666 que deseaba crear método general en el cual todas las verdades de la razón serían reducidas a una especie de cálculos Al mismo tiempo, esto constituiría un tipo de lenguaje oescritura universal, pero infinitamente distinto de todos los proyectados hasta ahora, ya que los símbolos, e incluso las palabras contenidas en él, dirigirían la razón; y los errores, excepto los defacto, serían meras equivocaciones en los cálculos. Sería muy difícil formar o inventar este lenguaje o característica, pero muy fácil de entenderlo sin necesidad de diccionarios.
Sin embargo, en...