La lógica es en realidad un tema de estudio, una ciencia. Lo que los estudios lógicos son argumentos, que pueden considerarse como conjuntos de enunciados.
Un argumento se define como tener una conclusión y premisas que forman las razones para inferir la conclusión. La idea es que algunos argumentos brinden buenas razones para aceptar la conclusión debido al tipo de relación entre las premisas y la conclusión.
La relación relevante que le interesa a la lógica es la validez. Un argumento es válido si existe un cierto tipo de relación entre las premisas y la conclusión. La naturaleza de esta relación depende de qué tipo de razonamiento es, es decir, depende de la base de la inferencia de la conclusión a partir de las premisas.
La mayoría de las personas en lógica han estudiado la lógica deductiva. En las inferencias deductivas, la idea es que la conclusión está justificada porque no puede ser falsa si las premisas son verdaderas. Entonces la validez deductiva es una relación que preserva la verdad.
- ¿Cómo se relacionan la honestidad y la verdad?
- ¿Por qué un hablante de la verdad no tiene amigos?
- La mayoría de las personas hablan de que la marihuana / hierba es una droga no dañina con la máxima relajación. ¿Es esto cierto? Y si esto es cierto, ¿por qué es ilegal en la mayoría de las partes del mundo?
- ¿Es cierto creer que no hay salvación fuera de la iglesia verdadera?
- ¿Por qué Cristo no respondió cuando Pilato le preguntó cuál es la verdad?
Los estudios lógicos son características estructurales de los argumentos que aseguran este carácter conservador de la verdad cuando el argumento tiene esa característica estructural.
Las características estructurales pueden expresarse o establecerse como reglas de inferencia. Y supongo que el “criterio” relevante para un argumento válido es que la conclusión se puede inferir de las premisas usando solo reglas de inferencia que se reconocen como válidas. Por ejemplo, una regla muy básica de inferencia deductiva válida es Modus Ponens. Esta regla dice:
De una declaración de la forma
Si P entonces Q
y
PAGS
puede inferir válidamente Q.
Lo que hace de este un “buen criterio” para la inferencia es que cualquier argumento que exhiba este patrón será tal que la conclusión no puede ser falsa si las premisas son verdaderas. Esa es otra forma de decir que esto es inferencia válida. (Pero en realidad hay algunas excepciones a esta regla, pero se cumple en la gran mayoría de los casos).
Los tipos de principios a los que se recurriría en la lógica inductiva son diferentes. Y los tipos de principios que se usarían para el razonamiento abductivo (inferencia a la mejor explicación) también son diferentes. En estos dos casos, los principios se justifican sobre la base de que, si se sigue el principio, la conclusión probablemente será cierta si las premisas lo son. Entonces, nuevamente, la justificación radica en el carácter de preservación de la verdad de las reglas o principios de inferencia.