Το μάθημα εισάγει τους φοιτητές στις βασικές έννοιες της Λογικής. Ξεκινώντας από την ιστορία της λογικής, περιγράφει τα βασικά συστήματα λογικής, παρουσιάζει την έννοια της συμπερασματολογίας, της συνέπειας της εγκυρότητας και της πληρότητας. Παρουσιάζονται διάφορες μορφές τυπικής λογικής, και δίνεται έμφαση στις εφαρμογές της λογικής στις θετικές και τις ανθρωπιστικές επιστήμες.

Το μάθημα στοχεύει στην εξοικείωση των φοιτητών με τις βασικές έννοιες της Λογικής και των εφαρμογών της.

1η εβδομάδα: Βασικές έννοιες της Λογικής. Ιστορία της Λογικής.

2η εβδομάδα: Τυπική Λογική.

3η εβδομάδα: Συμπερασματολογία.

4η εβδομάδα: Συνέπεια, εγκυρότητα, πληρότητα. 

5η εβδομάδα: Προτασιακή Λογική.

6η εβδομάδα: Κατηγορηματική Λογική.

7η εβδομάδα: Η Λογική ως γλώσσα προγραμματισμού. Η γλώσσα PROLOG.

8η εβδομάδα: Χρονικές και Τροπικές Λογικές

9η εβδομάδα: Περιγραφικές λογικές.

10η εβδομάδα: Περιγραφικές λογικές και οντολογίες.

11η εβδομάδα: Περιγραφικές λογικές και οντολογίες.

12η εβδομάδα: Εφαρμογές της λογικής στην Πληροφορική.

13η εβδομάδα: Εφαρμογές της λογικής στις κοινωνικές και ανθρωπιστικές επιστήμες.

• Βασική βιβλιογραφία
• Σημειώσεις μαθήματος

Πρόσωπο με πρόσωπο

Για την βελτίωση και προαγωγή της εκπαιδευτικής διαδικασίας γίνεται χρήση νέων τεχνολογιών για την παράδοση του μαθήματος με σκοπό την καλύτερη κατανόηση της ύλης αλλά και την διάδραση μεταξύ καθηγητή και φοιτητών. Προγράμματα αλλά και υλικοτεχνικός εξοπλισμός για την παρουσίαση διαφανειών του μαθήματος, χρήση ηλεκτρονικής αλληλογραφίας για την επικοινωνία με τους φοιτητές και όποτε χρειάζεται εξειδικευμένα προγράμματα.

Γραπτή εξέταση