Übersetzung für "Formal logic" in Deutsch

Contains no hint of modern formal logic.
Enthält keine Hinweise auf die moderne Logik.
WikiMatrix v1
The design brought into play his knowledge of formal logic.
Das Design ins Spiel gebracht seine Kenntnisse der formalen Logik.
ParaCrawl v7.1
From the point of view of formal logic, defence and offence are immutable opposites.
Aus der Sicht der formalen Logik sind Defensive und Offensive unveränderliche Gegensätze.
ParaCrawl v7.1
Engels solved in principle the question of the relationship between formal logic and dialectics.
Engels löste prinzipiell die Frage nach dem Verhältnis zwischen formaler Logik und Dialektik.
ParaCrawl v7.1
John Nevile published Formal Logic four months after John Maynard was born.
John Nevile veröffentlicht Formale Logik von vier Monaten nach John Maynard war geboren.
ParaCrawl v7.1
Here formal logic and abstract generalisations will provide no answer.
Hier bringen uns formale Logik und abstrakte Verallgemeinerungen nicht weiter.
ParaCrawl v7.1
He works with pure sound, yet does so in the context of a formal and musical logic.
Er arbeitet mit reinem Sound, aber im Kontext einer formalen und musikalischen Logik.
ParaCrawl v7.1
Westerners are more analytic, tending to pay attention from single object and rely more heavily on formal logic.
Westliche Probanden denken analytischer, beachten einzelne Objekte stärker und verlassen sich eher auf förmliche Logik.
ParaCrawl v7.1
The research topics of our group include formal, logic-based methods for the specification, verification and analysis of software.
Forschungsgebiet unserer Gruppe sind formale, logikbasierte Methoden zur Spezifikation, Verifikation und Analyse von Software.
ParaCrawl v7.1
This book is different from most books on mathematical logic in that it emphasizes the mathematics of logic, as opposed to the formal structure of logic.
Sie sind geeignet, eine extrem unsachliche und herabwürdigende Argumentation mit Hilfe der Logik zu führen, wurden von ihm selbst jedoch zeitlebens nicht veröffentlicht.
Wikipedia v1.0
McLuhan suggests that the Middle Ages, for instance, was characterized by the heavy emphasis on the formal study of logic.
Diesem Schema gemäß ist für McLuhan das Mittelalter durch die Betonung der theoretischen Beschäftigung mit Logik gekennzeichnet.
Wikipedia v1.0
In 18th-century Europe, attempts to treat the operations of formal logic in a symbolic or algebraic way had been made by philosophical mathematicians including Leibniz and Lambert, but their labors remained isolated and little known.
Mathematiker mit einem philosophischen Hintergrund, wie Leibniz oder Lambert versuchten bereits früh, die Operationen der formalen Logik mit einem symbolischen oder algebraischen Ansatz zu behandeln, aber ihre Arbeiten blieben weitgehend isoliert und unbekannt.
Wikipedia v1.0
In 1931, Kurt Gödel published the incompleteness theorems, which he proved in part by showing how to represent the syntax of formal logic within first-order arithmetic.
Im Jahr 1931 veröffentlichte Kurt Gödel die Unvollständigkeitssätze, die er teilweise bewies, indem er zeigte, wie Syntax oder die formale Logik innerhalb der Arithmetik erster Ordnung dargestellt werden kann.
WikiMatrix v1
I think that on this point Parliament must firmly maintain that we are dealing with a question of principle and that it will forcefully reject any budget in which the expenditure for new policies is regarded — against any formal or substantial logic
Dies ist ein technisches und schwieriges Gebiet, das manchmal schwer verständlich ist, in dem aber vieles von dem roten Fleisch der Gemeinschaftsbeschlüsse, vieles von der Substanz und dem Wesen der Gemeinschaft, die wir für die Zukunft bauen, tatsächlich ent schieden wird, und ich vertraue darauf, daß die Hoffnungen, die die Wähler in ganz Europa auf dieses Parlament setzen, die sie in Ihre Arbeit setzen, ihren Ausdruck im Haushalt der Europäischen Gemeinschaften für die kommenden Jahre finden werden.
EUbookshop v2
The title, Konditional, relates to grammar (if…, then,…) as well as to formal logic (A as an adequate condition for B).
Der Titel Konditional hat sowohl Referenzen zur Grammatik (wenn..., dann...) als auch zur formalen Logik (a als hinreichende Bedingung für b).
ParaCrawl v7.1
Such predicates are based on logical universal and existential quantifiers that are recognised in formal logic.
Solche Prädikate basieren auf logischen universellen und existentiellen Quantifizierern, die in der formalen Logik erkannt werden.
ParaCrawl v7.1
From the standpoint of formal logic it is irrefutable that if the proletariat cannot gradually transform the bourgeois state into a workers’ state but must smash the state machine, the bureaucracy on becoming the ruling class also cannot gradually transform the workers’ state into a bourgeois state, but must smash the state machine.
Vom Standpunkt der formalen Logik aus gesehen stimmt das sicherlich, denn es ist unbestreitbar, daß, wenn das Proletariat den bürgerlichen Staat nicht schrittweise in einen Arbeiterstaat verwandeln kann, sondern ihn zerschlagen muss, umgekehrt auch die Bürokratie bei ihrer Transformation zur herrschenden Klasse den Arbeiterstaat nicht Schritt für Schritt in einen bürgerlichen Staat umwandeln kann, sondern ihn ebenfalls zerschlagen muss.
ParaCrawl v7.1
Of former philosophy there remains the science of thought and its laws — formal logic and dialectics.
Was von der bisherigen Philosophie noch bestehenbleibt, ist die 'Lehre vom Denken und seinen Gesetzen - die formale Logik und die Dialektik'.
ParaCrawl v7.1
Nevertheless, it aligns perfectly with formal logic: if the set is empty, the predicate is true 0 times, i.e., for every row in the set.
Dennoch passt dies perfekt in die formale Logik: Wenn der Satz leer ist, ist das Prädikat 0 mal wahr, d.h. für jede Zeile im Satz.
ParaCrawl v7.1

Ähnliche Begriffe

logic logicality the logical formal logic
as a formality a logic it is logical formalization
a formally formal