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