Formale Semantik

Formale Semantik

Formale Semantik beschäftigt sich mit der exakten Bedeutung von künstlichen oder natürlichen Sprachen. Dabei kann sowohl die Bedeutung bestehender Sprachen untersucht als auch die Bedeutung neu geschaffener 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 theoretischen Informatik und in der Linguistik betrieben. Wegen der Wichtigkeit exakter Bedeutungstheorie 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 aus Logik, jene aus theoretischer Informatik und die formale Semantik aus Linguistik sind jedoch in vielerlei Hinsicht miteinander verflochten und greifen häufig aufeinander 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.

Inhaltsverzeichnis

Formale Semantik in der Logik

In der formalen Logik ist die Semantik ein Teilgebiet, das unter den Begriff Modelltheorie fällt. Das Gegenstück zur formalen Semantik ist in der Logik die formale Syntax, bei der es um mechanische, das heißt inhaltlich unbestimmte Operationen mit bedeutungslosen Symbolen im Rahmen von Kalkülen geht. Erst durch eine zur Syntax passende Semantik werden die Symbole und Operationen der syntaktischen Ebene mit Bedeutungen versehen. Damit wird es möglich, im Rahmen der Modelltheorie die Zusammenhänge zwischen Syntax und Semantik eines formalen Systems zu untersuchen und Aussagen über (semantische) Vollständigkeit und Korrektheit zu beweisen. Der Pionier der modernen formalen Semantik in der Logik war Alfred Tarski.[1]

Formale Semantik in der Informatik

Die formale Semantik ist ein Teilgebiet der theoretischen Informatik, das sich damit beschäftigt, Bedeutung von Computerprogrammen und Spezifikationen zu formalisieren. Dies wird zum Beispiel für den Nachweis der Korrektheit von Computerprogrammen benötigt (Verifikation). Anders als die linguistische Semantik, die ein Teil der Linguistik ist, arbeitet die formale Semantik mit vollständig mathematischen Methoden. Sie ist eng verwandt mit der Berechenbarkeitstheorie, die sich damit beschäftigt, welche Probleme mit Computerprogrammen überhaupt gelöst werden können.

Die formale Semantik hat zum Ziel, die Bedeutung von Computerprogrammen in einer formalen Sprache auszudrücken – sie soll also die Semantik eines Computerprogramms syntaktisch ausdrücken, so dass sich über das Anwenden von Ableitungsregeln (Kalkülen) Aussagen über das Programm beweisen lassen.

In der formalen Semantik finden folgende Kalküle Verwendung:

Formale Semantik in der Linguistik

In der Linguistik ist die formale Semantik eine Semantik, die mit Hilfe der Logik und Mathematik betrieben wird. Die Bedeutung von Sätzen wird mit Hilfe einer formalen Metasprache erfasst. Aufbauend auf dem Kompositionalitätsprinzip von Gottlob Frege wird erforscht, was die einzelnen Teile eines Satzes zu dessen Gesamtbedeutung beitragen. Das Zusammenwirken der einzelnen Bestandteile des Satzes wird durch eine Formalisierung der natürlichen Sprache mit Hilfe von Montaguegrammatiken und ähnlichen Methoden erreicht.

Die formale Semantik ist mit verschiedenen syntaktischen Modellen wie dem minimalistischen Programm, der Kategorialgrammatik oder der Functional Grammar kompatibel.

In der formalen Semantik dient die Lambda-Abstraktion dazu, "aus einer Formel Prädikate zu erzeugen, Individuen als generalisierte Quantoren darzustellen und die Semantik von Quantoren und Determinanten [zu] formalisieren."[2] Das Gegenteil der Lambda-Abstraktion ist die Lambda-Konversion.

Siehe auch

Literatur

Linguistik

  • Johannes Heinrichs: Sprache. Band 2: Die Bedeutungsdimension.(Semantik), Philosophische Semiotik Teil II, Steno München 2008. ISBN 978-954-449-351-6
  • Irene Heim und Angelika Kratzer: Semantics in Generative Grammar Oxford: Blackwell, 1998.
  • Horst Lohnstein: Formale Semantik und natürliche Sprache: einführendes Lehrbuch Opladen: Westdeutscher Verlag, 1996. ISBN 3-531-12818-3
  • Monika Schwarz, Jeanette Chur: Semantik: ein Arbeitsbuch, 5. Aufl., Tübingen: Gunter Narr, 2007. ISBN 978-3-8233-6296-8 (Einführung; Seite 115 -191)

Informatik

  • Joseph E. Stoy: Denotational Semantics: The Scott-Strachey Approach to Programming Language Semantics. MIT Press, Cambridge, Massachusetts, 1977.
  • Jan van Leeuwen: Handbook of Theoretical Computer Science, Volume B. Elsevier / MIT Press, 1990.
  • Michael Main: Mathematical Foundations of Programming Language Semantics. Springer, 1988.
  • Austin Melton: Mathematical Foundations of Programming Semantics. Springer, 1986.
  • Manfred Droste, Yuri Gurevich: Semantics of Programming Languages and Model Theory. CRC Press, 1993.

Weblinks

Einzelnachweise

  1. Tarski, A. 1983, Logic, Semantics, Metamathematics, papers from 1923 to 1938, ed. John Corcoran, Indianapolis : Hackett Publishing Company.
  2. Monika Schwarz, Jeanette Chur: Semantik. - 5. Aufl. - G. Narr, Tübingen 2007, S. 156

Wikimedia Foundation.

См. также в других словарях:

  • Semantik — (griechisch σημαίνειν sēmainein ‚bezeichnen‘), auch Bedeutungslehre, nennt man die Theorie oder Wissenschaft von der Bedeutung der Zeichen. Zeichen können in diesem Fall Wörter, Phrasen oder Symbole sein. Die Semantik beschäftigt sich… …   Deutsch Wikipedia

  • Formale Methoden — In der Informatik bezeichnet der Begriff der Formalen Methoden eine Vielzahl von natur und ingenieurswissenschaftlichen Techniken zum Modellieren und zur rigorosen Überprüfung von Computersystemen. Formale Methoden basieren in der Regel auf der… …   Deutsch Wikipedia

  • Formale Verifikation — Verifizierung oder Verifikation (von lat. veritas, Wahrheit und facere, machen) ist der Nachweis, dass ein vermuteter oder behaupteter Sachverhalt wahr ist. Der Begriff wird unterschiedlich gebraucht, je nachdem, ob man sich bei der… …   Deutsch Wikipedia

  • Formale Methode — In der Informatik bezeichnet der Begriff der Formalen Methoden eine Vielzahl von natur und ingenieurswissenschaftlichen Techniken zum Modellieren und zur rigorosen Überprüfung von Computersystemen. Formale Methoden basieren in der Regel auf der… …   Deutsch Wikipedia

  • Formale Systeme — Die Artikel Formale Sprache, Formales System, Formales System (Logik) und Kalkül überschneiden sich thematisch. Hilf mit, die Artikel besser voneinander abzugrenzen oder zu vereinigen. Beteilige dich dazu an der Diskussion über diese… …   Deutsch Wikipedia

  • Formale Sprache — Eine formale Sprache ist eine bestimmte Menge von Zeichenketten, die aus einem Zeichenvorrat zusammengesetzt werden können. Anwendung finden formale Sprachen in der Linguistik, der Logik und der theoretischen Informatik. Formale Sprachen eignen… …   Deutsch Wikipedia

  • Formale Logik — Neben der Lehre vom Urteil und der in diesen verwendeten Begriffe geht es in der Logik besonders um die Analyse und Konstruktion logischer Schlussfolgerungen, wobei hier formale Aspekte, ohne Bezug auf den semantischen Gehalt der betrachteten… …   Deutsch Wikipedia

  • Semantik — Sinngehalt; Aussage; Sinn; Bedeutung; Bedeutungslehre * * * Se|mạn|tik 〈f.; ; unz.; Sprachw.〉 1. Zweig der Linguistik, der sich mit Bedeutung u. Inhalt sprachlicher Ausdrucksformen sowie mit deren Beziehungen zu den bezeichneten Gegenständen u.… …   Universal-Lexikon

  • Formale Spezifikation — Eine formale Spezifikation ist die Beschreibung eines Computerprogramms mittels einer Notation, deren Semantik eindeutig definiert ist (einer sogenannten formalen Sprache). Ziel ist die formalisierte, präzise Beschreibung der zu lösenden Aufgabe… …   Deutsch Wikipedia

  • Denotationale Semantik — Dieser Artikel wurde aufgrund von inhaltlichen Mängeln auf der Qualitätssicherungsseite der Redaktion Informatik eingetragen. Dies geschieht, um die Qualität der Artikel aus dem Themengebiet Informatik auf ein akzeptables Niveau zu bringen. Hilf… …   Deutsch Wikipedia


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»