Translation of "Formale logik" in English

John Nevile veröffentlicht Formale Logik von vier Monaten nach John Maynard war geboren.
John Nevile published Formal Logic four months after John Maynard was born.
ParaCrawl v7.1
Hier bringen uns formale Logik und abstrakte Verallgemeinerungen nicht weiter.
Here formal logic and abstract generalisations will provide no answer.
ParaCrawl v7.1
Die symbolische Logik nennt man auch mathematische Logik oder formale Logik im engeren Sinn.
Symbolic logic is often divided into two branches: propositional logic and predicate logic.
Wikipedia v1.0
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.
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.
WikiMatrix v1
Was von der bisherigen Philosophie noch bestehenbleibt, ist die 'Lehre vom Denken und seinen Gesetzen - die formale Logik und die Dialektik'.
Of former philosophy there remains the science of thought and its laws — formal logic and dialectics.
ParaCrawl v7.1
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.
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.
ParaCrawl v7.1
Zaha Hadids Ausstellungsdesign für "25" im Deutsche Guggenheim, Fotos Mathias Schormann Sowohl das Deutsche Guggenheim in Berlin als auch das Hara Museum für zeitgenössische Kunst in Tokio besitzen ihre ganz eigene formale Logik, die das entscheidende Prinzip für unsere Entwürfe lieferte.
Zaha Hadid's exhibition design for "25" at Deutsche Guggenheim, Photos Mathias Schormann Both the Deutsche Guggenheim, Berlin and the Hara Museum of Contemporary Art, Tokyo have their own formal logic, which represents a key principle behind our designs.
ParaCrawl v7.1
Fortwährend überführt Fecteau eine formale Logik in eine andere und lotet so gezielt das Potenzial der Ambivalenz aus, um nach Widerständigkeiten gegenüber der Behauptung des Normalen und Normativen zu suchen.
Fecteau perpetually translates one formal logic into another; gifted with a subtle sense of ambivalence, he probes its potential to offer resistance to the blunt assertion of the normal.
ParaCrawl v7.1
Ziel des Projekts war es zu untersuchen, ob sich Gesetzessprache (insbesondere die schweizerische Gesetzessprache) durch Einschränkungen ihrer Syntax und Semantik so kontrollieren lässt, dass sie einerseits natürlich und ausdrucksstark bleibt, andererseits aber maschinell in formale Logik übersetzt werden kann.
The aim of the project was to investigate whether the syntax and semantics of legislative language (specifically, Swiss legislative language) can be controlled so that it can be automatically translated into formal logical representations and still remains natural and expressive enough for practical use in legislative drafting.
ParaCrawl v7.1
All das zeigt beiläufig, daß unsere Denkmethoden, sowohl die formale Logik als auch die Dialektik, keine willkürlichen Konstruktionen unseres Verstandes sind, sondern eher Ausdruck der tatsächlichen Wechselbeziehungen in der Natur selbst.
All this demonstrates, in passing, that our methods of thought, both formal logic and the dialectic, are not arbitrary constructions of our reason but rather expressions of the actual inter-relationships in nature itself.
ParaCrawl v7.1
Die formale Logik dieser Kompositionstechnik in Verbindung mit dem auf seinen Kern reduzierten Klangmaterial führt zwangsläufig zu einer starken Verdichtung des Musikstoffes.
The combination of this compositional styleâ s formal logic and its starkly reduced sonic material inevitably results in an extremely dense musical texture.
ParaCrawl v7.1
Wer dann gegen die so aufgefasste Herrschaft der Vernunft Einspruch erheben würde, bezieht somit gleich gegen die formale Logik Position .
Who would then protest against the so conceived domination of the reason, would thus refer directly against the formal logic position .
ParaCrawl v7.1
Seine Beiträge im Zusammenhang mit der Mathematik sind seine Entdeckung der Russellsche Antinomie, seine Verteidigung der logicism (die Auffassung, dass die Mathematik ist in einigen wichtigen Sinn, reduzierbar auf formale Logik), seine Einführung der Theorie der Arten, und seine Raffination und Popularisierung der ersten Ordnung Prädikat Kalkül.
His contributions relating to mathematics include his discovery of Russell's paradox, his defence of logicism (the view that mathematics is, in some significant sense, reducible to formal logic), his introduction of the theory of types, and his refining and popularizing of the first-order predicate calculus.
ParaCrawl v7.1
Ein funktionales und schlichtes Teil, das gut kompatibel ist und so auch die formale Logik eines so verbreiteten Modells wie des Waggontürdrückers aufgreifen und zu einem guten Ende bringen kann.
A functional and simple part that is well compatible and thus also can assume the formal logic of such a wide-spread model as that of the railway handle lever and bring it to a good conclusion.
ParaCrawl v7.1
Obwohl Versuche in der KI und Linguistik, eine Form der logischen Semantik als Schlüssel zur Repräsentation von Inhalten zu verwenden fortgeschritten sind, wurden diese hinsichtlich eines Programms, welches Englisch in formale Logik übersetzt, von geringem Erfolg gekrönt.
Although attempts to use a form of logical semantics as the key to representing contents have made progress in the field of AI and linguistics, they have had little success with regard to a program that can translate English into formal logic.
ParaCrawl v7.1
Zusammengefasst: Es gibt im Bereich der exakten empirischen Wissenschaften überhaupt keine absoluten, allein durch Erfahrung und formale Logik bestimmte Verifikationen oder Falsifikationen.
In summary: There are in the area of exact empirical sciences no absolute, only by experience and formal logic determined verifications or falsifications .
ParaCrawl v7.1
Für Virilio ist die formale Logik des Bildes, jene Logik, die im achtzehnten Jahrhundert durch die Malerei, den Holzschnitt und die Architektur erreicht wurde.
For Virilio, the formal logic of the image is the one achieved in the eighteenth century with painting, engraving and architecture.
ParaCrawl v7.1
Beachten Sie, dass einer der Widersprüche, die dem Imperium malosochetaemyh ist im Hinblick auf die formale Logik in einem einzigen Staat Organismus Grundlage des Isolationismus und Aggression.
Note that one of the contradictions inherent in the empire is malosochetaemyh in terms of formal logic in a single state organism basis of isolationism and aggression.
ParaCrawl v7.1
Source code ist eine neue Form der Sprache: Programmier-"Sprache", die wie die gesprochene und geschriebene Sprache ihre eigene formale Logik und Form besitzt.
The source code is a new form of language: programming "language", which, as is true of spoken and written language, possesses its own formal logic and form.
ParaCrawl v7.1
Wer dann gegen die so aufgefasste Herrschaft der Vernunft Einspruch erheben würde, bezieht sich somit gleich gegen die formale Logik Position .
Who would then protest against the so conceived domination of the reason, would thus refer directly against the formal logic position .
ParaCrawl v7.1
Die Dialektik und die formale Logik stehen in einem ähnlichen Verhältnis zueinander wie die höhere und die elementare Mathematik.
The dialectic and formal logic bear a relationship similar to that between higher and lower mathematics.
ParaCrawl v7.1
Zugleich werden im Wiener Kreis zwei Wissenschaftsmodelle nebeneinander akzeptiert: eine strikt formale Logik einerseits und die empirischen Wissenschaften andererseits.
Additionally, two models of science were accepted in the Vienna Circle: a strictly formal logic, on the one hand, and the empirical sciences, on the other hand.
ParaCrawl v7.1
Allerdings sind die meisten Menschen zum logischen Denken nicht befähigt, weil sie nicht wirklich wissen, was Formale Logik ist.
However, most people are incapable of logical reasoning, because they never really learned Formal Logic.
ParaCrawl v7.1
Sowohl das Deutsche Guggenheim in Berlin als auch das Hara Museum für zeitgenössische Kunst in Tokio besitzen ihre ganz eigene formale Logik, die das entscheidende Prinzip für unsere Entwürfe lieferte.
Both the Deutsche Guggenheim, Berlin and the Hara Museum of Contemporary Art, Tokyo have their own formal logic, which represents a key principle behind our designs.
ParaCrawl v7.1
Im Zuge der Neuorganisation der Universität Wien in der ersten Hälfte des Jahres 2004 wurde aus den früheren Instituten für Mathematik und für formale Logik eine eigene Fakultät.
During the reorganization of the University of Vienna in the first half of 2004, it was decided that the former Institutes of Mathematics and of Formal Logic would together become one of the 15 faculties of the university.
ParaCrawl v7.1
Das Design ins Spiel gebracht seine Kenntnisse der formalen Logik.
The design brought into play his knowledge of formal logic.
ParaCrawl v7.1
Aus der Sicht der formalen Logik sind Defensive und Offensive unveränderliche Gegensätze.
From the point of view of formal logic, defence and offence are immutable opposites.
ParaCrawl v7.1
Engels löste prinzipiell die Frage nach dem Verhältnis zwischen formaler Logik und Dialektik.
Engels solved in principle the question of the relationship between formal logic and dialectics.
ParaCrawl v7.1
Engels löst prinzipiell die Frage nach dem Verhältnis zwischen formaler Logik und Dialektik.
Engels solved in principle the question of the relationship between formal logic and dialectics.
ParaCrawl v7.1
Er arbeitet mit reinem Sound, aber im Kontext einer formalen und musikalischen Logik.
He works with pure sound, yet does so in the context of a formal and musical logic.
ParaCrawl v7.1
In axiomatisierten Kalkülen im Sinne der modernen formalen Logik können die klassischen epistemologischen (Evidenz, Gewissheit), ontologischen (Referenz auf ontologisch Grundlegenderes) oder konventionellen (Akzeptanz in einem bestimmten Kontext) Kriterien für die Auszeichnung von Axiomen entfallen.
Logical axioms are usually statements that are taken to be true within the system of logic they define (e.g., ("A" and "B") implies "A"), while non-logical axioms (e.g., ) are actually defining properties for the domain of a specific mathematical theory (such as arithmetic).
Wikipedia v1.0
Die mathematische Logik (ältere Bezeichnung: Logistik, auch symbolische Logik, Metamathematik) ist ein Teilgebiet der Mathematik und der formalen Logik.
In computer science (particularly in the ACM Classification) mathematical logic encompasses additional topics not detailed in this article; see Logic in computer science for those.
Wikipedia v1.0
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.
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.
Wikipedia v1.0
Ein Aspekt der Untersuchungen der mathematischen Logik ist das Studium der Ausdrucksstärke von formalen Logiken und formalen Beweissystemen.
The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems.
WikiMatrix v1
Darin wiesen sie nach, dass Probanden, die in bestimmten Bereichen wie dem Erkennen von Humor, Grammatik und formaler Logik besonders schlechte Ergebnisse erzielten, ihre Leistungen signifikant überschätzten.
This study showed that people who performed the lowest at certain tasks, such as judging humor, grammar, and logic, significantly overestimated how good they were at these tasks.
WikiMatrix v1
Der Titel Konditional hat sowohl Referenzen zur Grammatik (wenn..., dann...) als auch zur formalen Logik (a als hinreichende Bedingung für b).
The title, Konditional, relates to grammar (if…, then,…) as well as to formal logic (A as an adequate condition for B).
ParaCrawl v7.1
Solche Prädikate basieren auf logischen universellen und existentiellen Quantifizierern, die in der formalen Logik erkannt werden.
Such predicates are based on logical universal and existential quantifiers that are recognised in formal logic.
ParaCrawl v7.1
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.
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.
ParaCrawl v7.1
Es handelt sich um ein System der formalen Logik welches Subjekte und Prädikate und Quantifizierungen über Subjekte beinhaltet.
It is a system of symbolic logic that represents individuals and predicates and quantification over individuals as well as the relations between propositions.
ParaCrawl v7.1

Related phrases

formal geprüft formale kleidung formale logik formale bestätigung
Logiker formaler ablauf formale ausbildung Logik
innere logik logik analysator