El caso Gettier de la ingeniería de software (2019)

El artículo de tres páginas que sacudió a la filosofía: el Gettier de la ingeniería de software

• Introducción a los casos Gettier

  • En 1963, el filósofo Edmund Gettier publicó un artículo titulado "Is Justified True Belief Knowledge?", que tuvo un gran impacto en el mundo de la filosofía.
  • Tradicionalmente, el conocimiento se definía como una "creencia verdadera justificada", pero Gettier presentó casos que refutaban esa definición.
  • Por ejemplo, se puede imaginar una situación en la que crees que estás viendo una vaca en un campo, pero en realidad estás mirando una maqueta de cartón. Si detrás de ella hay una vaca real, esto sería una creencia verdadera justificada, pero no una situación que pueda considerarse conocimiento.

• Casos Gettier en la ingeniería de software

  • El CTO de Genius, la empresa donde trabajó el autor, estaba muy interesado en los casos Gettier y los llamaba "gettier".
  • En el desarrollo de software, es común encontrarse con situaciones similares a estos casos Gettier.
  • Por ejemplo, se intentó resolver un problema de foco en el campo de búsqueda de una aplicación web, pero en realidad el problema había sido provocado porque otro desarrollador cambió el framework.

• El nacimiento de un nuevo término

  • Puede que los filósofos no consideren estos ejemplos como verdaderos casos Gettier, pero para los desarrolladores es un concepto útil.
  • Sirve para describir situaciones problemáticas en las que puede haber varias causas y uno termina creyendo en una de ellas.
  • A través de este concepto, los desarrolladores pueden abordar la resolución de problemas con más cuidado.

Resumen de GN⁺

• Los casos Gettier son un concepto importante no solo en la filosofía, sino también en la ingeniería de software, y pueden ayudar a resolver problemas complejos.
• Los desarrolladores de software se enfrentan con frecuencia a problemas donde se entrelazan múltiples causas, y es importante entender y anticiparse a estas situaciones.
• Este artículo ofrece un caso interesante que puede ayudar a los desarrolladores a pensar con más profundidad al resolver problemas.
• Como proyectos con funciones similares, se pueden recomendar varias herramientas de depuración open source de GitHub.

[GN⁺]

Opinión de Hacker News

• Había una broma en la que se engañaba a filósofos en una reunión por Zoom usando un fondo de pantalla igual al entorno real

  • Como estudiante de filosofía, los debates sobre el problema de Gettier eran populares
  • Creo que el artículo de Gettier se volvió popular porque era corto
  • Pienso que es un debate interminable sobre la definición del conocimiento

• El conocimiento y la verdad son conceptos centralizados

  • Los modelos son incompletos, temporales y existen varios
  • En programación, a esto se le llama abstracción
  • La conciencia, la comprensión y la inteligencia son difíciles de explicar de forma centralizada
  • La recuperación es un concepto descentralizado que abarca todas las funciones mentales

• La justificación es una escala de 0 a 1

  • En un mundo complejo, no todos pueden ser como dioses
  • Suposiciones erróneas enfatizan la JTB
  • Incluso si un conocimiento es incorrecto, puede no importar si todos están de acuerdo

• En los debates filosóficos, la palabra "saber" está sobrecargada

  • El primer "saber" es creencia
  • La ciencia intenta acercar las creencias a los hechos
  • El segundo "saber" es un concepto que coincide con la verdad absoluta

• Los casos de Gettier enseñan cosas interesantes sobre la verdad y el conocimiento

  • Las afirmaciones fácticas deben describir la causa efectiva de esa afirmación
  • Los enunciados deben tener una relación causal y descriptiva con el mundo

• La filosofía analítica es solo una parte de la filosofía, y hay muchos estudiantes que quieren una filosofía más amplia y rica