Free Logics

Bei all ihrem formal-technischen Glanz litt die moderne Logik immer schon an einem gewissen 'Mangel an logischer Reinheit' (Bertrand Russell). Dieser Mangel bestand darin, dass in die logischen Gesetze unhinterfragt ontologische Voraussetzungen in Form von Existenzannahmen Eingang gefunden hatten. Am hartnäckigsten erwies sich dabei die Existenzvoraussetzung bezüglich der einfachen singulären Terme bzw. Eigennamen: Lässt man solche Ausdrücke in der Sprache der modernen Logik überhaupt zu, ergibt ...