Diskussion:Formale Semantik
aus Wikipedia, der freien Enzyklopädie
Formale Semantik ist durchaus auch ein Teilgebiet der Linguistik (natürliche Sprachen). Ein Klassiker ist hier z.B. Richard Montague: The Proper Treatment of Quantification in Ordinary English. In: R.Thomason (ed.): Formal Philosophy. selected Papers of Richard Montague. 1974, 247-270. Ein neueres deutsches Lehrbuch ist Lohnstein, H. (1996): Formale Semantik und natürliche Sprache, Opladen: Westdeutscher Verlag.
Mir ist die Einschränkung der formalen Semantik auf Linguistik einerseits und Informatik andererseits nicht ganz geheuer: Formale Semantik ist in erster Linie etwas, das jeder Form von Sprache auf formale Weise Bedeutung zuordnet; als solches ist sie für außerinformatische künstliche Sprachen namentlich der Logik von ebensolcher Bedeutung. Das sollte in dem Artikel thematisiert werden, wobei ich mir gar nicht sicher bin, ob eine Dreiteilung (Linguistik, Informatik, andere formale Sprachen) wirklich angemessen wäre oder ob nicht eine Zweiteilung (Natürliche Sprachen, Künstliche Sprachen) sinnvoller wäre. --GottschallCh 19:04, 2. Jan 2006 (CET)
- Mir ist die Dreiteilung (Linguistik, Informatik, Logik) auch nicht ganz geheuer. Die denotationale Semantik der Informatik eignet sich meines Erachtens auch ganz hervorrangend für die Logik. --Joblech 10:35, 16. Okt. 2006 (CEST)
