Notice bibliographique
Résumé
_Russell_ journal (home office): E:CPBRRUSSJOURTYPE2402\REVIEWS.242 : 2005-05-19 13:37 eviews RUSSELL’S LOGICISM I. G-G Stefano Donati. I fondamenti della matematica nel logicismo di Bertrand Russell [The Foundations of Mathematics in the Logicism of Bertrand Russell]. Florence: Atheneum, . Pp. . .. he measure of Italian writings on Russell’s logic and philosophy has been Tmodest; but now we have the longest essay on his logic in any language. Many of the mathematical topics are treated, as well as the much better known philosophical ones; the standard of referencing of texts is high. Yet the book is also among the most perplexing histories of my acquaintance. Rather than following a synchronic treatment that tracks the many interacting ways in which Russell’s theories changed over time, the author treats the subject diachronically , taking a topic or theme from the s or s onwards and sometimes up later writings, and then not always in chronological order. In addition, several significant topics and aspects are largely or wholly passed over. After the introduction, Chapter (pp. –) describes Cantorian set theory , especially the treatment of finite and transfinite arithmetic. This is an important influence upon Russell that is often poorly treated by Russellians. Curiously, only one historical work in and around Cantor is cited. After establishing this major figure, one would expect to read next about an even greater influence on Russell: Peano, and the growth of mathematical logic. Instead Chapter (pp. –) treats “The Russellian Foundation of [Finite] Arithmetic”, where Peano features only for his axioms; there is little historical account of the chief originator of mathematical logic, and nothing on his important followers Pieri and Padoa. Russell’s own definition of integers in terms of equivalent (well-ordered) classes is done in some detail, including comparisons with Frege and Peano’s theories. Chapter (pp. –) treats Russell’s “extension” to real and complex numbers (including the relation numbers), and some of their relationships to geometry. The second definition of real numbers (positive and negative) in Principia Mathematica, usually ignored, is duly noted. Chapter (pp. –) deals with Russell’s “crisis”, and covers not only the paradoxes and his attempted solutions but also the axiom of choice. It is nice to see the latter topic given the space that it deserves; the author might have stressed more on page that Russell seems to have slightly anticipated russell: the Journal of Bertrand Russell Studies n.s. (winter –): – The Bertrand Russell Research Centre, McMaster U. - _Russell_ journal (home office): E:CPBRRUSSJOURTYPE2402\REVIEWS.242 : 2005-05-19 13:37 Reviews Zermelo in its discovery. Now come two jumbo chapters: “Towards the Ramified Theory of Types” (pp. –), and on the definitive versions (pp. –). The account begins with the first detailed discussion of Russell’s Principles of Mathematics (), with Donati’s book nearly half over. Chapter then proceeds through the theory of denoting and goes up to the three possible solutions of the paradoxes that Russell was entertaining by . One solution was the substitutional theory, which Russell pursued for some time; the author reviews both it and the differing opinions of its merits that have been aired by historians in recent times. (However, the paradox that Russell found within it is not considered.) The next chapter starts with the vicious-circle principle and examines the type theories in the paper and that (those?) given in Principia. An important limitation, indeed refutation, of logicism is missed on page ; since only a finite number of types can be defined, the upper end of the sequence of Cantor ’s transfinite numbers is not definable, so that the territory of the paradoxes of the greatest cardinal and ordinal cannot even be approached. The chapter concludes with various “objections”, such as queries over the dubious axioms. Zermelo’s axiomatization of set theory comes here, though it is hardly an objection to Russell but an alternative approach to the foundations of set theory. Finally comes Chapter , on “The Logicism of Russell” (pp. –). Inevitably this matter has turned up earlier: the concern here is with its most general features, and with the book manuscript of on epistemology that Russell came to abandon. Also considered are some positions taken later by Gödel and Quine; the...
Récupéré en direct depuis OpenAlex et désinversé. Les résumés ne sont pas conservés dans cette base de données : les index inversés représentent 8,6 Go des 9,3 Go de texte de la base, et le serveur dispose de 13 Go libres.
Comment cette classification a été obtenuedéplier
Prédiction machine sur la base complète
Imitation des enseignantsNi prévalence calibrée, ni vérité terrain. Validation humaine à venir. Le volet Gemma est une étiquette directe du modèle pour chaque travail de la base, lue sur la notice réduite au titre. Le volet Codex est un classifieur appris des 10 348 étiquettes directes de Codex et calibré sur les taux pondérés de l'échantillon; les champs sans appui suffisant ne portent aucun appel Codex. Le mode candidate est l'union des deux volets; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont pas des étiquettes humaines.
Scores du classifieur distillé par catégorie (deux têtes)
| Catégorie | Codex | Gemma |
|---|---|---|
| Métarecherche | 0,004 | 0,004 |
| Méta-épidémiologie (sens strict) | 0,001 | 0,001 |
| Méta-épidémiologie (sens large) | 0,001 | 0,001 |
| Bibliométrie | 0,003 | 0,002 |
| Études des sciences et des technologies | 0,003 | 0,014 |
| Communication savante | 0,007 | 0,007 |
| Science ouverte | 0,001 | 0,002 |
| Intégrité de la recherche | 0,003 | 0,007 |
| Charge utile insuffisante (le modèle a refusé de juger) | 0,008 | 0,004 |
Scores machine (provisoires)
Les deux têtes enseignantes du modèle étudiant, lues sur ce travail. Un score ordonne la base pour la relecture; il n'affirme jamais une catégorie, et le statut de validation accompagne chaque rangée tel quel.
Scores de référence d'un modèle non mature (critères de maturité non atteints, 7 itérations). Un score ordonne; il n'affirme jamais une catégorie.
score_only:v0-immature-baseline · tel quel depuis la passe de notation : score_only signifie que le nombre peut ordonner les travaux, et qu'aucune étiquette de catégorie n'en découleClassification
machine, non validéePrédiction automatique; un appel candidat d’une seule source (Gemma direct ou Codex distillé), pas un consensus.
Le détail, modèle par modèle et score par score, se trouve en fin de page sous « Comment cette classification a été obtenue ».