O caso Gettier da engenharia de software (2019)

O artigo de três páginas que abalou a filosofia: o Gettier da engenharia de software

• Introdução ao caso Gettier

  • Em 1963, o filósofo Edmund Gettier publicou o artigo "Is Justified True Belief Knowledge?", causando grande impacto no meio filosófico.
  • Tradicionalmente, o conhecimento era definido como 'crença verdadeira justificada', mas Gettier apresentou casos que refutavam essa definição.
  • Por exemplo, imagine uma situação em que você acha que está vendo uma vaca no campo, mas na verdade está olhando para uma maquete de papel. Se houver uma vaca real atrás dela, isso constitui uma crença verdadeira justificada, mas não uma situação que possa ser chamada de conhecimento.

• O caso Gettier na engenharia de software

  • O CTO da Genius, empresa onde o autor trabalhou, tinha grande interesse em casos Gettier e os chamava de "gettier".
  • No desenvolvimento de software, é comum encontrar situações semelhantes a esses casos Gettier.
  • Por exemplo, tentou-se resolver um problema de foco em um campo de busca em uma aplicação web, mas na realidade o problema havia sido causado porque outro desenvolvedor alterou o framework.

• O nascimento de um novo termo

  • Filósofos talvez não considerem esses exemplos como verdadeiros casos Gettier, mas para desenvolvedores é um conceito útil.
  • Ele é útil para descrever situações problemáticas em que pode haver várias causas, mas se passa a acreditar em apenas uma delas.
  • Com esse conceito, os desenvolvedores podem abordar a resolução de problemas com mais cuidado.

Resumo do GN⁺

• O caso Gettier é um conceito importante não só na filosofia, mas também na engenharia de software, podendo ajudar na resolução de problemas complexos.
• Desenvolvedores de software frequentemente se deparam com problemas em que diversas causas se entrelaçam, e é importante entender e se preparar para esse tipo de situação.
• Este texto oferece um caso interessante que pode ajudar desenvolvedores a pensar de forma mais profunda ao resolver problemas.
• Como projetos com funções semelhantes, é possível recomendar várias ferramentas de depuração open source do GitHub.

[GN⁺]

Comentários do Hacker News

• Houve uma piada em uma reunião no Zoom com filósofos em que alguém os enganou usando um fundo de tela igual ao ambiente real ao fundo

  • Como estudante de filosofia, havia muito interesse em debates sobre o problema de Gettier
  • Acho que o artigo de Gettier ficou popular por ser curto
  • Parece uma discussão interminável sobre a definição de conhecimento

• Conhecimento e verdade são conceitos centralizados

  • Modelos são incompletos, temporários e existem em várias formas
  • Em programação, chamamos isso de abstração
  • Consciência, compreensão, inteligência etc. são difíceis de explicar de forma centralizada
  • A recuperação é um conceito descentralizado que abrange todas as funções mentais

• A justificação está em uma escala de 0 a 1

  • Ninguém pode se tornar como um deus em um mundo complexo
  • Pressupostos equivocados enfatizam o JTB
  • Mesmo um conhecimento incorreto pode não importar se todos concordarem com ele

• Em debates filosóficos, a palavra "saber" fica sobrecarregada

  • O primeiro "saber" é crença
  • A ciência tenta aproximar a crença dos fatos
  • O segundo "saber" é um conceito que coincide com a verdade absoluta

• Os casos de Gettier mostram pontos interessantes sobre verdade e conhecimento

  • Afirmações factuais devem descrever a causa eficiente daquela afirmação
  • Enunciados devem ter uma relação causal e descritiva com o mundo

• A filosofia analítica é apenas uma parte da filosofia, e há muitos estudantes que querem uma filosofia mais ampla e mais rica