Ηλεκτρονική Διάθεση Μαθήματος
Περιεχόμενο Μαθήματος
Στο πρωτο μέρος του μαθήματος παρουσιάζονται οι δύο βάσεις της Κλασσικής Λογικής Θεωρίας, δηλαδή ο Προτασιακός και ο Κατηγορηματικός Λογισμός μέχρι και την Θεωρία της Ταυτότητας και την Θεωρία των Περιγραφών του Russell. Στο δεύτερο μέρος γίνεται επέκταση της θεωρίας για να καλυφθεί η επαγωγική λογική και εξετάζονται σε βάθος οι διάφορες πτυχές της διάστασης μεταξύ της λογικής θεωρίας που επιβάλει η λογική και της περιγραφής του ανθρώπινου σκέπτεσθαι που καταγράφει συστηματικά η ψυχολογία .
Λέξεις Κλειδιά
Συμβολική λογική, Λογική Θεωρία, προτασιακός λογισμός, κατηγορηματικός λογισμός, επαγωγική λογική