Ensayo La Logica Matematica
Enviado por KMSempai • 8 de Mayo de 2013 • 385 Palabras (2 Páginas) • 704 Visitas
La lógica matemática es un subcampo 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 conexiones con 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á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.
La lógica matemática fue también llamada lógica simbólica. El primer término todavía se utiliza como sinónimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teoría de la demostración.
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.
http://es.wikipedia.org/wiki/L%C3%B3gica…
La "lógica simbólica" es un instrumento que sirve de ayuda al ejercicio inteligente sel sentido común y a la práctica de la investigación científica y la reflexión filosófica. Forma parte del bagaje cultural del hombre del siglo **, y el radi se sus aplicaciones comprende esferas tan diversas del saber como la matemática, la lingüística, la informática, las ciencias naturales y sociales, la jurisprudencia y la filosofía.
Este libro es una introducción a la lógica simbólica para personas de formación humanística. Su objetivo es facilitar a lectores que carezca de base matemática y científica, sin ayuda de profesor, un dominio de las técnicas modernas de deducción lógica, e introducir a los alumnos de humanidades en la compresión de las principales nociones teóricas que sirven de fundamento a la metodología de las ciencias educativas.
A diferencia de la mayoría de manuales y tratados de lógica simbólica o matemática, esta obra toma también en consideración la lógica tradicional aristotélica; da cuenta completa, sin ceñirse a uno solo, de la pluralidad de métodos deductivos que enriquecen la lógica contemporánea; incluye un tratamiento de la automatización de la lógica y de sus conexiones con la informática, y explora sumariamente, a través de su historia, las relaciones de la lógica con la filosofía y con la ciencia matemática.
...