Reseña Historica Logica Matematica

INVESTIGACION:

 Reseña Historia de la Lógica Matemática.

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

A demás las definiciones tienen una parte conceptual (¿Qué significa?) y una parte operativa (¿Cómo se trabaja?).

Leibniz matemático alemán (1646-1716) fue el primero en concebir este planteamiento, cuando a la edad de 14 años intento reformar la lógica clásica. En 1666, deseaba crear un método general llamando a la lógica simbólica “característica universal”.

El sueño de Leibniz no se realizó hasta que Boole matemático ingles (1815-1864) separo los símbolos presentes en las operaciones matemáticas, de los conceptos en los cuales operaban y estableció un sistema factible y sencillo de lógica simbólica.

En 1854 Boole expuso sus ideas en su obra “investigación de las leyes del pensamiento” pero no tuvo buena aceptación y no fue sino hasta que los ingleses Russell y Alfred North utilizaron la lógica simbólica en su obra que el mundo de la matemática dio importancia a las ideas propuestas inicialmente por Leibniz alrededor de 250 años antes.

Se pretende aplicar la lógica no solamente en el estudio de las ciencias, sino también en la vida cotidiana. Es necesario poder comunicarse de manera inteligente con los demás; se requiere adquirir capacidad para analizar los argumentos de nuestros dirigentes y legisladores; necesitamos ser consumidores inteligentes para analizar las aseveraciones de los anunciantes. La lógica es una parte importante del mundo que nos rodea.

La lógica es un método de razonamientos que no acepta conclusiones erróneas. Esto se puede lograr definiendo en forma estricta cada uno de los conceptos. Todo debe definirse de tal forma que no dé lugar a dudas o imprecisiones en la veracidad de su significado.

La lógica matemática es la disciplina que trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o no correctos los programas; en las ciencias física y naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lógico para realizar cualquier actividad.

...