Le propre de la logique, c'est de raisonner et d'étudier le raisonnement. En logique on associe des prémisses à des conclusions, de manières abstraites, par exemple :
* de A et A implique B on peut déduire B.
Ce n'est pas causal dans le sens ou tu l'emploies, on parle plutôt de prémisses et de conclusions, pas de causes et de conséquences.
c'est plutôt : si la proposition A est vraie et la proposition A implique B est vraie, alors la proposition B est vraie.
A et A -> B ne sont pas les causes de B, ce sont simplement les hypothèses qui ont permis de déduire B.
Par exemple, pour prendre un exemple dans les maths : mettons qu'on ait un théorème qui dit que tout nombre divisible par 4 est divisible par 2. ( =def A -> B)
Si on prends le nombre 4, et qu'on montre qu'il est divisible par 4 (A =def 4 est divisible par 4)
Alors on peut déduire que 4 est divisible par 2 ( =B ) Y a t'il des causes ou des conséquences ? Non, il y a simplement des déductions logiques.
La causalité c'est plutôt "la vitre est cassée parce que Kevin a balancé un cailloux dessus".
[^] # Re: Curieux
Posté par thoasm . En réponse au journal Système d'exploitation et religion. Évalué à 3.
* de A et A implique B on peut déduire B.
Ce n'est pas causal dans le sens ou tu l'emploies, on parle plutôt de prémisses et de conclusions, pas de causes et de conséquences.
c'est plutôt : si la proposition A est vraie et la proposition A implique B est vraie, alors la proposition B est vraie.
A et A -> B ne sont pas les causes de B, ce sont simplement les hypothèses qui ont permis de déduire B.
Par exemple, pour prendre un exemple dans les maths : mettons qu'on ait un théorème qui dit que tout nombre divisible par 4 est divisible par 2. ( =def A -> B)
Si on prends le nombre 4, et qu'on montre qu'il est divisible par 4 (A =def 4 est divisible par 4)
Alors on peut déduire que 4 est divisible par 2 ( =B ) Y a t'il des causes ou des conséquences ? Non, il y a simplement des déductions logiques.
La causalité c'est plutôt "la vitre est cassée parce que Kevin a balancé un cailloux dessus".