Λογική

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

Η λογική μελετήθηκε σε πολλούς αρχαίους πολιτισμούς, όπως Ινδία, Κίνα, Περσία και Ελλάδα. Στη Δύση, η λογική καθιερώθηκε ως επίσημος κλάδος από τον Αριστοτέλη, ο οποίος της έδωσε θεμελιώδη θέση στη φιλοσοφία. Η μελέτης της λογικής ήταν μέρος της κλασικής trivium, η οποία περιελάμβανε, επίσης, τη γραμματική και τη ρητορική. Στην Ανατολή, η λογική αναπτύχθηκε από τους Βουδιστές και τους Τζαϊνιστές.

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

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

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

• Άτυπη λογική είναι η μελέτη των επιχειρημάτων της φυσικής γλώσσας. Η μελέτη των λογικών πλανών είναι ένας ιδιαίτερα σημαντικός κλάδος της άτυπης λογικής. Οι διάλογοι του Πλάτωνα αποτελούν καλά παραδείγματα άτυπης λογικής.
• Τυπική λογική είναι η μελέτη της συμπερασματολογίας με καθαρά τυπικό περιεχόμενο. Ένα συμπέρασμα διαθέτει ένα καθαρά τυπικό περιεχόμενο εάν αυτό μπορεί να εκφραστεί ως ιδιαίτερη εφαρμογή ενός εντελώς αφηρημένου κανόνα, ενός κανόνα δηλαδή που δεν είναι για κάποιο συγκεκριμένο πράγμα ή υπάρχον αντικείμενο. Τα έργα του Αριστοτέλη περιέχουν την αρχαιότερη γνωστή τυπική μελέτη της λογικής. Η σύγχρονη τυπική λογική ακολουθεί και επεκτείνεται του Αριστοτέλη. Σε πολλούς ορισμούς της λογικής, το λογικό συμπέρασμα και το συμπέρασμα με καθαρά τυπικό περιεχόμενο είναι το ίδιο. Αυτό δεν καθιστά την έννοια της άτυπης λογικής κενή, διότι καμία τυπική λογική δεν μπορεί να αποτυπώσει όλες τις διαβαθμίσεις της φυσικής γλώσσας.
• Συμβολική λογική είναι η μελέτη των συμβολικών αφαιρέσεων που λαμβάνουν υπόψη τους τα τυπικά γνωρίσματα του λογικού συμπεράσματος.
• Μαθηματική λογική είναι μια επέκταση της συμβολικής λογικής σε άλλα πεδία, ιδίως στη μελέτη της θεωρίας μοντέλων, της θεωρίας αποδείξεων, της θεωρίας συνόλων και της θεωρίας αναδρομής.

Πηγή: wikipedia.org

Δείτε περισσότερα "Φιλοσοφία και Λογοτεχνία": https://eduadvisor.gr/index.php/arthra/taxidia