Quantified Modal Logic and Essentialism

Quine hat gegen die quantifizierte Modallogik u.a. den schwerwiegenden Vorwurf erhoben, daß sie einen dubiosen Aristotelischen Essentialismus voraussetze. Im Rahmen dieses Projektes wird zunächst die essentialistische Basis der modalen Syllogistik im Sinne von Aristoteles herausgearbeitet und gegen Quines Vorwurf verteidigt. Hierauf wird gezeigt, daß dieser philosophisch “unschuldige” Essentialismus eine brauchbare Grundlage für die gesamte modale Prädikatenlogik bietet. Methoden der modernen Logik und Semantik sowie Methoden der philosophiehistorischen Rekonstruktion Entwicklung einer wissenschaftlich einwandfreien essentialistischen Grundlage für die modale Syllogistik, die auch zur Fundierung der gesamten modalen Prädikatenlogik verwendet werden kann.