Discussion:Induction (logique)

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:30 (CEST)

Je trouve l'article plutot assez mal ecrit grammaticalement parlant, et je note ceci en passant: "le cerveau qui est conçu pour l'induction n'est pas une machine logique : Il n'intègre pas spontanément et doit acquérir la déduction qui est pourtant plus simple." -> Tout ceci est faux (et bien subjectif au demeurant). La deduction s'acquiert spontanement: car l'induction est un raisonnement, et un raisonnement intègre necessairement une deduction logique. L'inverse est...faux; cf. les programmes informatiques pouvant "deduire" qu'il manque une variable, car non instanciée, mais bien en mal de pouvoir traiter comme nous l'erreur...par induction! :)

Article mal écrit

Exemple d'erreurs :

• "Le syllogisme inductif est dit hypothétique (non-scientifique)"
• "On voit bien que l'induction repose sur une supposition : que « ce sont là tous les animaux sans fiel »."
• La première phrase qui ne restitue pas le contexte...
• "En aucun cas, cependant, cette certitude ne sera totale, un contre exemple venant toujours la mettre en cause."

Arronax50 29 juin 2007 à 12:21 (CEST)

Article erroné

PhilR 13 octobre 2007 à 23:21 (CEST)

Fondamentalement, l'article fait perdurer une erreur ancienne : l'induction NE tire PAS des conclusions générales sur base de cas particuliers, c'est l'abduction qui joue ce rôle.

L'induction a la capacité de créer des règles (implications logiques) que la déduction ou l'abduction pourront exploiter (voir l'article sur le raisonnement).

L'argument est assez simple :

• ∀x P(x) → ∃a P(a)
• le schéma de raisonnement abductif est :

b

a→b

a

Autrement dit, généraliser à partir de cas particuliers, c'est exactement appliquer un schéma d'abduction :

∃a P(a)

∀x P(x) → ∃a P(a)

∀x P(x)

La situation usuelle à laquelle l'article fait référence est certainement la suivante :

1. une propriété P a été observée dans une situation particulière a ; soit ∃a P(a) et S(a)
2. l'induction (au sens de l'article) consisterait à généraliser : P est vraie quelle que soit la situation s ; soit ∀x S(x) → P(x)

En fait, la règle induite résulte de deux opérations élémentaires :

1. une étape d'induction permet, sachant ∃a P(a) et ∃a S(a), de construire ∃a P(a) → S(a)
2. une étape d'abduction permet de changer le quantificateur, selon l'argument présenté ci-dessus.

Oui, vous avez certainement raison. Alor n'hésitez pas à éditer l'article lui-même !--Heyitspeter (d) 28 mai 2010 à 04:14 (CEST)

La question est de savoir comment est employé réellement le terme d'induction dans la tradition philosophique et épistémologique d'une part, et dans certaines formes de logique de l'autre. Je ne suis pas certain que votre remarque soit pertinente dans l'un comme dans l'autre cas.
En tout état de cause, il faudrait citer des sources sur la façon dont le terme est employé.
Il ne me semble pas du tout que votre point :
# une étape d'induction permet, sachant ∃a P(a) et ∃a S(a), de construire ∃a P(a) → S(a)
corresponde à l'emploi épistémologique usuel du terme induction.

ptyxs (d) 6 octobre 2010 à 00:14 (CEST)

Promotion personnelle

Quelle est la légitimité de l'article lié, écrit par un consultant informatique du Val de marne, pour la théorie de l'induction ? Quand bien même l'article serait bon, je doute qu'il fasse autorité. Je vote pour la suppression de ce qui s'apparente à de la promotion personnelle. Sanders (d) 29 décembre 2008 à 16:25 (CET)

Pourriez-vous être plus précis? Votre message est un peu cryptique. Pierre de Lyon (d) 30 décembre 2008 à 22:58 (CET)

Il parle de ce site, mis en lien externe de l'article. C'est en effet un site personnel. Je supprime le lien.Enherdhrin (d) 30 décembre 2008 à 23:20 (CET)

Induction et probabilités

