Trường hợp Gettier trong kỹ nghệ phần mềm (2019)

Bài luận ba trang làm rung chuyển triết học: Gettier trong kỹ nghệ phần mềm

• Giới thiệu về trường hợp Gettier

  • Năm 1963, triết gia Edmund Gettier đã công bố bài luận "Is Justified True Belief Knowledge?" và tạo ảnh hưởng lớn đến giới triết học.
  • Theo truyền thống, tri thức được định nghĩa là 'niềm tin đúng được biện minh', nhưng Gettier đã đưa ra các trường hợp phản bác định nghĩa này.
  • Ví dụ, hãy tưởng tượng một tình huống bạn nghĩ rằng mình đang nhìn thấy một con bò ngoài cánh đồng, nhưng thực ra lại đang nhìn một mô hình làm bằng giấy. Nếu phía sau đó có một con bò thật, thì đây là một niềm tin đúng được biện minh, nhưng không thể gọi là tri thức.

• Trường hợp Gettier trong kỹ nghệ phần mềm

  • CTO của Genius, công ty nơi tác giả từng làm việc, rất quan tâm đến các trường hợp Gettier và gọi chúng là "gettier".
  • Trong phát triển phần mềm, ta có thể thường xuyên gặp những tình huống tương tự trường hợp Gettier như vậy.
  • Chẳng hạn, người ta cố gắng sửa lỗi focus của trường tìm kiếm trong ứng dụng web, nhưng thực tế vấn đề lại phát sinh do một lập trình viên khác thay đổi framework.

• Sự ra đời của một thuật ngữ mới

  • Các triết gia có thể không xem những trường hợp này là các trường hợp Gettier đúng nghĩa, nhưng với lập trình viên thì đây là một khái niệm hữu ích.
  • Nó hữu ích để mô tả những tình huống sự cố có thể có nhiều nguyên nhân, nhưng ta lại hình thành niềm tin vào chỉ một nguyên nhân.
  • Thông qua khái niệm này, lập trình viên có thể tiếp cận việc giải quyết vấn đề một cách cẩn trọng hơn.

Tóm tắt của GN⁺

• Trường hợp Gettier là một khái niệm quan trọng không chỉ trong triết học mà còn trong kỹ nghệ phần mềm, và có thể giúp ích cho việc giải quyết các vấn đề phức tạp.
• Lập trình viên phần mềm thường xuyên đối mặt với các vấn đề mà nhiều nguyên nhân khác nhau đan xen, nên việc hiểu và chuẩn bị cho những tình huống như vậy là rất quan trọng.
• Bài viết này cung cấp một ví dụ thú vị giúp các lập trình viên suy nghĩ sâu sắc hơn khi giải quyết vấn đề.
• Có thể gợi ý các công cụ gỡ lỗi mã nguồn mở đa dạng trên GitHub như những dự án có chức năng tương tự.

[GN⁺]

Ý kiến trên Hacker News

• Có một trò đùa là dùng hình nền màn hình giống hệt bối cảnh thật trong các cuộc họp Zoom với các triết gia để đánh lừa họ

  • Với tư cách là người học chuyên ngành triết, đã có nhiều tranh luận về vấn đề Gettier
  • Có lẽ bài báo của Gettier nổi tiếng vì nó ngắn
  • Tôi nghĩ đây là cuộc tranh luận bất tận về định nghĩa của tri thức

• Tri thức và chân lý là những khái niệm tập trung

  • Mô hình thì không hoàn hảo, mang tính tạm thời và tồn tại dưới nhiều dạng
  • Trong lập trình, điều này được gọi là trừu tượng hóa
  • Ý thức, sự thấu hiểu, trí thông minh... khó có thể được giải thích theo cách tập trung
  • Tìm kiếm là một khái niệm phân tán bao hàm mọi chức năng tinh thần

• Sự biện minh là một thang đo từ 0 đến 1

  • Trong một thế giới phức tạp, không ai có thể trở thành thần thánh
  • Những giả định sai lầm làm nhấn mạnh JTB
  • Ngay cả tri thức sai, nếu mọi người đều đồng ý, có thể cũng không quan trọng

• Trong các cuộc tranh luận triết học, từ "biết" bị quá tải nghĩa

  • Nghĩa thứ nhất của "biết" là niềm tin
  • Khoa học cố gắng làm cho niềm tin tiến gần hơn tới sự thật
  • Nghĩa thứ hai của "biết" là khái niệm phù hợp với chân lý tuyệt đối

• Các trường hợp Gettier cho ta thấy những điểm thú vị về chân lý và tri thức

  • Một khẳng định về sự kiện phải mô tả nguyên nhân hiệu quả của chính khẳng định đó
  • Phát biểu phải có quan hệ nhân quả và quan hệ mô tả với thế giới

• Triết học phân tích chỉ là một phần của triết học, và có nhiều sinh viên muốn một nền triết học rộng hơn, phong phú hơn