Pembuktian melalui deduksi

Penalaran deduktif memberlakukan "prinsip-prinsip" umum untuk mencapai kesimpulan-kesimpulan yang spesifik, sementara penalaran induktif menguji informasi yang spesifik, yang mungkin berupa banyak potongan informasi yang spesifik, untuk menarik suatu kesimpulan umu. Dengan memikirakan fenomena bagaimana apel jatuh dan bagaimana planet-planet bergerak, Isaac Newton menyimpulkan teori daya tarik. Pada abad ke-19, Adams dan LeVerrier menerapkan teori Newton (prinsip umum) untuk mendeduksikan keberadaan, massa, posisi, dan orbit Neptunus (kesimpulan-kesimpulan khusus) tentang gangguan (perturbasi) dalam orbit Uranus yang diamati (data spesifik).