Die Interpretation der Quantoren in der Kanger-Mates-Skyrms-Semantik
Ein Vergleich mit der referentiellen und der substitutionellen Interpretation von Quantoren, sowie Implikationen für die Modallogik
Versandkostenfrei!
Versandfertig in 6-10 Tagen
49,00 €
inkl. MwSt.
PAYBACK Punkte
0 °P sammeln!
In der Kanger-Mates-Skyrms-Semantik werden ausschließlich Individuenkonstanten belegt, keine Variablen wie in einer substitutionellen Semantik. Dass diese aber durch unterschiedliche Interpretationen verschieden belegt werden können, nützt die Kanger-Mates-Skyrms-Semantik quasi als Trick für 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 zugehörigen modalen Semantik sind die verschiedenen Int...
In der Kanger-Mates-Skyrms-Semantik werden ausschließlich Individuenkonstanten belegt, keine Variablen wie in einer substitutionellen Semantik. Dass diese aber durch unterschiedliche Interpretationen verschieden belegt werden können, nützt die Kanger-Mates-Skyrms-Semantik quasi als Trick für 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 zugehörigen 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 Gegenstände zugeordnet werden können. Kanger verwendete diese Art der Interpretation der Quantoren als erster 1957, Mates verwendete sie 1965 in seinem Lehrbuch "Elementary Logic" für die nicht-modale Prädikatenlogik und Skyrms baute die nicht-modale Semantik von Mates zu einer modalen Semantik aus. Die vorliegende Arbeit entstand als Diplomarbeit an der Universität Salzburg.
Andere Kunden interessierten sich für
