| 1. | Logicians call this an elimination of quantifiers.
Les logiciens appellent cela une élimination des quantificateurs. |
| 2. | The founders of model theory, Ernst Schröder and Leopold Loewenheim, were logicians in the algebraic tradition.
Les fondateurs de la théorie des modèles, Ernst Schröder et Leopold Löwenheim, étaient des logiciens. |
| 3. | Dr Vardi is an editor of several international journals and the president of the International Federation of Computational Logicians.
Moshe Vardi est l'éditeur de plusieurs revues internationales et le président de l'International Federation of Computational Logicians. |
| 4. | However, it was not alone: the Stoics proposed a system of propositional logic that was studied by medieval logicians.
Cependant, Aristote n'a pas été le seul, ni le premier : les stoïciens ont proposé un système de logique propositionnelle qui a été étudiée par les logiciens médiévaux. |
| 5. | Schröder's early work on formal algebra and logic was written in ignorance of the British logicians George Boole and Augustus De Morgan.
Les premiers travaux de Schröder portant sur l'algèbre et la logique ont été menés sans que leur auteur connaisse les logiciens anglais George Boole et Auguste De Morgan. |
| 6. | With philosophers such as Pollock and Donald Nute (e.g., defeasible logic), dozens of computer scientists and logicians produced complex systems of defeasible reasoning between 1980 and 2000.
Avec des philosophes tels que Pollock et Donald Nute, des dizaines de chercheurs en informatique et en logique ont créé des systèmes complexes de raisonnement révisable entre 1980 et 2000. |
| 7. | His editors (symbolized by ED.), responsible for most of the footnoting, were the logicians Henry Longueville Mansel and John Veitch.
Portion de texte anglais à traduire en français Texte anglais à traduire : His editors (symbolized by ED.), responsible for most of the footnoting, were the logicians Henry Longueville Mansel (en) and John Veitch (en). |
| 8. | Derodon took great delight in discussions on the nature of genus and species, and on those curious and puzzling questions which go under the name of the Cross of Logicians.
Derodon prenait grand plaisir aux discussions sur la nature du genre et de l’espèce, et sur ces questions curieuses et déroutantes auxquelles on donne le nom de Croix des logiciens. |
| 9. | Bolzano's posthumously published work Paradoxien des Unendlichen (The Paradoxes of the Infinite) (1851) was greatly admired by many of the eminent logicians who came after him, including Charles Sanders Peirce, Georg Cantor, and Richard Dedekind.
Son œuvre posthume Les paradoxes de l'infini a été admirée par un grand nombre d'éminents logiciens qui vinrent après lui, comme Charles Sanders Peirce, Georg Cantor et Richard Dedekind. |
| 10. | Clearness of a conception in virtue of clearness of its parts, in virtue of which logicians called an idea "distinct", that is, clarified by analysis of just what makes it applicable.
Clarté d'une conception en vertu de la clarté de ses parties, c'est-à-dire de ce que les logiciens appellent une idée « distincte », qui est clarifiée par l'analyse de ce qui la rend applicable. |
