| ← Indice • | Asignatura | • Tema 2 → |
Bibliografía: Deaño "Introducción a la lógica formal"
La lógica es una ciencia, y como tal, se trata de una entidad políticamente disponible. Entre la multitud de definiciones que pueden darse sobre la lógica, Deaño aporta la siguiente: La lógica es la ciencia de los principios de validez formal de la inferencia.
Inferencia: Semejante a razonamiento o argumentación. Lo específico de una inferencia es que consiste en derivar una conclusión a partir de unas premisas. El razonamiento en lógica, es entendido como producto de la actividad racional del hombre y no como actividad misma.
Validez formal: La validez formal depende de las relaciones que se establezcan entre premisas y conclusión. En función de estas relaciones que se establezcan entre premisas y conclusión. En función de estas relaciones se determinará si un argumento es formalmente válido o no.
No hay razonamientos válidos si no hay correspondencia de verdad entre sus premisas y su conclusión. En todo caso no todos los argumentos que cumplen este principio son válidos es condición necesaria, pero no suficiente.
En el pensamiento natural encontramos implícita una diferencia entre verdad y validez. Nos encontramos pues con tres elementos a considerar: Validez o no validez de un razonamiento que depende de la verdad/falsedad de las premisas e ídem de la conclusión. La validez de un razonamiento es independiente de la verdad o falsedad de las premisas y su conclusión, ya que hace referencia a la estructura y no a los hechos. La verdad o falsedad de las premisas y la conclusión no se resuelve en la lógica sino en otras disciplinas. En la lógica lo que se estudia son cuáles de aquellas estructuras sintácticas que encontramos en el lenguaje natural corresponde a un esquema o razonamiento válido, o lo que es lo mismo, aceptando como verdaderas unas determinadas premisas que esquemas argumentativos harían verdadera también la conclusión.