Στην κλασική λογική, μια αντίφαση συνίσταται σε μια λογική ασυμβατότητα μεταξύ δύο ή περισσοτέρων προτάσεων. Εμφανίζεται όταν οι προτάσεις, λαμβανόμενες μαζί, δίνουν δύο συμπεράσματα τα οποία σχηματίζουν τη λογική, συνήθως απέναντι από τις αντιστροφές μεταξύ τους. Εικονογραφώντας μια γενική τάση στην εφαρμοσμένη λογική, ο νόμος της αμοιβαιότητας του Αριστοτέλη αναφέρει ότι "Δεν μπορεί κανείς να πει για κάτι που είναι και ότι δεν είναι στον ίδιο σεβασμό και την ίδια στιγμή".Κατά συνέπεια, εκτός της κλασσικής λογικής, μπορεί κανείς να μιλήσει για αντιφάσεις μεταξύ ενεργειών όταν κάποιος υποθέτει ότι τα κίνητρά τους αντιβαίνουν μεταξύ τους. [Αριστοτέλης] |