Yazılım Mühendisliğinde Gettier Vakaları (2019)

Felsefeyi sarsan üç sayfalık makale: yazılım mühendisliğinde Gettier

• Gettier vakalarına giriş

  • 1963'te filozof Edmund Gettier, "Is Justified True Belief Knowledge?" başlıklı makalesini yayımlayarak felsefe dünyasında büyük etki yarattı.
  • Geleneksel olarak bilgi, 'gerekçelendirilmiş doğru inanç' olarak tanımlanıyordu, ancak Gettier buna karşı çıkan örnekler sundu.
  • Örneğin, tarladaki bir ineği gördüğünü sanırken aslında kartondan yapılmış bir makete bakıyor olabileceğin bir durumu hayal edebilirsin. Eğer gerçek inek onun arkasındaysa, bu gerekçelendirilmiş doğru bir inançtır; ama bilgi olarak adlandırılamaz.

• Yazılım mühendisliğinde Gettier vakaları

  • Yazarın çalıştığı şirket Genius'un CTO'su Gettier vakalarına çok ilgi duyuyordu ve buna "gettier" diyordu.
  • Yazılım geliştirmede bu tür Gettier vakalarına benzer durumlarla sık sık karşılaşılabilir.
  • Örneğin, bir web uygulamasında arama alanının odak sorununu çözmeye çalışırken, aslında sorunun başka bir geliştiricinin framework'ü değiştirmesinden kaynaklandığı ortaya çıkabilir.

• Yeni bir terimin doğuşu

  • Filozoflar bu tür örnekleri gerçek Gettier vakaları olarak görmeyebilir, ancak geliştiriciler için yararlı bir kavramdır.
  • Birden fazla nedeni olabilecek bir problem durumunda, belirli bir nedene dair inanç geliştirilmesini açıklamak için kullanışlıdır.
  • Bu kavram sayesinde geliştiriciler problem çözerken daha dikkatli yaklaşabilir.

GN⁺ özeti

• Gettier vakaları yalnızca felsefede değil, yazılım mühendisliğinde de önemli bir kavramdır ve karmaşık problemlerin çözümüne yardımcı olabilir.
• Yazılım geliştiriciler sık sık çeşitli nedenlerin iç içe geçtiği problemlerle karşılaşır; bu tür durumları anlamak ve bunlara hazırlıklı olmak önemlidir.
• Bu yazı, geliştiricilerin problem çözerken daha derin düşünmesine yardımcı olabilecek ilgi çekici bir örnek sunuyor.
• Benzer işlevlere sahip projeler olarak GitHub'daki çeşitli açık kaynak hata ayıklama araçları önerilebilir.

[GN⁺]

Hacker News görüşleri

• Filozoflarla yapılan bir Zoom toplantısında, onları kandırmak için gerçek arka planla aynı ekran arka planını kullanmaya dair bir şaka vardı

  • Felsefe mezunu biri olarak, Gettier problemi üzerine tartışmalar popülerdi
  • Gettier makalesi kısa olduğu için popüler olmuş gibi görünüyor
  • Bunun, bilginin tanımı üzerine bitmek bilmeyen bir tartışma olduğunu düşünüyorum

• Bilgi ve hakikat merkezileştirilmiş kavramlardır

  • Modeller eksik ve geçicidir; ayrıca birden fazlası vardır
  • Programlamada buna soyutlama denir
  • Bilinç, anlama, zeka gibi şeyleri merkezileştirilmiş bir şekilde açıklamak zordur
  • Arama, tüm zihinsel işlevleri kapsayan dağıtık bir kavramdır

• Gerekçelendirme 0 ile 1 arasında bir ölçektir

  • Karmaşık bir dünyada herkes tanrı gibi olamaz
  • Hatalı varsayım, JTB'yi öne çıkarır
  • Yanlış bilgi bile herkes hemfikirse önemli olmayabilir

• Felsefi tartışmalarda "bilmek" kelimesi aşırı yüklenmiştir

  • İlk "bilmek", inançtır
  • Bilim, inancı olgulara daha yakın hale getirmeye çalışır
  • İkinci "bilmek", mutlak hakikatle uyuşan bir kavramdır

• Gettier vakaları, hakikat ve bilgi hakkında ilginç şeyler gösterir

  • Olgusal iddialar, o iddiaların etkili nedenini betimlemelidir
  • İfadeler, dünyayla nedensel ve betimleyici bir ilişkiye sahip olmalıdır

• Analitik felsefe, felsefenin yalnızca bir parçasıdır; daha geniş ve daha zengin bir felsefe isteyen çok sayıda öğrenci vardır