Η θεωρία των τύπων

Description

Η θεωρία των λογικών τύπων συνιστά τη συστηματική προσπάθεια του Russel να σώσει τα θεμέλια των μαθηματικών μετά την ανακάλυψη των λογικών αντινομιών. Αν και αρχικά η θεωρία οδηγήθηκε σε περιπλοκές, ωστόσο σήμερα η κλαδωτή ιεραρχία τύπων αποτελεί συστηματικό στοιχείο της σύγχρονης μαθηματικής έρευνας. Τα τέσσερα κείμενα που έχουν συγκεντρωθεί στον παρόντα τόμο παρουσιάζουν με διεξοδικότατο τρόπο τη λογικομαθηματική όσο και τη φιλοσοφική βάση του δόγματος περί τύπων, ενώ οι σημειώσεις της ελληνικής έκδοσης παρουσιάζουν τις προεκτάσεις και τις επιπτώσεις της συγκρότησης τύπων για την τρέχουσα επιστημονική και φιλοσοφική έρευνα, τόσο στις θετικές όσο και στις κοινωνικές επιστήμες. (ΑΠΟ ΤΗΝ ΠΑΡΟΥΣΙΑΣΗ ΣΤΟ ΟΠΙΣΘΟΦΥΛΛΟ ΤΟΥ ΒΙΒΛΙΟΥ) Βιογραφικό σημείωμα Σημείωμα του μεταφραστή του πρώτου άρθρου Η Μαθηματική Λογική βάσει της θεωρίας των τύπων. Επίμετρο του υπευθύνου: Τρία κείμενα του Russell Α. Το δόγμα των τύπων Β. Το αξίωμα του απείρου και οι λογικοί τύποι Γ. Κλάσεις (και ιεραρχία τύπων) Σημειώσεις του επιμέτρου Ευρετήρια