Le cas Gettier en ingénierie logicielle (2019)

Les trois pages qui ont bouleversé la philosophie : le cas Gettier en ingénierie logicielle

• Introduction au cas Gettier

  • En 1963, le philosophe Edmund Gettier a publié un article intitulé "Is Justified True Belief Knowledge?", qui a eu un impact majeur sur le monde de la philosophie.
  • Traditionnellement, la connaissance était définie comme une « croyance vraie justifiée », mais Gettier a présenté des cas qui remettent cette définition en cause.
  • Par exemple, on peut imaginer une situation où l’on pense voir une vache dans un champ, alors qu’en réalité on regarde une maquette en papier. Si une vraie vache se trouve derrière, il s’agit bien d’une croyance vraie justifiée, sans pour autant que l’on puisse parler de connaissance.

• Le cas Gettier en ingénierie logicielle

  • Le CTO de Genius, une entreprise où travaillait l’auteur, s’intéressait beaucoup aux cas Gettier et les appelait "gettier".
  • En développement logiciel, on rencontre souvent des situations similaires à ces cas Gettier.
  • Par exemple, en essayant de résoudre un problème de focus dans le champ de recherche d’une application web, il s’est avéré que le problème venait en réalité d’un autre développeur qui avait modifié le framework.

• La naissance d’un nouveau terme

  • Les philosophes ne considéreraient peut-être pas ces exemples comme de véritables cas Gettier, mais c’est un concept utile pour les développeurs.
  • Il est utile pour décrire les situations où, dans un problème pouvant avoir plusieurs causes, on en vient à croire à l’une d’elles.
  • Grâce à ce concept, les développeurs peuvent aborder la résolution de problèmes avec davantage de prudence.

Le résumé de GN⁺

• Les cas Gettier sont un concept important non seulement en philosophie, mais aussi en ingénierie logicielle, où ils peuvent aider à résoudre des problèmes complexes.
• Les développeurs logiciels sont souvent confrontés à des problèmes où plusieurs causes s’entremêlent, et il est important de comprendre ces situations et de s’y préparer.
• Cet article propose un exemple intéressant qui peut aider les développeurs à adopter une réflexion plus approfondie lors de la résolution de problèmes.
• Parmi les projets aux fonctionnalités similaires, on peut recommander divers outils open source de débogage sur GitHub.

[GN⁺]

Commentaires sur Hacker News

• Il y avait une blague consistant à tromper des philosophes lors d’une réunion Zoom en utilisant un arrière-plan identique au décor réel

  • En tant que diplômé en philosophie, les débats sur le problème de Gettier étaient populaires
  • L’article de Gettier était sans doute populaire parce qu’il était court
  • J’ai l’impression qu’il s’agit d’un débat sans fin sur la définition de la connaissance

• La connaissance et la vérité sont des concepts centralisés

  • Les modèles sont incomplets, provisoires et multiples
  • En programmation, on appelle cela l’abstraction
  • La conscience, la compréhension, l’intelligence, etc., sont difficiles à expliquer de manière centralisée
  • La recherche est un concept décentralisé qui englobe toutes les fonctions mentales

• La justification est une échelle de 0 à 1

  • Dans un monde complexe, tout le monde ne peut pas être comme un dieu
  • Une hypothèse erronée met l’accent sur le JTB
  • Même si une connaissance est fausse, cela peut ne pas avoir d’importance si tout le monde est d’accord

• Dans les débats philosophiques, le mot "savoir" est surchargé

  • Le premier "savoir" correspond à la croyance
  • La science s’efforce de rapprocher les croyances des faits
  • Le second "savoir" est un concept aligné sur une vérité absolue

• Les cas de Gettier nous apprennent des choses intéressantes sur la vérité et la connaissance

  • Une affirmation factuelle doit décrire la cause effective de cette affirmation
  • Un énoncé doit entretenir avec le monde une relation causale et descriptive

• La philosophie analytique n’est qu’une partie de la philosophie, et beaucoup d’étudiants veulent une philosophie plus large et plus riche