| 1. | Fluid reasoning includes inductive reasoning and deductive reasoning.
L'intelligence fluide correspond au raisonnement inductif et au raisonnement déductif. |
| 2. | A statistical syllogism (or proportional syllogism or direct inference) is a non-deductive syllogism.
Un syllogisme statistique (ou syllogisme proportionnelle, ou inférence directe) est un syllogisme non déductif. |
| 3. | He tried to synthesise deductive and inductive reasoning as a solution to the "Methodenstreit".
Il aurait essayé une synthèse raisonnement déductif et raisonnement inductif comme solution à la Methodenstreit. |
| 4. | Informally, a soundness theorem for a deductive system expresses that all provable sentences are true.
De façon informelle, un théorème de correction pour un système déductif exprime que toutes les phrases prouvables sont vraies. |
| 5. | Theories that can be finitely axiomatized are seen as a bit more metamathematically elegant, even if they are less practical for deductive work.
Ces dernières sont considérées méta-mathematiquement plus élégantes, même si elles sont moins pratiques pour un travail déductif. |
| 6. | The deductive apparatus may consist of a set of transformation rules (also called inference rules) or a set of axioms, or have both.
Le système déductif peut être constitué d'un ensemble de règles de transformation (également appelées règles d'inférence) ou d'un ensemble d'axiomes, ou les deux. |
| 7. | In Carroll's dialogue, the tortoise challenges Achilles to use the force of logic to make him accept the conclusion of a simple deductive argument.
Dans le dialogue, la tortue met au défi Achille d'utiliser la force de la logique pour la convaincre d'un raisonnement déductif simple. |
| 8. | A formal system (also called a logical calculus, or a logical system) consists of a formal language together with a deductive apparatus (also called a deductive system).
Un système formel (également appelé un calcul logique ou un système logique) se compose d'un langage formel conjointement avec un système déductif. |
| 9. | Gödel's incompleteness theorem shows that any recursive system that is sufficiently powerful, such as Peano arithmetic, cannot be both consistent and syntactically complete.
Le théorème d'incomplétude de Gödel montre que tout système déductif récursif suffisamment puissant, comme l'arithmétique de Peano, ne peut pas être à la fois cohérent et syntaxiquement complet. |
| 10. | Mina Harker goes on to embody several characteristics of the New Woman, employing skills such as typing and deductive reasoning, to the amusement of the older male characters.
Mina Harker incarne plusieurs caractéristiques de la New woman, employant des techniques telles que la dactylographie et le raisonnement déductif pour amuser les personnages masculins plus âgés. |
