Predication, Truth, and Extensionality in Free Logic

Die sogenannte Free Logic erhebt den Anspruch, die klassische Prädikatenlogik von Existenzvoraussetzungen zu befreien. Sie wirft jedoch selbst neue Probleme auf. Dabei geht es u.a. um die Probleme der Prädikation und der Extensionalität. Das Projekt dient dazu, Lösungen für diese Probleme auszuarbeiten, insbesondere durch die Entwicklung einer einheitlichen Theorie genereller Terme und einer Semantik mit strukturierten Extensionen. Methoden der modernen Logik und Semantik 1. Entwicklung einer einheitlichen Theorie genereller Terme, auf deren Grundlage sich zwei verschiedene Prädikationstheorien ergeben (was sowohl für die Free Logic als auch für naturwissenschaftliche Zielsetzungen relevant ist). 2. Lösung eines Extensionalitäsproblems der Free Logic. 3. Entwicklung einer Semantik mit strukturierten Extensionen für die Free Logic.