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

formale Logik {f}

symbolic logic

mathematical logic

formal logicmath.

---

Formale und transzendentale Logik [Edmund Husserl]

Formal and Transcendental Logicphilos.F

---

formale Anerkennung {f}

formal recognition

formale Analyse {f}

formal analysis [concerning form]spec.

formale Grammatik {f}

formal grammarcomp.ling.math.

formale Gruppe {f}

formal group

formale Sprache {f}

formal languagecomp.ling.math.

formale Verifikation {f}

formal verificationcomp.QM

formale Schulung {f}

formal trainingeduc.jobs

formale Spezifikation {f} <FS>

formal specification <FS>comp.QM

Logik {f}

logics

logic

doxastische Logik {f}

doxastic logicphilos.

terminologische Logik {f}

terminological logicphilos.spec.

intuitionistische Logik {f}

intuitionist logicmath.philos.

deontische Logik {f}

deontic logicmath.philos.

boolesche Logik {f}

Boolean logic

mehrwertige Logik {f}

multi-valued logiccomp.math.

aristotelische Logik {f}

Aristotelian logicphilos.

dreiwertige Logik {f}

three-value logicmath.philos.

fluidische Logik {f}

fluidic logicengin.

parakonsistente Logik {f}

paraconsistent logicphilos.

• 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.