Формални науки
 | За информацията в тази статия или раздел не са посочени източници. Въпросната информация може да е непълна, неточна или изцяло невярна. Имайте предвид, че това може да стане причина за изтриването на цялата статия или раздел. |  |
| Част от серията статии за наука | |
| |
| Природни науки | |
|---|---|
| Социални науки | |
| Приложни науки | |
| Формални науки | |
| Хуманитаристика | |
Формалните науки са дисциплини с формални езици, занимаващи се с формални системи, като логика, математика, теоретични компютърни науки, теория на информацията, теория на игрите, теория на системите, теория на решението, както и части от лингвистиката.
Докато природните науки и други науки като социалните науки, поведенческите науки и когнитивната наука търсят научната теория и научния метод по отношение на наблюденията, за да могат успешно да предскажат и може би точно да обяснят явленията във външния свят, формалните науки се занимават повече с вътрешните свойства на формалните системи, особено определенията на термините и правилата, които спомагат да се правят изводи.
Формалните науки понякога подпомагат изграждане, оценка и тестване на научни теории и научни модели, обаче чрез разкриване на несъответствия или невалидни форми на изводи.