Οι 4 πιο σημαντικοί τύποι λογικής (και χαρακτηριστικά)

Η λογική είναι η μελέτη της συλλογιστικής και των συμπερασμάτων. Είναι ένα σύνολο ερωτήσεων και αναλύσεων που έχουν καταστήσει δυνατή την κατανόηση του τρόπου με τον οποίο τα έγκυρα επιχειρήματα διαφέρουν από τις πλαστογραφίες και πώς φτάνουμε σε αυτά.

Για αυτό, ήταν απαραίτητη η ανάπτυξη διαφορετικών συστημάτων και μορφών μελέτης, τα οποία οδήγησαν σε τέσσερις βασικούς τύπους λογικής. Θα δούμε παρακάτω τι είναι το καθένα από αυτά.

• Προτεινόμενο άρθρο: "Οι 10 τύποι λογικών και επιχειρηματολογικών λαθών"

Τι είναι η λογική;

Η λέξη "λογική" προέρχεται από τα ελληνικά "λογότυπα" που μπορούν να μεταφραστούν με διαφορετικούς τρόπους: η λέξη, η σκέψη, το επιχείρημα, η αρχή ή ο λόγος είναι μερικά από τα κύρια. Υπό αυτήν την έννοια, η λογική είναι η μελέτη των αρχών και της συλλογιστικής.

Αυτή η μελέτη έχει σκοπό να κατανοήσει διαφορετικά κριτήρια συμπερασμάτων και πώς φτάνουμε σε έγκυρες αποδείξεις, σε αντίθεση με τις μη έγκυρες αποδείξεις. Έτσι, το βασικό ερώτημα της λογικής είναι τι είναι η σωστή σκέψη και πώς μπορούμε να κάνουμε διάκριση ανάμεσα σε ένα έγκυρο επιχείρημα και μια πλάνη;

Για να απαντήσει σε αυτό το ερώτημα, η λογική προτείνει διαφορετικούς τρόπους ταξινόμησης των δηλώσεων και των επιχειρημάτων, είτε εμφανίζονται σε επίσημα συστήματα είτε σε φυσική γλώσσα. Συγκεκριμένα, αναλύει προτάσεις (δηλωτικές προτάσεις) που μπορεί να είναι αληθείς ή ψευδείς παραπλανητικά, παράδοξα, επιχειρήματα που αφορούν την αιτιότητα και, γενικά, τη θεωρία του συζήτηση.

Σε γενικές γραμμές, για να θεωρηθεί ένα σύστημα λογικό, πρέπει να πληρούν τρία κριτήρια:

• Συνοχή (δεν υπάρχει αντίφαση μεταξύ των θεωρημάτων που απαρτίζουν το σύστημα)
• Στερεότητα (τα συστήματα δοκιμών δεν περιλαμβάνουν ψευδή συμπεράσματα)
• Πληρότητα (όλες οι αληθινές προτάσεις πρέπει να είναι ελεγχόμενες)

Οι 4 τύποι λογικής

Όπως έχουμε δει, η λογική χρησιμοποιεί διαφορετικά εργαλεία για να κατανοήσει τη συλλογιστική που χρησιμοποιούμε για να δικαιολογήσουμε κάτι. Παραδοσιακά, αναγνωρίζονται τέσσερις βασικοί τύποι λογικής, ο καθένας με μερικούς υποτύπους και ιδιαιτερότητες. Θα δούμε παρακάτω τι είναι το καθένα.

1. Επίσημη λογική

Επίσης γνωστή ως παραδοσιακή λογική ή φιλοσοφική λογική, Είναι η μελέτη των συμπερασμάτων με καθαρά τυπικό και σαφές περιεχόμενο. Πρόκειται για την ανάλυση επίσημων δηλώσεων (λογική ή μαθηματική), των οποίων το νόημα δεν είναι εγγενές, αλλά μάλλον τα σύμβολα του έχουν νόημα λόγω της χρήσιμης εφαρμογής που τους δίνεται. Η φιλοσοφική παράδοση από την οποία προέρχεται το τελευταίο ονομάζεται ακριβώς "φορμαλισμός".

