Predication, Truth, and Extensionality in Free Logic

  • Morscher, Edgar, (Projektleitung)

Projektdetails

Beschreibung

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.
StatusAbgeschlossen
Tatsächlicher Beginn/ -es Ende1/12/0530/11/07

Systematik der Wissenschaftszweige 2002

  • 6112 Sprachphilosophie
  • 6106 Metaphysik
  • 6105 Logik