Τι είναι η λογική:
Λογική Είναι μια τυπική επιστήμη που μελετά τη δομή ή τις μορφές της ανθρώπινης σκέψης (όπως προτάσεις, έννοιες και συλλογιστική) για τη θέσπιση έγκυρων νόμων και αρχών για την απόκτηση κριτηρίων αλήθειας.
Ως επίθετο, «λογικό» ή «λογικό» σημαίνει ότι κάτι ακολουθεί τους κανόνες της λογικής και της λογικής. Δείχνει επίσης μια αναμενόμενη φυσική ή φυσιολογική συνέπεια.
Χρησιμοποιείται επίσης για να αναφέρεται στη λεγόμενη «κοινή λογική». Προέρχεται από λατινικά λογική, και με τη σειρά του από τα ελληνικά λογική (λογικά, "έχοντας λόγο, «διανοητικό», «διαλεκτικό», «επιχειρηματολογικό»), το οποίο με τη σειρά του προέρχεται από τη λέξη λόγος (λογότυπα, «λέξη», «σκέψη», «λόγος», «ιδέα», «επιχείρημα»).
Προτασιακή, μαθηματική ή συμβολική λογική
Η προτασιακή λογική είναι ο κλάδος της λογικής που μελετά προτεινόμενες μεταβλητές, λογικές συνδέσεις (
). Ορισμένοι συγγραφείς το ταυτίζουν επίσης με μαθηματική λογική ή συμβολική λογική, καθώς χρησιμοποιεί μια σειρά ειδικών συμβόλων που την φέρνουν πιο κοντά στη μαθηματική γλώσσα. Οι προτάσεις μπορεί να είναι αληθείς ή ψευδείς.
Φιλοσοφική λογική
Η λογική θεωρείται συνήθως μέρος της Φιλοσοφίας, αν και η λογική, ως τέτοια, εφαρμόζεται σε διάφορους τομείς και δραστηριότητες του ανθρώπου.
Η φιλοσοφική λογική χρησιμοποιεί τέσσερις θεμελιώδεις αρχές που καθορίζουν τις σωστές διαδικασίες σκέψης. Αυτές οι αρχές είναι η αρχή της ταυτότητας, η αρχή της μη αντίφασης, η αρχή του αποκλεισμένου τρίτου μέρους και η αρχή του επαρκούς λόγου.
Επίσημη λογική και άτυπη λογική
Η τυπική λογική είναι αυτή της οποίας αντικείμενο μελέτης είναι τεχνικά συμπεράσματα μέσω της χρήσης αφαιρετικών συστημάτων και επίσημων γλωσσών και σημασιολογίας. Η άτυπη λογική, από την πλευρά της, μελετά φυσικά συστήματα συλλογιστικής και επιχειρηματολογίας μέσω της γλώσσας και της καθημερινής σκέψης.
Αριστοτελική λογική
Είναι η λογική που βασίζεται στις μελέτες του Αριστοτέλη, ενός Έλληνα φιλόσοφου του 4ου αιώνα π.Χ. Η Αριστοτελική λογική χρησιμοποιεί τους λεγόμενους συλλογισμούς, που είναι μια αφαίρεση ή μια μορφή συλλογιστικής στην οποία δημιουργούνται οι εγκαταστάσεις από τις οποίες συνάγεται ένα συμπέρασμα.
Είναι, επομένως, μια έννοια παρόμοια με τα εκλεκτικά έγκυρα επιχειρήματα. Ένα κλασικό παράδειγμα της Αριστοτελικής λογικής είναι: «Όλοι οι άντρες είναι θνητοί. Όλοι οι Έλληνες είναι άντρες. Επομένως, όλοι οι Έλληνες είναι θνητοί. " Οι δύο πρώτες προτάσεις θα ήταν οι προϋποθέσεις και η τρίτη το συμπέρασμα.
Διάχυτη λογική
Η εννοια του διάχυτη λογική προέρχεται από τα Αγγλικά («fuzzy logic»). Είναι ένας τύπος λογικής που χρησιμοποιεί τυχαίες τιμές αλλά με βάση τα συμφραζόμενα και σχετίζονται μεταξύ τους, προσδιορίζοντας το συγγενές αυτού που παρατηρείται ως διαφορική θέση. Η ασαφής λογική εφαρμόζεται σε διάφορους τομείς όπως η επιστήμη των υπολογιστών και η βιομηχανία.
