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

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

Τύποι λογικής

• Προτασιακό. Ασχολείται με ολόκληρες προτάσεις και συνδετικούς όρους.
• Κατηγορούμενο. Ασχολείται με αντικείμενα, ιδιότητες και ποσοδείκτες.
• Modal. Ασχολείται με την πιθανότητα και την αναγκαιότητα.
• Άτυπο. Ασχολείται με τη συλλογιστική στη φυσική γλώσσα.

Η λογική δεν είναι ένα σύνολο γνώσεων για τον κόσμο. Είναι ένα σύνολο γνώσεων για το τι προκύπτει από τι.