Donde se dice que un argumento es lógicamente válido "si y sólo si no es posible que las premisas sean verdaderas y la conclusión falsa".
Sé que el argumento es lógicamente válido si todas las premisas son lógicamente verdaderas, aunque estoy confundido si el mismo razonamiento se aplica a las premisas 'verdaderas', porque es posible que todas las premisas sean verdaderas pero que la conclusión no se siga. de ellos - en tal caso, ¿es válido el argumento?
Es fácil llegar a un conjunto de premisas que son todas verdaderas, o lógicamente verdaderas, pero que la conclusión extraída de ellas no es válida. La forma más obvia sería no tener un conjunto de premisas lo suficientemente completo. No sería justo decir...
Todos los humanos son primates. Todos los primates son mamíferos. Por lo tanto todos los mamíferos son naranjas.
La conclusión no se deriva explícitamente de las premisas, pero aún puede presentarse de esta manera.
Es trivialmente fácil encontrar un argumento inválido con premisas condicionalmente verdaderas o lógicamente verdaderas , simplemente adjúntelo a una conclusión falsa.
Por otro lado, todo argumento que termine con una conclusión lógicamente verdadera es válido, independientemente de las premisas.
Si vuelve a leer detenidamente la definición que proporcionó, verá cómo las dos afirmaciones anteriores se derivan de ella.
Considere el argumento sin premisas y la conclusión "el cielo es rojo". Todas las premisas son (vacuamente) verdaderas --- y seguramente "lógicamente verdaderas", lo que sea que quieras decir con eso --- pero seguramente la conclusión es falsa y el argumento no es válido.
Esto no es mejor que el ejemplo de R. Barzell, pero es aún más simple. Y aborda su distinción entre "verdadero" y "lógicamente verdadero", al proporcionar una lista de premisas todas las cuales son verdaderas, todas las cuales son lógicamente verdaderas (nuevamente, lo que sea que eso signifique), todas las cuales son falsas, todas las cuales son lógicamente falsas, y todas ellas tienen la propiedad glarb, sea lo que sea.
virmaior