Pengertian Ilmu Formal

Berbagai disiplin ilmu yang membentuk sains dapat diurutkan berdasarkan tiga parameter: berdasarkan objek studi, metode yang digunakan, dan tujuannya. Model lain dari klasifikasi terdiri dari membagi ilmu-ilmu ke dalam dua kelompok besar: ilmu-ilmu formal dan faktual atau empiris.

Yang formal

Logika dan matematika adalah dua disiplin formal karena tidak memiliki muatan empiris yang konkrit, seperti yang terjadi pada biologi, meteorologi atau sejarah.

Logika adalah disiplin murni formal dan abstrak. Dalam arti yang ketat itu tidak memiliki konten yang dapat diamati, terukur dan nyata. Ini sebenarnya adalah seperangkat aturan yang berlaku untuk semua jenis pengetahuan, baik itu ilmiah atau kehidupan sehari-hari.

Aturan logika adalah apa yang memungkinkan berpikir secara koheren dan rasional. Dengan demikian, saya tidak dapat mengatakan sesuatu itu ada dan tidak keduanya karena saya melanggar prinsip non-kontradiksi dan saya tidak dapat menegaskan sesuatu itu tidak identik dengan dirinya sendiri karena saya menentang identitas.

Matematika adalah murni abstrak, karena isinya adalah mental dan bukan materi.

Ingatlah bahwa angka tidak ada di mana pun di alam, karena angka adalah penemuan pikiran manusia untuk menghitung atau menghitung sesuatu tentang kenyataan. Dalam arti ini, hitung, itu geometri atau aljabar adalah disiplin matematika yang didasarkan pada serangkaian prinsip yang dapat ditunjukkan secara rasional.

Jika kita mengambil sebagai referensi apapun persamaan matematis, formulasinya valid dalam cara realitas yang benar-benar independen.

Singkatnya, logika dan matematika membentuk sistem formal yang mencakup serangkaian elemen: aksioma, simbol, aturan kesimpulan dan teorema. Unsur-unsur tersebut diekspresikan dalam bentuk pernyataan-pernyataan yang digambarkan melalui tanda-tanda.

Yang faktual memiliki ilmu formal yang tersirat

Himpunan disiplin ilmu yang berurusan dengan mempelajari fakta membutuhkan struktur formal sehingga objek studi mereka masuk akal. Di sisi lain, untuk menunjukkan bahwa pernyataan dalam biologi atau kimia secara formal benar, harus ada korelasi dengan data empiris.

Singkatnya, ilmu-ilmu formal diproyeksikan ke dunia fakta yang dapat diamati. Jika kita mengambil teorema Pythagoras sebagai referensi, rumusannya berlaku untuk setiap realitas di mana ada sudut siku-siku yang membentuk segitiga siku-siku.

Singkatnya, ilmu-ilmu formal dan ilmu-ilmu faktual saling melengkapi dan tidak boleh dipahami sebagai bidang pengetahuan yang terpisah.

Foto: Fotolia - Artisticco / Sergey Bogdanov