Bandera
Páginas: 2 (257 palabras)
Publicado: 14 de agosto de 2012
BOSQUEJO EXPOSICION DE LOGICA
LOGICA FORMAL
-CONCEPTO
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio dela inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales delas inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobreellas.
La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.
Se acostumbra adefinir la lógica formal como aquella ciencia que estudia los razonamientos desde el punto del análisis formal, es decir, desde el punto de vista de su validez o no validez.Esto significa que se desentiende del contenido empírico de los razonamientos para sólo considerar la "forma" (estructura sin materia).
Otras definiciones de logica formal:
*Estudia a los elementos y estructuras de los pensamientos en general
* Estudia los modos o “formas” como se realizan los razonamientos
* Estudia el pensamiento y lascondiciones ideales que hacen posible el conocimiento progresivo en orden a la verdad
* Estudia las estructuras fundamentales del pensamiento, especialmente las estructuras delpensamiento cientifico
* Es la filosofia normativa de las formas mentales
* Estudia como sacar a la luz las estructuras logicas de nuestro pensamiento
* Estudia elpensamiento en cuanto que lo analiza para descubrir sus formas y condiciones de correcion
* Es la ciencia de los pensamientos en cuanto tales
-DEFINICION Y FUNCION DEL CONCEPTO
LOGICA FORMAL
-CONCEPTO
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio dela inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales. La idea es que estas construcciones capturen las características esenciales delas inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobreellas.
La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.
Se acostumbra adefinir la lógica formal como aquella ciencia que estudia los razonamientos desde el punto del análisis formal, es decir, desde el punto de vista de su validez o no validez.Esto significa que se desentiende del contenido empírico de los razonamientos para sólo considerar la "forma" (estructura sin materia).
Otras definiciones de logica formal:
*Estudia a los elementos y estructuras de los pensamientos en general
* Estudia los modos o “formas” como se realizan los razonamientos
* Estudia el pensamiento y lascondiciones ideales que hacen posible el conocimiento progresivo en orden a la verdad
* Estudia las estructuras fundamentales del pensamiento, especialmente las estructuras delpensamiento cientifico
* Es la filosofia normativa de las formas mentales
* Estudia como sacar a la luz las estructuras logicas de nuestro pensamiento
* Estudia elpensamiento en cuanto que lo analiza para descubrir sus formas y condiciones de correcion
* Es la ciencia de los pensamientos en cuanto tales
-DEFINICION Y FUNCION DEL CONCEPTO
Leer documento completo
Regístrate para leer el documento completo.