Задаволены
фармальная навука Менавіта ў іх аналітычныя палажэнні прымаюць вынікі матэматыкі і логікі. Такім чынам, яго вобласць даследаванняў - не рэальны свет, а ідэальны свет, пустыя формы зместу, якія ў многіх выпадках не могуць быць цалкам назіраемымі, але якія з'яўляюцца сапраўднымі аналітычнымі інструментамі для разумення рэальнасці.
Афіцыйныя навукі характарызуюцца тым, што не ўступаюць у канфлікт з рэальнасцю, бо яны не нясуць адказнасці за праверку. Наадварот, фармальнымі навукамі трэба карыстацца прапановы, якія можна лагічна паказаць, і тое, што яны могуць адбыцца: у адваротным выпадку гэтыя навукі выкарыстоўваюць "аксіёмы", якія ўяўляюць сабой зразумелыя меркаванні, якія прымаюцца без папярэдніх доказаў.
Выкарыстанне аксіём звязана са звычайным метадам навукі гэтага тыпу, які з'яўляецца Дэдуктыўны метад: прымаючы аксіёмы як зыходную кропку, а потым зыходзячы з вытворных, прыходзячы да прапаноў як неабходных лагічных наступстваў папярэдніх палажэнняў. Тады гаворыцца, што фармальная сістэма складаецца з наступнага:
- Канечны набор сімвалы якія выкарыстоўваюцца для пабудовы формул.
- А граматыка фармальны, як механізм пабудовы правільна сфарміраваных формул.
- Набор аксіёмы
- Набор правілы вываду
- Набор тэарэмы які ўключае ў сябе ўсё, што можна атрымаць з аксіём.
Яны выступаюць супраць фактычных навук
Звычайна паняцце фармальных навук ідзе ў апазіцыю да фактычная навука, якія вывучаюць факты. І адно, і другое вельмі важна ў сучасным свеце, бо яны з'яўляюцца дапаўненнем паміж імі: уклад некаторых фундаментальных навук у тое, што з'яўляецца тэхнічным авансам (напрыклад, хімія ці інфарматыка), падтрымліваецца фармальнымі сістэмамі, такімі як матэматыкі.
Прыклады фармальнай навукі
- Тэарэтычная інфарматыка: Аддзел у галіне інфарматыкі, які факусуюць на найбольш абстрактных і матэматычных аспектах гэтай вобласці. Ён уключае аналіз алгарытмаў і асабліва фармальнай семантыкі моў праграмавання.
- Статыстыка: Навука, якая адказвае за збор, арганізацыю, апрацоўку, аналіз і інтэрпрэтацыю дадзеных для вывядзення характарыстык мэтавай групы.
- Лагічнасць: Дысцыпліна, якая вывучае фармальныя працэдуры розуму, спрабуючы даведацца, якія працэдуры выкарыстоўваюцца чалавечым мозгам праз афіцыйныя прапановы.
- Матэматыка: Дэдуктыўная навука, прысвечаная вывучэнню ўласцівасцей абстрактных адзінак і іх узаемасувязяў. Працуе з лічбамі, сімваламі і геаметрычнымі фігурамі.
- Тэорыя сістэм: Міждысцыплінарнае вывучэнне сістэм у цэлым з мэтай вывучэння прынцыпаў, якія прымяняюцца да сістэм любога ўзроўню ва ўсіх галінах даследаванняў.
Іншыя віды навукі:
- Прыклады чыстых і прыкладных навук
- Прыклады цвёрдых і мяккіх навук
- Прыклады дакладных навук
- Прыклады з грамадскіх навук
- Прыклады прыродазнаўчых навук
