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

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

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

• Συνιστώμενο άρθρο: ["Οι 10 τύποι λογικών και επιχειρηματολογικών πλάνων"] (Οι δέκα τύποι λογικών και προβληματικών πλάνων)

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

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

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

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

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

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

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

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

1. Τυπική λογική

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

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

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

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

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

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

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

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

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

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

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

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

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

Επαγωγική, παραπλανητική και τροπική αιτιολογία

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

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

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

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

• Groarke, L. (2017). Άτυπη λογική. Εγκυκλοπαίδεια της Φιλοσοφίας του Στάνφορντ. Ανακτήθηκε στις 2 Οκτωβρίου 2018. Διατίθεται στη διεύθυνση https://plato.stanford.edu/entries/logic-informal/
• Λογική (2018). Τα βασικά της φιλοσοφίας. Ανακτήθηκε στις 2 Οκτωβρίου 2018. Διατίθεται στη διεύθυνση https://www.philosophybasics.com/branch_logic.html
• Shapiro, S. and Kouri, S. (2018). Κλασική Λογική. Ανακτήθηκε στις 2 Οκτωβρίου 2018. Διατίθεται στη Λογική (2018). Τα βασικά της φιλοσοφίας. Ανακτήθηκε στις 2 Οκτωβρίου 2018. Διατίθεται στη διεύθυνση https://www.philosophybasics.com/branch_logic.html
• Garson, J. (2018). Λογική Modal. Εγκυκλοπαίδεια της Φιλοσοφίας του Στάνφορντ. Ανακτήθηκε στις 2 Οκτωβρίου 2018. Διατίθεται στη διεύθυνση https://plato.stanford.edu/entries/logic-modal/