aus AufEinWort, der freien Forschung
nichtklassische Logik-en Mz. —Nwf. z. nichtklassische Logik
▷ Nichtklassische Logiken sind
formale Systeme, die sich signifikant von den
klassischen Logiksystemen wie der
Aussagenlogik und der
Prädikatenlogik unterscheiden. Es gibt verschiedene Möglichkeiten, wie dies der Fall sein kann – z. B. durch Variation gewisser Grundgesetze der klassischen Logik oder durch deren Abänderungen bzw. Erweiterungen. Das Ziel aller solchen Abweichungen ist es, verschiedene Möglichkeiten des logischen Schließens und der logischen Wahrheit aufzuzeigen und Prinzipien zu variieren, die innerhalb der klassischen Systeme als selbstverständlich und unverrückbar gelten.