Αναιρέσιμη λογική: Διαφορά μεταξύ των αναθεωρήσεων

Η '''αναιρέσιμη λογική''', ή αναιρέσιμος συλλογισμός, είναι ένα σχήμα λογικού συλλογισμού το οποίο δεν αποτελεί με τη στενή (ή «αυστηρή», ή μαθηματική) έννοια [[απόδειξη|αποδεικτικό]] συμπερασμό. Είναι δηλαδή ένα συλλογιστικό σχήμα παρόμοιο με τον [[Επαγωγή (Φιλοσοφία)|επαγωγικό συλλογισμό]] και με τον [[υποθετικός-παραγωγικός συλλογισμός|υποθετικό-παραγωγικό συλλογισμό]]. Σχετίζεται επίσης στενά με την έννοια της [[Αναθεώρηση πεποιθήσεων|αναθεώρησης πεποιθήσεων]]. Αντίθετα, διαφέρει από τον [[Παραγωγικός συλλογισμός|απαγωγικό συλλογισμό]], ο οποίος είναι ο μόνος αυστηρά αποδεικτικός συλλογισμός.