Με τη σειρά του, ένα επίσημο σύστημα είναι αυτό που χρησιμοποιείται για την εξαγωγή ενός συμπεράσματος από έναν ή περισσότερους χώρους. Το τελευταίο μπορεί να είναι αξιώματα (αυτονόητες προτάσεις) ή θεωρήματα (συμπεράσματα από ένα καθορισμένο σύνολο κανόνων συμπερασμάτων και αξιώσεων).

Τα συμπεράσματα στα οποία καταλήξαμε μέσω της επίσημης λογικής, εάν βασίζονται σε έγκυρες εγκαταστάσεις και δεν υπάρχουν αποτυχίες στις λογικές λειτουργίες, είναι αληθινές από μόνες τους. Στην πραγματικότητα, αυτό οδηγεί σε μια ανοιχτή συζήτηση σχετικά με το αν η επίσημη λογική ανήκει στον κόσμο της επιστήμης. ή ανήκουν σε άλλο πεδίο γνώσης, χωρίς να περιγράφουν την πραγματικότητα αλλά τους δικούς τους κανόνες λειτουργεί.

2. Άτυπη λογική

Από την πλευρά της, η άτυπη λογική είναι μια πιο πρόσφατη πειθαρχία, η οποία μελετά, αξιολογεί και αναλύει τα επιχειρήματα που αναπτύσσονται σε φυσική ή καθημερινή γλώσσα. Ως εκ τούτου, λαμβάνει την κατηγορία "άτυπη". Μπορεί να είναι τόσο ομιλούμενη όσο και γραπτή γλώσσα, ή οποιοσδήποτε τύπος μηχανισμού και αλληλεπίδρασης που χρησιμοποιείται για την επικοινωνία κάτι. Σε αντίθεση με την επίσημη λογική, η οποία για παράδειγμα θα ισχύει για τη μελέτη και ανάπτυξη γλωσσών υπολογιστών. η επίσημη γλώσσα αναφέρεται σε γλώσσες και γλώσσες.

Έτσι, η άτυπη λογική μπορεί να αναλύσει τα πάντα, από προσωπικούς συλλογισμούς και επιχειρήματα έως πολιτικές συζητήσεις, νομικά επιχειρήματα ή εγκαταστάσεις που διαδίδονται από τα μέσα ενημέρωσης, όπως η εφημερίδα, η τηλεόραση, το Διαδίκτυο, και τα λοιπά.

3. Συμβολική λογική

Όπως υποδηλώνει το όνομα, η συμβολική λογική αναλύει τις σχέσεις μεταξύ συμβόλων. Μερικές φορές χρησιμοποιεί πολύπλοκη μαθηματική γλώσσα, δεδομένου ότι είναι υπεύθυνο για τη μελέτη προβλημάτων που η παραδοσιακή τυπική λογική θεωρεί περίπλοκη ή δύσκολο να αντιμετωπιστεί. Συνήθως χωρίζεται σε δύο υπότυπους:

• Λογική λογική ή πρώτης τάξης: είναι ένα τυπικό σύστημα που αποτελείται από τύπους και ποσοτικοποιήσιμες μεταβλητές
• Προτατικός: είναι ένα επίσημο σύστημα που αποτελείται από προτάσεις, τα οποία είναι ικανά να δημιουργήσουν άλλες προτάσεις μέσω συνδέσμων που ονομάζονται "λογικές συνδέσεις". Σε αυτό δεν υπάρχουν σχεδόν ποσοτικοποιήσιμες μεταβλητές.

4. Μαθηματική λογική

Ανάλογα με τον συγγραφέα που το περιγράφει, η μαθηματική λογική μπορεί να θεωρηθεί τύπος τυπικής λογικής. Άλλοι θεωρούν ότι η μαθηματική λογική περιλαμβάνει τόσο την εφαρμογή της τυπικής λογικής στα μαθηματικά, όσο και την εφαρμογή της μαθηματικής συλλογιστικής στην επίσημη λογική.

Σε γενικές γραμμές, πρόκειται για την εφαρμογή της μαθηματικής γλώσσας στην κατασκευή λογικών συστημάτων που καθιστά δυνατή την αναπαραγωγή του ανθρώπινου νου. Για παράδειγμα, αυτό υπήρξε πολύ στην ανάπτυξη της τεχνητής νοημοσύνης και στα υπολογιστικά πρότυπα της μελέτης της γνώσης.

Συνήθως χωρίζεται σε δύο υπότυπους:

