Ο απαγωγικός συλλογισμός είναι ένας τύπος λογικού συλλογισμού στον οποίο ένα συμπέρασμα εξάγεται από ένα σύνολο υποθέσεων. Οι προϋποθέσεις υποτίθεται ότι είναι αληθείς και το συμπέρασμα προκύπτει λογικά από τις προϋποθέσεις. Για παράδειγμα:
* Παροχή 1 :Όλοι οι άντρες είναι θνητοί.
* Παροχή 2 :Ο Σωκράτης είναι άντρας.
* Συμπέρασμα :Ο Σωκράτης είναι θνητός.
Σε αυτό το παράδειγμα, οι προϋποθέσεις είναι ότι όλοι οι άνθρωποι είναι θνητοί και ότι ο Σωκράτης είναι άνδρας. Το συμπέρασμα, ότι ο Σωκράτης είναι θνητός, προκύπτει λογικά από την υπόθεση.
Ωστόσο, δεν είναι όλοι οι συλλογισμοί απαγωγικοί. Ορισμένοι συλλογισμοί, όπως ο επαγωγικός συλλογισμός, βασίζονται σε στοιχεία ή παρατηρήσεις. Ο επαγωγικός συλλογισμός είναι ένας τύπος λογικού συλλογισμού στον οποίο εξάγεται ένα γενικό συμπέρασμα από ένα σύνολο παρατηρήσεων ή στοιχείων. Για παράδειγμα:
* Παρατήρηση 1 :Ο ήλιος ανατέλλει στην ανατολή κάθε μέρα.
* Παρατήρηση 2 :Ο ήλιος ανατέλλει στην ανατολή κάθε μέρα.
* Συμπέρασμα :Αύριο ο ήλιος θα ανατείλει στα ανατολικά.
Σε αυτό το παράδειγμα, οι παρατηρήσεις είναι ότι ο ήλιος έχει ανατείλει στην ανατολή κάθε μέρα μέχρι στιγμής. Το συμπέρασμα, ότι ο ήλιος θα ανατείλει αύριο στην ανατολή, βασίζεται στα στοιχεία των παρατηρήσεων.
Ο επαγωγικός συλλογισμός δεν είναι τόσο σίγουρος όσο ο επαγωγικός συλλογισμός. Υπάρχει πάντα η πιθανότητα το συμπέρασμα ενός επαγωγικού επιχειρήματος να είναι ψευδές, ακόμα κι αν τα στοιχεία είναι ισχυρά. Ωστόσο, ο επαγωγικός συλλογισμός χρησιμοποιείται συχνά επειδή είναι ο μόνος τρόπος για να καταλήξουμε σε συμπέρασμα για κάτι που δεν μπορεί να γίνει γνωστό με βεβαιότητα.