Khoa học chính xác, còn được gọi là khoa học cứng, khoa học thuần túy, hoặc khoa học cơ bản hoàn toàn dựa vào quan sát và thử nghiệm như những thực hành để tạo ra kiến thức dựa trên ngôn ngữ toán học. Đây là môn khoa học có độ chính xác cao và nghiêm ngặt, vì phương pháp khoa học được sử dụng ở dạng tinh khiết nhất để kiểm tra các giả thuyết sử dụng toán học như một phương tiện để thực hiện điều đó.
Chính xác và chặt chẽ là hai trong số các đặc điểm chính của khoa học chính xác, một nhánh trong đó phương pháp khoa học nghiêm ngặt nhất được sử dụng để kiểm tra các giả thuyết. Các ngành khoa học này tìm kiếm tính không thể bác bỏ của các định đề của họ bằng cách sử dụng các dự đoán khách quan và định lượng được.
Trong trường hợp khoa học chính xác, người ta cho rằng các giả thuyết và định đề là không thể bác bỏ thông qua các phương trình và các phép toán khách quan và định lượng được. Những nguyên tắc cơ bản này được gọi là tiên đề.
Hiện nay, như được thành lập bởi Rudolf Carnap, khoa học chính xác được chia thành khoa học chính thức (không thực nghiệm) và khoa học tự nhiên (thực nghiệm). Trong số các khoa học chính thức, chúng ta tìm thấy toán học, lôgic học và lôgic hình thức. Trong khoa học tự nhiên, họ là thiên văn học, sinh học và vật lý.
Các ngành khoa học chính xác đã đặt nền móng cho kiến thức khoa học kể từ khi nó bắt đầu. Mặc dù bây giờ rõ ràng là không phải tất cả kiến thức đều có thể được định lượng, nhưng từ tiền đề này, nhiều định luật, nguyên tắc và lý thuyết cơ bản chi phối các nguyên lý cơ bản đã được giả định trong nhiều thế kỷ, chẳng hạn như lực hấp dẫn.
Mỗi ngành khoa học có một chiều hướng riêng. Do đó, có các ngành khoa học xã hội, khoa học sức khỏe, những ngành dựa trên xác suất (ví dụ, khí tượng học) hoặc những ngành liên quan đến một số khía cạnh của tự nhiên (sinh học, động vật học, v.v.). Một trong những khoa học có liên quan nhất là toán học, còn được gọi là khoa học chính xác. Thuật ngữ này được sử dụng ở số nhiều vì toán học được tạo thành từ các nhánh phân biệt như đại số, số học, hình học hoặc xác suất. Mặt khác, từ chính xác được sử dụng vì các lĩnh vực toán học khác nhau có điểm chung: các chứng minh của chúng là rõ ràng và không thể chối cãi, tức là chính xác.