• Λογική: αφορά την εφαρμογή της λογικής στα μαθηματικά. Παραδείγματα αυτού του τύπου είναι η θεωρία της απόδειξης, η θεωρία του μοντέλου, η θεωρία του συνόλου και η θεωρία της αναδρομής.
• Διαισθητισμός: υποστηρίζει ότι τόσο η λογική όσο και τα μαθηματικά είναι μέθοδοι των οποίων η εφαρμογή είναι συνεπής για την εκτέλεση πολύπλοκων νοητικών κατασκευών. Όμως, λέει ότι από μόνα τους, η λογική και τα μαθηματικά δεν μπορούν να εξηγήσουν βαθιές ιδιότητες των στοιχείων που αναλύουν.

Επαγωγική, παραγωγική και λογική συλλογιστική

Αφ 'ετέρου, Υπάρχουν τρεις τύποι συλλογιστικής που μπορούν επίσης να θεωρηθούν λογικά συστήματα. Αυτοί είναι μηχανισμοί που μας επιτρέπουν να εξαγάγουμε συμπεράσματα από τις εγκαταστάσεις. Η συλλογική συλλογιστική κάνει αυτή την εξαγωγή από μια γενική υπόθεση σε μια συγκεκριμένη υπόθεση. Ένα κλασικό παράδειγμα είναι αυτό που προτείνει ο Αριστοτέλης: Όλοι οι άνθρωποι είναι θνητοί (αυτή είναι η γενική προϋπόθεση). Ο Σωκράτης είναι άνθρωπος (είναι η κύρια υπόθεση) και τέλος, ο Σωκράτης είναι θνητός (αυτό είναι το συμπέρασμα).

Από την πλευρά της, η επαγωγική συλλογιστική είναι η διαδικασία με την οποία συνάγεται ένα συμπέρασμα προς την αντίθετη κατεύθυνση: από το συγκεκριμένο στο γενικό. Ένα παράδειγμα αυτού θα ήταν "Όλα τα κοράκια που μπορώ να δω είναι μαύρα" (συγκεκριμένη υπόθεση). έτσι όλα τα κοράκια είναι μαύρα (συμπέρασμα).

Τέλος, η λογική ή η λογική της λογικής βασίζεται σε πιθανολογικά επιχειρήματα, δηλαδή εκφράζουν μια πιθανότητα (έναν τρόπο). Πρόκειται για ένα τυπικό λογικό σύστημα που περιλαμβάνει όρους όπως "θα μπορούσε", "μπορεί", "πρέπει", "τελικά".

Βιβλιογραφικές αναφορές:

• Groarke, Λ. (2017). Άτυπη λογική. Εγκυκλοπαίδεια Φιλοσοφίας του Στάνφορντ. Ανακτήθηκε στις 2 Οκτωβρίου 2018. Διαθέσιμο σε https://plato.stanford.edu/entries/logic-informal/
• Λογική (2018). Τα βασικά της φιλοσοφίας. Ανακτήθηκε στις 2 Οκτωβρίου 2018. Διαθέσιμο σε https://www.philosophybasics.com/branch_logic.html
• Magnani, Λ. (2001). Απαγωγή, Λόγος και Επιστήμη: Διαδικασίες Ανακάλυψης και Επεξήγησης. Νέα Υόρκη: Kluwer Academic Plenum Publishers.
• McGinn, Γ. (2000). Λογικές ιδιότητες: Ταυτότητα, Ύπαρξη, Εκτίμηση, Αναγκαιότητα, Αλήθεια. Οξφόρδη: Clarendon Press.
• Quine, W.V.O. (1986) (1970). Φιλοσοφία της Λογικής. Cambridge, MA.: Harvard University Press.
• Shapiro, Σ. και Kouri, S. (2018). Κλασική λογική. Ανακτήθηκε στις 2 Οκτωβρίου 2018. Διαθέσιμο στο Logic (2018). Τα βασικά της φιλοσοφίας. Ανακτήθηκε στις 2 Οκτωβρίου 2018. Διαθέσιμο σε https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Λογική Modal. Εγκυκλοπαίδεια Φιλοσοφίας του Στάνφορντ. Ανακτήθηκε στις 2 Οκτωβρίου 2018. Διαθέσιμο σε https://plato.stanford.edu/entries/logic-modal/