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

от Уикипедия, свободната енциклопедия
Jump to navigation Jump to search
Част от серията статии за
наука
PrirodneNauke.svg
Природни науки
Социални науки
Приложни науки
Формални науки
Хуманитаристика

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

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

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