Formaliųjų mokslų pavyzdžiai

The formalusis mokslas yra tie, kuriuose analitiniai teiginiai yra pareiškimus matematikos ir logikos. Tokiu būdu jo tyrimo sritis yra ne realus pasaulis, o idealus pasaulis, tuščios turinio formos nei Daugelis atvejų gali būti ne visiškai pastebimi, tačiau jie yra tinkamos analitinės priemonės norint suprasti tikrovė. Pavyzdžiui: statistika, logika, matematika.

Formaliesiems mokslams būdinga tai, kad jie neprieštarauja tikrovei, nes jie neprivalo būti tikrinami. Priešingai, reikia naudoti formaliuosius mokslus pasiūlymai kad juos galima įrodyti logine prasme ir kad jie gali atsitikti: priešingu atveju šie mokslai naudoja „aksiomas“, kurios yra savaime suprantami teiginiai, priimami nereikalaujant išankstinio įrodymo.

Aksiomų naudojimas yra susijęs su įprastu šios rūšies mokslo metodu, kuris yra Dedukcinis metodas: imant aksiomas kaip atspirties tašką, tada einant išvestiniu būdu, pasiekiant pasiūlymai kaip būtinos ankstesnių teiginių loginės pasekmės. Taigi sakoma, kad oficialią sistemą sudaro šie dalykai:

Tai gali jums pasitarnauti:

Jie priešinasi faktiniams mokslams

Paprastai formaliųjų mokslų sąvoka prieštarauja faktinis mokslas, kurie tyrinėja faktus. Ir vienas, ir kitas yra labai svarbus šiandieniniame pasaulyje, nes jie yra papildymas tarp šių dviejų: kai kurių pagrindinių mokslų indėlis į technologinę pažangą (pvz., chemija arba kompiuterija) palaiko tokios formalios sistemos kaip matematika.

Formaliųjų mokslų pavyzdžiai

1. Teorinis kompiuterinis mokslas. Skirstymas informatikos srityje, kuriame daugiausia dėmesio skiriama abstraktesniems ir matematiniams šios srities aspektams. Tai apima algoritmų ir ypač formaliojo semantikos analizę programavimo kalbos.
2. Statistika. Mokslas, kuris yra atsakingas už duomenų rinkimą, tvarkymą, apdorojimą, analizavimą ir aiškinimą, siekiant nustatyti a gyventojų objektyvus.
3. Logika. Disciplina, tirianti formalias proto procedūras, bandant sužinoti, kokio tipo procedūras naudoja žmogaus smegenys, pateikdami oficialius pasiūlymus.
4. Matematika. Dedukcinis mokslas, skirtas abstrakčių subjektų savybių ir jų santykių tyrimams. Veikia su numeriai, simboliai ir geometrinės figūros.
5. Sistemų teorija. Tarpdisciplininis sistemų tyrimas apskritai, siekiant ištirti bet kokio lygio sistemoms taikomus principus visose tyrimų srityse.

Sekite su: