Η θεωρία των τύπων
Mathematical logic as based on the theory of types. The doctrine of types. The axiom of infinity and logical types. Classes (τίτλος πρωτοτύπου)
Κυκλοφορεί
ISBN: 978-960-8032-58-3
Στάχυ, Αθήνα, 12/2000
1η έκδ.
Γλώσσα: Ελληνική, Νέα
Γλώσσα πρωτοτύπου: Αγγλικά
€ 8.92 (περ. ΦΠΑ 6%)
Βιβλίο, Χαρτόδετο
11 x 17 εκ., 238 σελ.
Περιγραφή

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


[Απόσπασμα από το κείμενο στο οπισθόφυλλο της έκδοσης]

Βιογραφικό σημείωμα
Σημείωμα του μεταφραστή του πρώτου άρθρου
Η Μαθηματική Λογική βάσει της θεωρίας των τύπων.
Επίμετρο του υπευθύνου: Τρία κείμενα του Russell
Α. Το δόγμα των τύπων
Β. Το αξίωμα του απείρου και οι λογικοί τύποι
Γ. Κλάσεις (και ιεραρχία τύπων)
Σημειώσεις του επιμέτρου
Ευρετήρια

Add: 2014-01-01 00:00:00 - Upd: 2021-03-17 18:26:32