กรณี Gettier ในวิศวกรรมซอฟต์แวร์ (2019)

 (jsomers.net)
1 คะแนน โดย GN⁺ 2024-10-16 | 1 ความคิดเห็น | แชร์ทาง WhatsApp

บทความสามหน้าที่สั่นสะเทือนวงการปรัชญา: Gettier ในวิศวกรรมซอฟต์แวร์

  • แนะนำกรณี Gettier

    • ในปี 1963 นักปรัชญา Edmund Gettier ได้ตีพิมพ์บทความชื่อ "Is Justified True Belief Knowledge?" ซึ่งสร้างอิทธิพลอย่างมากต่อวงการปรัชญา
    • โดยดั้งเดิมแล้ว ความรู้ถูกนิยามว่าเป็น 'ความเชื่อที่เป็นจริงและมีเหตุผลรองรับ' แต่ Gettier ได้นำเสนอตัวอย่างที่โต้แย้งนิยามนี้
    • ตัวอย่างเช่น ลองจินตนาการถึงสถานการณ์ที่คุณคิดว่ากำลังมองวัวอยู่ในทุ่ง แต่จริง ๆ แล้วสิ่งที่เห็นคือหุ่นจำลองที่ทำจากกระดาษ หากมีวัวจริงอยู่ด้านหลัง นี่ก็เป็นความเชื่อที่เป็นจริงและมีเหตุผลรองรับ แต่ไม่อาจเรียกว่าเป็นความรู้ได้

  • กรณี Gettier ในวิศวกรรมซอฟต์แวร์

    • CTO ของ Genius บริษัทที่ผู้เขียนเคยทำงานอยู่ สนใจกรณี Gettier มาก และเรียกสิ่งนี้ว่า "gettier"
    • ในการพัฒนาซอฟต์แวร์ เรามักพบสถานการณ์ที่คล้ายกับกรณี Gettier อยู่บ่อยครั้ง
    • ตัวอย่างเช่น มีความพยายามจะแก้ปัญหาโฟกัสของช่องค้นหาในเว็บแอปพลิเคชัน แต่สาเหตุที่แท้จริงคือมีนักพัฒนาคนอื่นเปลี่ยนเฟรมเวิร์ก

  • การถือกำเนิดของคำศัพท์ใหม่

    • นักปรัชญาอาจไม่มองว่าสิ่งเหล่านี้เป็นกรณี Gettier ที่แท้จริง แต่สำหรับนักพัฒนาแล้ว มันเป็นแนวคิดที่มีประโยชน์
    • มันมีประโยชน์ในการอธิบายสถานการณ์ปัญหาที่อาจมีหลายสาเหตุ และเรากลับไปยึดถือความเชื่อเกี่ยวกับสาเหตุเพียงอย่างเดียว
    • ด้วยแนวคิดนี้ นักพัฒนาสามารถเข้าหาการแก้ปัญหาได้อย่างรอบคอบมากขึ้น

สรุปโดย GN⁺

  • กรณี Gettier ไม่ได้สำคัญแค่ในปรัชญา แต่ยังเป็นแนวคิดสำคัญในวิศวกรรมซอฟต์แวร์ และอาจช่วยในการแก้ปัญหาที่ซับซ้อนได้
  • นักพัฒนาซอฟต์แวร์มักต้องเผชิญกับปัญหาที่มีหลายสาเหตุพัวพันกันอยู่เสมอ และการเข้าใจพร้อมเตรียมรับมือกับสถานการณ์เช่นนี้เป็นเรื่องสำคัญ
  • บทความนี้นำเสนอตัวอย่างที่น่าสนใจซึ่งช่วยให้นักพัฒนาคิดลึกขึ้นเมื่อแก้ปัญหา
  • โปรเจ็กต์ที่มีฟังก์ชันคล้ายกันสามารถแนะนำเป็นเครื่องมือดีบักโอเพนซอร์สต่าง ๆ บน GitHub ได้

บทความที่เกี่ยวข้อง

1 ความคิดเห็น

 
GN⁺ 2024-10-16
ความคิดเห็นจาก Hacker News

  • มีมุกที่ใช้ฉากหลังหน้าจอเดียวกับพื้นหลังจริงในการประชุม Zoom กับนักปรัชญาเพื่อหลอกพวกเขา

    • ในฐานะคนเรียนปรัชญา การถกเถียงเรื่องปัญหา Gettier เคยเป็นที่นิยม
    • ดูเหมือนว่าบทความของ Gettier จะได้รับความนิยมเพราะสั้น
    • คิดว่าเป็นการถกเถียงไม่รู้จบเกี่ยวกับนิยามของความรู้

  • ความรู้และความจริงเป็นแนวคิดแบบรวมศูนย์

    • โมเดลทั้งหลายไม่สมบูรณ์ เป็นเพียงชั่วคราว และมีได้หลายแบบ
    • ในการเขียนโปรแกรม เราเรียกสิ่งนี้ว่า abstraction
    • สติ ความเข้าใจ สติปัญญา เป็นต้น อธิบายด้วยวิธีแบบรวมศูนย์ได้ยาก
    • การค้นคืนเป็นแนวคิดแบบกระจายศูนย์ที่ครอบคลุมการทำงานทางจิตทั้งหมด

  • การให้เหตุผลรองรับเป็นสเกลตั้งแต่ 0 ถึง 1

    • ในโลกที่ซับซ้อน ทุกคนไม่อาจเป็นดั่งพระเจ้าได้
    • สมมติฐานที่ผิดพลาดทำให้มีการเน้น JTB
    • ต่อให้เป็นความรู้ที่ผิด หากทุกคนเห็นพ้องกัน ก็อาจไม่สำคัญ

  • ในการถกเถียงทางปรัชญา คำว่า "รู้" ถูกใช้งานเกินพิกัด

    • "รู้" แบบแรกคือความเชื่อ
    • วิทยาศาสตร์พยายามทำให้ความเชื่อเข้าใกล้ข้อเท็จจริงมากขึ้น
    • "รู้" แบบที่สองคือแนวคิดที่สอดคล้องกับความจริงสัมบูรณ์

  • กรณีตัวอย่างของ Gettier บอกอะไรที่น่าสนใจเกี่ยวกับความจริงและความรู้

    • ข้ออ้างเชิงข้อเท็จจริงควรอธิบายสาเหตุที่มีผลจริงของข้ออ้างนั้น
    • ถ้อยแถลงควรมีความสัมพันธ์ทั้งเชิงเหตุและผลและเชิงพรรณนากับโลก

  • ปรัชญาเชิงวิเคราะห์เป็นเพียงส่วนหนึ่งของปรัชญาเท่านั้น และมีนักศึกษาจำนวนมากที่ต้องการปรัชญาที่กว้างและลุ่มลึกกว่านี้