Példák a formális tudományokra

A formális tudomány azok, amelyekben az analitikai javaslatok a nyilatkozatok matematika és logika. Ily módon vizsgálati területe nem a valós világ, hanem az ideális világ, a tartalom üres formái, mint a sok eset nem feltétlenül figyelhető meg teljes mértékben, de ezek megfelelő analitikai eszközök a valóság. Például: statisztika, logika, matematika.

A formális tudományokat az jellemzi, hogy nem kerülnek konfliktusba a valósággal, mivel nem felelősek azért, hogy ellenőrizhetőek legyenek. Éppen ellenkezőleg, a formális tudományoknak használniuk kell javaslatok hogy logikai értelemben bizonyíthatók, és megtörténhetnek: különben ezek a tudományok olyan „axiómákat” használnak, amelyek magától értetődő javaslatok, amelyeket előzetes bizonyítás megkövetelése nélkül fogadnak el.

Az axiómák használata összefügg az ilyen típusú tudomány szokásos módszerével, amely a Deduktív módszer: az axiómákat vesszük kiindulópontnak, majd származtatott módon folytatjuk, és elérjük a javaslatok mint a korábbi javaslatok szükséges logikai következményei. Azt mondják tehát, hogy egy formális rendszer a következőkből áll:

Ez szolgálhat Önnek:

Ellenzik a ténytudományokat

A formális tudományok fogalma általában ellentmond a ténytudomány, amelyek tanulmányozzák a tényeket. Az egyik és a másik nagyon fontos a mai világban, mivel kiegészítik egymást a kettő között: néhány alapvető tudomány hozzájárulása a technológiai fejlődéshez (mint pl a kémia vagy számítástechnika) formális rendszerek, például matematika támogatják.

Példák a formális tudományokra

1. Elméleti számítástechnika. Az informatikán belüli felosztás, amely a terület elvontabb és matematikai szempontjaira összpontosít. Magában foglalja az algoritmusok elemzését, különös tekintettel a programozási nyelvek.
2. Statisztika. Az a tudomány, amely az adatok összegyűjtéséért, rendszerezéséért, feldolgozásáért, elemzéséért és értelmezéséért felelős a népesség célkitűzés.
3. Logika. Fegyelem, amely tanulmányozza az ész formális eljárásait, és megpróbálja megtudni, hogy az emberi agy milyen típusú eljárásokat használ hivatalos javaslatok révén.
4. Math. Deduktív tudomány, amely az absztrakt entitások tulajdonságainak és kapcsolataik tanulmányozásának szenteli. Dolgozni valakivel számok, szimbólumok és geometriai ábrák.
5. Rendszerelmélet. A rendszerek interdiszciplináris vizsgálata általában annak érdekében, hogy a rendszer minden szinten alkalmazható alapelveket tanulmányozzon a kutatás minden területén.

Kövesse: