Modaloperatoren: Symbole zum Ausrücken von Möglichkeit und Notwendigkeit. Diese Operatoren gehören nicht zum Bestand der Klassischen Logik, sondern fallen in das Gebiet der Modallogik. Ihre Platzierung am Anfang oder im Verlauf von Formeln bestimmt die relative Stärke von Aussagen, die aus der Interpretation dieser Formeln gewonnen werden können. Siehe auch Reichweite, Stärker/schwächer, Modallogik, Mögliche Welten. _____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente.
|