Histoire de la logique oor Engels

Histoire de la logique

Vertalings in die woordeboek Frans - Engels

history of logic

aspect of history

voorbeelde

Mais ni l’un ni l’autre n’en ont senti l’importance au point de vue de l’histoire de la logique.
But neither has seen their importance from the point of view of the history of logic.

Une brève présentation de l'histoire de la logique et des paradoxes sert d'historique au Théorème de Godel.
A brief presentation of the history of logic and paradoxes is given as background for Godel's Theorem.

Il y a une histoire de la logique comme il y a une histoire de la technologie.
There is a history of logic as there is a history of technology.

Toute l'histoire de la logique consiste à définir une notion acceptable de stupidité.
The whole history of logic consists of attempts to define an acceptable notion of moronism.

Il vise à rendre compte de certains traits de l’histoire récente de la logique floue.
It aims at giving an account of certain features of recent history of fuzzy logic.

Selon Grattan-Guinness (2000), ce point de vue sur l'histoire de la logique est erroné, car Frege emploie une notation idiosyncrasique et a été beaucoup moins lu, par exemple, que Peano.
Grattan-Guinness (2000) argues that this perspective on the history of logic is mistaken, because Frege employed an idiosyncratic notation and was far less read than, say, Peano.

L'anthologie From Frege to Gödel (van Heijenoort, 1967), peut-être le livre le plus important jamais publié sur l'histoire de la logique et des fondements des mathématiques, est une anthologie de traductions.
The Source Book (van Heijenoort 1967), perhaps the most important book ever published on the history of logic and of the foundations of mathematics, is an anthology of translations.

En d'autres termes, et pour citer Immerman : « dans l'histoire de la logique mathématique, l'intérêt s'est porté principalement sur les structures infinies Mais les objets que les ordinateurs contiennent et gèrent sont toujours finis.
In other words: "In the history of mathematical logic most interest has concentrated on infinite structures....Yet, the objects computers have and hold are always finite.

C'est un personnage majeur de l'histoire de la logique mathématique, car il fit une synthèse des œuvres de George Boole, Augustus De Morgan, Hugh MacColl (en), et particulièrement Charles Sanders Peirce, et poursuivit leurs travaux.
He is a major figure in the history of mathematical logic (a term he may have invented), by virtue of summarizing and extending the work of George Boole, Augustus De Morgan, Hugh MacColl, and especially Charles Peirce.

C'est aussi le temps où débute l'histoire moderne de la logique juridique [Kalinowski, 1982] .
This is also the time where the modern history of legal reasoning (Kalinowski 1982) starts.

D'un concept différent de celui qui avait cours dans l'histoire de la philosophie, de la logique, de la science.
Of a concept different from the one that has held sway in the history of philosophy, logic, science.

Ce n'était pas le moment de faire une conférence sur l'histoire du développement de la logique.
It was not the moment for a lecture on the history of the development of logic.

Parmi ses centres de recherche figurent la métaphysique et l'ontologie, l'histoire de la logique, l'histoire de la philosophie d'Europe centrale, particulièrement en Autriche et en Pologne au cours des XIXe siècle et XXe siècles, et l'application de la métaphysique à l'ingénierie et à d'autres disciplines non philosophiques.
His research interests include metaphysics and ontology, the history of logic, the history of Central European Philosophy, particularly in Austria and Poland in the 19th and 20th centuries, and the application of metaphysics to engineering and other non-philosophical disciplines.

Ses recherches abordent différents domaines : la philosophie en France (Jean Cavaillès, Maurice Merleau-Ponty), l'histoire de la logique (Kurt Gödel, Alfred North Whitehead), les nouvelles technologies (notamment celles issues des neurosciences et de la cybernétique) et les modifications que celles-ci induisent dans la représentation de soi comme dans l'appréhension d'un univers extérieur.
His research deals with French philosophy (Jean Cavaillès, Maurice Merleau-Ponty), the history of logic (Kurt Gödel, Alfred North Whitehead), new technologies (notably issues in neuroscience and cybernetics), and the modifications these induce in the representation of the self as well as in the apprehension of the external universe.

Cependant, prétendre que la République de Chine à Taiwan est une province de la République populaire de Chine défie l'histoire, la logique et la réalité
However, the claim that the Republic of China on Taiwan was a province of the People's Republic of China defied history, logic and reality

Cependant, prétendre que la République de Chine à Taiwan est une province de la République populaire de Chine défie l’histoire, la logique et la réalité.
However, the claim that the Republic of China on Taiwan was a province of the People’s Republic of China defied history, logic and reality.

Elle est encore moins capable de modifier les faits de l’histoire de l’art et la logique interne des formes.
Still less can it alter the facts of artistic history and the internal logic of forms.

À l’exception d’un cas où les faits vont à l’encontre de la logique de l’histoire : je veux parler de la poursuite de l’occupation sioniste des territoires palestiniens.
But there is one exception in which developments have gone against the logic of history: namely the continued Zionist occupation of Palestinian territories.

À l'exception d'un cas où les faits vont à l'encontre de la logique de l'histoire: je veux parler de la poursuite de l'occupation sioniste des territoires palestiniens
But there is one exception in which developments have gone against the logic of history: namely the continued Zionist occupation of Palestinian territories

C'est la logique même de l'histoire, de la géographie et du bon sens.
That is only logical historically, geographically-speaking and from the point of view of common sense.

La marche logique de l’histoire veut que la tuerie en masse des animaux soit de plus déconsidérée.
The logical march of history seems to favor progressive discrediting of the mass killing of animals.

Cette journée historique correspond à toute la logique de l'histoire de la Pologne, depuis l'aube de ses origines jusqu'à nos jours.
Today's historic day is an answer to the entire logic of Poland's history from the dawn of its beginnings up to our times.

C'est une organisation internationale pour la promotion de la recherche dans les champs de la logique, de la philosophie et de l'histoire des mathématiques.
It is an international organization for the promotion of research in the areas of logic, philosophy, and the history of mathematics.

Concernant les commentaires sur la diffusion historique de la culture et la nécessité de mai tenir l ’équilibre en matière de propriété intellectuelle, la représentante a mis en garde n contre l’utilisation sélective de l’histoire et l’application convenue de la logique de la propriété intellectuelle.
In regard to comments regarding historical diffusion of culture and the need to maintain balance in IP, the representative cautioned against the selective use of history and the formulaic application of IP logic.

Tous ses domaines d’action et d’intervention n’ont pas la même histoire et ne relèvent pas de la même logique.
Not all of the domains in which it acts and intervenes share the same history or reflect the same logic.