Η εξέλιξη της επιστήμης της λογικής που ονομάστηκε "Συμβολική Λογική" οδήγησε σε δύο σημαντικές επαναστάσεις στην τεχνολογία και στην επιστήμη του εικοστού αιώνα. Από πρακτική σκοπιά έγινε η βάση για την επινόηση του Η/Υ, ενώ από θεωρητική σκοπιά οδήγησε στην γνωσιοεπιστήμη που είναι η διεπιστημονική προσπάθεια για την εξιχνίαση του τελευταίου σημαντικού γρίφου, δηλαδή του ερωτήματος "τί είναι νοημοσύνη" και "πώς πραγματοποιείται νοημοσύνη σε έναν κόσμο ύλης". Είναι σημαντικό λοιπόν στον 21ο αιώνα να μελετήσουμε λογική για να γνωρίσουμε δύο βάσεις του σύγχρονου πολιτισμού. Το βιβλίο αυτό που απευθύνεται στους φοιτητέςτης ψυχολογίας, γλωσσολογίας, φιλοσοφίας, γνωσιοεπιστήμης αλλά και στο γενικότερα μορφωμένο κοινό, έχει ως στόχο να εισαγάγει στα βασικά μέρη της πρωτοβάθμιας θεωρίας της λογικής, δηλαδή στον προτασιακό και στον κατηγορηματικό λογισμό, και να δείξει τη δύναμη και τη χρησιμότητα της συμβολικής λογικής με επεκτάσεις στις εφαρμογές της στην επιστημολογία, στη μεθοδολογία, στην κριτική σκέψη, στην φιλοσοφική πραγμάτευση του προβλήματος του θεού και στη διεπιστημονική προσπάθεια να κατανοήσουμε τον νου.