Примери формалних наука

Тхе формална наука су они у којима аналитичке пропозиције узимају изјаве математике и логике. На овај начин, његово подручје проучавања није стварни свет, већ идеални свет, празни облици садржаја него у многи случајеви можда нису у потпуности уочљиви, али су ваљани аналитички алати за разумевање стварност. На пример: статистика, логика, математика.

За формалне науке је карактеристично да не долазе у сукоб са стварношћу, јер немају одговорност да буду проверљиве. Напротив, формалне науке треба да користе пропозиције да су доказиви у логичком смислу и да се могу догодити: у супротном, ове науке користе „аксиоме“ који су саморазумљиви предлози који се прихватају без потребе за претходним доказом.

Употреба аксиома повезана је са уобичајеним методом ове врсте науке, а то је Дедуктивна метода: узимање аксиома као почетне тачке, а затим наставак изведеног поступка, долазак до пропозиције као неопходне логичке последице претходних пропозиција. Тада се каже да се формални систем састоји од следећег:

Може вам послужити:

Они се противе чињеничним наукама

Обично појам формалних наука долази у супротности са чињенична наука, који су ти који проучавају чињенице. И једно и друго веома су важни у данашњем свету, јер су допуна између њих двоје: допринос неких фундаменталних наука ономе што је технолошки напредак (као што је тхе хемија или рачунарство) подржавају формални системи попут математике.

Примери формалних наука

1. Теоријска информатика. Подјела у оквиру рачунарства која се фокусира на апстрактније и математичке аспекте подручја. Укључује анализу алгоритама и посебно формалну семантику програмски језици.
2. Статистика. Наука која је одговорна за прикупљање, организовање, обраду, анализу и тумачење података како би се утврдиле карактеристике а Популација објективан.
3. Логика. Дисциплина која проучава формалне поступке разума, покушавајући да формалним пропозицијама зна коју врсту поступака користи људски мозак.
4. Математика. Дедуктивна наука која је посвећена проучавању својстава апстрактних ентитета и њихових односа. Ради са бројеви, симболи и геометријске фигуре.
5. Теорија система. Интердисциплинарно проучавање система уопште, како би се проучили принципи применљиви на системе на било ком нивоу у свим пољима истраживања.

Пратите са: