In der Kanger-Mates-Skyrms-Semantik werden ausschliesslich Individuenkonstanten belegt, keine Variablen – wie in einer substitutionellen Semantik. Dass diese aber durch unterschiedliche Interpretationen verschieden belegt werden konnen, nutzt die Kanger-Mates-Skyrms-Semantik quasi als Trick fur die Wahrheitsbedingungen der quantifizierten Formeln. Die Kanger-Mates-Skyrms-Semantik ist somit eigentlich eine referentielle Semantik, da durch die Interpretationen prinzipiell jeder Gegenstand des Gegenstandsbereichs belegt werden kann. In der zugehorigen modalen Semantik sind die verschiedenen Interpretationen einfach mit verschiedenen Welten identisch. Die Individuenkonstanten werden nicht als starre Designatoren behandelt, sondern wie Kennzeichnungen, insofern ihnen in verschiedenen Welten verschiedene Gegenstande zugeordnet werden konnen. Kanger verwendete diese Art der Interpretation der Quantoren als erster 1957, Mates verwendete sie 1965 in seinem Lehrbuch "Elementary Logic" fur die nicht-modale Pradikatenlogik und Skyrms baute die nicht-modale Semantik von Mates zu einer modalen Semantik aus. Die vorliegende Arbeit entstand als Diplomarbeit an der Universitat Salzburg.

Данное издание не является оригинальным. Книга печатается по технологии принт-он-деманд после получения заказа.