21 Beziehungen: Alfred Tarski, Allgemeine Linguistik, Alonzo Church, Frege-Prinzip, Functional Grammar, Gottlob Frege, Informatik, Johannes Heinrichs (Philosoph), Konstruierte Sprache, Lambda-Kalkül, Logik, Mathematische Logik, Minimalistisches Programm, Monika Schwarz-Friesel, Natürliche Sprache, Philosophie, Richard Montague, Semantik, Sprachwissenschaft, Syntax, Theoretische Informatik.
Alfred Tarski
Berkeley Alfred Tarski bzw.
Neu!!: Formale Semantik und Alfred Tarski · Mehr sehen »
Allgemeine Linguistik
Die Allgemeine Linguistik (auch Allgemeine Sprachwissenschaft) ist eine der großen Hauptdisziplinen der Sprachwissenschaft.
Neu!!: Formale Semantik und Allgemeine Linguistik · Mehr sehen »
Alonzo Church
Alonzo Church (* 14. Juni 1903 in Washington, D.C.; † 11. August 1995 in Hudson, Ohio) war ein US-amerikanischer Mathematiker, Logiker und Philosoph und einer der Begründer der theoretischen Informatik.
Neu!!: Formale Semantik und Alonzo Church · Mehr sehen »
Frege-Prinzip
Das Frege-Prinzip (auch Kompositionalitätsprinzip, Kompositionsregularität, Funktionalitätsprinzip, Fregesches Prinzip der Bedeutung) ist ein semantisches Prinzip, nach dem die Bedeutung eines komplexen, d. h.
Neu!!: Formale Semantik und Frege-Prinzip · Mehr sehen »
Functional Grammar
Die funktionale Grammatik oder engl.
Neu!!: Formale Semantik und Functional Grammar · Mehr sehen »
Gottlob Frege
Gottlob Frege (1878) Friedrich Ludwig Gottlob Frege (* 8. November 1848 in Wismar; † 26. Juli 1925 in Bad Kleinen) war ein deutscher Logiker, Mathematiker und Philosoph.
Neu!!: Formale Semantik und Gottlob Frege · Mehr sehen »
Informatik
Lambda lc.svg Sorting quicksort anim frame.svg Utah teapot simple 2.png 3-Tasten-Maus Microsoft.jpg Bei der Informatik handelt es sich um die Wissenschaft von der systematischen Darstellung, Speicherung, Verarbeitung und Übertragung von Daten, wobei besonders die automatische Verarbeitung mit Computern betrachtet wird.
Neu!!: Formale Semantik und Informatik · Mehr sehen »
Johannes Heinrichs (Philosoph)
Johannes Heinrichs (* 17. September 1942 in Rheinhausen, heute Duisburg) ist ein deutscher Sozialphilosoph und Semiotiker.
Neu!!: Formale Semantik und Johannes Heinrichs (Philosoph) · Mehr sehen »
Konstruierte Sprache
Konstruierte Sprachen, auch Kunstsprachen oder künstliche Sprachen, sind Sprachen, die von einer Person oder einer Gruppe aus verschiedenen Gründen und zu verschiedenen Zwecken neu entwickelt wurden.
Neu!!: Formale Semantik und Konstruierte Sprache · Mehr sehen »
Lambda-Kalkül
griechischen Alphabets, benutzt. Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen.
Neu!!: Formale Semantik und Lambda-Kalkül · Mehr sehen »
Logik
Mit Logik (von logikè téchnē ‚Kunst des Denkens‘, ‚Kunst des Argumentierens‘) wird im Allgemeinen das vernünftige Schlussfolgern und im Besonderen dessen Lehre – die Schlussfolgerungslehre oder auch Denklehre – bezeichnet.
Neu!!: Formale Semantik und Logik · Mehr sehen »
Mathematische Logik
Die mathematische Logik, auch symbolische Logik oder veraltet Logistik, ist ein Teilgebiet der Mathematik, insbesondere als Methode der Metamathematik und eine Anwendung der modernen formalen Logik.
Neu!!: Formale Semantik und Mathematische Logik · Mehr sehen »
Minimalistisches Programm
Minimalistisches Programm ist ein Begriff aus der Linguistik.
Neu!!: Formale Semantik und Minimalistisches Programm · Mehr sehen »
Monika Schwarz-Friesel
Monika Schwarz-Friesel (* 28. November 1961 in Bensberg) ist eine deutsche Kognitionswissenschaftlerin, Antisemitismusforscherin und Professorin an der Technischen Universität Berlin.
Neu!!: Formale Semantik und Monika Schwarz-Friesel · Mehr sehen »
Natürliche Sprache
Als natürliche Sprache bezeichnet man in der Sprachwissenschaft eine von Menschen gesprochene Sprache oder eine Gebärdensprache, die aus einer ungesteuerten historischen Entwicklung entstanden ist.
Neu!!: Formale Semantik und Natürliche Sprache · Mehr sehen »
Philosophie
Raffaels Schule von Athen mit den idealisierten Darstellungen der Gründerväter der abendländischen Philosophie. Obwohl seit Platon vor allem eine Sache der schriftlichen Abhandlung, ist das angeregte Gespräch bis heute ein wichtiger Bestandteil des philosophischen Lebens. In der Philosophie (philosophía, latinisiert philosophia, wörtlich „Liebe zur Weisheit“) wird versucht, die Welt und die menschliche Existenz zu ergründen, zu deuten und zu verstehen.
Neu!!: Formale Semantik und Philosophie · Mehr sehen »
Richard Montague
Richard Montague (* 20. September 1930 in Stockton, Kalifornien; † 7. März 1971 in Los Angeles, Kalifornien) war ein US-amerikanischer Mathematiker, Logiker, Philosoph und Linguist und Klassiker der formalen Semantik natürlicher Sprachen.
Neu!!: Formale Semantik und Richard Montague · Mehr sehen »
Semantik
Semantik (von), auch Bedeutungslehre genannt, ist die wissenschaftliche Beschäftigung mit Bedeutung und mit den verschiedenen Beziehungen zwischen einem Zeichen und dem Bezeichneten.
Neu!!: Formale Semantik und Semantik · Mehr sehen »
Sprachwissenschaft
Sprachwissenschaft, auch Linguistik (zu ‚Zunge‘, ‚Sprache‘), untersucht in verschiedenen Herangehensweisen die menschliche Sprache.
Neu!!: Formale Semantik und Sprachwissenschaft · Mehr sehen »
Syntax
Unter Syntax (von syn ‚zusammen‘ und taxis ‚Ordnung, Reihenfolge‘) versteht man allgemein ein Regelsystem zur Kombination elementarer Zeichen zu zusammengesetzten Zeichen in natürlichen oder künstlichen Zeichensystemen.
Neu!!: Formale Semantik und Syntax · Mehr sehen »
Theoretische Informatik
Mind-Map zu einem Teilbereich der theoretischen Informatik Die theoretische Informatik beschäftigt sich mit der Abstraktion, Modellbildung und grundlegenden Fragestellungen, die mit der Struktur, Verarbeitung, Übertragung und Wiedergabe von Informationen in Zusammenhang stehen.
Neu!!: Formale Semantik und Theoretische Informatik · Mehr sehen »