El teorema de Bayes como la versión modal del modus tollens
El otro día alguien argumentaba (de una manera que no voy a adjetivar):
- La lógica (proposiciona, de primer orden) es importante (si lo que se pretende es actuar racionalment), la probabilidad no tanto.
- El teorema de Bayes es solo un resultado trivial dentro de una disciplina mucho menos relevante que la lógica.
- Ergo, ¿por qué tanto coñacito con el dichoso teorema de Bayes?
Como había alguien equivocado en internet, sonaron todas las alarmas que tengo colocadas en casa y tuve que acudir a enderezar el tuerto. Así, respondí algo así como que:
