Formale Semantik
Metasprache zur Analyse oder Synthese von Bedeutungen in einer Sprache / aus Wikipedia, der freien encyclopedia
Liebe Wikiwand-AI, fassen wir uns kurz, indem wir einfach diese Schlüsselfragen beantworten:
Können Sie die wichtigsten Fakten und Statistiken dazu auflisten Formale Semantik?
Fass diesen Artikel für einen 10-Jährigen zusammen
Formale Semantik beschäftigt sich mit der exakten Bedeutung von Termen in künstlichen oder natürlichen Sprachen. Dabei kann sowohl die Bedeutung in bestehenden Sprachen untersucht als auch die Bedeutung in neu geschaffenen Sprachen festgelegt werden. In Abgrenzung zur Semantik im allgemeinen Sinn, wie sie vor allem in Philosophie und Linguistik betrieben wird, arbeitet die formale Semantik mit rein formalen, logisch-mathematischen Methoden.
Formale Semantik wird in der Logik, in der Informatik und in der Linguistik betrieben. Wegen der Wichtigkeit exakter Bedeutungstheorien für die genannten drei Disziplinen und wegen unterschiedlicher Schwerpunkte und Zielsetzungen – teils auch wegen unterschiedlicher Methoden – hat jede dieser Wissenschaften heute ein eigenes Teilgebiet, das als formale Semantik bezeichnet wird. Die formale Semantik in Logik, jene in Informatik und die formale Semantik in Linguistik sind jedoch in vielerlei Hinsicht miteinander verflochten und greifen häufig ineinander bzw. auf die Ergebnisse der jeweils anderen zurück.
Die moderne formale Semantik hat ihren Ursprung in Arbeiten von Alfred Tarski, Richard Montague, Alonzo Church und anderen.