Condiciones para la deducción

Primero, podría ser útil recordar que Hume afirmó que todas las proposiciones pueden clasificarse en dos categorías: 1) relaciones de ideas y 2) cuestiones de hecho. La verdad de las relaciones de ideas se conoce a priori, sin la ayuda de la experiencia. Las proposiciones lógicas o matemáticas son tales relaciones de ideas y podemos estar seguros de su verdad porque negarlas implicaría una contradicción. En cuanto a las cuestiones de hecho, su verdad depende de cómo es el mundo y, por tanto, sólo puede justificarse a posteriori, es decir, con la experiencia. Que X causa Yo que el color del caballo de Napoleón es blanco son proposiciones cuya verdad depende de la experiencia del mundo. Esta distinción a menudo se llama 'el tenedor de Hume' y refleja hasta cierto punto la división necesario/contingente, analítico/sintético, a priori/a posteriori.

To come back more specifically to your question, I think Hume would say that the necessary connection between a cause and an effect is a matter of fact, but the 'necessary connection' (this term is perhaps misleading) between premisses and a conclusion in a deduction is a relation of ideas. The following proposition, 'Were the premisses of a valid deductive argument be true, the conclusion would necessarily follow.', is true in virtue of the meaning we ascribe to the words involved like 'valid, 'deductive' or 'argument'. Basically, one is only spelling out the meaning of the proposition and what this meaning logically entails.

Entonces, ¿se aplican necesariamente "las reglas del juego deductivo"? Aquí podría estar desviándome de Hume, pero la respuesta corta es no . Es relativo a un lenguaje y hay muchos tipos de lógicas, lógica paraconsistente , lógica difusa , lógica de relevancia , lógica libre , lógica modal , etc. Pero en un lenguaje donde 'deducción' significa lo que comúnmente significa, sí , las reglas necesariamente aplicar. No se puede negar que la conclusión de un argumento deductivo válido necesariamente se cumple siempre que las premisas sean verdaderas. Eso contradiría el propio concepto de deducción. Pero no significa que necesariamente 'deducción' deba significar eso, si eso es lo que preguntaste.

Finalmente, en relación con Kant, una idea central de la Crítica de la razón pura es que algunos conceptos a priori, las categorías del entendimiento, se aplican necesariamente a todos los objetos del conocimiento humano. Estructuran todos nuestros pensamientos y experiencias. Una de esas categorías es la de 'Causalidad y Dependencia' y contiene la idea de la conexión necesaria entre una causa y su efecto. Además, Kant no compró el tenedor de Hume. La principal motivación de la Crítica era mostrar que los juicios sintéticos a priori eran posibles, es decir, que es posible conocer a priori algunas proposiciones sobre el mundo.