dfgh
Páginas: 2 (293 palabras)
Publicado: 12 de junio de 2013
HISTORIA DE LA LOGICA MATEMATICA
Lógica Matemática otorgado su nombre por Giuseppe Peano. En propiedad, hace parte de la lógica de Aristóteles.
Después de realizar algunos ensayos de lasoperaciones lógicas formales de una manera simbólica, Leibniz y Lambert, su labor permaneció desconocida y aislada.
Fueron entonces George Boole y Augustus De Morgan, que a mediados del siglo XIX,presentaron un novedoso sistema matemático para modelar operaciones lógicas. Así mismo fue remodelada la lógica tradicional aristotélica obteniendo una herramienta apropiada para la investigación de losfundamentos de la matemática.
Se presentan a continuación dos etapas o tipos de lógica; tales como:
Lógica Antigua:
Aristóteles desarrolló ampliamente la silogística
Los ESTOICOSdesarrollaron el silogismo hipotético (condicional y disyuntivo) e iniciaron lo que actualmente se llama lógica proposicional.
Los lógicos medievales continuaron estudiando la lógica aristotélica, ehicieron notables avances en un campo desconocido en esa época, la semántica
lógica Moderna:
Hacia la mitad del S. XIX, la lógica se transforma radicalmente en lógica matemática. Esto se debió a quese realizaron encuentro de cuatro corrientes distintas:
1. La lógica aristotélica.
2. La idea de un lenguaje matemático universal.
3. Los progresos de álgebra y la geometría.
4. Laconcepción de amplios sectores de la matemática como sistema deductivo, lo cual conducía a la necesidad de construir "la lógica de la matemática".
El habitual desarrollo de la lógica destacaba su centrode interés en la forma de argumentar, mientras que la actual lógica matemática lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un nivel sintáctico (es decir, el envío deuna 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,...
Lógica Matemática otorgado su nombre por Giuseppe Peano. En propiedad, hace parte de la lógica de Aristóteles.
Después de realizar algunos ensayos de lasoperaciones lógicas formales de una manera simbólica, Leibniz y Lambert, su labor permaneció desconocida y aislada.
Fueron entonces George Boole y Augustus De Morgan, que a mediados del siglo XIX,presentaron un novedoso sistema matemático para modelar operaciones lógicas. Así mismo fue remodelada la lógica tradicional aristotélica obteniendo una herramienta apropiada para la investigación de losfundamentos de la matemática.
Se presentan a continuación dos etapas o tipos de lógica; tales como:
Lógica Antigua:
Aristóteles desarrolló ampliamente la silogística
Los ESTOICOSdesarrollaron el silogismo hipotético (condicional y disyuntivo) e iniciaron lo que actualmente se llama lógica proposicional.
Los lógicos medievales continuaron estudiando la lógica aristotélica, ehicieron notables avances en un campo desconocido en esa época, la semántica
lógica Moderna:
Hacia la mitad del S. XIX, la lógica se transforma radicalmente en lógica matemática. Esto se debió a quese realizaron encuentro de cuatro corrientes distintas:
1. La lógica aristotélica.
2. La idea de un lenguaje matemático universal.
3. Los progresos de álgebra y la geometría.
4. Laconcepción de amplios sectores de la matemática como sistema deductivo, lo cual conducía a la necesidad de construir "la lógica de la matemática".
El habitual desarrollo de la lógica destacaba su centrode interés en la forma de argumentar, mientras que la actual lógica matemática lo centra en un estudio combinatorio de los contenidos. Esto se aplica tanto a un nivel sintáctico (es decir, el envío deuna 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,...
Leer documento completo
Regístrate para leer el documento completo.