Notice bibliographique
Résumé
This is a dictionary for students of logic.It covers a range of logical and logicrelated topics which may be put in these four categories: (a) brief surveys of logical systems like propositional logic, quantificational logic, belief logic, deontic logic, mereology, modal logic, etc., (b) explanations of common logical terminology such as argument, contrapositive, entailment, fallacy, validity, etc., in addition to (c) very short sketches of the contributions of important logicians like Aristotle, Barcan Markus, Boole, Frege, Kripke, Quine, and Russell, and (d) some entries indicating the role of logic in fields outside logic proper, e.g., logic and God, logic and mind, logic and computers, and formal ethics.I think the entries are all reasonable, as far as they go.Compared with Kneale and Kneale's The Development of Logic (1962), Gensler's Historical Dictionary is much less ambitious.The Kneales have much more detail and they often go deeper-but theirs is not a dictionary and since their interest is in logic in the narrow sense (see below), they give us only a history of logic in the narrow sense.Boole's work, for example, gets over 10,000 words with the Kneales but only about 550 words in Gensler.Frege gets at least 20,000 words from the Kneales and about from 550 words, plus his own one-page bibliography, in Gensler.However, Gensler's interests, as mentioned, range wider than do the Kneales', and he has the advantage over them of being able to report on the additional growth of logic over the last forty-five years.Unlike the Kneales' history, Gensler's Dictionary is extremely accessible and convenient for someone who just wants to know in outline what, say, deontic logic, or the continuum hypothesis, is.There is something eclectic about Gensler's Dictionary that invites us to compare it with Quine's Quiddities (1987).In addition to what we expect (both books contain
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,002 | 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 ».