Kasus Gettier dalam Rekayasa Perangkat Lunak (2019)

Makalah tiga halaman yang mengguncang filsafat: Gettier dalam rekayasa perangkat lunak

• Pengenalan kasus Gettier

  • Pada 1963, filsuf Edmund Gettier menerbitkan makalah berjudul "Is Justified True Belief Knowledge?" yang memberi pengaruh besar pada dunia filsafat.
  • Secara tradisional, pengetahuan didefinisikan sebagai 'keyakinan benar yang dibenarkan', tetapi Gettier mengajukan kasus yang membantahnya.
  • Misalnya, bayangkan situasi ketika Anda mengira sedang melihat seekor sapi di padang, tetapi sebenarnya yang Anda lihat adalah model sapi dari kertas. Jika ada sapi sungguhan di belakangnya, itu adalah keyakinan benar yang dibenarkan, tetapi bukan situasi yang bisa disebut sebagai pengetahuan.

• Kasus Gettier dalam rekayasa perangkat lunak

  • CTO di Genius, perusahaan tempat penulis pernah bekerja, sangat tertarik pada kasus Gettier dan menyebutnya sebagai "gettier".
  • Dalam pengembangan perangkat lunak, situasi yang mirip dengan kasus Gettier seperti ini sering dijumpai.
  • Misalnya, ketika mencoba memperbaiki masalah fokus pada kolom pencarian di aplikasi web, ternyata masalah tersebut sebenarnya muncul karena pengembang lain mengubah framework.

• Lahirnya istilah baru

  • Para filsuf mungkin tidak menganggap kasus seperti ini sebagai kasus Gettier yang sesungguhnya, tetapi bagi para pengembang ini adalah konsep yang berguna.
  • Konsep ini berguna untuk menjelaskan situasi masalah yang bisa memiliki banyak penyebab, ketika seseorang menjadi yakin pada satu penyebab tertentu.
  • Melalui konsep ini, pengembang dapat mengambil pendekatan yang lebih hati-hati saat memecahkan masalah.

Ringkasan GN⁺

• Kasus Gettier bukan hanya konsep penting dalam filsafat, tetapi juga dalam rekayasa perangkat lunak, dan dapat membantu dalam menyelesaikan masalah yang kompleks.
• Pengembang perangkat lunak sering menghadapi masalah dengan berbagai penyebab yang saling terkait, sehingga penting untuk memahami dan mengantisipasi situasi seperti ini.
• Artikel ini memberikan contoh menarik yang dapat membantu pengembang berpikir lebih mendalam saat memecahkan masalah.
• Sebagai proyek dengan fungsi serupa, berbagai alat debugging open source di GitHub bisa direkomendasikan.

[GN⁺]

Komentar Hacker News

• Ada lelucon untuk menipu para filsuf dengan memakai latar layar yang sama persis dengan latar belakang nyata saat rapat Zoom dengan mereka

  • Sebagai mahasiswa filsafat, perdebatan tentang masalah Gettier cukup populer
  • Sepertinya makalah Gettier populer karena pendek
  • Saya pikir ini adalah perdebatan tanpa akhir tentang definisi pengetahuan

• Pengetahuan dan kebenaran adalah konsep yang tersentralisasi

  • Model itu tidak sempurna, bersifat sementara, dan ada banyak macamnya
  • Dalam pemrograman, ini disebut abstraksi
  • Kesadaran, pemahaman, kecerdasan, dan sebagainya sulit dijelaskan dengan cara yang tersentralisasi
  • Pencarian adalah konsep yang terdistribusi dan mencakup semua fungsi mental

• Pembenaran adalah skala dari 0 sampai 1

  • Dalam dunia yang kompleks, tidak semua orang bisa menjadi seperti dewa
  • Asumsi yang keliru menekankan JTB
  • Bahkan pengetahuan yang salah mungkin tidak penting jika semua orang setuju

• Dalam perdebatan filsafat, kata "tahu" mengalami kelebihan beban makna

  • "Tahu" yang pertama adalah keyakinan
  • Sains berusaha membuat keyakinan semakin mendekati fakta
  • "Tahu" yang kedua adalah konsep yang sesuai dengan kebenaran absolut

• Kasus Gettier memberi tahu kita hal-hal menarik tentang kebenaran dan pengetahuan

  • Klaim faktual harus menggambarkan penyebab efektif dari klaim tersebut
  • Pernyataan harus memiliki hubungan kausal dan deskriptif dengan dunia

• Filsafat analitik hanyalah sebagian dari filsafat, dan ada banyak mahasiswa yang menginginkan filsafat yang lebih luas dan lebih kaya