-
1 logique formelle
-
2 logique
logique [lɔʒik]1. feminine noun• le pays est entré dans une logique de guerre the country has embarked on a course that will inevitably lead to war2. adjectivea. logicalb. ( = normal) c'est toujours moi qui fais tout, ce n'est pas logique ! (inf) I'm the one who does everything, it's not fair!* * *lɔʒik
1.
1) gén logical2) (colloq) ( compréhensible) reasonable
2.
1) gén logic (de of)2) Mathématique, Informatique, Philosophie logic* * *lɔʒik1. adj1) (raisonnement, système, opérateur) logical2) (= normal, évident)2. nf* * *A adj1 gén logical; il n'est pas logique avec lui-même he is not consistent;2 ○( compréhensible) reasonable; ce serait logique qu'ils soient partis it would be reasonable for them to have left.B nf1 gén logic (de of); manquer de logique to be illogical; logique industrielle/financière industrial/financial logic; défier toute logique to defy all logic; avec logique logically, in a logical way; c'est dans la logique des choses it's in the nature of things; logique déductive deductive reasoning; cela s'inscrit dans la même logique it fits into the same scheme; en toute logique logically; logique de guerre logic of war;[lɔʒik] adjectifah oui, c'est logique, je n'y avais pas pensé! ah, that makes sense, I hadn't thought of that!sois logique avec toi-même, tu veux qu'elle vienne ou pas? you can't have it both ways, do you want her to come or not?tu la brimes, elle t'en veut, c'est logique if you pick on her she'll hold it against you, that's only normal ou natural ou logical————————[lɔʒik] nom fémininlogique formelle ou pure formal logic2. [cohérence] logiclogique binaire/booléenne binary/Boolean logic -
3 formel
formel, -elle [fɔʀmεl]adjectivea. ( = catégorique) definite• je suis formel ! I'm absolutely sure!* * *- elle fɔʀmɛl adjectif1) [refus, démenti] categorical, flat; [promesse] definite; [ordre] strictêtre formel sur — [personne] to be definite about; [loi] to be clear on
il a dit 20 heures, je suis formel — he said 8 pm, I'm quite positive about it
2) (en art, philosophie) formal3) ( superficiel) [politesse] formal* * *fɔʀmɛl adj formel, -le1) (preuve, décision) definite, positive2) (logique) formal* * *1 [intention] express ( épith); [refus, démenti] categorical, flat; [promesse] definite; [ordre, interdiction] strict; [personne] categorical; donner un démenti formel à qch to deny sth categorically; être formel sur qch [personne] to be definite about sth; [loi] to be clear ou explicit on sth; il a dit 20 heures, je suis formel he said 8 pm, I'm quite positive about it;3 ( superficiel) [politesse] formal; une question purement formelle a token question; c'est purement formel it's just a formality.le médecin a été formel, pas de laitages! no milk products, the doctor was quite clear about that!2. [de la forme] formal3. [superficiel]
См. также в других словарях:
Logique formelle — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas … Wikipédia en Français
Logique formelle — ● Logique formelle étude générale des raisonnements déductifs, abstraction faite de leur application à des cas particuliers … Encyclopédie Universelle
logique formelle — formalioji logika statusas T sritis automatika atitikmenys: angl. formal logic vok. formale Logik, f rus. формальная логика, f pranc. logique formelle, f … Automatikos terminų žodynas
LOGIQUE MATHÉMATIQUE — La logique au sens étroit du terme, c’est à dire la logique formelle par opposition à l’épistémologie ou à la théorie de la connaissance, se propose de donner une théorie de l’inférence formellement valide. Elle considère comme valide toute… … Encyclopédie Universelle
LOGIQUE (HISTOIRE DE LA) — Ce n’est qu’à une époque relativement récente qu’on a vraiment commencé à s’intéresser à l’histoire de la logique. Jusqu’au milieu du XIXe siècle régnait en effet l’idée que la logique n’avait pas d’histoire, étant, pour l’essentiel, sortie… … Encyclopédie Universelle
Logique générale — Logique Gregor Reisch, « La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 (?). Les deux chiens veritas et falsitas courent derrière le lièvre problema, la logique se presse armée de son épée syllogismus. En bas … Wikipédia en Français
LOGIQUE INDIENNE — Les questions de raisonnement logique occupent une place aussi importante dans la philosophie indienne, d’un bout à l’autre de son histoire, que dans la tradition occidentale. Ce n’est que dans les années 1930 que la plupart des Occidentaux ont… … Encyclopédie Universelle
Logique Chinoise — La logique chinoise est longtemps restée isolée des développements de la logique en Europe et dans le monde islamique. La fondation de l école du moïsme est attribuée à Mozi. Ses canons ont trait à la dérivation d inférences valides et aux… … Wikipédia en Français
Logique symbolique — ● Logique symbolique synonyme de logique formelle … Encyclopédie Universelle
logique — 1. logique [ lɔʒik ] n. f. • XIIIe; lat. logica, gr. logikê, de logos « raison » I ♦ 1 ♦ Science ayant pour objet l étude, surtout formelle, des normes de la vérité; « analyse formelle de la connaissance » (Piaget). Logique formelle, logique pure … Encyclopédie Universelle
Logique — Pour les articles homonymes, voir Logique (homonymie). Gregor Reisch« La logique présente ses thèmes centraux », Margarita Philosophica, 1503/08 … Wikipédia en Français