Que yo sepa, la preservación de la verdad es una propiedad de un argumento deductivo válido, pero realmente no puedo encontrar una definición. Siento que falta el mío, pero aquí está mi definición tentativa:
"La preservación de la verdad es una propiedad de un argumento deductivo válido que asegura que la verdad en las premisas esté involucrada/transferida en/a la conclusión".
Gracias.
No exactamente. Un argumento se llama conservador de la verdad si no produce conclusiones falsas dadas las premisas verdaderas. Los argumentos válidos o lógicamente válidos son aquellos en los que la conclusión es una consecuencia lógica de las premisas. Hay diferentes definiciones de consecuencia lógica que conducen a diferentes definiciones de validez. En particular, en algunas definiciones es posible tener argumentos de preservación de la verdad que no son válidos porque la noción de validez es restrictiva.
Por ejemplo, el argumento que dio Gödel para la verdad de su oración no es válido, si la consecuencia lógica se define como demostrabilidad deductiva, pero preserva la verdad. Bajo la noción semántica de consecuencia lógica, los argumentos válidos son exactamente los que preservan la verdad, pero en teorías complejas puede no haber una forma efectiva de averiguar si un argumento dado es semánticamente válido.
Véase verdad lógica y consecuencia lógica .
Jo Wehler
buscador
Jo Wehler