Clases

Concepto de la lógica formal
La palabra logica viene del griego “logos” que significa tratado, palabra, razon, etc. la logica la usamos diariamente aunque uno no se de cuenta, la logica estudia laestructura del pensamiento, que es todo lo que contiene el pensamiento o el recipiente donde esta contenido.
Para que alla un pensamiento es necesario de estos factores:
Sujeto.- lo estudia laantropologia, para que alla un pensamiento es necesario un sujeto, un hombre que piense.
Actividad psiquica.- lo estudia la psicologia, cuando pensamos mezclamos el pensamiento junto con vivencias,percepciones e imagenes.
Objeto.- lo estudia la antologia, es la realidad o el contenido del pensamiento.
El lenguaje.- lo estudia la lingüística, es como se expresa el pensamiento
La forma oestructura del pensamiento.- lo esudia la logica, es el recipiente donde esta contenido el recipiente y lleva varios pasos:
• concepto
• juicio
• raciocinio

Lógica Formal

La lógicaformal 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 de lenguajes formales, sistemas deductivos y semánticas formales. Laidea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisismatemático, permiten realizar demostraciones rigurosas sobre ellas.

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ógicaformal.
La lógica es una ciencia formal y una rama de la filosofía que estudia los principios de la demostración e inferencia válida. La palabra deriva del griego antiguo λογική (logike), quesignifica "dotado de razón, intelectual, dialéctico, argumentativo", que a su vez viene de λόγος (logos), "palabra, pensamiento, idea, argumento, razón o principio". La lógica examina la validez de los...