Μαθηματική Λογική

Εισαγωγή – Βασικές αναφορές σε περιόδους της Λογικής – Η Λογική στην ιστορική περίοδο της αρχαιότητας

Η θεωρία συλλογισμού του Αριστοτέλη. Η διάκριση σε αποδεικτικό και διαλεκτικό συλλογισμό.

Η θεωρία νοήματος και αλήθειας των Στωικών. Η θεωρία λεκτών. Το σύστημα φυσικής παραγωγής.

Η Περιπατητική Λογική του Αριστοτέλη. Σημ : Η διάλεξη πραγματοποιήθηκε προς το τέλος των μαθημάτων και προϋποθέτει κάποιες γνώσεις που παρουσιάστηκαν σε προηγούμενες διαλέξεις.

Οι αναπόδεικτοι τρόποι των Στωικών.

Τα συλλογιστικά σχήματα του Αριστοτέλη.

Το Αξιωματικό σύστημα, η διαδικασία της απόδειξης κατά την αρχαιότητα, το παράδειγμα αξιωματικού συστήματος του Ευκλείδη, η μέθοδος της διαίρεσης του Πλάτωνα, το δικαστικό παράδοξο του Πρωταγόρα, εισαγωγή στη χρήση συμβόλων της Λογικής.

Το τετράγωνο της αντίθεσης του Αριστοτέλη. Σημ : Η διάλεξη πραγματοποιήθηκε προς το τέλος των μαθημάτων και προϋποθέτει κάποιες γνώσεις που παρουσιάστηκαν σε προηγούμενες διαλέξεις.