Wie wir gleich sehen werden, wird dieser Beitrag zeigen, dass der klassischen Logik die notwendige Präzision fehlt, so dass wir gezwungen sind, sie durch andere Arten von Logiksprachen zu ergänzen