Από τη λογική στο λογικό προγραμματισμό και την Prolog

Περιγραφή:

Η Λογική ασχολείται με την τυποποίηση και τη μελέτη του τρόπου που βγάζουμε συμπεράσματα και εκφράζουμε κρίσεις. Οι προτάσεις, οι στοιχειώδεις μονάδες συμπερασμάτων και κρίσεων, αναλύονται στη Λογική και ως προς τη μορφή, τη σύνταξή τους, και ως προς την ερμηνεία, τη σημαντική τους, και εξετάζεται η σχέση μεταξύ σύνταξης και σημαντικής.
Τα πρώτα βήματα στη Λογική έγιναν από τους ίωνες και ελεάτες φιλοσόφους και τους σοφιστές, ενώ θεμελιωτής της Λογικής σαν επιστήμης θεωρείται ο Αριστοτέλης, παράγραφος 1.3.4. Με την επικράτηση των Ρωμαίων στη Μεσόγειο, το ενδιαφέρον για τη Λογική άρχισε να φθίνει. Κατά το Μεσαίωνα, και αφού τα περισσότερα έργα των αρχαίων "φιλοσόφων, εκτός των έργων του Αριστοτέλη και του Πλάτωνα, είχαν ήδη χαθεί ή καταστραφεί, η συλλογιστική του Αριστοτέλη έμεινε προνόμιο λίγων μορφωμένων μοναχών.
Το ενδιαφέρον για τη Λογική αναζωπυρώθηκε με την ανακάλυψη των μη ευκλείδιων γεωμετριών και την ανάγκη θεωρητικής θεμελίωσης της ανάλυσης. Ήδη το 1879 ο Frege παρουσίασε την πρώτη τυπική γλώσσα για τα Μαθηματικά και τη Λογική. Αλλά η τελική ώθηση στη Λογική δόθηκε από τις συζητήσεις και τις διαμάχες που δημιούργησαν στους μαθηματικούς της εποχής τα παράδοξα της θεωρίας συνόλων.