Indukcia je jednou z hlavných foriem logického uvažovania. Druhou je dedukcia. Pri indukcii nachádzame všeobecné pravidlo pomocou veľkého počtu konkrétnych prípadov. Napríklad pri pozorovaní vody v mnohých rôznych situáciách môžeme dospieť k záveru, že voda vždy tečie z kopca.

Indukcia nie je metódou vedy, ale môže byť východiskom vedy. Každý si môže všimnúť, že Slnko, Mesiac a hviezdy sa zdanlivo pohybujú po oblohe. Prvé civilizácie si mysleli, že to znamená, že sa otáčajú okolo Zeme, pretože to tak vždy vyzeralo. Dnes už vieme, že je to úplne nesprávne, ale objavenie skutočného vysvetlenia bolo začiatkom modernej vedy (pozri Koperník, Galileo a heliocentrizmus). Ich úlohou bolo vypracovať alternatívnu teóriu alebo hypotézu, ktorá sa nakoniec ukázala ako oveľa lepšie vysvetlenie všetkých pozorovaní. To je skutočná veda, ale pozorovania oblohy, ktoré začali Babylončania, ukázali zákonitosti, ktoré bolo potrebné vysvetliť. Veda urobila to, že dokázala, že zjavné vysvetlenie nie je to správne.

Ďalším príkladom je práca Darwina, ktorý strávil polovicu svojho života zhromažďovaním zaujímavých faktov o zvieratách a rastlinách. Keby sa bol zastavil, jeho meno by dnes možno nebolo známe. To, čo urobil, bolo, že navrhol spôsob, akým by sa všetky tieto fakty dali vysvetliť. Bola to hypotéza, ktorú bolo možné overiť všetkými možnými spôsobmi. Dnes už je známe, že teória evolúcie prirodzeným výberom najlepšie vysvetľuje spôsob, akým vznikol živý svet, ako ho vidíme. Aj v tomto prípade bola skutočná veda postavená na súbore faktov, ktoré potrebovali vysvetlenie. Filozofia vedy je skôr o overovaní hypotéz než o zhromažďovaní faktov, hoci fakty sú základom každej vedy.

Indukcia, zhromažďovanie faktov, nie je sama osebe vedou. Filozof Hume povedal, že to znamená, že "prípady, s ktorými nemáme skúsenosť, sa podobajú tým, s ktorými máme skúsenosť". Neskôr John Stuart Mill nastolil otázku: "Prečo v niektorých prípadoch stačí na úplnú indukciu jediný príklad, zatiaľ čo v iných prípadoch [mnoho príkladov] stačí tak málo na stanovenie všeobecného tvrdenia?" Filozofi si zvyčajne myslia, že skutočná otázka znie: čo odlišuje dobré indukcie od zlých? Dá sa to povedať aj takto: "Ak všetky známe As sú B, potom pravdepodobne všetky As bez ohľadu na to sú B.