Sejarah, Definisi Sains Formal Serta Perbedaan Dengan Bentuk Sains Lainnya

Posted on

Sejarah, Definisi Sains formal Serta Perbedaan Dengan Bentuk Sains Lainnya– Sains formal adalah ilmu yang berhubungan dengan sistem formal seperti logika, matematika, statistik, ilmu komputer teoritis, teori informasi, teori permainan, teori sistem, teori keputusan, dan linguistika.

Definisi Sains Formal

Ketika ilmu alam dan ilmu-ilmu lain seperti ilmu sosial, ilmu perilaku, dan ilmu kognitif yang mencari teori ilmiah dengan mengandalkan pengamatan yang bertujuan untuk memprediksi secara tepat dan akurat untuk menjelaskan fenomena dunia luar, karya ilmiah formal dengan sifat internal dari sistem formal, khususnya definisi istilah dan peraturan yang mengatur kesimpulan.

Sains formal untuk membantu membangun, menilai, dan teori pengujian dan pemodelan ilmiah oleh inkonsistensi temuan pertama dan kesimpulan membentuk kecacatan.

Sejarah Singkat

Sains formal dimulai sebelum perumusan metode ilmiah, teks matematika tanggal 1800 SM di Babel (Babilonia Matematika), 1600 SM di Mesir Kuno (Mesir Matematika), dan 1000 SM di India (Matematika India). Dari budaya yang berbeda, Yunani dan Matematika lahir Muslim yang memberikan kontribusi besar, sedangkan Cina Matematika dan Matematika Jepang berevolusi secara independen dari jauh dengan budaya mereka sendiri.

Sejumlah disiplin lain dalam ilmu formal yang sangat bergantung pada matematika, mereka tidak muncul untuk berkembang menjadi tingkat tinggi matematika. Pierre de Fermat dan Blaise Pascal (1654), dan Christiaan Huygens (1657) penelitian tentang teori sains. Pada awal abad ke-19, Carl Friedrich Gauss, dan Pierre-Simon Laplace mengembangkan teori matematika statistik yang juga menjelaskan penggunaan statistik dalam asuransi dan akuntansi dalam pemerintahan.

loading...

Selain matematika, logika adalah salah satu contoh tertua pengetahuan subjek di bidang ilmu formal. Seperti metode analisis eksplisit penalaran, logika terbangun di tiga lokasi, yaitu Logika India dari SM keenam abad, logika Cina sebeum abad kelima SM, dan orang-orang Yunani kuno abad keempat SM. Pengolahan logika formal modern berasal dari budaya Yunani kuno, yang ditulis oleh logika Aristoteles, yang kemudian dikembangkan lebih lanjut oleh ahli logika Islam.

Sains formal
Sains formal

Di pertengahan abad ke-20, matematika berkembang dengan munculnya matematika sains dan teknik disiplin ilmu seperti riset operasi dan rekayasa sistem. Ilmu mengambil keuntungan dari penelitian dasar di bidang pengembangan listrik dan komputer. Kemajuan ini juga mengembangkan teori informasi, analisis numerik, ilmu komputer, dan ilmu komputer teoritis. Teori ilmu komputer juga telah berevolusi dari logika matematika, yang masuk ke dalam teori komputasi.

Perbedaan dengan bentuk sains lainnya

Salah satu alasan mengapa matematika menikmati peran khusus yang lain adalah karena ilmu matematika dan hukum-hukumnya memiliki kebenaran mutlak dan tidak diragukan lagi, sedangkan ilmu-ilmu lain untuk tingkat tertentu diperdebatkan dan selalu di bawah ancaman digulingkan oleh penemuan fakta-fakta baru.

Bertentangan dengan ilmu pengetahuan empiris (alam dan sosial), sains formal tidak melibatkan prosedur empiris. Sains formal tidak memerlukan hipotesis, fakta yang relevan, atau penjelasan di dunia nyata. Dalam pandangan ini, pengetahuan apriori logika formal dan metodologi, isi dan validitas independen dari prosedur empiris.

Karena sifat non-empiris, sains formal didefinisikan dengan menguraikan satu set aksioma dan definisi dari wahyu (teorema) yang menyimpulkan. Dengan kata lain, teori sains formal tidak mengandung pernyataan sintetis. Semua pernyataan dalam pengetahuan analitis formal. Dikutip dari: https://id.wikipedia.org/

Demikian Penjelasan Tentang Sejarah, Definisi Sains formal Serta Perbedaan Dengan Bentuk Sains Lainnya Semoga Bermanfaat Untuk Semua Pembaca GuruPendidikan.Com 😀


No ratings yet.

Please rate this