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