Pregunta respondida originalmente: ¿Es posible que un argumento sea evaluado por un código de computadora para determinar su validez deductiva?
Si el argumento se puede formalizar en el idioma admitido por un verificador de pruebas automatizado, entonces la respuesta es claramente sí.
Sin embargo, el trabajo involucrado en la formalización de la mayoría de los argumentos en lenguaje natural puede ser muy grande. Todos y cada uno de los conceptos utilizados en el argumento del lenguaje natural deberán formalizarse o, en otras palabras, el dominio del discurso deberá formalizarse con un detalle insoportable.
La razón de esto es simplemente que los argumentos formales son extremadamente detallados, mucho más detallados que el argumento del lenguaje natural promedio, que a menudo pueden apelar al conocimiento de fondo común y a un oyente cooperativo.
- ¿Qué afiliación política tendrían Platón, Sócrates y Aristóteles en la política estadounidense actual?
- ¿Qué piensas de Nietzsche como filósofo y como persona?
- ¿Qué se necesita para hacer algo de la nada?
- En filosofía, ¿por qué existe el problema de otras mentes? Todos sabemos que existen otras mentes.
- ¿Es verdad que todo conocimiento culmina en filosofía?
Entonces, en teoría, la mayoría de los argumentos podrían ser verificados para su validez, pero en la práctica hay problemas significativos.