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