Die Modelltheorie wird im Zusammenhang mit dem Bestreben gesehen, der Semantik formaler Sprachen eine exakte und unzweideutige Darstellung zu geben. Fuer drei Sprachtypen werden auf dem Hintergrund der Unterscheidung zwischen extensionalen und intensionalen Sprachen unterschiedliche Interpretationsmoeglichkeiten untersucht. Die Hauptthese der Arbeit ist, dass entgegen der herrschenden Meinung praedikatenlogische Sprachen erster Stufe keine extensionalen Sprachen sind.
| ISBN: | 9783820458794 |
| Publication date: | 31st December 1981 |
| Author: | Joachim Buhl |
| Publisher: | Peter Lang Edition an imprint of Lang, Peter, GmbH, Internationaler Verlag der Wiss |
| Format: | Paperback |
| Pagination: | 107 pages |
| Series: | Europaische Hochschulschriften : Reihe 20: Philosophie |
| Genres: |
Philosophy: epistemology and theory of knowledge Philosophy: logic |