Translation of "Symbolic logic" in German

Aristotle, Plato's student, created a system of symbolic logic.
Aristoteles, Platons Schüler, schuf ein System symbolischer Logik.
ParaCrawl v7.1

He studied psychology, the history of philosophy, and symbolic logic and received a PhD in 1927.
Er studierte Psychologie, Philosophie und symbolische Logik und 1927 erhielt er Doktortitel.
WikiMatrix v1

Symbolic logic represented for him the framework for the language of science.
Symbolische Logik vertreten für ihn den Rahmen für die Sprache der Wissenschaft.
ParaCrawl v7.1

The Association for Symbolic Logic was founded in 1936 with Curry as one of the founders.
Die Association for Symbolic Logic wurde im Jahre 1936 mit Curry als einer der Gründer.
ParaCrawl v7.1

You have a special knack for mathematics, symbolic logic, computers, biology, and meditation.
Sie haben ein besonderes Talent für Mathematik, symbolische Logik, Computer, Biologie und Meditation.
ParaCrawl v7.1

When reviewed in the light of contemporary standards of logical precision, it becomes clear that Lewin had the correct intuition, even though he did not have the benefit of a highly developed terminology of definition theory or modern day symbolic logic.
Wird dies im Licht moderner logischer Standards betrachtet, so wird schnell klar, dass Lewin die richtige Intuition aufwies, obwohl ihm noch nicht die Vorteile einer hochentwickelten Terminologie von Definitionstheorie und symbolischer Logik zur Verfügung standen.
WikiMatrix v1

According to the customary symbolic logic, the calls stored in the floor call memory 6 and the car call memory 7 are designated by a logic "1".
Entsprechend der üblichen symbolischen Logik sind die im Stockwerk- bzw. Kabinenrufspeicher 6, 7 gespeicherten Rufe mit logisch "1" gekennzeichnet.
EuroPat v2

Against this backdrop, Davidson's analytic antirepresentationalism, which aims at the formal-logical reconstruction of natural languages' truth theories without recurring thereby introspectively to representational tertia, allows itself to be differentiated by Rorty's pronounced transformative pragmatism . The latterrenounces the instruments of symbolic logic, because it does not aim at the descriptive analysis of existing forms of interaction, but rather at the politically and socially motivated transformation of future rules of action.
Davidsons Pragmatismus läßt sich vor diesem Hintergrund als analytischer Antirepräsentationalismus, der auf die formallogische Rekonstruktion der je spezifischen Wahrheitstheorien unterschiedlicher natürlicher Sprachen zielt, ohne dabei introspektiv auf repräsentationale Tertia zu rekurrieren, von Rortys prononciert transformativem Pragmatismus abheben, der auf die analytischen Instrumentarien der symbolischen Logik verzichtet, weil es ihm nicht um die wissenschaftliche Analyse vorhandener Interaktionsformen, sondern um die politisch und sozial motivierte Gestaltung zukünftiger Handlungspraxen geht.
ParaCrawl v7.1

But the presentation of symbolic logic is very serious and good and seems to me very useful especially for the American readers.
Aber die Darstellung der symbolischen Logik ist sehr ernsthaft und gut, und scheint mir vor allem für die amerikanischen Leser sehr nützlich.
ParaCrawl v7.1

Frege was one of the founders of modern symbolic logic putting forward the view that mathematics is reducible to logic.
Frege war einer der Begründer der modernen symbolischen Logik legt die Auffassung, dass die Mathematik ist reduzierbar auf Logik.
ParaCrawl v7.1

It is a system of symbolic logic that represents individuals and predicates and quantification over individuals as well as the relations between propositions.
Es handelt sich um ein System der formalen Logik welches Subjekte und Prädikate und Quantifizierungen über Subjekte beinhaltet.
ParaCrawl v7.1

The article highlights Church's guiding role in defining the boundaries of the discipline of symbolic logic through this editorial work and testifies to his unflagging industry and conscientiousness and his high editorial standards.
Der Artikel hebt die Kirche leiten Rolle bei der Festlegung der Grenzen der Disziplin der symbolischen Logik durch diese redaktionelle Arbeit und zeugt von seinem unermüdlichen Industrie und Gewissenhaftigkeit und seinem hohen redaktionellen Standards.
ParaCrawl v7.1

Among his works are Elements of Symbolic Logic (1947) and The Rise of Scientific Philosophy (1951).
Unter seinen Werken sind Elemente der symbolischen Logik (1947) und The Rise of Scientific Philosophie (1951).
ParaCrawl v7.1

The Association for Symbolic Logic (ASL) is an international organization of specialists in mathematical logic and philosophical logic.
Die Association for Symbolic Logic (ASL) ist die größte internationale Organisation von Logikern (mathematische Logiker und Philosophen).
WikiMatrix v1

You'll need a grasp of symbolic logic as well as lateral thinking in order to decipher the Natarian symbols into our familiar Arabic numerals.
Dieses Mal sind ein Verständnis für symbolische Logik und laterales Denken gefragt, um die natarischen Symbole zu entziffern und in arabische Zahlen zu übertragen.
ParaCrawl v7.1

We have built symbolic logic upon such equations but we have ignored the simpler though more creative and transformative logic of the gift.
Auf der Basis solcher Gleichungen wurde eine symbolische Logik geschaffen und dabei die einfachere, aber kreative und transformatorische Logik des Schenkens ignoriert.
ParaCrawl v7.1

I permit myself to call to your attention another article, namely that of Gerland against Burnham concerning symbolic logic, the logic of Bertrand Russell and the others.
Ich erlaube mir, Ihre Aufmerksamkeit auf einen anderen Artikel zu lenken, nämlich den von Gerland gegen Burnham über symbolische Logik, die Logik Bertrand Russells und anderer.
ParaCrawl v7.1

Q: (L) Is symbolic logic as is used in mathematics subjective?
F: (L) Ist symbolische Logik, wie sie in der Mathematik verwendet wird, subjektiv?
ParaCrawl v7.1