Αντίφαση
Αντίφαση είναι όταν υπάρχουν δύο ή περισσότερες δηλώσεις που δεν μπορούν να είναι όλες αληθείς ταυτόχρονα.
Μια ιστορία που δείχνει ποια είναι η αντίφαση έρχεται από την Κίνα. Σε αυτή την ιστορία, υπάρχει ένας έμπορος που πουλάει και δόρατα και ασπίδες. Λέει ότι τα δόρατά του είναι τόσο κοφτερά που μπορούν να διαπεράσουν οποιαδήποτε ασπίδα. Ταυτόχρονα, λέει ότι οι ασπίδες του είναι τόσο ισχυρές που θα μπορούσαν να μπλοκάρουν οποιοδήποτε δόρυ. Πρόκειται για αντίφαση, διότι οι δύο αυτές δηλώσεις δεν μπορούν να είναι και οι δύο αληθείς. Είτε το δόρυ θα σπάσει την ασπίδα είτε η ασπίδα θα μπλοκάρει το δόρυ, αλλά όχι και τα δύο. Για το λόγο αυτό, η λέξη για την αντίφαση στα κινεζικά είναι máodùn (矛盾), που κυριολεκτικά σημαίνει "δόρυ και ασπίδα".
Στη λογική του Αριστοτέλη λέγεται ότι δύο αντιφατικές προτάσεις δεν μπορούν να είναι και οι δύο αληθείς. Για παράδειγμα, οι προτάσεις "το Α είναι το Β" και "το Α δεν είναι το Β" είναι αμοιβαία αποκλειόμενες. Για παράδειγμα, οι προτάσεις "ο Πάπας είναι Καθολικός" και "ο Πάπας δεν είναι Καθολικός" δεν μπορούν να είναι και οι δύο αληθείς. Μόνο η μία από τις προτάσεις και όχι η άλλη είναι αληθής.
Ερωτήσεις και απαντήσεις
Ε: Τι είναι η αντίφαση;
A: Αντίφαση είναι όταν υπάρχουν δύο ή περισσότερες δηλώσεις που δεν μπορούν να είναι όλες ταυτόχρονα αληθείς.
Ερ: Τι είναι μια αυτοαντιφατική δήλωση;
A: Μια αυτοαντιφατική δήλωση είναι μια δήλωση που δηλώνει μια αντίφαση στη λογική και μερικές φορές συμβολίζεται με το σύμβολο "⊥" ή "0".
Ερ: Μπορεί ένα δόρυ να διαπεράσει οποιαδήποτε ασπίδα και μια ασπίδα να μπλοκάρει οποιοδήποτε δόρυ ταυτόχρονα;
Α: Όχι, πρόκειται για αντίφαση, διότι οι δύο αυτές δηλώσεις δεν μπορούν να είναι και οι δύο αληθείς.
Ερ: Ποια είναι η λέξη για την αντίφαση στα κινέζικα;
Α: Η λέξη για την αντίφαση στα κινέζικα είναι máodùn (矛盾), που κυριολεκτικά σημαίνει "δόρυ και ασπίδα".
Ερ: Σύμφωνα με τη λογική του Αριστοτέλη, μπορούν δύο αντιφατικές προτάσεις να είναι και οι δύο αληθείς;
Α: Όχι, δύο αντιφατικές προτάσεις δεν μπορούν να είναι και οι δύο αληθείς.
Ερ: Οι προτάσεις "Το Α είναι το Β" και "Το Α δεν είναι το Β" είναι αμοιβαία αποκλειόμενες;
Α: Ναι, οι προτάσεις "Το Α είναι Β" και "Το Α δεν είναι Β" είναι αμοιβαία αποκλειόμενες, που σημαίνει ότι μόνο η μία και όχι και οι δύο μπορεί να είναι αληθείς.
Ερ: Μπορούν οι προτάσεις "ο Πάπας είναι Καθολικός" και "ο Πάπας δεν είναι Καθολικός" να είναι και οι δύο αληθείς;
Α: Όχι, μόνο μία από τις δηλώσεις και όχι η άλλη είναι αληθής.
