CALCULI OF INDIVIDUALS AND SOME EXTENSIONS: AN OVERVIEW

Abstract

Unter mereologischen Theorien seien Theorien in prädikatenlogischen Sprachen mit “o” (d.h. “überlappt”) als einzigem nichtlogischen Prädikat verstanden. Ich formuliere 1.- und 2.-stufige mereologische Theorien und untersuche sie bzgl. formaler, metalogischer Eigenschaften. Besonders interessieren mich dabei intertheoretische Beziehungen, wie z.B. die relative Interpretierbarkeit, zwischen ihnen. Zudem versuche ich auf die Frage, ob sie als Grundlegung der Mathematik dienen könnten, einzugehen.