Fundamentos de la Lógica Formal: Conceptos, Estructura y Razonamiento
Enviado por Comunidad Xuletas y clasificado en Filosofía y ética
Escrito el en 
español con un tamaño de 3,08 KB
¿Qué es la lógica formal?
La lógica formal es la disciplina encargada de los principios de la validez formal del razonamiento. Estudia los procesos mentales que nos permiten entender la realidad.
¿Qué es un razonamiento y cuáles son sus componentes?
Es un proceso mental y/o lingüístico en el que, a partir de una o varias premisas, se obtiene una conclusión. Las premisas son las afirmaciones adoptadas en el razonamiento y la conclusión es la afirmación finalmente obtenida. Ambas son componentes esenciales de cualquier razonamiento.
Forma y contenido de un razonamiento
La forma es la estructura del razonamiento, mientras que su contenido o materia es el asunto del que trata.
La validez formal
La verdad y la falsedad son rasgos de las oraciones del razonamiento, pero no del razonamiento en sí. Los razonamientos no son verdaderos ni falsos, sino formalmente válidos o no válidos.
- Un razonamiento es formalmente válido cuando su conclusión se deduce necesariamente de sus premisas.
- Un razonamiento es formalmente no válido cuando su conclusión no se deduce de las premisas.
La validez formal depende de la forma o estructura del razonamiento. El principal objetivo de la lógica formal es determinar las reglas que guían la evaluación de la validez formal de los razonamientos.
Características de la lógica formal
La lógica es una ciencia:
- Formal: Al igual que las matemáticas, estudia estructuras y formas vacías de contenido; para mostrar esto, emplea diferentes lenguajes formales.
- Deductiva: Ya que parte de premisas o axiomas.
- Instrumental: Ayuda a la razón a operar correctamente.
La lógica formal se ocupa únicamente de las leyes de los razonamientos correctos y del encadenamiento entre conclusión y premisas, por lo que un razonamiento puede ser válido y falso al mismo tiempo. La lógica formal se constituye con Aristóteles y los estoicos.
La lógica proposicional o de enunciados
Es el nivel más básico de la lógica formal. Su principal característica es que solo puede analizar la validez formal de aquellos razonamientos cuyas premisas y conclusión sean proposiciones sin analizar. Una proposición es una creación enunciativa que afirma o niega.
La lógica informal
Entiende y acepta la corrección en un sentido amplio, en la forma de argumentación. Un argumento es un razonamiento que intenta probar o refutar una tesis convenciendo al interlocutor de la veracidad o falsedad.
En una argumentación hay que evitar dos errores: las falacias y las paradojas.
Falacias
Es toda argumentación que parece correcta pero no lo es. La falacia se llama sofisma cuando es intencionada y paralogismo cuando es involuntaria.