From Wikipedia, the free encyclopedia
Το Τετράγωνο Αντίθεσης είναι ένα διάγραμμα που απεικονίζει τις σχέσεις μεταξύ των τεσσάρων βασικών κατηγορηματικών προτάσεων. Η προέλευση του τετραγώνου μπορεί να αναχθεί στον Αριστοτέλη, ο οποίος κάνει τη διάκριση μεταξύ δύο αντιθέσεων: της αντίφασης και της εναντιότητας. Αλλά ο Αριστοτέλης δεν σχεδίασε κάποιο διάγραμμα. Αυτό έγινε αρκετούς αιώνες αργότερα από τον Apuleius και τον Boethius.
Στην παραδοσιακή λογική, μια πρόταση (Λατινικά: propositio), είναι ένας λεκτικός ισχυρισμός (oratio enunciativa), όχι το περιεχόμενο του ισχυρισμού, όπως συμβαίνει στη σύγχρονη φιλοσοφία της γλώσσας και της λογικής. Μια κατηγορηματική πρόταση είναι μια απλή πρόταση που περιέχει δύο όρους, υποκείμενο και κατηγόρημα, στην οποία το κατηγόρημα είτε χαρακτηρίζει είτε όχι το υποκείμενο. Κάθε κατηγορηματική πρόταση μπορεί να καταταχθεί σε μια από τις παρακάτω λογικές μορφές:
Υπό μορφή πίνακα:
Όνομα | Σύμβολο | Λατινικά | Ελληνικά |
---|---|---|---|
Καθολική καταφατική | A | Omne S est P. | Κάθε S είναι P. (Όλα τα S είναι P.) |
Καθολική αποφατική | E | Nullum S est P. | Κανένα S δεν είναι P. (Όλα τα S δεν είναι P.)* |
Μερική καταφατική | I | Quoddam S est P. | Μερικά S είναι P. |
Μερική αποφατική | O | Quoddam S non est P. | Μερικά S δεν είναι P. |
Παρόλου που η τυποποιημένη μορφή "Κανένα S δεν είναι P" είναι σαφώς καθορισμένη, ο πρόταση της μορφής "Όλα τα S δεν είναι P" είναι ασαφής [1] και συνεπώς δεν είναι μια τυποποιημένη μορφή καθώς μπορεί να είναι μια πρόταση είτε της Ε μορφής είτε της Ο. Απαιτείται δηλαδή συγκεκριμένο πλαίσιο για να καθοριστεί η μορφή της.
Ο Αριστοτέλης αναφέρει (στα κεφάλαια έξι και επτά του Περὶ Ἑρμηνείας, (Latin De Interpretatione)), ότι υπάρχουν συγκεκριμένες λογικές σχέσεις μεταξύ των τεσσάρων μορφών προτάσεων. Αναφέρει ότι για κάθε κατάφαση αντιστοιχεί μια ακριβώς άρνηση, και ότι κάθε κατάφαση είναι αντίθετη προς την άρνησή της, με τέτοιον τρόπο ώστε μόνο η μια εκ των δύο μπορεί να είναι πάντα αληθής και η άλλη ψευδής. Ο Αριστοτέλης ονομάζει το ζεύγος μιας καταφατικής και μιας αποφατικής πρότασης ως αντίφαση. Παραδείγματα αντιφάσεων είναι η πρόταση 'κάθε άνθρωπος είναι λευκός' και 'κάθε άνθρωπος δεν είναι λευκός' (η οποία μπορεί να διατυπωθεί ως 'μερικοί άνθρωποι δεν είναι λευκοί'), όπως επίσης και η πρόταση 'κανένας άνθρωπος δεν είναι λευκός' με την πρόταση 'μερικοί άνθρωποι είναι λευκοί'.
Ενάντιες προτάσεις είναι αυτές οι οποίες δεν μπορούν είναι ταυτόχρονα αληθείς. Παραδείγματα τέτοιων προτάσεων είναι η καθολική καταφατική 'κάθε άνθρωπος είναι λευκός' και η καθολική αποφατική 'κανένας άνθρωπος δεν είναι λευκός'. Αυτές οι προτάσεις δεν μπορούν αν είναι ταυτόχρονα αληθείς. Παρόλα αυτά, δεν είναι αντιφατικές καθώς μπορούν να είναι ταυτόχρονα ψευδείς. Παραδείγματος χάριν, είναι ψευδές ότι κάθε άνθρωπος είναι λευκός καθώς μερικοί άνθρωποι δεν είναι λευκοί. Εντούτοις είναι επίσης ψευδές πως κανένας άνθρωπος δεν είναι λευκός καθώς μερικοί άνθρωποι είναι λευκοί.
Αφού κάθε πρόταση έχει μια ενάντια και αφού μια ενάντια είναι αληθής όταν η αντίθετή της είναι ψευδής, συνεπάγεται ότι οι αντίθετες των ενάντιων προτάσεων (οι οποίες καλούνται υποενάντιες) μπορούν να είναι και οι δύο αληθείς, αλλά δεν μπορούν να είναι και οι δύο ψευδείς. Αφού οι υποενάντιες είναι αρνήσεις των καθολικών προτάσεων, καλούνταν 'μερικές' κατά τον Μεσαίωνα.
Μια άλλη λογική αντίθεση που προκύπτει από την παραπάνω διαπίστωση, εάν και δεν αναφέρεται ρητά από τον Αριστοτέλη, είναι η μετατροπή (alternatio), η οποία αποτελείται από την υπό-μετατροπή και την υπέρ-μετατροπή. Μετατροπή είναι η σχέση μεταξύ μιας μερικής πρότασης και μιας καθολικής αναφερόμενες στην ίδια ιδιότητα, ούτως ώστε η καθολική να υπαινίσσεται τη μερική. Η μερική είναι υποδεέστερη της καθολικής, η οποία με τη σειρά της είναι υποδεέστερη της μερικής. Παραδείγματος χάριν, εάν η πρόταση 'κάθε άνθρωπος είναι λευκός' είναι αληθής, η ενάντιά της 'κανένας άνθρωπος δεν είναι λευκός' είναι ψευδής. Για αυτό η αντίφαση 'μερικοί άνθρωποι είναι λευκοί' είναι αληθής. Αντίστοιχα, η γενική πρόταση 'κανένας άνθρωπος δεν είναι λευκός' υπονοεί την συγκεκριμένη 'κάθε άνθρωπος δεν είναι λευκός'. [2][3]
Συνοψίζοντας:
Οι παραπάνω σχέσεις έγιναν η βάση ενός διαγράμματος που αποδίδεται στον Boethius και χρησιμοποιούνταν κατά τον Μεσαίωνα από όσους ασχολούνταν με την λογική για να ταξινομήσουν τις σχέσεις αυτές. Οι προτάσεις τοποθετούνται στις τέσσερις κορυφές ενός τετραγώνου και οι σχέσεις αναπαριστώνται ως οι μεταξύ τους πλευρές, από όπου προκύπτει και το όνομα 'Τετράγωνο Αντίθεσης'.
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.