Je ne pense pas que l'induction ait à voir avec la théorie des probabilités comme cela est indiqué dans la première phrase. En particulier l'induction en philosophie est bien antérieure à la théorie des probabilités. D'autre part, l'induction ne fait pas appel aux probabilité pour inférer, mais au sens commun. Pierre de Lyon (d) 21 janvier 2009 à 18:26 (CET)

WP:NHP.--Heyitspeter (d) 28 mai 2010 à 04:13 (CEST)

Voir cependant la section suivante. ptyxs (d) 6 octobre 2010 à 00:03 (CEST)

Bien sur !   <STyx @ (en vadrouille) 2 octobre 2021 à 15:02 (CEST)

Une source possible sur l'induction logique, Leibniz, Carnap et les probabilités

Les auteurs et futurs "améliorateurs" de cet article pourraient avec fruit prêter une oreille attentive au cours de Jacques Bouveresse sur Leibnitz du 20 janvier 2010 au Collège de France http://www.college-de-france.fr/default/EN/all/phi_lan/Cours_du_20_janvier_2010_Dans_.jsp Voir la vidéo téléchargeable au format .mp4, à partir de la 36ème/37ème minute. ptyxs (d) 6 octobre 2010 à 00:01 (CEST)

Petite note à supprimer ?

Dans "Ancienne vision de l'induction" :

Note: il est assez curieux d'observer que le principe de déduction est infiniment plus simple que le principe d'induction, pourtant, la vie parait s'adapter selon le principe d'induction et, paradoxalement, le cerveau qui est conçu pour l'induction n'est pas qu'une machine logique : il n'intègre pas spontanément et doit acquérir la déduction qui est, pourtant, plus simple.

Cette observation n'a pas de caractère "curieux" : il semble au contraire normal que la déduction nous apparaisse plus simple puisque nous utilisons des cerveaux fonctionnant (comme cette note le dit) par déduction. Peut-être que sans l'apprentissage de la déduction auquel notre cerveau est soumis lors de nos premières années, l'induction nous paraîtrait plus simple, au contraire...

Une vision un peu franco-centrée en résumé introductif?

Bonjour à tous, L'article est très intéressant mais rapidement technique pour mon maigre niveau. Cependant, quand je lis en résumé introductif "[...] Actuellement, les programmes scolaires de géographie en collège et lycée impliquent des études de cas représentatives du raisonnement inductif.[...]" j'imagine que cela ne concerne que certains pays, voire seulement la France. Je trouve cette remarque pertinente et tout à fait à sa place en résumé introductif mais ne vaudrait-il pas mieux quand même préciser de quels systèmes pédagogiques et éducatifs on parle? Cordialement à tous, --Erwan Legarrec (discuter) 7 octobre 2016 à 08:54 (CEST)

Recycler

Le bon titre pour cet article est : Wikipédia:Bac à sable pour les articles concernant l'induction. C'est hallucinant ! mais y a de bonnes choses à transférer.   <STyx @ (en long break) 8 janvier 2019 à 02:47 (CET)

Renommer !

En "Induction (philosophie)" mais plus simplement en Extrapolation ? ... et remanier ! L'induction en logique est une tout autre chose. Confondre les deux revient à confondre empirisme et rationalisme. Il faut des articles induction (logique) et induction (pour les confronter et faire l'histoire de l'induction) ! Si quelqu'un est motivé, je veux bien collaborer à une refonte.   <STyx @ (en vadrouille) 2 octobre 2021 à 15:01 (CEST)

A la réflexion, le clivage empirisme/rationalisme me parait meilleur que celui de philosophie/mathématiques et donc pourquoi pas Induction empirique/Induction rationnelle. Note il y aussi le clivage ensemble/type (1 siècle de progrès tous de même) donc récurrence/"récursion ?" ou récurrence/induction structurelle (ou Induction (mathématique)/Induction (informatique) (autrement dit informatique=mathématique 2.0 ... terrible !). Bref quel merdier !   <STyx @ (en vadrouille) 2 octobre 2021 à 15:57 (CEST)