Η επαγωγή είναι μία από τις κύριες μορφές λογικής συλλογιστικής. Η άλλη είναι η αφαίρεση. Στην επαγωγή, βρίσκουμε έναν γενικό κανόνα χρησιμοποιώντας έναν μεγάλο αριθμό ιδιαίτερων περιπτώσεων. Για παράδειγμα, παρατηρώντας το νερό σε πολλές διαφορετικές καταστάσεις, μπορούμε να συμπεράνουμε ότι το νερό ρέει πάντα προς τα κάτω.
Η επαγωγή δεν είναι η μέθοδος της επιστήμης, αλλά μπορεί να αποτελέσει την αφετηρία της επιστήμης. Όλοι μπορούν να δουν ότι ο ήλιος, το φεγγάρι και τα αστέρια φαίνεται να κινούνται στον ουρανό. Οι πρώτοι πολιτισμοί πίστευαν ότι αυτό σήμαινε ότι περιστρέφονται γύρω από τη Γη, επειδή αυτό φαίνεται να κάνουν πάντα. Σήμερα γνωρίζουμε ότι αυτό είναι εντελώς λάθος, αλλά η ανακάλυψη της πραγματικής εξήγησης αποτέλεσε την αφετηρία της σύγχρονης επιστήμης (βλ. Κοπέρνικος, Γαλιλαίος και ηλιοκεντρισμός). Αυτό που έκαναν ήταν να επεξεργαστούν μια εναλλακτική θεωρία ή υπόθεση, η οποία τελικά αποδείχθηκε ότι ήταν μια πολύ καλύτερη εξήγηση όλων των παρατηρήσεων. Αυτή είναι η πραγματική επιστήμη, αλλά οι παρατηρήσεις των ουρανών, που ξεκίνησαν από τους Βαβυλώνιους, έδειξαν την κανονικότητα που έπρεπε να εξηγηθεί. Αυτό που έκανε η επιστήμη ήταν να αποδείξει ότι η προφανής εξήγηση δεν ήταν η σωστή.
Ένα άλλο παράδειγμα είναι το έργο του Δαρβίνου, ο οποίος πέρασε τη μισή του ζωή συλλέγοντας ενδιαφέροντα στοιχεία για τα ζώα και τα φυτά. Αν είχε σταματήσει εκεί, το όνομά του ίσως να μην ήταν γνωστό σήμερα. Αυτό που έκανε ήταν να προτείνει έναν τρόπο με τον οποίο όλα αυτά τα γεγονότα θα μπορούσαν να εξηγηθούν. Ήταν μια υπόθεση που μπορούσε να δοκιμαστεί, και δοκιμάστηκε, με κάθε δυνατό τρόπο. Είναι πλέον γνωστό ότι η θεωρία της εξέλιξης μέσω της φυσικής επιλογής εξηγεί καλύτερα τον τρόπο με τον οποίο ο έμβιος κόσμος διαμορφώθηκε όπως τον βλέπουμε. Και πάλι, η πραγματική επιστήμη οικοδομήθηκε πάνω σε μια συλλογή γεγονότων που χρειάζονταν εξήγηση. Η φιλοσοφία της επιστήμης αφορά τη δοκιμή υποθέσεων και όχι τη συλλογή γεγονότων, αν και τα γεγονότα αποτελούν τη βάση κάθε επιστήμης.
Η επαγωγή, η συλλογή γεγονότων, δεν είναι από μόνη της επιστήμη. Ο φιλόσοφος Χιουμ έλεγε ότι σημαίνει "περιπτώσεις για τις οποίες δεν είχαμε καμία εμπειρία μοιάζουν με εκείνες για τις οποίες είχαμε εμπειρία". Αργότερα, ο John Stuart Mill έθεσε το ερώτημα: "Γιατί ένα μόνο παράδειγμα, σε ορισμένες περιπτώσεις, είναι αρκετό για μια πλήρη επαγωγή, ενώ σε άλλες [πολλά παραδείγματα] οδηγούν σε τόσο μικρό βαθμό στην καθιέρωση μιας καθολικής πρότασης;". Οι φιλόσοφοι συνήθως πιστεύουν ότι το πραγματικό ζήτημα είναι: τι διακρίνει τις καλές από τις κακές επαγωγές; Ένας τρόπος για να το πούμε είναι ο εξής: "Αν όλα τα γνωστά As είναι B, τότε πιθανώς όλα τα As όποια και αν είναι είναι B".