Формална наука - шта је то, дефиниција и појам
Формална наука је скуп рационалног и уређеног знања, који проучава појаве из апстракције, а са циљем уопштавања закона или теорија.
Стога можемо рећи да су они неопходни за знање. Захваљујући њима, они се могу применити на стварност. С друге стране, због свог приступа знању, метода која се користи је дедукција.
Математика и формалне науке
Можда се математика може сматрати формалном науком пар екцелленце. Проучавају апстрактне структуре и односе. Да би постигли свој циљ, полазе од аксиома који се развијају логичким закључивањем. Стога је њихово учење од суштинске важности.
Поред тога, користи формални и универзални језик који омогућава свима који га знају да га разумеју. На тај начин сви знају најчешће симболе, као што су сабирање (+), одузимање (-) или други попут квадратног корена или интеграла.
Логика и формална наука
Логика је грана филозофије која проучава доказе, заблуде и још сличних питања. Унутар њега, део који се односи на математику користи своје формалне системе да донесе закључке.
Стога је у формалној науци логика више него неопходна. У ствари, врло је често у економији коришћење ове врсте резоновања. На пример, аустријска школа користи праксеологију за студије ове друштвене науке.
Рачунарска наука
У овом случају суочени смо са формалном науком која проучава теоријске основе рачунарства.
На тај начин, алгоритми, попут Гоогле-ових, заснивају се на поменутим формалним прописима, примењујући их на стварне проблеме.
Стога је данас дигитални свет могућ захваљујући теорији која га заснива. Без ових теоријских аспеката, ходали би слепо и са последичним ризиком. Отуда и значај ове врсте науке.
Формални научни пример
Да видимо, за крај, неке примере који се могу чинити очигледним, али који савршено одражавају дедуктивну методу која се користи у овој врсти науке.
- Замислимо да у биологији полазимо од аксиома. Овце не лете. С друге стране, знамо да летеће животиње имају крила. Закључак је да овце неће имати крила. Очигледно је, али у стварности су појаве много компликованије.
- У криминологији. Убица је био црнац. Главни осумњичени је оријентални. Ово неће бити убица. Опет је стварност много сложенија, али метода је иста.
- Овај последњи пример био би супротан, користећи индуктивну методу. Мој деда је добио затвор, мој деда је мушкарац, мушкарци имају затвор. Као што видимо, у овом случају идемо од посебног ка општем.
То су врло једноставни примери, али њима смо желели да покажемо како дедуктивна метода која се користи у формалној науци функционише насупрот индуктивној. У ствари, стварност је, као што смо већ поменули, много сложенија. Наравно, много пута можемо да му приступимо једноставно.
