Tradicional y la moderna lógica
Enviado por DMVO • 11 de Febrero de 2013 • Informe • 202 Palabras (1 Páginas) • 1.135 Visitas
DSFVSXCBKCBKZBXC
CKNCLBCZXZC
}ÑXCM<ZX<Acevedo G.
En otras palabras, la identificación de estos conceptos en tus otros cursos académicos y en tu vida, es lo
que le dará el sentido y pertinencia al curso de Lógica Matemática.
Hemos escuchado hablar de la Lógica tradicional y de la lógica Moderna, profundicemos en las
diferencias:
La lógica tradicional hace referencia a la lógica de Aristóteles, quien formula las teorías del
razonamiento y de la demostración; es decir, que formula la teoría de la deducción. De esta manera,
Aristóteles nos lleva a comprender la lógica formal como la base de la filosofía.
Por otro lado, la lógica moderna constituye la que denominamos Lógica Matemática, esta lógica fue
estructurada, principalmente por Bertrand Russell y Alfred North. Es aquí cuando nos referimos a una
lógica que utiliza símbolos; de allí que la denominemos lógica de lenguaje formalizado o simbólico.
¿Qué nos aportan los símbolos?
Al introducir un símbolo eliminamos la ambigüedad que introduce el lenguaje natural, es decir, el
lenguaje ordinario o coloquial.
Esta simplificación simbólica permite que podamos lograr dos cosas:
1. Mayor complejidad
2. Mayor exactitud
Por ejemplo:
En lenguaje ordinario podríamos expresar: "es falso que es mentira que Diego miente" lo que equivale
a afirmar que "Diego miente". Esta expresión algo compleja en el lenguaje natural es transformada en
el lenguaje simbólico por la expresión:
no ( no (no
...