Формални науки

Формалните науки са дисциплини, занимаващи се с формални системи, като логика, математика, теоретични компютърни науки, теория на информацията, теория на игрите, теория на системите, теория на решението, както и части от лингвистиката.

Докато природните науки и други науки като социалните науки, поведенческите науки и когнитивната наука търсят научната теория и научния метод по отношение на наблюденията, за да могат успешно да предскажат и може би точно да обяснят явленията във външния свят, формалните науки се занимават повече с вътрешните свойства на формалните системи, особено определенията на термините и правилата, които спомагат да се правят изводи.

Формалните науки понякога подпомагат изграждане, оценка и тестване на научни теории и научни модели, обаче чрез разкриване на несъответствия или невалидни форми на изводи.