MétaCan
Menu
Retour à la cohorte
Enregistrement W4366809788 · doi:10.1353/rss.2004.0000

Russell’s Logicism

2004· article· de· W4366809788 sur OpenAlexvenueno aff
I. Grattan-Guinness

Notice bibliographique

RevueRussell the Journal of Bertrand Russell Studies · 2004
Typearticle
Languede
DomaineMathematics
ThématiqueHistory and Theory of Mathematics
Établissements canadiensnon disponible
Organismes subventionnairesnon disponible
Mots-clésPeano axiomsTransfinite numberGödel's incompleteness theoremsTheme (computing)AxiomFoundations of mathematicsSubject (documents)PhilosophyEpistemologyPhilosophy of mathematicsMathematical logicMathematicsSet theoryMathematical economicsSet (abstract data type)Computer sciencePure mathematicsDiscrete mathematicsGödelAlgorithmProgramming language

Résumé

récupéré en direct d'OpenAlex

_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 enseignants

Ni 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.

score de la tête « metaresearch » (Codex)0,004
score de la tête « metaresearch » (Gemma)0,004
Version: metacan-v3-hybrid-931329e0061cStatut de validation: machine_predicted_unvalidated
Catégories candidatesaucune
Catégories consensuellesaucune
DomaineSignal candidat: aucune · Signal consensuel: aucune
Devis d'étudeSignal candidat: Sans objet · Signal consensuel: aucune
GenreSignal candidat: Empirique · Signal consensuel: aucune
Score de désaccord entre enseignants0,009
Score d'incertitude au seuil0,068

Scores du classifieur distillé par catégorie (deux têtes)

CatégorieCodexGemma
Métarecherche0,0040,004
Méta-épidémiologie (sens strict)0,0010,001
Méta-épidémiologie (sens large)0,0010,001
Bibliométrie0,0030,002
Études des sciences et des technologies0,0030,014
Communication savante0,0070,007
Science ouverte0,0010,002
Intégrité de la recherche0,0030,007
Charge utile insuffisante (le modèle a refusé de juger)0,0080,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.

Tête enseignante Opus0,054
Tête enseignante GPT0,299
Écart entre enseignants0,245 · la distance entre les deux têtes enseignantes sur ce seul travail
Statut de validationscore_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écoule

Classification

machine, non validée

Prédiction automatique; un appel candidat d’une seule source (Gemma direct ou Codex distillé), pas un consensus.

Les modèles n’ont appliqué aucune catégorie : rien dans la taxonomie ne correspondait à ce travail.
Devis d'étudeSans objet
Domainenon disponible
GenreEmpirique

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 ».

En bref

Citations0
Publié2004
Routes d'admission1
Résumé présentoui

Explorer davantage

Même revueRussell the Journal of Bertrand Russell StudiesMême sujetHistory and Theory of MathematicsTravaux en français237 207