- ホーム
- > 洋書
- > ドイツ書
- > Humanities, Arts & Music
- > Philosophy
- > general surveys & lexicons
Description
(Text)
Die Modelltheorie wird im Zusammenhang mit dem Bestreben gesehen, der Semantik formaler Sprachen eine exakte und unzweideutige Darstellung zu geben. Für drei Sprachtypen werden auf dem Hintergrund der Unterscheidung zwischen extensionalen und intensionalen Sprachen unterschiedliche Interpretationsmöglichkeiten untersucht. Die Hauptthese der Arbeit ist, dass entgegen der herrschenden Meinung prädikatenlogische Sprachen erster Stufe keine extensionalen Sprachen sind.
(Table of content)
Aus dem Inhalt: Grundlegende Begriffe und Methoden der formalen Sprachbetrachtung - Aussagenlogische Sprachen - Prädikatenlogische Sprachen - Modalsprachen - Der Begriff der Sprachbedeutung.



