ΕΙΣΑΓΩΓΗ ΣΤΗ ΣΥΜΒΟΛΙΚΗ ΛΟΓΙΚΗ

Παρουσίαση

Η εξέλιξη της επιστήμης της λογικής που ονομάστηκε "Συμβολική Λογική" οδήγησε σε δυο σημαντικές επαναστάσεις στην τεχνολογία και στην επιστήμη του εικοστού αιώνα. Από πρακτική σκοπιά έγινε η βάση για την επινόηση του Η/Υ, ενώ από θεωρητική σκοπιά οδήγησε στην γνωσιοεπιστήμη που είναι η διεπιστημονική προσπάθεια για την εξιχνίαση του τελευταίου σημαντικού γρίφου, δηλαδή του ερωτήματος "τι είναι νοημοσύνη" και "πως πραγματοποιείται νοημοσύνη σε έναν κόσμο ύλης". Είναι σημαντικό λοιπόν στον 21ο αιώνα να μελετήσουμε λογική και να γνωρίσουμε δυο βάσεις του σύγχρονου πολιτισμού.
Το βιβλίο αυτό που απευθύνεται στους φοιτητές της ψυχολογίας, γλωσσολογίας, φιλοσοφίας, γνωσιοεπιστήμης αλλά και στο γενικότερα μορφωμένο κοινό, έχει ως στόχο να εισαγάγει στα βασικά μέρη της πρωτοβάθμιας θεωρίας της λογικής, δηλαδή στον προτασιακό και στον κατηγορηματικό λογισμό, και να δείξει τη δύναμη και τη χρησιμότητα της συμβολικής λογικής με επεκτάσεις στις εφαρμογές της στην επιστημολογία, στη μεθοδολογία, στην κριτική σκέψη, στην φιλοσοφική πραγμάτευση του προβλήματος του Θεού και στη διεπιστημονική προσπάθεια να κατανοήσουμε τον νου. (Από την παρουσίαση στο οπισθόφυλλο του βιβλίου)

Περιεχόμενα

Πρόλογος
Εισαγωγή: Ορισμός της Λογικής
Επιχειρήματα, Εγκυρότητα, Ορθότητα
ΠΡΟΤΑΣΙΑΚΟΣ ΛΟΓΙΣΜΟΣ
Αληθοτιμές και Λογικά Συνδετικά
Υποθετικές Προτάσεις
Σύνθετες Προτάσεις και Πίνακες Αλήθειας
Ταυτολογία, Αντίφαση, Συνέπεια
Η Μέθοδος της Λογικής Ανάλυσης
Συνεπαγωγή και Εγκυρότητα
Απλοί Κοινοί Συμπερασμοί
Ισοδυναμία
ΚΑΤΗΓΟΡΙΚΟΣ ΛΟΓΙΣΜΟΣ
Η Λογική των Όρων
Κατηγορικές Προτάσεις - Λογικό Τετράγωνο
Αριστοτελικοί Συλλογισμοί
Διαγράμματα του Venn
Κατηγορήματα, Ονόματα, Μεταβλητές
Ποσοδείκτες και Μεταβλητές
Γραμματική του Κατηγορηματικού Λογισμού
Μοναδικά Κατηγορήματα
Πολυαδικά Κατηγορήματα
Ποσοδεικτικές Ισοδυναμίες
Κανόνες Εξατομίκευσης
Ιδιότητες Ποσοδεικτικών Προτάσεων
Συνεπαγωγή σε Ποσοδεικτικές Προτάσεις
Έλεγχος Εγκυρότητας Συμπερασμών
Τακτικές στην Εφαρμογή της Μεθόδου
Η Λογική της Ταυτότητας
Ονόματα, Περιγραφές και Αναφορά
ΕΦΑΡΜΟΓΕΣ: ΜΕΘΟΔΟΛΟΓΙΑ - ΚΡΙΤΙΚΗ ΣΚΕΨΗ
Επαγωγή και Παραγωγή
Στατιστικοί Συμπερασμοί
Η Υποθετικο-Παραγωγική Μέθοδος
Απαγωγή, Εξήγηση, Αναγωγή
Αποκλειστική Επαγωγή
"Σχεδόν" Επαγωγές: Αναλογία - Αυθεντία
Παραλογισμοί και Σοφιστίες
Διάκριση και Ορισμός
Κριτική Πραγμάτευση Επιχειρημάτων
Λογικές και Εμπειρικές Αλήθειες
Ζήτημα και Πρόβλημα
ΕΦΑΡΜΟΓΕΣ II: ΦΙΛΟΣΟΦΙΚΗ ΣΚΕΨΗ
Το Πρόβλημα του Θεού
Το Κοσμολογικό Επιχείρημα
Το Τελεολογικό Επιχείρημα
Το Επιχείρημα από τη Μυστικιστική Εμπειρία
Το Αντεπιχείρημα για την ύπαρξη του κακού
Το Πρόβλημα του Νου
Παραδοσιακές Θέσεις στο Πρόβλημα του Νου
Νεώτερες Προσεγγίσεις στο Νου
Βιβλιογραφία