la logica
Páginas: 4 (853 palabras)
Publicado: 30 de septiembre de 2014
LA LÓGICA
Es un lenguaje artificial, pero formal, es decir le interesa la forma, analiza los razonamientos, hay muchos tipos de lenguajes (no verbales, el arte etc.).
Se sustituye los signosdel lenguaje (las palabras) por símbolos, con lo cual se obtiene un lenguaje formal o simbólico.
EL CÁLCULO LOGICO:
Nos da a entender que la lógica sólo está interesada por la validez formal dela inferencia.
¿Qué es el cálculo?
Cuando un lenguaje ha sido formalizado y reducido a símbolos, todo se reduce a un conjunto de reglas (sintácticas) que permite operar con los símbolos.
Todocálculo requiere los siguientes elementos:
Un conjunto de símbolos elementales tiene que estar bien determinado, por ejemplo:
“2, 4, 6, 8 y 10" o: "el conjunto de los número enteros positivos paresmenores que 12".
HISTORIA DE LA LÓGICA
LA LÓGICA ANTIGUA: Aristóteles fue quien fundó la lógica y desarrolló ampliamente la silogística que es igual a la actual lógica de clases. Parménides y Platóntambién realizaron estudios lógicos. Los lógicos medievales continuaron estudiando la lógica aristotélica, no añadieron nada sustancial, pero sí hicieron notables avances en un campo desconocidoLA LÓGICA MODERNA (MATEMÁTICA):
Hacia la mitad del S. XIX, la lógica se transforma radicalmente en lógica matemática. Esta lógica se inicia con The Mathematical Analysis of Logic (El análisismatemático de la Lógica) (1847), de G. Boole, "Ensayo acerca de un cálculo del razonamiento deductivo" que indica como la lógica aparece como un cálculo algebraico; se produce a una completasimbolización; los enunciados lógicos son concebidos como ecuaciones, y se formulan leyes lógicas. Boole desarrolla la lógica de clases y la lógica proposicional. El álgebra se convierte en modelo de la lógica. Yel cálculo que crea Boole es totalmente artificial. Más tarde, Ch.S. Peirce hará aportaciones
LÓGICA PROPOSICIONAL: estudia las estructuras formales de la inferencia.
LA LÓGICA MATEMÁTICA:...
LA LÓGICA
Es un lenguaje artificial, pero formal, es decir le interesa la forma, analiza los razonamientos, hay muchos tipos de lenguajes (no verbales, el arte etc.).
Se sustituye los signosdel lenguaje (las palabras) por símbolos, con lo cual se obtiene un lenguaje formal o simbólico.
EL CÁLCULO LOGICO:
Nos da a entender que la lógica sólo está interesada por la validez formal dela inferencia.
¿Qué es el cálculo?
Cuando un lenguaje ha sido formalizado y reducido a símbolos, todo se reduce a un conjunto de reglas (sintácticas) que permite operar con los símbolos.
Todocálculo requiere los siguientes elementos:
Un conjunto de símbolos elementales tiene que estar bien determinado, por ejemplo:
“2, 4, 6, 8 y 10" o: "el conjunto de los número enteros positivos paresmenores que 12".
HISTORIA DE LA LÓGICA
LA LÓGICA ANTIGUA: Aristóteles fue quien fundó la lógica y desarrolló ampliamente la silogística que es igual a la actual lógica de clases. Parménides y Platóntambién realizaron estudios lógicos. Los lógicos medievales continuaron estudiando la lógica aristotélica, no añadieron nada sustancial, pero sí hicieron notables avances en un campo desconocidoLA LÓGICA MODERNA (MATEMÁTICA):
Hacia la mitad del S. XIX, la lógica se transforma radicalmente en lógica matemática. Esta lógica se inicia con The Mathematical Analysis of Logic (El análisismatemático de la Lógica) (1847), de G. Boole, "Ensayo acerca de un cálculo del razonamiento deductivo" que indica como la lógica aparece como un cálculo algebraico; se produce a una completasimbolización; los enunciados lógicos son concebidos como ecuaciones, y se formulan leyes lógicas. Boole desarrolla la lógica de clases y la lógica proposicional. El álgebra se convierte en modelo de la lógica. Yel cálculo que crea Boole es totalmente artificial. Más tarde, Ch.S. Peirce hará aportaciones
LÓGICA PROPOSICIONAL: estudia las estructuras formales de la inferencia.
LA LÓGICA MATEMÁTICA:...
Leer documento completo
Regístrate para leer el documento completo.