Οι 6 κύριοι τύποι λογικής

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

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

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

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

Οι πιο συναφείς τύποι λογικής

Επίσημο

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

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

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

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

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

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

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

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

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

Άτυπη

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

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

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

Δεν είναι κλασικό

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

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

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

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

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

Συμβολικό

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

Η πρόθεση της συμβολικής λογικής είναι να μετατρέψει τις αφηρημένες σκέψεις σε πιο επίσημες δομές.

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

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

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

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

Αυτή η μαθηματική εφαρμογή της λογικής επιτρέπει να είναι ακριβέστερα τα επιχειρήματα και οι κατασκευές.

Modal

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

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

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

Υπολογιστική

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

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

Αναφορές

1. "Λογική" στην Εγκυκλοπαίδεια Britannica. Ανακτήθηκε στις 4 Αυγούστου 2017 από την Encyclopedia Britannica: britannica.com
2. "Τυπική λογική" στην Εγκυκλοπαίδεια Britannica. Ανακτήθηκε στις 4 Αυγούστου 2017 από την Encyclopedia Britannica: britannica.com
3. Hernández, F. "Υπολογιστική Λογική" στο Εθνικό Αυτόνομο Πανεπιστήμιο του Μεξικού. Ανακτήθηκε στις 4 Αυγούστου 2017 από το Εθνικό Αυτόνομο Πανεπιστήμιο του Μεξικού: unam.mx
4. Muñoz, C. "Μη Κλασική Λογική" στο Πανεπιστήμιο Complutense της Μαδρίτης. Ανακτήθηκε στις 4 Αυγούστου 2017 από το Universidad Complutense de Madrid: ucm.es
5. Julia, J. "Τι είναι η συμβολική λογική;" Στο eHow en Español. Ανακτήθηκε στις 4 Αυγούστου 2017 από eHow en Español: ehowenespanol.com
6. Oller, C. "Τυπική λογική και επιχειρηματολογία" (2006) στο Εθνικό Πανεπιστήμιο της La Plata. Ανακτήθηκε στις 4 Αυγούστου 2017 από το Εθνικό Πανεπιστήμιο της La Plata: rfytp.fahce.unlp.edu.ar
7. "Δευτερεύοντα και επαγωγικά συμπεράσματα" στη Junta de Extremadura. Ανακτήθηκε στις 4 Αυγούστου 2017 στην Junta de Extremadura: educarex.es.