Über deduktive Theorien mit mehreren Sorten von Grunddingen. (Q2595472)

Der gewöhnliche engere Prädikatenkalkül ist einsortig, d. h. er kennt nur eine Art von Individuen. Die meisten deduktiven Theorien gebrauchen jedoch mehrere Sorten von Grunddingen. Will man den gewöhnlichen Prädikatenkalkül für die Darstellung dieser Theorien nutzbar machen, so stehen folgende Wege zur Verfügung: 1) Man behält den einseitigen Prädikatenkalkül bei und führt für jede Sorte von Grunddingen ein eigenes Sortenprädikat ein, das die Zugehörigkeit eines Dinges zu der betreffenden Sortenklasse ausdrückt; jeder Aussage der Theorie werden Bestandteile beigefügt, die mit Hilfe der genannten Prädikate die sortenmäßige Beschränkung der Aussagen angeben. 2) Der gewöhnliche Prädikatenkalkül erfährt eine mehrsortige Verallgemeinerung, indem verschiedene Sorten von Variablen eingeführt werden, deren Bereich sich ausschließlich auf eine Sorte von Grunddingen bezieht. Die Schlüsse (insbesondere die Einsetzungen) werden entsprechend eingeschränkt. In der vorliegenden Arbeit wird die unter 2) erwähnte Verallgemeinerung exakt durchgeführt und die Gleichwertigkeit der beiden Verfahren gezeigt.