Lógica matemática
Páginas: 22 (5297 palabras)
Publicado: 25 de mayo de 2010
Lógica Matemática
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 es la disciplina que trata de métodos de razonamiento. En unnivel 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, pararesolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lógico para realizar cualquier actividad.
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 estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos comoconjuntos, números, demostraciones y computació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.
Desarrollo Histórico
Lógica Matemática fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lógica de Aristóteles, pero desde el punto devista de una nueva notación, más abstracta, tomada del álgebra.
Previamente ya se hicieron algunos intentos de tratar las operaciones lógicas formales de una manera simbólica por parte de algunos filósofos matemáticos como Leibniz y Lambert, pero su labor permaneció desconocida y aislada.
Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero presentaron un sistemamatemático para modelar operaciones lógicas. La lógica tradicional aristotélica fue reformada y completada, obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemática.
El tradicional desarrollo de la lógica enfatizaba su centro de interés en la forma de argumentar, mientras que la actual lógica matemática lo centra en un estudio combinatorio de los contenidos. Estose aplica tanto a un nivel sintáctico (por ejemplo, el envío de una cadena de símbolos perteneciente a un lenguaje formal a un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una máquina), como a un nivel semántico, construyendo modelos apropiados (teoría de modelos). La lógica matemática estudia los sistemas formales en relación con el modo en el quecodifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.
El filósofo y matemático alemán Gottfried Wilhelm Leibnitz (Leipzig, 1646 - Hannover, 1716) - a quien cabe considerar el creador de la lógica matemática - desarrolló la idea de un calculus ratiocinator, mediante el cual se aplicaría un sistema de reglas a algunos conceptos generales precisamentedefinidos, lo que habilitaría a operar en el campo de las cuestiones filosóficas con los mismos procedimientos del razonamiento matemático. Esta idea tenía implícito el concepto de crear un método equivalente al de las ciencias exactas para alcanzar la certeza en cuanto a las cuestiones filosóficas; pero precisamente por su estrecha vinculación con especulaciones filosóficas sobre numerosos temascomo la metafísica y la teodicea, el concepto quedó largo tiempo olvidado.
Fue así que la lógica matemática - también llamada lógica simbólica - se desarrolló efectivamente en el siglo XIX, especialmente a partir de George Boole (Inglaterra, 1815 - 1864), autor de la obra “Investigación de las leyes del pensamiento en que se fundan la teorías matemáticas de la lógica y la probabilidad”, en que...
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 es la disciplina que trata de métodos de razonamiento. En unnivel 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, pararesolver una multitud de problemas. Ciertamente se usa en forma constante el razonamiento lógico para realizar cualquier actividad.
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 estudia los sistemas formales en relación con el modo en el que codifican conceptos intuitivos de objetos matemáticos comoconjuntos, números, demostraciones y computació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.
Desarrollo Histórico
Lógica Matemática fue el nombre dado por Giuseppe Peano para esta disciplina. En esencia, es la lógica de Aristóteles, pero desde el punto devista de una nueva notación, más abstracta, tomada del álgebra.
Previamente ya se hicieron algunos intentos de tratar las operaciones lógicas formales de una manera simbólica por parte de algunos filósofos matemáticos como Leibniz y Lambert, pero su labor permaneció desconocida y aislada.
Fueron George Boole y Augustus De Morgan, a mediados del siglo XIX, quienes primero presentaron un sistemamatemático para modelar operaciones lógicas. La lógica tradicional aristotélica fue reformada y completada, obteniendo un instrumento apropiado para investigar sobre los fundamentos de la matemática.
El tradicional desarrollo de la lógica enfatizaba su centro de interés en la forma de argumentar, mientras que la actual lógica matemática lo centra en un estudio combinatorio de los contenidos. Estose aplica tanto a un nivel sintáctico (por ejemplo, el envío de una cadena de símbolos perteneciente a un lenguaje formal a un programa compilador que lo convierte en una secuencia de instrucciones ejecutables por una máquina), como a un nivel semántico, construyendo modelos apropiados (teoría de modelos). La lógica matemática estudia los sistemas formales en relación con el modo en el quecodifican conceptos intuitivos de objetos matemáticos como conjuntos, números, demostraciones y computación.
El filósofo y matemático alemán Gottfried Wilhelm Leibnitz (Leipzig, 1646 - Hannover, 1716) - a quien cabe considerar el creador de la lógica matemática - desarrolló la idea de un calculus ratiocinator, mediante el cual se aplicaría un sistema de reglas a algunos conceptos generales precisamentedefinidos, lo que habilitaría a operar en el campo de las cuestiones filosóficas con los mismos procedimientos del razonamiento matemático. Esta idea tenía implícito el concepto de crear un método equivalente al de las ciencias exactas para alcanzar la certeza en cuanto a las cuestiones filosóficas; pero precisamente por su estrecha vinculación con especulaciones filosóficas sobre numerosos temascomo la metafísica y la teodicea, el concepto quedó largo tiempo olvidado.
Fue así que la lógica matemática - también llamada lógica simbólica - se desarrolló efectivamente en el siglo XIX, especialmente a partir de George Boole (Inglaterra, 1815 - 1864), autor de la obra “Investigación de las leyes del pensamiento en que se fundan la teorías matemáticas de la lógica y la probabilidad”, en que...
Leer documento completo
Regístrate para leer el documento completo.