¿Cuál es la naturaleza de la "validez" en la deducción cuando se trata de conclusiones no relacionadas con las premisas?

Estoy estudiando matemáticas de posgrado (no muy avanzado) y me di cuenta de que algunos de los textos de matemáticas de nivel superior que me gustaría leer son difíciles de entender sin una base sólida en lógica. Ahora he tomado cursos elementales (como el primer año de la universidad general) que enfatizan la lógica.

Empecé a leer un libro de introducción a la lógica titulado Forall X de PD Magnus , para fortalecer mis habilidades. Uno de los primeros temas tratados es la validez y su definición:

Un argumento es válido si y solo si es imposible que todas las premisas sean verdaderas y la conclusión falsa.

Luego, el autor proporciona un ejemplo de un argumento válido, y luego de un argumento inválido , que es

Londres está en Inglaterra.
Pekín está en China.
Entonces: París está en Francia.

Luego explica que este argumento no es válido, basado en su definición de válido

Las premisas y la conclusión de este argumento son, de hecho, todas verdaderas. Pero el argumento no es válido. Si París declarara su independencia del resto de Francia, la conclusión sería falsa, aunque ambas premisas seguirían siendo verdaderas. Por tanto, es posible que las premisas de este argumento sean verdaderas y la conclusión falsa. Por lo tanto, el argumento es inválido.

Esto rápidamente me llevó a pensar que está eludiendo cualquier sutileza. Por ejemplo, hay argumentos que podría hacer en el mismo estilo, pero donde la conclusión es imposible de hacer falsa. Considerar

Londres está en Inglaterra.
Pekín está en China.
Entonces: Este es un argumento.

Para resumir, creo que hay una falla fundamental en mi razonamiento con respecto a la creación de esta pequeña declaración aparentemente paradójica, pero al mismo tiempo, tampoco creo que la lógica del autor fuera correcta.

Si un argumento tiene una verdad lógica (como p o no-p ) como conclusión, entonces el argumento es realmente válido . Es imposible que la conclusión sea falsa, por lo que a fortiori también es imposible que las premisas sean verdaderas y la conclusión falsa. Este es uno de los casos límite de validez, siendo otro un argumento con premisas contradictorias. Los conceptos intuitivos y técnicos de validez se separan aquí. Tenga en cuenta que está utilizando un demostrativo, this , en su ejemplo. FOL ordinario no puede manejar estas expresiones, esencialmente porque son sensibles al contexto.
La validez lógica debería depender únicamente de la forma lógica, no del significado semántico de ninguno de los términos. "Esto es un argumento" puede parecer obviamente cierto en contexto, pero no lo es por razones puramente formales. Por ejemplo, podríamos reemplazar "esto" con el símbolo x sin significado semántico y el predicado "es un argumento" con un símbolo de predicado como p(), por lo que "esto es un argumento" se convierte simplemente en p(x). En tal forma abstracta, p(x) no es tautológico ni se seguiría de ninguna de las declaraciones anteriores si también fueran "traducidas" a tal forma abstracta.

Respuestas (5)

La lógica tiene más de un contexto del término validez.

En un caso, la validez solía referirse a un tipo de argumento que preservaba la verdad. Es decir, una vez que comenzamos con todas las premisas verdaderas y existe una relación adecuada entre las declaraciones, la conclusión también tendría que ser verdadera. Es imposible que las premisas sean verdaderas y la conclusión falsa por definición del término válido. Cuando no se tiene relación o la relación es incorrecta podemos ver conclusiones descaradamente falsas a partir de premisas verdaderas. De modo que el estudio del modo y la forma se introdujeron en la lógica clásica. El lógico puede evaluar la relación de cualquier argumento de cualquier tema sin dominar el tema en cuestión. Así que no tengo que ser economista para evaluar un argumento en el campo de la Economía. No tengo que saber Biología para evaluar un argumento sobre evolución, etc.

