Kami menerangkan apa itu sains formal dan apakah objek kajiannya. Perbezaan dengan fakta. Contoh sains formal.
Apakah sains formal?
Sains formal atau sains ideal ialah mereka Sains yang objek kajiannya bukan dunia dan alam semula jadi, mahupun undang-undang fizikal atau kimia yang mengawalnya, tetapi sistem formal, iaitu, sistem perhubungan yang, pada dasarnya, kosong daripada kandungannya sendiri, tetapi boleh digunakan pada analisis mana-mana segmen realiti.
Sains formal tidak mengkaji objek sebenar, tetapi bentuk: abstraksi, hubungan, objek ideal yang dicipta dalam fikiran manusia. Boleh dikatakan bahawa mereka tidak begitu berminat dengan apa, tetapi bagaimana: bentuk dan bukan kandungannya.
Jenis sains ini adalah analitikal atau bukan empirikal, iaitu, mereka tidak mengesahkan teori dan pengetahuan melalui kaedah percubaan atau pemerhatian dunia sebenar, tetapi dengan mengkaji peraturan terfikir yang sesuai dengan sistem, seperti proposisi, aksiom, takrifan dan inferens. Oleh itu, kaedahnya biasanya deduktif.
Mereka dibezakan daripada sains fakta, siapa objektif adalah pemahaman dunia nyata dan nyata melalui cara saintifik, dan itu termasuk Sains semula jadi dan juga Sains Sosial.
Contoh sains formal
Antara sains formal yang terkenal ialah:
- Matematik. Kajian tentang sistem logik-formal pengiraan dan perwakilan yang tersedia untuk manusia dan aplikasinya dalam kehidupan praktikal.
- Logik. Kajian tentang kaedah pemikiran, iaitu, tentang dalil dan mekanisme deduksi yang muncul daripadanya.
- Sains komputer. Dikenali sebagai pengkomputeran atau pengaturcaraan, memperkatakan sistem pengiraan logik yang membenarkan automasi maklumat.
- Aritmetik. Ilmu kalkulus dan nombor, yang merupakan abstraksi mental.
- Perangkaan. Ia berkaitan dengan kajian tentang kemungkinan dan juga perkadaran.
- Geometri. Kaji bentuk geometri, iaitu gambaran mental atau grafik yang boleh kita buat tentang dunia sebenar dalam fikiran kita.