Η Λογική είναι η μελέτη τρόπων συλλογισμού, καθώς και η χρήση έγκυρων συλλογισμών. Η λογική χρησιμοποιείται σε πολλές επιστήμες, όπως στη Φιλοσοφία, στα Μαθηματικά και στην Πληροφορική. Εξετάζει γενικές μορφές οι οποίες μπορούν να επιχειρηματολογηθούν. Στα μαθηματικά είναι η μελέτη των έγκυρων συμπερασμάτων μέσα σε μια τυπική γλώσσα. Η λογική επιπλέον μελετήθηκε στη θεωρία επιχειρηματολογίας.
Η λογική αναπτύχθηκε σε πολλούς αρχαίους πολιτισμούς, όπως σε Ινδία, Κίνα, Περσία και Ελλάδα. Η μελέτης της λογικής ήταν επίσης μέρος της γραμματικής και της ρητορικής. Στη Δύση, η λογική καθιερώθηκε ως επίσημος κλάδος από τον Αριστοτέλη, ο οποίος της έδωσε θεμελιώδη θέση στη φιλοσοφία.
Η λογική του Αριστοτέλη, και ιδιαίτερα η θεωρία του για τον συλλογισμό, είχε τεράστια επιρροή στη δυτική σκέψη. Τα έργα λογικής, που ονομάζονται ως σύνολο Το Όργανον, είναι η πρώτη τυπική μελέτη της λογικής που έχει βρεθεί. Αν και είναι δύσκολο να προσδιορίσουμε τις ημερομηνίες, η πιθανή σειρά της γραφής των λογικών έργων του Αριστοτέλη είναι:
- Κατηγορίες, μια μελέτη για τις δέκα κατηγορίες που χαρακτηρίζουν τα όντα του αισθητού κόσμο.
- Τοπικά (με ένα παράρτημα του που ονομάζεται Περί των Σοφιστικών ελέγχων), μια συζήτηση της διαλεκτικής,
- Περί ερμηνείας, μια ανάλυση απλών κατηγορηματικών προτάσεων, σε απλούς όρους, άρνηση, και ενδείξεις ποσότητας, καθώς και μια ολοκληρωμένη αντιμετώπιση των εννοιών της αντίθεσης και μετατροπής. Το 7ο κεφάλαιο είναι η προέλευση του «τετραγώνου αντίθεσης» (ή λογικού τετραγώνου). Το 9ο κεφάλαιο περιέχει τις απαρχές της τροπικής λογικής.
- Αναλυτικά Πρότερα, μια τυπική ανάλυση του έγκυρου επιχειρήματος ή «συλλογισμού».
- Αναλυτικά Ύστερα, μια μελέτη της επιστημονικής απόδειξης, που περιέχει τις ώριμες απόψεις του Αριστοτέλη στη λογική.
Τα έργα αυτά είναι εξαιρετικής σημασίας για την ιστορία της λογικής. Ο Αριστοτέλης ήταν ο πρώτος επιστήμονας της λογικής που επιχείρησε μια συστηματική ανάλυση της λογικής σύνταξης, σε ουσιαστικό και ρήμα. Στις Κατηγορίες παρουσίασε όλα τα πράγματα, στα οποία ένα ουσιαστικό μπορεί να αναφέρεται. Αυτή η ιδέα αποτελεί τη βάση του φιλοσοφικού του έργου, τα Μεταφυσικά, τα οποία είχαν επίσης βαθιά επίδραση στη Δυτική σκέψη. Υπήρξε ο πρώτος επιστήμονας της τυπικής λογικής (δηλαδή έδωσε τις αρχές της συλλογιστικής που χρησιμοποιεί μεταβλητές για να δείξει την υποκείμενη λογική μορφή των επιχειρημάτων). Ερευνούσε τις σχέσεις εξάρτησης που χαρακτηρίζουν αναγκαστικά το συμπέρασμα, και διέκρινε την εγκυρότητα αυτών των σχέσεων, από την αλήθεια των προκείμενων (η αξιοπιστία του επιχειρήματος). Τα Αναλυτικά Πρότερα αποτελούν το εγχειρίδιο της συλλογιστικής, όπου τρεις σημαντικές αρχές εφαρμόστηκαν για πρώτη φορά στην ιστορία: η χρήση των μεταβλητών, μια καθαρά τυπική αντιμετώπιση και η χρήση ενός αξιωματικού συστήματος. Στα Τοπικά και Περί των Σοφιστικών ελέγχων ανέπτυξε επίσης μια θεωρία μη-τυπικής λογικής (π.χ. θεωρία των πλανών.)
Κατερίνα Β. & Σταμάτης Β.