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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Biblical Series I: Introduction to the Idea of God (Απρίλιος 2024).