La Logica

La lógica
La lógica matemática es una parte de la lógica y las matemáticas, que consiste en el estudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógica matemática tiene estrechas conexiones con las ciencias de la computación y la lógica filosófica.
La lógica matemática estudia los sistemas formales en relación con el modo en el que codificannociones intuitivas de objetos matemáticos como conjuntos, números, demostraciones y computación.
La lógica matemática suele dividirse en cuatro subcampos: teoría de modelos, teoría de la demostración, teoría de conjuntos y teoría de la recursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas. Actualmente se usanindiferentemente como sinónimos las expresiones: lógica simbólica( o logística), lógica matemática, lógica teorética y lógica formal.
La lógica matemática no es la «lógica de las matemáticas» sino la «matemática de la lógica». Incluye aquellas partes de la lógica que pueden ser modeladas y estudiadas matemáticamente.
Áreas
La Mathematics Subject Classification divide la lógica matemática en lassiguientes áreas:
* Filosófica y crítica
* Lógica general (que incluye campos como la lógica modal y la lógica borrosa)
* Teoría de modelos
* Teoría de la computación
* Teoría de conjuntos
* Teoría de la demostración y matemática constructiva
* Lógica algebraica
* Modelos no-estándar
En algunos casos hay conjunción de intereses con la Informática teórica, pues muchospioneros de la informática, como Alan Turing, fueron matemáticos y lógicos. Así, el estudio de la semántica de los lenguajes de programación procede de la teoría de modelos, así como también la verificación de programas, y el caso particular de la técnica del model checking. También el isomorfismo de Churry-Howard entre pruebas y programas se corresponde con la teoría de pruebas, donde la lógicaintuicionista y la lógica lineal son especialmente significativas. Algunos sistemas lógicos como el cálculo lambda, y la lógica combinatoria entre otras han devenido, incluso, auténticos lenguajes de programación, creando nuevos paradigmas como son la programación funcional y la programación lógica.
Los Principios Lógicos
El Principio Lógico de Identidad
Afirma que: toda cosa es lo que es.Tomemos en consideración los siguientes ejemplos el círculo es redondo; el hombre es un animal racional. Tanto en el primero como en el segundo ejemplo, el predicado esta implícito en el sujeto. En efecto, es inconcebible un círculo que no fuere redondo, y que el hombre no fuese un animal racional.
Estas dos proposiciones presentan una identidad entre el sujeto y el predicado. Círculo es lo mismo queredondo, y el hombre es lo mismo que un animal racional.
En este sentido, podríamos reducir a la formula A es A.
Esta identidad lógica indica al mismo tiempo que el círculo implica el ser redondo, y el hombre implica ser animal racional, lo cual expresado en fórmula sería A implica A. De esto se sigue que: De lo verdadero se deriva siempre lo verdadero, nunca lo falso.
El Principio Lógico deContradicción
El principio de la contradicción afirma que: es imposible que algo sea al mismo tiempo verdadero y falso. Consideremos los siguientes ejemplos: el círculo no es redondo; el hombre no es un animal racional. Ambas proposiciones son falsas porque son ambas contradictorias. En efecto, es falso que el círculo no sea redondo y que el hombre no sea un animal racional. Si es un círculo esimposible que no sea redondo, y si es un hombre es imposible que no sea animal racional.
Como es inadmisible que sea algo y no sea al mismo tiempo y en el mismo sentido, amabas proposiciones son contradictorias. La contradicción puede aparecer también entre dos proposiciones contradictorias entre sí. Por ejemplo: El triángulo tiene tres lados. Ahora si es verdadero que el triángulo tiene tres...