Contoh Ilmu Formal

Itu ilmu formal adalah mereka di mana proposisi analitik mengambil pernyataan dari matematika dan logika. Dengan cara ini, bidang studinya bukanlah dunia nyata melainkan dunia ideal, bentuk konten yang kosong daripada di banyak kasus mungkin tidak sepenuhnya dapat diamati, tetapi mereka adalah alat analisis yang valid untuk memahami realitas. Sebagai contoh: statistik, logika, matematika.

Ilmu-ilmu formal dicirikan dengan tidak bertentangan dengan kenyataan, karena mereka tidak memiliki tanggung jawab untuk diverifikasi. Sebaliknya, ilmu-ilmu formal perlu menggunakan proposisi bahwa mereka dapat dibuktikan dalam arti logis, dan bahwa mereka dapat terjadi: jika tidak, ilmu-ilmu ini menggunakan 'aksioma' yang merupakan proposisi nyata yang diterima tanpa memerlukan bukti sebelumnya.

Penggunaan aksioma terkait dengan metode umum dari jenis ilmu ini, yaitu Metode deduktif: mengambil aksioma sebagai titik awal dan kemudian melanjutkan dengan cara turunan, sampai pada proposisi sebagai konsekuensi logis yang diperlukan dari proposisi sebelumnya. Dikatakan, kemudian, bahwa sistem formal terdiri dari yang berikut:

Ini dapat melayani Anda:

Mereka menentang Ilmu Faktual

Biasanya pengertian ilmu-ilmu formal bertentangan dengan ilmu faktual, yang adalah orang-orang yang mempelajari fakta-fakta. Keduanya sangat penting di dunia saat ini, karena keduanya saling melengkapi antara keduanya: kontribusi beberapa ilmu dasar dalam kemajuan teknologi (seperti: itu kimia atau komputasi) didukung oleh sistem formal seperti matematika.

Contoh Ilmu Formal

1. Ilmu komputer teoretis. Divisi dalam ilmu komputer, yang berfokus pada aspek yang lebih abstrak dan matematis dari area tersebut. Ini mencakup analisis algoritma dan terutama semantik formal dari bahasa pemrograman.
2. Statistik. Ilmu yang bertanggung jawab untuk mengumpulkan, mengatur, mengolah, menganalisis, dan menafsirkan data untuk menyimpulkan ciri-ciri suatu populasi objektif.
3. Logika. Disiplin yang mempelajari prosedur formal akal, mencoba mengetahui jenis prosedur apa yang digunakan oleh otak manusia melalui proposisi formal.
4. matematika. Ilmu deduktif yang didedikasikan untuk mempelajari sifat-sifat entitas abstrak dan hubungannya. Bekerja dengan angka, simbol, dan angka geometris.
5. Teori sistem. Studi interdisipliner sistem secara umum, untuk mempelajari prinsip-prinsip yang berlaku untuk sistem pada setiap tingkat di semua bidang penelitian.

Ikuti dengan: