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 Sain Formal

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.

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.

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.

---

Pengertian Sains

• Sains ( science ) berasal dari bahasa latin yaitu, scientia yang artinya merujuk pada ilmu pengetahuan yaitu pemahaman yang bersifat metodis, sistematis, dan logis
• Tidak semua ilmu dapat dikatakan sebagai sains
• Sains merupakan ilmu pengetahuan yang kebenaranya dapat diuji secara empiris dengan kaidah-kaidah tertentu
• Sains merupakan ilmu yang sistematik atau teratur karena kebenarannya dapat dibuktikan serta dikembangkan berdasarkan kenyataan

---

Hakikat Sains

• Sains dan teknologi mempunyai suatu hubungan yang tidak terpisahkan.
• Sains hanya mampu mengajarkan fakta dan nonfakta pada manusia, tetapi tidak mampu mengajarkan apa yang harus atau tidak boleh dilakukan oleh manusia
• Fungsi sains sebagai pengkoordinasi semua pengalaman manusia dan menempatkannya ke dalam suatu sistem yang logis
• Fungsi seni sebagai pemberi persepsi mengenai suatu keberaturan dalam hidup dengan menempatkan suatu keberaturan padanya
• Tujuan sains dan teknologi adalah untuk memudahkan manusia dalam menjalani kehidupannya
• Seni bertujuan untuk memberi sentuhan estetik dari hasil budaya yang indah karya manusia.

---

Dampak Negatif

• Dampak negatif dari kemajuan ipteks : pola hidup konsumtif, hedonistik, materialistic, dan dapat menghancurkan moral atau akhlak manusia, karena manusia tidak bisa mengambil nilai manfaat dari teknologi yang digunakan.
• Perkembangan ipteks yang pesat dapat menciptakan perubahan-perubahan yang berpengaruh langsung pada kehidupan masyarakat dalam berbagai bidang, antara lain : pada bidang informatika, persenjataan, biologi, lingkungan hidup, dan medis

---

Problematikan Sains

• Pemanfaatan Ipteks oleh manusia dapat membawa dampak buruk bagi kehidupan manusia.
• Faktor penyebab dampak negatif pada pemanfaatan Ipteks antara lain,: penyalahgunaan, berlebihan, dan manusia tidak mampu mengendalikan kekuatan teknologi tersebut
• Dampak negatif tersebut menghasilkan beberapa masalah pada bangsa Indonesia sesuai degan identifikasi RPJMN 2004 – 2009 :

---

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.