Non-extensionality in Free Logic

Methoden der modernen mathematischen und philosophischen Logik Untersuchung der These von Karel Lambert, daß in der klassischen Prädikatenlogik Existenzannahmen unterdrückt werden, um ihre Extensionalität im Sinne der Salva-veritate-Ersetzbarkeit zu garantieren; Herausarbeitung der Bedingungen, welche eine prädikatenlogische Sprache erfüllen muß, damit sie extensional im Sinne der Salva-extensione-Substituierbarkeit ist; Klärung der Rolle, welche Existenzannahmen dabei spielen