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