Non-extensionality in Free Logic

  • Morscher, Edgar, (Projektleitung)
  • Leeb, Hans-Peter, (Projektmitarbeiter/in)

Projektdetails

Beschreibung

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
StatusAbgeschlossen
Tatsächlicher Beginn/ -es Ende1/08/0431/07/05

Systematik der Wissenschaftszweige 2002

  • 6112 Sprachphilosophie
  • 6105 Logik