La logica

Lógica como ciencia
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική(logike), que significa "dotado de razón, intelectual, dialéctico, argumentativo", que a su vez viene de λόγος (logos), "palabra, pensamiento, idea, argumento, razón o principio".
La ciencia Lógica quenació en el mundo griego del siglo V (a. de J.C.) y alcanzó su culminación con Sócrates, Platón y Aristóteles hace más de 2.300 años, es el mayor logro intelectual que se conozca y constituye elinsuperado legado de la magna Grecia para la Humanidad, fruto y tributo del amor humano a la verdad y la belleza.
La Lógica es la ciencia que estudia las leyes y la validez de los razonamientos. Y alser toda ciencia "un conjunto de conocimientos obtenidos por la observación y el razonamiento", resulta que la Lógica aporta uno de los dos instrumentos por los cuales toda ciencia puede ser tal. Así,si no existieran los razonamientos, entonces no existiría ciencia alguna.
*Lógica simbolica*
Para otros usos de este término, véase Lógica (desambiguación)).
La lógica matemática es unsubcampo de la lógica y las matemáticas. 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 guarda estrechas conexionescon la 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 codifican conceptos intuitivos de objetos matemáticoscomo 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 larecursión. La investigación en lógica matemática ha jugado un papel fundamental en el estudio de los fundamentos de las matemáticas.
La lógica matemática fue también llamada lógica simbólica. El...