Ξεκινήστε με προκείμενα που εγγυώνται ένα συμπέρασμα και συλλογίζεστε επαγωγικά. Όλοι οι άνθρωποι είναι θνητοί. Ο Σωκράτης είναι άνθρωπος. Επομένως, ο Σωκράτης είναι θνητός. Εάν οι προκείμενες είναι αληθείς και η μορφή είναι έγκυρη, το συμπέρασμα πρέπει να είναι αληθές. Δεν υπάρχει χώρος για πιθανότητες. Η απαγωγή είναι η ραχοκοκαλιά της λογικής, των μαθηματικών και της τυπικής απόδειξης.

Ο Αριστοτέλης ήταν ο πρώτος που συστηματοποίησε την επαγωγή, χρησιμοποιώντας τον συλλογισμό ως βασικό εργαλείο. Ένας συλλογισμός έχει δύο προκείμενες και ένα συμπέρασμα, διατεταγμένα έτσι ώστε το συμπέρασμα να προκύπτει απαραίτητα. Οι μεσαιωνικοί λογικοί βελτίωσαν το σύστημα, και οι σύγχρονοι λογικοί όπως ο Φρέγκε και ο Ράσελ ανέπτυξαν τη συμβολική λογική, η οποία αναπαριστά τις επαγωγικές μορφές με σύμβολα και κανόνες. Η επαγωγή διατηρεί την αλήθεια: δεν μπορεί να σας οδηγήσει από αληθείς προκείμενες σε ένα ψευδές συμπέρασμα. Αλλά δεν μπορεί να δημιουργήσει νέο περιεχόμενο πέρα ​​από αυτό που ήδη περιέχουν οι προκείμενες. Γι' αυτό η επαγωγή είναι ισχυρή για την απόδειξη και περιορισμένη για την ανακάλυψη.

Βασικές έννοιες

• Εγκυρότητα. Το συμπέρασμα προκύπτει αναγκαστικά από τις προκείμενες.
• Ορθότητα. Έγκυρη μορφή συν αληθείς προϋποθέσεις.
• Συλλογισμός. Δύο προκείμενες και ένα συμπέρασμα.
• Αντιπαράδειγμα. Μια υπόθεση που εμφανίζει μια μη έγκυρη φόρμα.

Η απαγωγή εμφανίζεται στην καθημερινή συλλογιστική, στα νομικά επιχειρήματα, στον προγραμματισμό υπολογιστών και στις φιλοσοφικές αποδείξεις. Όταν κάποιος λέει «συνεπάγεται λογικά», συνήθως εννοεί απαγωγικά.