Obsah
Theformálna veda sú tie, kde analytické propozície preberajú tvrdenia matematiky a logiky. Týmto spôsobom jeho oblasťou štúdia nie je skutočný svet, ale skôr ideálny svet, prázdne formy obsahu, ktoré v mnohých prípadoch nie je možné úplne pozorovať, ale ktoré sú platnými analytickými nástrojmi na pochopenie reality.
Formálne vedy sa vyznačujú tým, že neprichádzajú do konfliktu s realitou, pretože nenesú zodpovednosť za to, aby boli overiteľné. Naproti tomu je potrebné použiť formálne vedy logicky preukázateľné, a to sa môže stať: inak tieto vedy využívajú „axiómy“, čo sú zrejmé výroky, ktoré sú akceptované bez predchádzajúceho dôkazu.
Použitie axiómov súvisí s obvyklou metódou tohto typu vedy, ktorou je Deduktívna metóda: brať axiómy ako východiskový bod a potom postupovať derivačne, dospieť k výrokom ako k nevyhnutným logickým dôsledkom predchádzajúcich výrokov. Hovorí sa teda, že formálny systém sa skladá z týchto zložiek:
- Konečná sada symboly ktoré sa používajú na stavbu vzorcov.
- A gramatiku formálne, ako mechanizmus na zostavenie dobre formulovaných vzorcov.
- Sada axiómy
- Sada pravidlá dedukcie
- Sada vety ktorá obsahuje všetko, čo sa dá odvodiť z axiómov.
Sú proti faktickým vedám
Pojem formálne vedy sa obvykle stretáva s opozíciou k faktická veda, čo sú tí, ktorí skúmajú fakty. Jedno aj druhé je v dnešnom svete veľmi dôležité, pretože je ich doplnkom: príspevky niektorých základných vied v technologickom pokroku (ako je chémia alebo informatika) sú podporované formálnymi systémami, ako sú napr. matematiky.
Príklady formálnej vedy
- Teoretická informatika: Rozdelenie v rámci informatiky, ktoré sa zameriava na najabstrahujúcejšie a matematické aspekty oblasti. Zahŕňa analýzu algoritmov a najmä formálnu sémantiku programovacích jazykov.
- Štatistika: Veda zodpovedná za zhromažďovanie, organizovanie, spracovanie, analýzu a interpretáciu údajov s cieľom odvodiť charakteristiky cieľovej populácie.
- Logika: Disciplína, ktorá študuje formálne postupy rozumu, sa snaží zistiť, aký typ postupov používa ľudský mozog prostredníctvom formálnych návrhov.
- Matematika: Deduktívna veda, ktorá sa venuje štúdiu vlastností abstraktných entít a ich vzťahov. Funguje s číslami, symbolmi a geometrickými tvarmi.
- Systémová teória: Interdisciplinárne štúdium systémov všeobecne, aby bolo možné študovať princípy použiteľné pre systémy na akejkoľvek úrovni vo všetkých oblastiach výskumu.
Ostatné druhy vedy:
- Príklady čistých a aplikovaných vied
- Príklady tvrdých a mäkkých vied
- Príklady exaktných vied
- Príklady zo sociálnych vied
- Príklady z prírodných vied
