Discussion:Raisonnement déductif

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)

Le second raisonnement est bancal car la transitivité de la relation "est au dessus de" n'est pas forcément évidente et n'est pas formulée comme hypothèse. --83.206.143.129 (d) 23 avril 2013 à 17:27 (CEST)

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)

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)

Fusion abandonnée entre Déduction et induction et Déduction logique et Induction (logique)

Transfert depuis PàF :

1. Fusioner les informations de Déduction et induction relatives à la déduction logique avec Déduction logique
2. 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)

À noter que l'abandon de la fusion ne provient pas exclusivement de l'avis de - phe, cette demande traîne depuis longtemps sans que personne d'autre ne s'y intéresse. Jerome66 | causer 6 octobre 2006 à 13:28 (CEST)

Aspects modaux

Je ne comprends pas la section « aspects modaux ». Le fait que ce soit traduit de l'anglais n'est pas une garantie ds clarté. Cette section s'appuie sur la notion de « est nécessaire » qui n'est pas définie. Je propose de la supprimer en attendant une version claire et complète. --Pierre de Lyon (discuter) 23 mai 2014 à 15:29 (CEST)

Bibliographie

pitié pour les lecteurs de bonne volonté : privilégier les références en français.

--Lf69100 (discuter) 16 novembre 2017 à 16:58 (CET)