Notice bibliographique
Résumé
introduction A surprising feature of Russell's work in logic is that he began and ended with a theory of types. This chapter begins with a summary of the 1903 theory of types and then proceeds to the much more complex ramified theory of types that emerged from Russell's intense work on the foundations of logic from 1903 to 1907. After discussing the problems connected with the Axiom of Reducibility, the chapter concludes with the simple theory of types, and the later history of type theory, after the demise of the logicist programme. the 1903 theory of types Russell’s early theory of types, presented in Appendix B to the Principles of Mathematics , already contains many of the basic features of the mature system given in his fundamental paper of 1908 and in Principia Mathematica . In 1901, Russell had begun writing out the derivation of mathematics from logic, employing the methods of Peano and his school. This led him to examine Cantor’s proof that there is no greatest cardinal number. This result conflicted with his assumption that there is a universal class, having all objects as members, which ought to have the greatest cardinal number. Close analysis of the diagonal argument used in Cantor’s proof led to the discovery of the paradox of the class of all classes that are not members of themselves, now called “Russell’s paradox,” but which Russell called “the Contradiction.” The logical paradoxes emerged at an awkward moment, when Russell had already written most of the penultimate draft of the Principles . Rather than hold up its publication indefinitely, he took the manuscript of his book to the printer in May 1902 before finding a solution. His initial reaction was that the Contradiction was of a somewhat trivial character, and that it could be avoided by a simple modification of the primitive propositions of 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 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,002 | 0,003 |
| 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,004 |
| Études des sciences et des technologies | 0,003 | 0,016 |
| Communication savante | 0,007 | 0,015 |
| Science ouverte | 0,002 | 0,003 |
| Intégrité de la recherche | 0,002 | 0,005 |
| Charge utile insuffisante (le modèle a refusé de juger) | 0,013 | 0,005 |
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 ».