La Tecera Ola

LÓGICA FORMAL.- Se dedica al estudio de los razonamientos correctos, desarrollándolos de manera formal y esquematizada, es decir de una forma no cotidiana. Este tipo de lógica parte de los razonamientoscorrectos conocidos para desarrollar una teoría lógica y consecuentemente, razonamientos mas complejos que no se utilizan normalmente en la vida cotidiana. Este tipo de lógica no debe serconfundido con la lógica simbólica ni con la lógica matemática, que son tipos de lógica que seencuentran dentro del campo de la lógica formal.
RAZONAMIENTO CORRECTO.- razonamiento que tiene la forma valida y su contenido es verdadero, una persona que razona bien razona de esa forma.

LÓGICA INFORMAL.- es el estudio de los argumentos, tal como se presentan en la vida diaria, en oposición al estudio delos argumentos en una forma técnica o artificial, que corresponde a la lógica formal. Esta parte de la lógica se dedica principalmente a diferenciar entre formas correctas e incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano, en especial al estudio de los procesos para obtener conclusiones a partir de información dada. Parte del principio que el pensamiento y el lenguaje humanoes a menudo incorrecto, o tendencioso. Se le atribuyen sus inicios a Aristóteles, que hizo el primer estudio delas falacias lógicas, que se encuentran en la vida cotidiana.

ÁREAS
La Mathematics Subject Clasificación divide la lógicamatemática en las siguientes áreas:
Filosófica y critica, lógica general, teoría de modelos, teoría de la compatibilidad, teoría de conjuntos, teoría de lademostración y matemática constructiva, lógica algebraica y modelos no- estándar.
Algunos pioneros de la informática fueron matemáticos y lógicos.
LÓGICA DE PREDICADOS.- en un lenguaje formal donde las sentencias bien formadas son producidas por las reglas enunciadas a continuación.
LENGUAJE Y ESTRUCTURA DE PRIMER ORDEN.
Un lenguaje de primer orden es una colección de distintossímbolosclasificados como sigue:
1.- El símbolo de la igualdad=, las conectivas V, el cuantificador universal, y el paréntesis ( ).
2.- un conjunto contable de símbolos de variable.
3.- un conjunto de símbolos de constantes.
4.- un conjunto de símbolos de función.
5.- un conjunto de símbolos de relación.

LÓGICAMATEMÁTICA
La lógicamatemática es un subcampos de la lógica de las matemáticas, consiste en elestudio matemático de la lógica y en la aplicación de este estudio a otras áreas de las matemáticas. La lógicamatemática guarda estrechas conexiones con la ciencias de la computación y la lógicafilosófica.
Estudian los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.
Se divide en 4subcampos:
1.- Teoría de modelos. 2.- teoría de demostración. 3.- teoría de conjuntos. 4.- teoría de recursión.
La lógicamatemática no es la lógica de las matemáticas, sino la matemática de la lógica.
HISTORIA
Lógicamatemática fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lógica de Aristóteles, pero desde el punto de vista de una nueva notación, mas abstracta, tomadadel álgebra.
El tradicional desarrollo de la lógica enfatiza su centro de interés en la forma de argumentar, mientras que la actual lógicamatemática lo centra en un estudio combinarlo de los contenidos.

En la lógica proposicional, las constantes lógicas son tratadas como funciones de verdad.
Es decir, como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad.
Elsignificado de las constantes lógicas no es nada mas que su comportamiento como funciones de verdad.

LÓGICA PROPOSICIONAL
En lógica y matemática, la lógica proposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En la lógica proposicional, las formulas representan proposiciones y las constantes lógicas son operaciones sobre las fórmulas que producen otras...