Logica formal
Páginas: 3 (624 palabras)
Publicado: 8 de mayo de 2011
Lógica formal
De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de lainferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidasen los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
La lógica formal también llamadalógica pura - que es la lógica propiamente dicha - es precisamente la “ciencia” (en cuanto conocimiento) que determina cuáles son las formas correctas y válidas de los raciocinios; pero lo haceconsiderándolos en sí mismos y con prescindencia de los contenidos concretos de los razonamientos, es decir, considerando esos contenidos como entes lógicos abstractos, de tal manera que las leyes a aplicar tenganvalidez para cualquier contenido concreto.
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción delenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero queal ser estructuras formales y suceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
La lógica formal no debe ser confundida con la lógica matemática, antesllamada lógica simbólica, que es una subdisciplina de la lógica formal.
Por lo tanto, respecto de proposiciones lógicas que utilicen esos conceptos, las leyes de la lógica formal solamente seránaplicables con especial precaución. De tal manera, las leyes de la lógica formal solamente resultarán aplicables con alcance estricto en el campo de las ciencias puramente exactas y abstractas, tales...
De Wikipedia, la enciclopedia libre
Saltar a navegación, búsqueda
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de lainferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidasen los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
La lógica formal también llamadalógica pura - que es la lógica propiamente dicha - es precisamente la “ciencia” (en cuanto conocimiento) que determina cuáles son las formas correctas y válidas de los raciocinios; pero lo haceconsiderándolos en sí mismos y con prescindencia de los contenidos concretos de los razonamientos, es decir, considerando esos contenidos como entes lógicos abstractos, de tal manera que las leyes a aplicar tenganvalidez para cualquier contenido concreto.
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción delenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero queal ser estructuras formales y suceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.
La lógica formal no debe ser confundida con la lógica matemática, antesllamada lógica simbólica, que es una subdisciplina de la lógica formal.
Por lo tanto, respecto de proposiciones lógicas que utilicen esos conceptos, las leyes de la lógica formal solamente seránaplicables con especial precaución. De tal manera, las leyes de la lógica formal solamente resultarán aplicables con alcance estricto en el campo de las ciencias puramente exactas y abstractas, tales...
Leer documento completo
Regístrate para leer el documento completo.