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

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

«Ο λογικός τύπος ή κατηγορία στον οποίο ανήκει μια έννοια είναι το σύνολο των τρόπων κατά τους οποίους είναι λογικά νόμιμο να τη χειριζόμαστε.»

GILBERT RYLE 1950