Du er ikke logget ind
Beskrivelse
Die Modelltheorie wird im Zusammenhang mit dem Bestreben gesehen, der Semantik formaler Sprachen eine exakte und unzweideutige Darstellung zu geben. Fur drei Sprachtypen werden auf dem Hintergrund der Unterscheidung zwischen extensionalen und intensionalen Sprachen unterschiedliche Interpretationsmoglichkeiten untersucht. Die Hauptthese der Arbeit ist, dass entgegen der herrschenden Meinung pradikatenlogische Sprachen erster Stufe keine extensionalen Sprachen sind."