hola
Páginas: 2 (385 palabras)
Publicado: 13 de diciembre de 2014
¿Qué es la Lógica?
La lógica es una ciencia formal que estudia los principios de la demostración y inferencia válida, al igual que La lógica tradicionalmente se consideró una rama dela filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática.
En el siglo XX la lógica ha pasado a serprincipalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática. Hasta el siglo XIX, la lógica aristotélica y estoica mantuvosiempre una relación con los argumentos formulados en lenguaje natural. Por eso aunque eran formales, no eran formalistas. Hoy esa relación se trata bajo un punto de vista completamente diferente.La formalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta como una parte pequeña de la lógica de clases.
La lógica deprimer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
Una lógica de segundoorden es una extensión de una lógica de primer orden en la que se añaden variables para propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables. Así se expande el poderexpresivo del lenguaje sin tener que agregar nuevos símbolos lógicos.
También Vimos Los:
LA LÓGICA FORMAL trata del estudio del razonamiento desde su aspecto correcto. Sin implicar la validez de talrazonamiento. Es adecuado pensar que si hoy es lunes entonces iré a la escuela. Mi pensamiento es correcto sin importar si es o no válido. Así como decir La tierra gira, la lluvia cae, el sol calienta,etc. Hay ciertas reglas que a la lógica material le importan para que un pensamiento sea correcto, de esto habla la estructura y las figuras lógicas.
LA LÓGICA MATERIAL, se estudia desde una...
La lógica es una ciencia formal que estudia los principios de la demostración y inferencia válida, al igual que La lógica tradicionalmente se consideró una rama dela filosofía. Pero desde finales del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática.
En el siglo XX la lógica ha pasado a serprincipalmente la lógica simbólica, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática. Hasta el siglo XIX, la lógica aristotélica y estoica mantuvosiempre una relación con los argumentos formulados en lenguaje natural. Por eso aunque eran formales, no eran formalistas. Hoy esa relación se trata bajo un punto de vista completamente diferente.La formalización estricta ha mostrado las limitaciones de la lógica tradicional o aristotélica, que hoy se interpreta como una parte pequeña de la lógica de clases.
La lógica deprimer orden, también llamada lógica de predicados o cálculo de predicados, es un sistema formal diseñado para estudiar la inferencia en los lenguajes de primer orden.
Una lógica de segundoorden es una extensión de una lógica de primer orden en la que se añaden variables para propiedades, funciones y relaciones, y cuantificadores que operan sobre esas variables. Así se expande el poderexpresivo del lenguaje sin tener que agregar nuevos símbolos lógicos.
También Vimos Los:
LA LÓGICA FORMAL trata del estudio del razonamiento desde su aspecto correcto. Sin implicar la validez de talrazonamiento. Es adecuado pensar que si hoy es lunes entonces iré a la escuela. Mi pensamiento es correcto sin importar si es o no válido. Así como decir La tierra gira, la lluvia cae, el sol calienta,etc. Hay ciertas reglas que a la lógica material le importan para que un pensamiento sea correcto, de esto habla la estructura y las figuras lógicas.
LA LÓGICA MATERIAL, se estudia desde una...
Leer documento completo
Regístrate para leer el documento completo.