Bibliographic record
Abstract
_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...
Fetched live from OpenAlex and de-inverted. Abstracts are not stored in this database: the inverted indexes are 8.6 GB of the frame’s 9.3 GB of text, and the host has 13 GB free.
How this classification was reachedexpand
Full frame machine prediction
Teacher imitationNot calibrated prevalence, not ground truth. Human validation pending. The Gemma side is a direct model label for every work in the frame, read from the title-only record. The Codex side is a classifier learned from the 10,348 direct Codex labels and calibrated to design-weighted sample rates; fields without enough sample support carry no Codex call. Candidate is the union of the two sides; consensus is their intersection. These outputs are machine_predicted_unvalidated and are not human labels.
Distilled classifier scores by category (both heads)
| Category | Codex | Gemma |
|---|---|---|
| Metaresearch | 0.004 | 0.004 |
| Meta-epidemiology (narrow) | 0.001 | 0.001 |
| Meta-epidemiology (broad) | 0.001 | 0.001 |
| Bibliometrics | 0.003 | 0.002 |
| Science and technology studies | 0.003 | 0.014 |
| Scholarly communication | 0.007 | 0.007 |
| Open science | 0.001 | 0.002 |
| Research integrity | 0.003 | 0.007 |
| Insufficient payload (model declined to judge) | 0.008 | 0.004 |
Machine scores (provisional)
The two teacher heads of the student model, read on this work. A score orders the frame for review; it never asserts a category, and the validation status ships verbatim with every row.
Baseline scores from an immature model (maturity gate not passed, 7 training rounds). Scores rank; they never assert a category.
score_only:v0-immature-baseline · verbatim from the scoring run: score_only means the number may rank works, and no category label ships from itClassification
machine, unvalidatedMachine predicted; a candidate call from one source (direct Gemma or distilled Codex), not a consensus.
How this classification was reached, model by model and score by score, is at the end of the page under "How this classification was reached".