- Modal-logik
-
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, sondern auch Aussagen wie „Möglicherweise regnet es“ und „Notwendigerweise sind alle Kreise rund“.
Wikimedia Foundation.
Schlagen Sie auch in anderen Wörterbüchern nach:
Modal — Modāl (lat.), durch Verhältnisse bedingt, davon abhängig; Modalität, Art und Weise, wie etwas existiert, geschieht oder gedacht wird; in der Logik die Eigenschaft des Urteils, gemäß welcher es entweder eine Möglichkeit, oder eine Wirklichkeit,… … Kleines Konversations-Lexikon
Modal — Der Begriff Modal steht im Zusammenhang mit dem Begriff Modus und findet auf mehreren Gebieten Anwendung: in der Logik, siehe Modallogik in der Programmierung, siehe Dialogfenster (englisch „modal dialog“) in der Computerized Numerical Control… … Deutsch Wikipedia
modal — mo|dal adj., t, e (LOGIK, LINGVISTIK som vedrører mulighed el. nødvendighed; MUSIK som vedrører kirketonearterne) … Dansk ordbog
Aristotelische Logik — Gregor Reisch, „Die Logik präsentiert ihre zentralen Themen“, Margarita Philosophica, 1503/08 (?). Die beiden Hunde veritas und falsitas jagen de … Deutsch Wikipedia
Epistemische Logik — Die epistemische Logik (von griechisch επιστήμη Wissenschaft, Wissen), auch Wissenslogik befasst sich mit Glauben und Wissen bei Individuen sowie Gruppen. Ziel von Untersuchungen mittels epistemischer Logik ist oft ein dynamisches oder flexibles… … Deutsch Wikipedia
Wissenschaft der Logik — Die Wissenschaft der Logik ist ein zweibändiges Werk des Philosophen Georg Wilhelm Friedrich Hegel (1770–1831), das zwischen 1812 und 1816 zuerst in Nürnberg erschien. Auf der Phänomenologie des Geistes aufbauend soll hier eine ontologisch… … 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
Hallden — Sören Halldén (* 19. Mai 1923) ist ein schwedischer Philosoph und Logiker und emeritierter Professor der Universität Lund. In seiner akademischen Arbeit beschäftigt sich Halldén vor allem mit formaler Logik und philosophischen Methoden.… … Deutsch Wikipedia
Sören Halldén — (* 19. Mai 1923 in Vänersborg; † Januar 2010) war ein schwedischer Philosoph und Logiker und emeritierter Professor der Universität Lund. In seiner akademischen Arbeit beschäftigte sich Halldén vor allem mit formaler Logik, insbesondere auch… … Deutsch Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium