Today, logic is extensively applied in the fields of artificial intelligence and computer science, and these fields provide a rich source of problems in formal and informal logic.
Σήμερα η λογική έχει εφαρμοστεί ευρέως στους τομείς της τεχνητής νοημοσύνης και της επιστήμης των υπολογιστών, ενώ αυτοί οι τομείς αποτελούν πλούσια πηγή προβλημάτων στην τυπική και άτυπη λογική.