Discuter:Déduction logique
Un article de Wikipédia, l'encyclopédie libre.
Cette ébauche d'article semble être très mal partie. Le 2nd raisonnement, présenté comme valide ... ne l'est pas en logique formelle. --Epsilon0 7 août 2006 à 20:25 (CEST)
[modifier] Inférence
1) Au sujet du 2nd raisonnement, (la peinture, le bureau, le sol, il n'est pas toujours valable si le sol n'est pas plan.
2) Pourrait-on rappeler pour le novice que je suis la différence entre logique formelle et logique générale ?
3) Pour Descartes, « Il n’y a pas d’autres voies qui s’offrent aux hommes, pour arriver à une connaissance certaine de la vérité, que l’intuition évidente et la déduction nécessaire » (XII° règle). Comment se place l'intuition par rapport à la déduction et l'induction logiques ? A l'heure d'internet, les enjeux sont considérables. Pautard 17 août 2006 à 17:38 (CEST)
[modifier] Fusion entre Déduction logique et Modus ponens
Abandon (Jerome66 | causer 12 septembre 2006 à 07:06 (CEST)) :
Modus ponens est le nom latin et scientifique de la déduction logique (que tout le monde comprend) Les deux désignent la règle qui consiste à dire que Si A=>B et si j'ai A, alors, j'ai B. Camion 3 septembre 2006 à 10:51 (CEST)
- Non. La déduction est une méthode qui permet de tirer des conclusions sur des faits donnés à partir d'autres faits. Un système de déduction logique est un ensemble de règles, en mathématique on parle aussi de "système de preuve" (cf. Méthode formelle (informatique)). Cela inclut le modus ponens en logique naturelle, mais on peut y ajouter comme c'est fait dans l'article la transitivité (A=>B et B=>C alors A=>C) ou encore le modus tollens. Cf. [1] ou plus technique [2] (pdf). knd 3 septembre 2006 à 13:15 (CEST)
- "Modus ponens est le nom latin et scientifique de la déduction logique" faux: le modus ponens est un type de déduction entre autres (à côté de la règle de substitution par exemple). Il faudrait mentionner le modus ponens dans un article sur la déduction logique mais le modus ponens mérite néanmoins son propre article. D'ailleurs c'est ce que font wiki:de et wiki:en (et je pourrais citer encore une dizaine de liens interwiki) qui ont un article sur la déduction et un article sur le modus ponens. Apierrot 4 septembre 2006 à 12:56 (CEST)
- rien à ajouter aux demos des précédents, donc laissons tomber la fusion. --Julianedm | ðΔ 6 septembre 2006 à 23:22 (CEST)
[modifier] Fusion abandonnée entre Déduction et induction et Déduction logique et Induction (logique)
Transfert depuis PàF :
- Fusioner les informations de Déduction et induction relatives à la déduction logique avec Déduction logique
- Fusioner les informations de Déduction et induction relatives à l'induction (logique) avec Induction (logique). Apierrot 12 septembre 2006 à 17:47 (CEST)
- Contre la fusion, je ne crois pas que ce soit une bonne idée, la comparaison entre déduction et induction est un problème philosophique important et ne peut pas être traité séparement dans Déduction logique et Induction (logique) - phe 12 septembre 2006 à 18:04 (CEST)
