6. Lanjutan dari dua macam dukungan teoritis yang dikemukakan oleh Nagel
ada dua tipe, tipe pertama tentang dukungan teoretikal bagi sebuah
generalisasi. Tipe kedua tentang dukungan teoretikal timbul apabila L1,
bersama-sama dengan asumsi-asumsi lain yang telah tersusun dengan
baik, menyatakan secara tidak langsung mengandung L4, karena ada
dukungan evidensial terhadapnya. Contoh Hukum Kepler tentang Medan,
mungkin dideduksi dari hukum-hukum Newton tentang gerak dan
informasi tentang massa dan kecepatan benda-benda angkasa dalam sistem
tata surya. Evidensi yang mendukung Hukum Kepler secara tidak
langsung membenarkan Hukum-hukum Newton tentang gerak.
8. Pandangan Ernest Mach mengenai ilmu, hukum dan teori bahwa hukum-
hukum dan teori-teori ilmiah adalah rangkuman fakta-fakta tersirat.
Hukum-hukum dan teori-teori ilmiah memungkinkan kita untuk dapat
mendeskripsikan dan memperkirakan gejala. Menurutnya ilmu dapat
dipandang sebagai sebuah masalah meminimumkan, terdiri atas firasat
yang mungkin terlengkap tentang fakta-fakta dengan pengeluaran biaya
pemikiran yang sesedikit mungkin.