Por otro lado, si se demuestra que un patrón de razonamiento tiene un defecto, ese argumento también es inválido. Es decir, podría cambiar el contenido del argumento a algún otro tema y obtener una conclusión falsa a partir de premisas verdaderas. En otras palabras, puedo presentar un contraejemplo a la forma de argumento presentada y afirmar que no podemos tener una forma de argumento que sea verdadera y falsa al mismo tiempo. Esto se menciona porque muchas personas razonan a partir del conocimiento mundano, por lo que saben que algunas afirmaciones son verdaderas, pero en realidad no entienden la lógica. Entonces pueden hacer un argumento falaz con premisas verdaderas y una conclusión verdadera y falsa. Debido a que el argumento funciona cuando convenientemente quieren que funcione, concluyen que el argumento es válido. Este no es el caso en la lógica. El razonamiento deductivo se trata de absolutos o no absolutos. No hay término medio. Una forma de argumento que no se puede hacer para tener una conclusión falsa es válida. Si puedo confiar en su argumento en una forma de declaraciones VERDADERO VERDADERO Falso, entonces la forma no es válida.

De acuerdo con la explicación de validez que usted mismo citó, el argumento con la conclusión " Este es un argumento " no es formalmente válido.

Por tanto, es posible que las premisas de este argumento sean verdaderas y la conclusión falsa. Por lo tanto, el argumento es inválido.

No es formalmente válido porque la conclusión puede interpretarse de hecho como si se refiriera a cualquier cosa, incluidas, por lo tanto, cosas que ni siquiera son un argumento, y mucho menos éste.

Cada una de estas interpretaciones (y hay una infinidad de ellas) hace falsa la conclusión.

Esto es así porque las premisas de tu argumento no obligan formalmente a la única interpretación que hace que la conclusión sea verdadera.

El hecho de que leamos la conclusión como obviamente verdadera, y por lo tanto necesariamente verdadera, proviene de una premisa que no se hace explícita aquí en su argumento. Esta premisa es, en términos generales, la totalidad de la semántica necesaria para interpretar la conclusión como lo hacemos nosotros, incluida la definición de "esto" que se refiere al elemento más próximo del tipo mencionado. Creo que esta premisa es demasiado complicada y mal definida para formalizarla adecuadamente.

  • O la palabra "esto" (usada como sujeto en la conclusión) se refiere a algo o no.

  • Si no es así, la supuesta conclusión no tiene significado y, por lo tanto, no es una proposición. En ese caso, no hay duda de la validez del "argumento" porque no hay argumento. Porque un argumento es una secuencia de proposiciones genuinas. (Más precisamente, es un par/par ordenado que tiene como primer miembro un conjunto Gamma de premisas, y como segundo elemento una sola proposición que juega el papel de conclusión).

  • Si "esto" tiene un significado, significa "este argumento" o "el argumento que tiene como premisas 'Londres está en Inglaterra' y 'Beijing está en China'".

En ese caso, la conclusión significa "El argumento que tiene como premisas... es un argumento". Por lo tanto, es una tautología.

  • Cualquier argumento que tenga una tautología como conclusión es válido, cualesquiera que sean las premisas. Dado que no hay manera de hacer falsa una tautología, no hay, a fortiori , ningún caso posible en el que las premisas sean verdaderas y la conclusión falsa.

  • Conclusión: si se permite el metalangage en un argumento, este argumento es válido y no es un contraejemplo del criterio de validez establecido en el libro mencionado.

Si estás estudiando un texto de introducción a la lógica, es casi seguro que te está introduciendo a la lógica clásica, que es el tipo más utilizado. Las lógicas no clásicas suelen ser un tema más avanzado. Ingenua y preteóricamente, un argumento es válido si lo siguiente es cierto:

  1. Si todas las premisas del argumento son verdaderas, la verdad de la conclusión se sigue necesariamente.

Esto es equivalente en lógica clásica (y muchos otros sistemas lógicos comunes) a:

  1. Es imposible que todas las premisas sean verdaderas y la conclusión falsa.

Hay muchos relatos diferentes que explican la validez con más detalle, pero sigamos con estos. La consecuencia de la segunda forma de caracterizar la validez es que emergen dos casos límite poco intuitivos. Una es que si un argumento tiene premisas inconsistentes, entonces siempre es válido, sin importar cuál sea la conclusión. Esto se debe a que es imposible que todas las premisas sean verdaderas y, por lo tanto, a fortiori imposible que todas las premisas sean verdaderas y la conclusión falsa. El otro caso es que si un argumento tiene una verdad lógica como conclusión, entonces siempre es válido. Esto se debe a que es imposible que la conclusión sea falsa y, por lo tanto, a fortiori imposible que las premisas sean verdaderas y la conclusión falsa.

