Übersetzung für 'formale Logik' von Deutsch nach Russisch

formale Logik {f}

формальная логика {ж}мат.

---

formale Sprache {f}

формальный язык {м}информ.мат.

Werbung

Logik {f}

логичность {ж}

логика {ж}наука

transzendentale Logik {f}

трансцендентальная логика {ж}филос.

philosophische Logik {f}

философская логика {ж}филос.

mathematische Logik {f}

математическая логика {ж}мат.

frei von Logik

лишённый логики {adj}

• Die allgemeine Wissenschaftstheorie stützt sich auf die formale Logik und auf die Ergebnisse von Untersuchungen zur Evolution der Wissenschaft, die auch aus der Sicht der einzelnen Disziplinen gewonnen wurden, z.
• Für sein Buch zur neuen Kalām-Wissenschaft nahm er in Anspruch, dass es sowohl die formale Logik als auch die materiale Logik integriert habe.
• Er verfolgte ein Programm, die Mathematik vollständig auf die formale Logik zurückführen und folglich auch als einen Teil der Logik zu verstehen.
• Eine "boolesche Variable" im Allgemeinen ist eine Variable, die nur endlich viele Werte oder Zustände annehmen kann: Mit seinem Werk "The Mathematical Analysis of Logic" von 1847 legte George Boole einen Grundstein für die formale Logik und die Rechentechnik.
• Die symbolische Logik nennt man auch mathematische Logik oder formale Logik im engeren Sinn.

• Um eine noch genauere und allgemeinere Charakterisierung der Korrektheit einer Schlussfolgerung bemüht sich die formale Logik.
• Über die Berechenbarkeitstheorie (siehe auch Berechenbarkeit) bildet die formale Logik einen der historischen Ausgangspunkte der theoretischen Informatik.
• Die formale Logik stellt mit der Fuzzy-Logik, der probabilistischen bzw.
• Petrus Damiani wandte sich entschieden gegen den Versuch, methodisch die formale Logik in der Theologie anzuwenden.
• Ein Apriori als etwas von aller Erfahrung Unabhängiges lehnt er ab und hält – ähnlich wie Quine – auch die formale Logik nicht für rein apriorisch.

• Themen waren formale Logik, Reden Ciceros und die Auslegung des Römerbriefs durch Piscator.
• Logik, Wissenschaftstheorie, Rhetorik: In den logischen Schriften arbeitet Aristoteles auf der Grundlage von Diskussionspraktiken in der Akademie eine Argumentationstheorie (Dialektik) aus und begründet mit der Syllogistik die formale Logik.