Λογική είναι ένα θηλυκό ουσιαστικό από τον ελληνικό όρο λογότυπο, που σχετίζονται με το λογότυπα, λόγος, λέξη ή ομιλία, που σημαίνει το λογική επιστήμη.
Με μια εικονιστική έννοια, η λέξη λογική σχετίζεται με το a συγκεκριμένος τρόπος συλλογισμούσωστά. Για παράδειγμα: Αυτό δεν θα λειτουργήσει ποτέ! Το σχέδιό σας δεν έχει λογική!
Εσείς προβλήματα ή λογικά παιχνίδια είναι δραστηριότητες στις οποίες ένα άτομο πρέπει να χρησιμοποιήσει ένα λογική συλλογιστική για να λυθει το προβλημα.
Αριστοτελική λογική
Σύμφωνα με τον Αριστοτέλη, η λογική έχει ως αντικείμενο τη μελέτη της σκέψη, καθώς και οι νόμοι και οι κανόνες που το ελέγχουν, για την εν λόγω σκέψη ότι είναι σωστοί. Για τον Έλληνα φιλόσοφο, τα συστατικά στοιχεία της λογικής είναι το έννοια, κρίση και αιτιολογία. Οι νόμοι της λογικής αντιστοιχούν στις συνδέσεις και τις σχέσεις που υπάρχουν μεταξύ αυτών των στοιχείων.
Μερικοί διάδοχοι του Αριστοτέλη ήταν υπεύθυνοι για τα θεμέλια της μεσαιωνικής λογικής, η οποία κράτησε μέχρι τον δέκατο τρίτο αιώνα. Οι μεσαιωνικοί στοχαστές όπως ο Galen, ο Porphyry και ο Alexander του Aphrodisia χαρακτήρισαν τη λογική ως την επιστήμη της σωστής κρίσης, γεγονός που καθιστά δυνατή την επίτευξη σωστής και τυπικά έγκυρης συλλογιστικής.
Λογική προγραμματισμού
Η λογική προγραμματισμού είναι η γλώσσα που χρησιμοποιείται για τη δημιουργία ενός προγράμματος υπολογιστή. Η λογική προγραμματισμού είναι απαραίτητη για την ανάπτυξη προγραμμάτων και συστημάτων υπολογιστών, καθώς καθορίζει τη λογική αλυσίδα για αυτήν την ανάπτυξη. Τα βήματα για αυτήν την ανάπτυξη είναι γνωστά ως αλγόριθμος, ο οποίος αποτελείται από μια λογική ακολουθία οδηγιών για τη λειτουργία που θα εκτελεστεί.
Λογική επιχειρηματολογίας
Η λογική επιχειρηματολογίας επιτρέπει τον έλεγχο της εγκυρότητας ή εάν μια δήλωση είναι αληθής ή όχι. Δεν κατασκευάζεται με σχετικές ή υποκειμενικές έννοιες. Είναι απτές προτάσεις των οποίων η εγκυρότητα μπορεί να επαληθευτεί. Σε αυτήν την περίπτωση, η λογική στοχεύει να αξιολογήσει τη μορφή των προτάσεων και όχι το περιεχόμενο. Οι συλλογές (αποτελούνται από δύο υποθέσεις και ένα συμπέρασμα) είναι ένα παράδειγμα λογικής επιχειρηματολογίας. Για παράδειγμα:
Το Cornmeal είναι ένα σκυλί.
Όλα τα σκυλιά είναι θηλαστικά.
Ως εκ τούτου, το αραβόσιτο είναι ένα θηλαστικό.
Μαθηματική λογική
Η μαθηματική λογική (ή επίσημη λογική) μελετά τη λογική σύμφωνα με τη δομή ή τη μορφή της. Η μαθηματική λογική αποτελείται από ένα αφαιρετικό σύστημα δηλώσεων που στοχεύουν στη δημιουργία μιας ομάδας νόμων και κανόνων για τον προσδιορισμό της εγκυρότητας των συλλογισμών. Επομένως, ένας συλλογισμός θεωρείται έγκυρος εάν είναι δυνατόν να καταλήξουμε σε ένα αληθινό συμπέρασμα από πραγματικούς λόγους.
Η μαθηματική λογική χρησιμοποιείται επίσης για τη δημιουργία έγκυρης συλλογιστικής μέσω άλλων συλλογισμών. Οι συλλογισμοί μπορούν να είναι επαγωγικός (το συμπέρασμα προκύπτει υποχρεωτικά από την αλήθεια των χώρων) και επαγωγικός (πιθανοτικό).
Η τυπική λογική μπορεί να χωριστεί σε δύο ομάδες: προτατική λογική και λογική κατηγορίας.
Ο Leibniz θεωρείται από πολλούς ως το μυαλό που ξεκίνησε την έννοια της τυπικής λογικής ή των μαθηματικών, που αντιμετωπίζει τα βασικά ζητήματα των μαθηματικών. Ωστόσο, μόλις μετά το 1890, με τον Peano, άρχισε η αμφισβήτηση της συνέπειας των αξιωμάτων. Ορισμένες σημαντικές αρχές της τυπικής λογικής βρίσκονται στο The Mathematical Analysis of Logic από τον George Boole (συγγραφέας της λογικής ή της άλγεβρας του Boole).
προτεινόμενη λογική
Η προτατική λογική είναι ένας τομέας λογικής που εξετάζει τη λογική σύμφωνα με τις σχέσεις μεταξύ ρητρών (προτάσεων), τις ελάχιστες μονάδες λόγου, οι οποίες μπορεί να είναι αληθινές ή ψευδείς.