- Modallogik
- Mo|dal|lo|gikdie; -: Zweig der formalen Logik, in dem zur Bildung von Aussagen auch die Modalitäten (3) herangezogen werden.
Das große Fremdwörterbuch. 2013.
Modallogik
Schlagen Sie auch in anderen Wörterbüchern nach:
Modallogik — Die Modallogik ist derjenige Zweig der Logik, der sich mit den Folgerungen um die Modalbegriffe möglich und notwendig befasst. So lassen sich innerhalb der Modallogik nicht nur Aussagen wie „Es regnet“ oder „Alle Kreise sind rund“ analysieren,… … Deutsch Wikipedia
Modallogik — Mo|dal|lo|gik, die: Zweig der formalen Logik, in dem zur Bildung von Aussagen auch die Modalitäten herangezogen werden. * * * Modal|logik, wichtigstes Teilgebiet der philosophischen Logik, das sich mit Aussagen beschäftigt, die mit den… … Universal-Lexikon
Modallogik — Mo|dal|lo|gik 〈f.; Gen.: ; Pl.: unz.〉 Zweig der formalen Logik, in dem der logische Wert einer Aussage untersucht wird, die mit Modalitäten, z. B. möglich, notwendig, zufällig, gebildet wurde; Syn. Modalitätenlogik … Lexikalische Deutsches Wörterbuch
Modallogik — Mo|da|li|tä|ten|lo|gik, Mo|dal|lo|gik, die; (Zweig der mathematischen Logik) … Die deutsche Rechtschreibung
Normale Modallogik — Eine normale Modallogik ist in der Logik eine Menge L von Modalformeln, so dass L folgendes enthält: alle propositionalen Tautologien, alle Instanzen des Kripke Schemas: und L geschlossen ist unter: dem Modus Ponens: , der Notwendigkeits Regel:… … Deutsch Wikipedia
Paul Lorenzen — 1967 Paul Lorenzen[1] (* 24. März 1915 in Kiel; † 1. Oktober 1994 in Göttingen) war ein deutscher Philosoph, Wissenschaftstheoretiker, Mathematiker und … Deutsch Wikipedia
Mögliche Welt — In Philosophie und Logik dient der Begriff der möglichen Welt dazu, die Bedeutung von modalen Aussagen zu erklären, das heißt von Aussagen, die ihren Gehalt mit Modalbegriffen wie „möglich“ und „notwendig“ qualifizieren. (Näheres hierzu siehe… … Deutsch Wikipedia
Notwendig — In der Alltagssprache bezeichnet man etwas als notwendig, wenn man glaubt („für notwendig halten“), dass es benötigt wird bzw. vorhanden sein muss, um einen bestimmten Zustand oder ein bestimmtes Ergebnis zu erreichen. Manchmal wird auch die… … Deutsch Wikipedia
Postulierung — In der Alltagssprache bezeichnet man etwas als notwendig, wenn man glaubt („für notwendig halten“), dass es benötigt wird bzw. vorhanden sein muss, um einen bestimmten Zustand oder ein bestimmtes Ergebnis zu erreichen. Manchmal wird auch die… … Deutsch Wikipedia
Antezedens und Sukzedens — Eine Implikation (von lat. implicare, „einwickeln“) bezeichnet: bildungssprachlich die Einbeziehung einer Sache in eine andere; ein mitgemeinter, aber nicht explizit ausgedrückter Bedeutungsinhalt. In der Logik die Verknüpfung von Aussagen a und… … Deutsch Wikipedia
