Gettier-Fälle im Software Engineering (2019)

Die Drei-Seiten-Arbeit, die die Philosophie erschütterte: Gettier im Software Engineering

• Einführung in Gettier-Fälle

  • 1963 veröffentlichte der Philosoph Edmund Gettier den Aufsatz "Is Justified True Belief Knowledge?", der die Philosophie stark beeinflusste.
  • Traditionell wurde Wissen als „gerechtfertigter wahrer Glaube“ definiert, doch Gettier präsentierte Gegenbeispiele dazu.
  • Man kann sich zum Beispiel eine Situation vorstellen, in der man glaubt, auf einem Feld eine Kuh zu sehen, tatsächlich aber nur ein Modell aus Papier betrachtet. Wenn sich dahinter eine echte Kuh befindet, ist dies zwar ein gerechtfertigter wahrer Glaube, aber keine Situation, die man als Wissen bezeichnen kann.

• Gettier-Fälle im Software Engineering

  • Der CTO von Genius, dem Unternehmen, bei dem der Autor gearbeitet hat, interessierte sich sehr für Gettier-Fälle und nannte solche Situationen „gettier“.
  • In der Softwareentwicklung stößt man häufig auf Situationen, die diesen Gettier-Fällen ähneln.
  • Ein Beispiel: Man versucht, ein Fokusproblem in einem Suchfeld einer Webanwendung zu lösen, doch in Wirklichkeit wurde das Problem dadurch verursacht, dass ein anderer Entwickler das Framework geändert hatte.

• Die Entstehung eines neuen Begriffs

  • Philosophen würden solche Fälle vielleicht nicht als echte Gettier-Fälle ansehen, für Entwickler ist das Konzept jedoch nützlich.
  • Es eignet sich gut, um Problemsituationen zu beschreiben, in denen es mehrere mögliche Ursachen gibt und man sich auf eine davon festlegt.
  • Mit diesem Konzept können Entwickler bei der Problemlösung vorsichtiger und aufmerksamer vorgehen.

Zusammenfassung von GN⁺

• Gettier-Fälle sind nicht nur in der Philosophie, sondern auch im Software Engineering ein wichtiges Konzept und können beim Lösen komplexer Probleme helfen.
• Softwareentwickler stehen oft vor Problemen, bei denen verschiedene Ursachen miteinander verflochten sind, und es ist wichtig, solche Situationen zu verstehen und sich darauf vorzubereiten.
• Dieser Artikel bietet ein interessantes Beispiel, das Entwicklern hilft, bei der Problemlösung tiefer nachzudenken.
• Als ähnliche Projekte mit vergleichbarer Funktionalität kann man verschiedene Open-Source-Debugging-Tools auf GitHub empfehlen.

[GN⁺]

Hacker-News-Kommentare

• Es gab einen Scherz, bei dem man Philosoph:innen in einem Zoom-Meeting täuschte, indem man einen Bildschirmhintergrund verwendete, der mit dem tatsächlichen Hintergrund identisch war

  • Als Philosophieabsolvent waren Debatten über das Gettier-Problem sehr beliebt
  • Wahrscheinlich war die Gettier-Arbeit auch deshalb beliebt, weil sie kurz war
  • Ich denke, es ist eine endlose Debatte über die Definition von Wissen

• Wissen und Wahrheit sind zentralisierte Konzepte

  • Modelle sind unvollständig, vorläufig, und es gibt mehrere davon
  • In der Programmierung nennt man das Abstraktion
  • Bewusstsein, Verständnis, Intelligenz usw. lassen sich nur schwer auf zentralisierte Weise erklären
  • Abruf ist ein verteiltes Konzept, das alle geistigen Funktionen umfasst

• Rechtfertigung ist eine Skala von 0 bis 1

  • In einer komplexen Welt kann nicht jeder gottgleich sein
  • Falsche Annahmen betonen JTB
  • Selbst falsches Wissen spielt vielleicht keine Rolle, wenn alle ihm zustimmen

• In philosophischen Debatten ist das Wort „wissen“ überladen

  • Das erste „wissen“ ist Glaube
  • Die Wissenschaft bemüht sich, Glauben näher an Tatsachen zu bringen
  • Das zweite „wissen“ ist ein Konzept, das mit absoluter Wahrheit übereinstimmt

• Gettier-Fälle lehren uns interessante Dinge über Wahrheit und Wissen

  • Tatsachenbehauptungen sollten die wirksame Ursache dieser Behauptungen beschreiben
  • Aussagen sollten in einer kausalen und beschreibenden Beziehung zur Welt stehen

• Analytische Philosophie ist nur ein Teil der Philosophie, und es gibt viele Studierende, die eine breitere und reichhaltigere Philosophie wollen