Epistemologie formală
Epistemologia formală folosește metode formale de teorie a deciziilor , logică , teoria probabilităților și teoria calculabilității pentru a raționa asupra problemelor de interes epistemologic . Activitatea în acest domeniu cuprinde mai multe domenii academice, inclusiv filozofie , informatică , economie și statistici . Scopul epistemologiei formale diferă de cel al epistemologiei tradiționale , tratând subiecte precum incertitudinea, inducerea și revizuirea credințelor față de care își rezervă mai multă atenție decât analiza tradițională a cunoștințelor.
Istorie
Creșterea popularității epistemologiei formale poate fi parțial atribuită organizării anuale, din 2004, a unui atelier de epistemologie formală de Branden Fitelson și Sahotra Sarkar și a conferințelor PHILOG (începând cu 2002), acestea organizate recent de Vincent F. Hendricks.
Subiecte acoperite de epistemologia formală
- Logică inductivă ;
- Teoria jocurilor și teoria deciziilor ;
- Teoria învățării algoritmice ;
- Abordări formale ale paradoxurilor credinței și / sau acțiunii;
- Teorii formale ale coerenței și confirmării;
- Bazele probabilității și statisticilor ;