Comments on Stevens’ Review of The Cambridge Companion and Anellis on Truth Tables
Notice bibliographique
Résumé
_Russell_ journal (home office): E:CPBRRUSSJOURTYPE2402\IVOR.242 : 2005-05-19 13:36 iscussion COMMENTS ON STEVENS’ REVIEW OF THE CAMBRIDGE COMPANION AND ANELLIS ON TRUTH TABLES I. G-G Mathematics / Middlesex U. at Enfield Middlesex , @. n his review of the Griffin Companion on Russell, Stevens calls into quesItion several aspects of my reading of the mathematical aspects of Russell’s logic. Some clarifications are in order. (). One of the most innovative aspects of recent Russell studies is the upgrading by Landini of Russell’s substitutional logic, in which Russell had dispensed with propositional functions and relations and worked only with propositions , their truth values, and individuals; the latter were substitutable into a proposition, and propositions into compound propositions, by means of a notion called “matrix”. Russell developed the theory from about mid- to early in , in a large collection of manuscripts that we may be able to read one day complete in Papers . He came to see it as the means to achieve logicism; but then he found various difficulties with it, including a paradox. Thereafter it was only a residue in his definitive theories of types, where propositional functions and relations were back on centre stage. This is my view, recorded in my article in the book; but Stevens sees the Graham Stevens, review of Nicholas Griffin, ed., The Cambridge Companion to Bertrand Russell, in Russell, n.s. (): –. A main source of this paradox is a letter by Russell to R. G. Hawtrey. Both Stevens (p. ) and Landini (p. of the Companion) locate it in the Russell Archives; in fact, the original letter is among the Hawtrey Papers at Churchill College, Cambridge (Grattan-Guinness, The Search for Mathematical Roots, –. Logics, Set Theories and the Foundations of Mathematics from Cantor through Russell to Gödel [Princeton: Princeton U. P., ], p. ). russell: the Journal of Bertrand Russell Studies n.s. (winter –): – The Bertrand Russell Research Centre, McMaster U. - _Russell_ journal (home office): E:CPBRRUSSJOURTYPE2402\IVOR.242 : 2005-05-19 13:36 . - matrix in the type theory of Russell’s “Mathematical Logic as Based on the Theory of Types” () as “dramatically” (p. ) exhibiting a difference from the version in Principia Mathematica, where a matrix is redefined as a propositional function with no quantifiers (: –). In a companion on Russell my aim was capture Russell’s apparent position in the s and s: the treatment of substitution in covers just one paragraph in art. , immediately followed by a declaration that it is “technically inconvenient”, while the redefinition of matrix in Principia does not deploy substitution at all. So maybe “residue” is a reasonable historical appraisal. Similarly, Stevens wonders what mathematics Russell might not have been achieved with the substitutional theory, given Landini’s revival of it (pp. –). The table in my article shows the range of mathematics that Principia was intended to cover: much (but not all) of Cantorian set theory and transfinite arithmetic, and a rather mixed bag from the foundations of real-variable analysis (including a second definition of integers and numbers), some intended for the Volume of Principia on geometry that Whitehead was in the end to abandon. Russell himself did not get that far into this mathematical mountain in his substitutional manuscripts, and I am not aware of any more detailed explorations in Landini’s or anyone else’s writings. Given the considerable technical and philosophical difficulties that attend the exposition in Principia, such as the issues surrounding the multiplicative axiom, these claims for substitutional theories need further elaboration. In recent years I have advocated, as a fundament of historiography, the distinction between two ways of reading past knowledge, each one legitimate but independent of and quite different from each other: history, where the effort is to reconstruct what the historical figures did and did not do, with careful handling and often avoidance of later theories; and heritage, where those later theories can be readily deployed. In the passage cited, Stevens seems to read Principia in a heritage spirit inspired by Landini’s excellent proposals; but this leads to a “temptation to assimilate Russell’s views to more modern ones[, which] has been a cause of many misinterpretations of Russell’s logic...
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 distillée sur la base complète
Imitation des enseignantsNi prévalence calibrée, ni vérité terrain. Validation humaine à venir. Apprise à partir de 10 348 étiquettes directes de Codex et de 10 348 étiquettes directes de Gemma. Le mode candidate est l'union des têtes enseignantes seuillées; le consensus est leur intersection. Ces sorties portent le statut machine_predicted_unvalidated et ne sont ni des étiquettes humaines ni des étiquettes directes de modèles de pointe.
Scores Codex et Gemma par catégorie
| Catégorie | Codex | Gemma |
|---|---|---|
| Métarecherche | 0,002 | 0,000 |
| Méta-épidémiologie (sens strict) | 0,000 | 0,000 |
| Méta-épidémiologie (sens large) | 0,001 | 0,000 |
| Bibliométrie | 0,000 | 0,000 |
| Études des sciences et des technologies | 0,000 | 0,000 |
| Communication savante | 0,000 | 0,000 |
| Science ouverte | 0,000 | 0,000 |
| Intégrité de la recherche | 0,000 | 0,000 |
| Charge utile insuffisante (le modèle a refusé de juger) | 0,000 | 0,000 |
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 tête enseignante, 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 ».