Ilmu bukan sekedar pengetahuan (knowledge), tetapi merangkum sekumpulan pengetahuan berdasarkan teori-teori yang disepakati dan dapat secara sistematik diuji dengan seperangkat metode yang diakui dalam bidang ilmu tertentu. Dipandang dari sudut filsafat, ilmu terbentuk karena manusia berusaha berfikir lebih jauh mengenai pengetahuan yang dimilikinya. Ilmu pengetahuan adalah produk dari epistemologi.
Contoh: Ilmu Alam hanya bisa menjadi pasti setelah lapangannya dibatasi ke dalam hal yang bahani (materiil saja) atau ilmu psikologi hanya bisa meramalkan perilaku manusia jika membatasi lingkup pandangannya ke dalam segi umum dari perilaku manusia yang kongkrit. Berkenaan dengan contoh ini, ilmu-ilmu alam menjawab pertanyaan tentang berapa jauhnya matahari dari bumi, atau ilmu psikologi menjawab apakah seorang pemudi sesuai untuk menjadi perawat.
Etimologi
Berbeda dengan pengetahuan, ilmu merupakan pengetahuan khusus dimana seseorang mengetahui apa penyebab sesuatu dan mengapa. Ada persyaratan ilmiah sesuatu dapat disebut sebagai ilmu. Sifat ilmiah sebagai persyaratan ilmu banyak terpengaruh paradigma ilmu-ilmu alam yang telah ada lebih dahulu.
Objektif. Ilmu harus memiliki objek kajian yang terdiri dari satu golongan masalah yang sama sifat hakikatnya, tampak dari luar maupun bentuknya dari dalam. Objeknya dapat bersifat ada, atau mungkin ada karena masih harus diuji keberadaannya. Dalam mengkaji objek, yang dicari adalah kebenaran, yakni persesuaian antara tahu dengan objek, dan karenanya disebut kebenaran objektif; bukan subjektif berdasarkan subjek peneliti atau subjek penunjang penelitian.
Metodis adalah upaya-upaya yang dilakukan untuk meminimalisasi kemungkinan terjadinya penyimpangan dalam mencari kebenaran. Konsekuensi dari upaya ini adalah harus terdapat cara tertentu untuk menjamin kepastian kebenaran. Metodis berasal dari kata Yunani "Metodos” yang berarti: cara, jalan. Secara umum metodis berarti metode tertentu yang digunakan dan umumnya merujuk pada metode ilmiah.
Sistematis. Dalam perjalanannya mencoba mengetahui dan menjelaskan suatu objek, ilmu harus terurai dan terumuskan dalam hubungan yang teratur dan logis sehingga membentuk suatu sistem yang berarti secara utuh, menyeluruh, terpadu , mampu menjelaskan rangkaian sebab akibat menyangkut objeknya. Pengetahuan yang tersusun secara sistematis dalam rangkaian sebab akibat merupakan syarat ilmu yang ketiga.
Universal. Kebenaran yang hendak dicapai adalah kebenaran universal yang bersifat umum (tidak bersifat tertentu). Contoh: semua segitiga bersudut 180º. Karenanya universal merupakan syarat ilmu yang keempat. Belakangan ilmu-ilmu sosial menyadari kadar ke-umum-an (universal) yang dikandungnya berbeda dengan ilmu-ilmu alam mengingat objeknya adalah tindakan manusia. Karena itu untuk mencapai tingkat universalitas dalam ilmu-ilmu sosial, harus tersedia konteks dan tertentu pula.
Pemodelan, teori, dan hukum
Istilah "model", "hipotesis", "teori", dan "hukum" mengandung arti yang berbeda dalam keilmuan dari pemahaman umum. Para ilmuwan menggunakan istilah model untuk menjelaskan sesuatu, secara khusus yang bisa digunakan untuk membuat dugaan yang bisa diuji oleh percobaan/eksperimen atau pengamatan. Suatu hipotesis adalah dugaan-dugaan yang belum didukung atau dibuktikan oleh percobaan, dan Hukum fisika atau hukum alam adalah generalisasi ilmiah berdasarkan pengamatan empiris.
Matematika dan metode ilmiah
Matematika sangat penting bagi keilmuan, terutama dalam peran yang dimainkannya dalam mengekspresikan model ilmiah. Mengamati dan mengumpulkan hasil-hasil pengukuran, sebagaimana membuat hipotesis dan dugaan, pasti membutuhkan model dan eksploitasi matematis. Cabang matematika yang sering dipakai dalam keilmuan di antaranya kalkulus dan statistika, meskipun sebenarnya semua cabang matematika mempunyai penerapannya, bahkan bidang "murni" seperti teori bilangan dan topologi.
Beberapa orang pemikir memandang matematikawan sebagai ilmuwan, dengan anggapan bahwa pembuktian-pembuktian matematis setara dengan percobaan. Sebagian yang lainnya tidak menganggap matematika sebagai ilmu, sebab tidak memerlukan uji-uji eksperimental pada teori dan hipotesisnya. Namun, dibalik kedua anggapan itu, kenyataan pentingnya matematika sebagai alat yang sangat berguna untuk menggambarkan/menjelaskan alam semesta telah menjadi isu utama bagi filsafat matematika.
Lihat Eugene Wigner, The Unreasonable Effectiveness of Mathematics.
Richard Feynman berkata, "Matematika itu tidak nyata, tapi terasa nyata. Di manakah tempatnya berada?", sedangkan Bertrand Russell sangat senang mendefinisikan matematika sebagai "subjek yang kita tidak pernah tahu apa yang sedang kita bicarakan, dan kita tidak tahu pula kebenarannya."