ΠΛΗΡΟΦΟΡΙΚΗ ΚΑΙ ΑΡΧΑΙΟΕΛΛΗΝΙΚΗ ΛΟΓΙΚΗ (του Δημοσθένη Κυριαζή)

«Λογική είναι η επιστήμη που έχει ως αντικείμενο μελέτης την ορθή νόηση· τους νόμους των νοητικών διαδικασιών, τις αρχές εγκυρότητας των επιχειρημάτων, τις μεθόδους εξαγωγής συμπερασμάτων, τον έλεγχο της ορθότητας των».