Αναιρέσιμη λογική

Η αναιρέσιμη λογική, ή αναιρέσιμος συλλογισμός, είναι ένα σχήμα λογικού συλλογισμού το οποίο δεν αποτελεί με τη στενή (ή «αυστηρή», ή μαθηματική) έννοια αποδεικτικό συμπερασμό. Είναι δηλαδή ένα συλλογιστικό σχήμα παρόμοιο με τον επαγωγικό συλλογισμό και με τον υποθετικό-παραγωγικό συλλογισμό. Σχετίζεται επίσης στενά με την έννοια της αναθεώρησης πεποιθήσεων. Αντίθετα, διαφέρει από τον απαγωγικό συλλογισμό, ο οποίος είναι ο μόνος αυστηρά αποδεικτικός συλλογισμός. Το είδος αυτό λογικού συλλογισμού είναι πολύ μικρής σημασίας για τη μαθηματική λογική, αφού ουσιαστικά είναι άκυρος από μαθηματική σκοπιά και δεν παράγει αποδείξεις. Αντίθετα όμως, είναι ένα εξαιρετικά μεγάλης σημασίας λογικό σχήμα για τη νομική επιστήμη. Τούτο διότι οι νόμοι είναι συνήθως γενικά διατυπωμένοι και δεν μπορούν να προβλέπουν όλες τις λεπτομέρειες κάθε πραγματικής υπό εξέταση υπόθεσης ή περίπτωσης. Πρέπει όμως να μπορούν να χρησιμοποιηθούν, και χρησιμοποιούνται από τους δικηγόρους και τους δικαστές, με συστηματικό και λογικά δομημένο τρόπο για να εξαχθούν συμπεράσματα και αποφάσεις για οποιαδήποτε πραγματική υπόθεση. Η αναιρέσιμη λογική είναι λοιπόν, πολύ απλά, η λογική που χρησιμοποιείται όταν μια από τις προκείμενες προτάσεις έχει ουσιαστικά τη μορφή: Όλα τα Α έχουν (κατά κανόνα ή συνήθως) την ιδιότητα Β.Τότε, οποιαδήποτε νέα προκείμενη της μορφής: Το Χ είναι Α.οδηγεί στο (υπό αναίρεση) συμπέρασμα ότι: Το Χ έχει την ιδιότητα Β.Βλέπουμε δηλαδή ότι ο υπό αναίρεση συλλογισμός είναι ίδιος ακριβώς στη μορφή με τον απαγωγικό συλλογισμό (από το γενικό στο ειδικό) με τη διαφορά ότι μία από τις προκείμενες δεν είναι αληθής πάντα, αλλά είναι μόνο αληθής κατά κανόνα ή σχεδόν πάντα.

 Αναιρέσιμος συλλογισμός: Προκείμενη 1: Τα πουλιά πετάνε. Προκείμενη 2: Ο Τσίλι Γουίλι είναι πουλί. Συμπέρασμα:Ο Τσίλι Γουίλι πετάει.Αναίρεση: Προκείμενη 1: Οι πιγκουίνοι δεν πετάνε. Προκείμενη 2: Ο Τσίλι Γουίλι είναι πιγκουίνος. Συμπέρασμα:Ο Τσίλι Γουίλι δεν πετάει.Σε αυτή την περίπτωση ο αρχικός συλλογισμός (αναιρέσιμος) είναι γενικότερος και αναιρείται από έναν ειδικότερο. Προκείμενη 1: Ένα συμβόλαιο είναι έγκυρο όταν υπάρχει υποβολή προσφοράς, αποδοχή προσφοράς και κατάρτιση σύμβασης (προφορική ή γραπτή επικοινωνία της αποδοχής). Με βάση την παραπάνω προκείμενη και τις συγκεκριμένες περιστάσεις κάποιας συναλλαγής μπορεί να συμπεράνει κανείς αν η συναλλαγή είναι έγκυρη ως συμβόλαιο ως προς τις νομικές της συνέπειες. Κατά κανόνα αρκεί να τηρούνται τα τρία στοιχεία της έννοιας του έγκυρου συμβολαίου. Δηλαδή με βάση και την, προκείμενη 2: Ο Γιώργος πρότεινε τιμή €100 για ένα ποδήλατο, η Μαρία αποφάσισε να το αγοράσει και η Μαρία επικοινώνησε αυτή την απόφαση της στον Γιώργο δίνοντας του τα χρήματα και παίρνοντας το ποδήλατο, μπορούμε να οδηγηθούμε στο συμπέρασμα: Η συναλλαγή μεταξύ του Γιώργου και της Μαρίας είναι έγκυρη. Μπορούμε να συμπεράνουμε επομένως ότι παράγονται όλες οι νομικές συνέπειες και, για παράδειγμα, μετά την απομάκρυνση από το ταμείο η Μαρία δεν μπορεί να γυρίσει πίσω και να ζητήσει τα χρήματα επιστρέφοντας το ποδήλατο. Και σίγουρα δεν μπορεί να διεκδικήσει μια τέτοια αξίωση δικαστικά. Εκτός αν συμφωνήσει ο Γιώργος, δηλαδή αν γίνει μια νέα σύμβαση. Ο προηγούμενος λογικός συλλογισμός είναι ωστόσο ένας υπό αναίρεση συλλογισμός. Δηλαδή υπάρχει μια σειρά ιδιαίτερων περιστάσεων υπό τις οποίες μπορεί τελικά το συμπέρασμα να μην ισχύει και η συναλλαγή να είναι νομικά άκυρη. Για παράδειγμα, αν αποδειχθεί ότι το αντικείμενο της συναλλαγής είναι παράνομο, όπως αν το ποδήλατο είναι κλεμμένο. Sartor, Legal Reasoning, 2005. John L. Pollock, Defeasible Reasoning, Cognitive Science 11, 481-518, 1987.