Su ejemplo con la conclusión, "Este es un argumento" es un intento de ejemplificar el último caso, pero en realidad no funciona, porque "Este es un argumento" es meramente cierto, no una verdad lógica, o incluso una necesaria. la verdad en un sentido más amplio. Todo tipo de cosas son obviamente ciertas sin ser necesariamente ciertas, por ejemplo, a veces llueve en Nueva York. Si sustituimos su conclusión por una verdad lógica, como algo que parezca "P o no P", entonces sería válida.

Si esto parece extraño y poco intuitivo, tal vez la siguiente línea de razonamiento pueda ayudar. La lógica clásica es monótona, lo que quiere decir que si un argumento dado es válido, agregar premisas adicionales no lo invalida. Entonces, tome el siguiente argumento válido:

Either Mary or Jane won the race. 
Mary didn't win the race.
Therefore, Jane won the race. 

Ahora agreguemos algunas premisas:

Either Mary or Jane won the race. 
Mary didn't win the race.
Some people like peanut butter.
The moon is made of cheese. 
Therefore, Jane won the race. 

Este argumento sigue siendo válido. No importa que dos de las premisas sean redundantes y una de ellas sea falsa. Ahora bien, si nuestra conclusión es una verdad lógica, como la tautología clásica P o no P, esto se puede probar usando solo la lógica y no necesitamos ninguna premisa en absoluto. Entonces, si comenzamos sin premisas y agregamos un par, podemos obtener:

Some people like peanut butter.
The moon is made of cheese. 
Therefore, P or not P. 

Esto sigue siendo válido. Las premisas no son necesarias para que la conclusión sea válida, pero por la propiedad de monotonicidad no invalidan un argumento válido.

De esto se deduce que la lógica clásica no requiere que las premisas de un argumento sean relevantes para la conclusión. Hay otras lógicas, como la familia de lógicas llamadas lógicas de relevancia, en las que se requiere relevancia para la validez. Volviendo a las dos formas de caracterizar la validez que di al principio, un lógico de relevancia aceptaría 1 pero rechazaría 2.

Simplemente no es una deducción válida. Las premisas no tienen relevancia para la conclusión. Una deducción válida requiere que los 3 sean relevantes entre sí.

Entiendo que hay montones y montones de teorías, juegos de palabras y semánticas sobre los términos en filosofía, pero en su mayoría buscan confundir y no aclarar ni llegar al conocimiento. La razón por la que tantas deducciones fallan en el esfuerzo filosófico (y luego se intentan 'rescatar' de las confusiones anteriores) es porque durante siglos se ha buscado la verdad pero no se ha llegado a ella: los mismos argumentos fundamentales continúan circulando pero disfrazados de diferentes maneras. .

Apéguese a las reglas de deducción en el sentido puro y eso, con suerte, dará resultados.

“Una deducción válida requiere que los 3 sean relevantes entre sí”. Esto no es cierto en la mayoría de las lógicas formales y, en cualquier caso, requeriría formalizar la noción de "relevancia", una tarea que en sí misma no es fácil. “....hay montones, montones de teorías, juegos de palabras y semánticas sobre los términos en filosofía, pero en su mayoría buscan confundir y no clarificar ni llegar al conocimiento.” ¿Tiene alguna referencia para esto más allá de la opinión personal?
Es lo que es y lógicamente así. He usado relevancia en su significado coloquial. Ahora entiendo que deseas que le dé otra definición para frustrar su significado. El problema no radica en las palabras que estoy usando en su uso hablado y escrito, sino que la deducción como un método para obtener conocimiento en lugar de creencias y sugerencias (a menudo denominado como 'conocimiento duro' erróneamente dependiendo de la conclusión buscada), no es un método decente. Incluso probar las premisas más simples puede conducir a una regresión infinita debido a nuestra fuerte dependencia del empirismo. Sin embargo, parece uno de los únicos que tenemos
¡Bienvenido a Filosofía SE! Gracias por tu contribución. Tómese un momento para hacer el recorrido o buscar ayuda . Puede realizar búsquedas aquí o buscar aclaraciones adicionales en el metasitio . No olvides que cuando alguien haya respondido a tu pregunta, puedes hacer clic en la flecha para recompensar al colaborador y en la marca de verificación para seleccionar la que creas que es la mejor respuesta.