Logic, modality, and philosophy of mathematics
Notice bibliographique
Résumé
MODALITY Smullyan, A F, Modality and Description, Journal of Symbolic Logic 13 [1948] Myhill, John, Problems Arising in the Formalization of Intentional Logic, Logique et Analyse I [1958] Wilson, N L, Modality and Identity, Journal of Philosophy, 62 [1965] Sleigh, Robert,Jr, A Note on an Argument of Quine's, Philosophical Studies 17 [1966] Burge, Tyler, Kaplan, Quine and suspended Belief, Philosophical Studies 31 [1977] Church, Alonzo, A Remark concerning Quine's Paradox and Modality, In Nathan Salmon and Scott Soames, eds., Propositions and Attitudes [Oxford: Oxford University Press: 1988] SINGULAR TERMS Wilson, Neil L, Property Designation and Description, Philosophical Review 64 [1955] Strawson, P F, Singular Terms and Predication, Journal of Philosophy 58 [1961] Loar, Brian, Reference and Propositional Attitudes, Philosophical Review 81 [1972] Linsky, Leonard, Quine on Quantifying in, Journal of Philosophy 66 [1969] Hornsby, Jennifer, Singular Terms in Contexts of Propositional Attitude, Mind 86 [1977] IDENTITY Evans, Gareth, Identity and predication, Journal of Philosophy 72 [1975] PHILOSOPHY OF MATHEMATICS Parsons, Charles, Ontology and Mathematics, Philosophical Review 80 [1971] LOGIC Leblanc, Hughes, Commentary on W V Quine's Free Logic, description and Virtual Clases, Dialogue: Canadian Philosophical Review 36 [1977] SURPRISE EXAM Ayer, A J, On A Supposed Antinomy, Mind 82 [1973] Bennett, Johnathan, Review of Several Papers on the Surprise Exam, Journal of Symbolic Logic 30 [1965] NEW FOUNDATION (1937) Boffa, M, Sets Equipollent to their power set in NF, Journal of Symbolic Logic 40 [1975] Boffa, M, The Consistency Problem for NF, Journal of Symbolic Logic 42 [1977] Boffa, M, ZFJ and the Consistency Problem for NF, Jahrbuch der Kurt Goedel Gesselschaft [1988] Crabbe, M, On the Consistency of an Imprecicative Subsytem of Quine's NF, Journal of Symbolic Logic 47 [1982] Crabbe, M, The Hauptsatz for Stratified Comprehension: A Semantic Proof, Mathematical Logic Quarterly 40 [1994] Crabbe, M, On NFU, Notre Dame Journal of Formal Logic 33 [1992] Dzierzgowski, Daniel, Models of Intuitionistic TT and NF, Journal of Symbolic Logic 60 [1995] Forster, Thomas, Quine's NF 60 years on, American Mathematical Monthly 104 [November 1997] Forster, Thomas, Term Models for weak Set Theories with a Universal Set, Journal of Symbolic Logic 57 [1987] Forster, Thomas and Kaye, End extensions preserving power set, Journal of Symbolic Logic 56 [1991] Grishin, V N, Consistency of a Fragment of Quine's NF System
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,000 | 0,000 |
| Méta-épidémiologie (sens strict) | 0,000 | 0,000 |
| Méta-épidémiologie (sens large) | 0,000 | 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 ».