Diskussion:Formale Semantik

Begriff formale Semantik

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)

Wie wäre es denn, formale Semantik einfach als Semantik von formalen Sprachen zu definieren? Damit würde sich für alle drei Gebiete eine einheitliche Definition ergeben. (Andernfalls müsste es eigentlich drei Artikel geben.) Jetzt wird der eine oder andere vielleicht aufschreien: natürliche Sprachen sind doch keine formalen Sprachen!!! Der Ansicht kann man sein. Richard Montague vertritt aber im oben zitierten Artikel (der berühmten PTQ) eben diese Ansicht! Vgl. auch Montague, R. 1970 English as a Formal Language. In Visentini, B. et al (eds.) Linguaggi nella Societa e nella Tecnica. Edizioni di Comunita, Milan, Italy. --Quechua 09:56, 5. Okt. 2007 (CEST)

Ach ja - eigentlich sind es ja nur drei Gebiete: die Semantik wird ja schließlich mithilfe der Logik ausgedrückt. Oder? --Quechua 09:56, 5. Okt. 2007 (CEST)

 Info: Siehe dazu auch die Diskussion in Portal:Mathematik/Qualitätssicherung #Formale Syntax, Formale Semantik, Interpretation (Logik) etc. --Bejahend (Diskussion) 22:54, 30. Apr. 2019 (CEST)

kognitive Semantik

Was ist denn eine kognitive Semantik ? -- hab´s und setze die Definition hier ein, da es für eine eigene Seite zu wenig ist (Die Def. finde ich nicht unbedingt richtig, ebensowenig die Gegensatzbildung, aber sie entspricht wohl dem akademischen Betrieb) --Hans-Jürgen Streicher 23:48, 18. Nov. 2007 (CET)

Die Aussage, dass die kognitive Semantik sich von der formalen grundsätzlich unterscheidet, ist m.E. einfach falsch. Was ist mit den formalisierenden Ansätzen von Jackendorff, Fouconnier und Talmy. Der Ansatz und die Formalisierung sind aufgrund der unterschiedlichen theoretischen Ansätze natürlich anders, aber auch sie suchen um eine Formalisierung ihres Systems mit einer passenden Logik. Die kognitive Linguistik (im deutschen Raum) hat sich (in den zitierten Büchern) nicht entsprechend mit den Entwicklungen der kognitiven Semantik (vor allem in den USA und den Niederlanden) auseinandergesetzt; ich denke hier laufen die Entwicklungen der kognitiven Semantik und der kognitiven Linguistik einfach parallel ab. Aufgrund des Fehlens der Rezeption der kogntiiven Semantik in der kognitiven Linguistik (und der teilweise auch gänzlich anders gelagerten Fragestellungen - Evoluationslinguistik) ist der Eindruck, dass kognitive Semantik wenig mit formaler Semantik zu tun hätte, vielleicht nicht überraschend.

Formale Semantik in der Informatik

"operational" und "denotational" scheinen mir unübersetztes Englisch zu sein. Sagt man im Deutschen nicht "operationell" und "denotationell" dafür? Attributierte Grammatiken haben mit Semantik nichts zu tun. Sie sind für die "statische Semantik" zuständig, eine Methode um Kontextabhängigkeiten in eine kontextfreie Sprache einzuführen. Mit anderen Worten, sie sind ein Teil der Syntaxanalyse.--AlfonsGeser 16:14, 18. Mai 2008 (CEST)

übertragen auf Diskussion:Semantik (Logik).--Godung Gwahag (Diskussion) 23:13, 18. Mai 2019 (CEST)