Различните дисциплини, които съставляват науката, могат да бъдат подредени от три параметъра: от обекта на изследване, от използвания метод и от предназначението му. Друг класификационен модел се състои в разделяне на науките на две основни групи: формалните науки и фактическите или емпиричните науки.

Официалните

Логиката и математиката са две формални дисциплини, защото нямат конкретно емпирично съдържание, както се случва с биологията, метеорологията или историята.

Логиката е чисто формална и абстрактна дисциплина. В строг смисъл той няма наблюдаемо, измеримо и осезаемо съдържание. Това всъщност е набор от правила, приложими за всякакъв вид знания, било то научни или ежедневни.

Правилата на логиката са тези, които ни позволяват да мислим последователно и рационално. По този начин не мога да кажа, че нещо е и не е едновременно, защото нарушавам принципа на несъвместимост и не мога да потвърдя, че нещо не е идентично с него, защото противореча на принципа на идентичност.

Математиката е чисто абстрактна, тъй като съдържанието й е ментално, а не материално

Нека си спомним, че числата не съществуват никъде в природата, тъй като те са изобретения на човешкия ум, за да разкажат или изчислят нещо за реалността. В този смисъл аритметика, геометрия или алгебра са математически дисциплини, които се основават на поредица от принципи, които могат да бъдат рационално демонстрирани.

Ако вземем каквото и да е математическо уравнение за еталон, неговото формулиране е валидно напълно независимо от реалността.

В обобщение логиката и математиката съставят формални системи, които включват поредица от елементи: аксиоми, символи, правила на извода и теореми. Тези елементи се изразяват под формата на изявления, които се описват чрез знаци.

Фактите предполагат формална наука

Наборът от дисциплини, които се занимават с изучаване на факти, се нуждае от формална структура, за да може обектът им да има смисъл. От друга страна, за да се докаже, че твърдение от биология или химия е официално вярно, трябва да има връзка с емпиричните данни.

Накратко, формалните науки се проектират в света на наблюдаемите факти. Ако вземем за теория теорията на Питагор, формулирането й е валидно за всяка реалност, в която има прав ъгъл, образуващ десен триъгълник.

В обобщение, формалните науки и фактическите науки са взаимно допълващи се и не трябва да се възприемат като независими области на знанието.

Снимки: Fotolia - Artisticco / Сергей Богданов