Concept

Problème de l'induction

Le problème de l'induction est la question philosophique de savoir si le raisonnement inductif conduit à la connaissance, comprise dans le sens philosophique classique, car il met l'accent sur la prétendue absence de justification dans deux cas : Généraliser les propriétés d'une classe d'objets fondée sur des observations de cas particuliers de cette catégorie (par exemple, la conclusion selon laquelle « tous les cygnes que nous avons vus sont blancs, par conséquent, tous les cygnes sont blancs », avant la découverte de cygnes noirs) ; Présupposer qu'une séquence d'événements à l'avenir se produira comme elle a toujours fait dans le passé (par exemple, que les lois physiques resteront inchangées au cours du temps). David Hume appelle cela le . Le problème remet en question toutes les preuves empiriques faites dans la vie quotidienne ou par la méthode scientifique et, pour cette raison, le philosophe C. D. Broad a dit que « l'induction est la gloire de la science et le scandale de la philosophie ». Bien que le problème remonte au pyrrhonisme de la philosophie antique, ainsi que l'école chârvâka de la philosophie indienne, David Hume l'a réintroduit au milieu du , avant que la réponse la plus notable ne soit fournie par Karl Popper deux siècles plus tard. vignette|Habituellement déduit d'observations répétées: « Le soleil se lève toujours à l'est ». vignette|Généralement non déduit d'observations répétées : « Si quelqu'un meurt, ce n'est jamais de ma faute ». Lors d'un raisonnement inductif, on fait une série d'observations et on infère une nouvelle affirmation fondée sur celles-ci. Par exemple, à partir d'une série d'observations d'une femme qui promène son chien en passant par le marché à du matin le lundi, il semble valable d'en conclure que, le lundi suivant, elle fera la même chose, ou que, en général, la femme promène son chien en passant au marché tous les lundis. Ce lundi suivant, quand la femme promènera son chien, cela ne fait qu'ajouter une observation de plus à la série, mais cela ne prouve pas que cet événement se produira tous les lundis.

À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.
Cours associés (5)
CS-101: Advanced information, computation, communication I
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
CS-628: Interactive Theorem Proving CS
A hands-on introduction to interactive theorem proving, proofs as programs, dependent types, and to the Coq proof assistant. Come learn how to write bug-free code!
CS-452: Foundations of software
The course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a progr
Afficher plus
Séances de cours associées (32)
Programmes de vérification avec l'inox: Comment fonctionne l'inox
Explore le fonctionnement intérieur du cadre Inox, en mettant l'accent sur les transformations de vérification et de contrôle de type dépendant.
Propositions inductives : Techniques de raisonnement et d’évaluation
Discute des propositions inductives, de leurs définitions et de leurs applications dans les techniques de raisonnement et d'évaluation dans Coq.
Semi-martingale : Processus de variation articulaire
Couvre les semi-martingales, le lemma d'Ito et les démonstrations polynomiales, mettant l'accent sur la gestion des termes de second ordre et le raisonnement d'induction.
Afficher plus
Publications associées (30)

The impact of different methods of increasing the intensity of compassion in engineering ethics cases

Roland John Tormey, Nihat Kotluk

Despite the growing interest in emotions in engineering education, empirical research on incorporating them into engineering ethics education is limited. Therefore, we designed this experimental study to assess how different methods for integrating compass ...
2024

Integrated Wireless Power, Data Communication, and Thermal Sensing System for Autonomous Multisite Brain Implants

Implanted medical devices (IMDs) have been widely developed to support the monitoring and recording of biological data inside the body or brain. Wirelessly powered IMDs, a subset of implantable electronics, have been proposed to eliminate the limitations r ...
EPFL2024

Reducing uncertainties in response predictions of earthquake-damaged masonry buildings using data from image-based inspection

Ian Smith, Katrin Beyer, Bryan German Pantoja Rosero, Mathias Christian Haindl Carvallo

Image information about the state of a building after an earthquake, which can be collected without endangering the post-earthquake reconnaissance activities, can be used to reduce uncertainties in response predictions for future seismic events. This paper ...
Springer2024
Afficher plus
Concepts associés (19)
Induction (logique)
L'induction est historiquement le nom utilisé pour signifier un genre de raisonnement qui se propose de chercher des lois générales à partir de l'observation de faits particuliers, sur une base probabiliste. Remarque : Bien qu'associée dans le titre de cet article à la logique, la présentation qui suit correspond surtout à la notion bayésienne, utilisée consciemment ou non, de l'induction.
Rasoir d'Ockham
vignette|Frater Occham iste : illustration manuscrite de Guillaume d'Ockham (1341). Le rasoir d'Ockham ou rasoir d'Occam est un principe de raisonnement philosophique entrant dans les concepts de rationalisme et de nominalisme. Le terme vient de « raser » qui, en philosophie, signifie « éliminer des explications non nécessaires d'un phénomène » et du philosophe du Guillaume d'Ockham. Également appelé principe de simplicité, principe d'économie ou principe de parcimonie (en latin « lex parsimoniae »), il peut se formuler comme suit : Une formulation plus moderne est que .
Philosophical skepticism
Philosophical skepticism (UK spelling: scepticism; from Greek σκέψις skepsis, "inquiry") is a family of philosophical views that question the possibility of knowledge. It differs from other forms of skepticism in that it even rejects very plausible knowledge claims that belong to basic common sense. Philosophical skeptics are often classified into two general categories: Those who deny all possibility of knowledge, and those who advocate for the suspension of judgment due to the inadequacy of evidence.
Afficher plus

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.