Formaliųjų mokslų apibrėžimas

Skirtingas mokslą sudarančias disciplinas galima suskirstyti pagal tris parametrus: pagal tyrimo objektą, pagal naudojamą metodą ir tikslą. Kitas klasifikavimo modelis susideda iš mokslų padalijimo į dvi pagrindines grupes: formaliuosius ir faktinius ar empirinius.

Formalieji

Logika ir matematika yra dvi oficialios disciplinos, nes jos neturi konkretaus empirinio turinio, kaip atsitinka su biologija, meteorologija ar istorija.

Logika yra grynai formali ir abstrakti disciplina. Griežta prasme jis neturi pastebimo, išmatuojamo ir apčiuopiamo turinio. Tai iš tikrųjų taisyklių rinkinys, taikytinas bet kokio pobūdžio žinioms, nesvarbu, ar tai būtų mokslinis, ar kasdienis gyvenimas.

Logikos taisyklės yra tokios, kurios leidžia mąstyti darniai ir racionaliai. Taigi aš negaliu pasakyti, kad kažkas yra ir nėra tuo pačiu metu, nes aš pažeidžiu neprieštaravimo principą ir negaliu patvirtinti, kad kažkas savaime nėra tapatus, nes prieštarauja tapatybės principui.

Matematika yra grynai abstrakti, nes jos turinys yra psichinis, o ne materialus

Atminkime, kad skaičiai niekur gamtoje neegzistuoja, nes tai yra žmogaus proto išradimai, norintys ką nors papasakoti ar apskaičiuoti apie tikrovę. Šia prasme aritmetika, geometrija ar algebra yra matematikos disciplinos, grindžiamos principų, kuriuos galima racionaliai įrodyti, seka.

Jei imame bet kokią matematinę lygtį kaip atskaitą, jos formuluotė galioja visiškai nepriklausomai nuo tikrovės.

Apibendrinant galima pasakyti, kad logika ir matematika sudaro formalias sistemas, apimančias daugybę elementų: aksiomų, simbolių, išvadų taisyklių ir teoremų. Šie elementai išreiškiami teiginiais, kurie aprašomi ženklais.

Faktai reiškia formalų mokslą

Disciplinų, nagrinėjančių faktus, rinkiniui reikalinga oficiali struktūra, kad jie turėtų prasmę. Kita vertus, norint parodyti, kad biologijos ar chemijos teiginiai yra formalūs, turi būti koreliacija su empiriniais duomenimis.

Trumpai tariant, formalieji mokslai projektuojami į stebimų faktų pasaulį. Jei paimsime Pitagoro teoremą kaip nuorodą, jos formuluotė tinka bet kuriai tikrovei, kurioje yra stačiakampis, sudarantis stačiakampį trikampį.

Apibendrinant galima pasakyti, kad formalieji ir faktiniai mokslai yra vienas kitą papildantys ir neturėtų būti laikomi savarankiškomis žinių sritimis.

Nuotraukos: „Fotolia“ - „Artisticco“ / Sergejus Bogdanovas

Susiję Straipsniai