Формална наука - шта је то, дефиниција и појам

Формална наука је скуп рационалног и уређеног знања, који проучава појаве из апстракције, а са циљем уопштавања закона или теорија.

Стога можемо рећи да су они неопходни за знање. Захваљујући њима, они се могу применити на стварност. С друге стране, због свог приступа знању, метода која се користи је дедукција.

Математика и формалне науке

Можда се математика може сматрати формалном науком пар екцелленце. Проучавају апстрактне структуре и односе. Да би постигли свој циљ, полазе од аксиома који се развијају логичким закључивањем. Стога је њихово учење од суштинске важности.

Поред тога, користи формални и универзални језик који омогућава свима који га знају да га разумеју. На тај начин сви знају најчешће симболе, као што су сабирање (+), одузимање (-) или други попут квадратног корена или интеграла.

Логика и формална наука

Логика је грана филозофије која проучава доказе, заблуде и још сличних питања. Унутар њега, део који се односи на математику користи своје формалне системе да донесе закључке.

Стога је у формалној науци логика више него неопходна. У ствари, врло је често у економији коришћење ове врсте резоновања. На пример, аустријска школа користи праксеологију за студије ове друштвене науке.

Рачунарска наука

У овом случају суочени смо са формалном науком која проучава теоријске основе рачунарства.

На тај начин, алгоритми, попут Гоогле-ових, заснивају се на поменутим формалним прописима, примењујући их на стварне проблеме.

Стога је данас дигитални свет могућ захваљујући теорији која га заснива. Без ових теоријских аспеката, ходали би слепо и са последичним ризиком. Отуда и значај ове врсте науке.

Формални научни пример

Да видимо, за крај, неке примере који се могу чинити очигледним, али који савршено одражавају дедуктивну методу која се користи у овој врсти науке.

• Замислимо да у биологији полазимо од аксиома. Овце не лете. С друге стране, знамо да летеће животиње имају крила. Закључак је да овце неће имати крила. Очигледно је, али у стварности су појаве много компликованије.
• У криминологији. Убица је био црнац. Главни осумњичени је оријентални. Ово неће бити убица. Опет је стварност много сложенија, али метода је иста.
• Овај последњи пример био би супротан, користећи индуктивну методу. Мој деда је добио затвор, мој деда је мушкарац, мушкарци имају затвор. Као што видимо, у овом случају идемо од посебног ка општем.

То су врло једноставни примери, али њима смо желели да покажемо како дедуктивна метода која се користи у формалној науци функционише насупрот индуктивној. У ствари, стварност је, као што смо већ поменули, много сложенија. Наравно, много пута можемо да му приступимо једноставно.