Kompositionalität. Christian Ebert & Fritz Hamm. Kompositionalität. 1. Dezember 2011

Größe: px
Ab Seite anzeigen:

Download "Kompositionalität. Christian Ebert & Fritz Hamm. Kompositionalität. 1. Dezember 2011"

Transkript

1 1. Dezember 2011

2 sprinzip The meaning of a complex expression is determined by the meaning of its parts and the mode of composition. Die Bedeutung eines komplexen Ausdrucks ist durch die Bedeutung seiner Teile und der Regel, mit der sie kombiniert wurden, bestimmt. Intituitv eingängig aber... heisst die, dass jeder Ausdruck eine eindeutige Bedeutung hat? Gibt es bedeutungslose Ausdrücke? was sind Bedeutungen? wann ist ein Ausdruck komplex? was sind die Teile eines Ausdrucks? was heisst bestimmt? was sind Regeln?

3 Warum überhaupt? Produktivität: Sprecher können nie zuvor geäusserte Sätze produzieren/beurteilen Lernbarkeit: Kinder können aus wenig Input problemlos Sprache lernen Systematicity: Sprache ist systematisch, d.h. hat klare Muster

4 Komplikationen Lexikalische Ambiguität: Johann steht vor einer Bank. Was ist die Bedeutung von Bank? Skopusambiguität: Jeder Student kennt einen Linguisten. Eine syntaktische Struktur, aber zwei Bedeutungen? Indexikalische Ausdrücke: Bedeutung abhängig vom Kontext 1 Der Bundeskanzler heisst Gerhard Schröder. 2 Hier stinkt s nach Pferdemist. 3 Ich bin 1,80m groß und trage eine Brille. Anaphora: Bedeutung abhängig vom Diskurs. Er ist doof. Idiomatische Wendungen Auf der Linguistik-Weihnachtsfeier steppt der Papst im Kettenhemd! Keine Gegenargumente, aber: semantische Theorie muss entsprechend komplex sein, um kompositional zu sein.

5 Formale Ansätze I Formale Ausspezifizerungen des Prinzips in der Literatur: Homomorphismen sortierter Algebren (Montague, 1974; Janssen, 1996; Hendriks, 2001) Frege-Erweiterungen (Hodges, 2001; Westerståhl, 2004) Zeichenbasierte (Kracht, 2001)

6 Formale Ansätze II Zutaten: 1 Lexikon: L = {w 1,..., w n } 2 Syntaktische Funktionen: F = {f 1,..., f m } 3 Semantische Funktionen: S = {s 1,..., s m } Damit: syntaktische Analyse eines komplexen Ausdrucks Termausdruck über F L Eine Frau mag Peter. f S (f DP (eine, Frau), f VP (mag, Peter)) Bedeutungszuweisung m ist Homomorphismus m erhält die Termstruktur: m( f i (t 1,..., t n ) ) = s i (m(t 1,..., m(t n )) m( f S (f DP (eine, Frau), f VP (mag, Peter)) ) = s S (s DP (m(eine), m(frau)), s VP (m(mag), m(peter)))

7 Formale Ansätze III Zum Beispiel: m(eine) = λpλq x(p(x) Q(x)) m(frau)) = λxwoman (x) m(mag) = λyλxlike (x, y) m(peter)) = peter s i : (ϕ, ψ) ϕ(ψ), i {S,DP,VP} (Funktionalapplikation)

8 Formale Ansätze IV Folgerung des sprinzips: Substitutionsprinzip Wenn zwei Ausdrücke a, b dasselbe bedeuten kann man sie in allen Kontexten austauschen, ohne dass sich Bedeutungen ändern. m(a) = m(b) m(. }.. {{ a.. }.) = m(. }.. {{ b.. }.) t[a] t[b] Gegenbeispiele zum Substitutionsprinzip Gegenbeispiele zu kompositioneller Semantikzuweisung z.b. Zahlennamen bei rechtsassoziativer Syntax: m(0 7) = m(7), aber m(2 (0 7)) m(2 7)

9 Formale Ansätze V Diskussion in den 90ern: eine kompositionelle Bedeutungszuweisung lässt sich immer finden ist nichts-sagend (engl. vacuous; s. Dever, 1999; Janssen, 1996, Kazmi & Pelletier, 1998; van Benthem, 1986; Westerståhl, 1998; Zadrozny, 1994). Aber: alle Vacuity-Beweise, ändern massiv die Syntax oder die Synonymien Achtung! L, F, S (dh. Lexikon, Syntax und semantische Kompositionsmodi) müssen gegeben sein, um über von m urteilen zu können!

10 Literatur I Johan van Benthem. The Logic of Semantics. In Essays in Logical Semantics, pages Reidel, Dordrecht, Josh Dever. Compositionality as Methodology. Linguistics and Philosophy, 22, Herman Hendriks. Compositionality and model-theoretic interpretation. Journal of Logic, Language and Information, 10(1):29 48, Theo M. V. Janssen. Compositionality. In Johan van Benthem and Alice ter Meulen, editors, Handbook of Logic and Language, pages Elsevier, Amsterdam, Ali Akhtar Kazmi and Francis Jeffry Pelletier. Is Compositionality Formally Vacuous? Linguistics and Philosophy, 21(6): , Marcus Kracht. Strict compositionality and literal movement grammars. In Michael Moortgat, editor, Logical Aspects of Computational Linguistics 98, volume 2014 of LNAI, pages Springer, 2001.

11 Literatur II Richard Montague. The proper treatment of quantification in ordinary english. In R. Thomason, editor, Formal Philosophy: Selected Papers of Richard Montague, pages Yale University Press, New Haven, CT, Richard Montague. Universal grammar. In R. Thomason, editor, Formal Philosophy: Selected Papers of Richard Montague, pages Yale University Press, New Haven, CT, Dag Westerståhl. On Mathematical Proofs of the Vacuity of Compositionality. Linguistics and Philosophy, 21(6): , Wlodek Zadrozny. From Compositional to Systematic Semantics. Linguistics and Philosophy, 17(4): , 1994.

Das Kompositionalitätsprinzip

Das Kompositionalitätsprinzip Das Kompositionalitätsprinzip (Version 1.0) Seminar Kompositionalität, 2005 1 Das Kompositionalitätsprinzip (Version 1.0) Die Bedeutung eines komplexen Ausdrucks ist durch die Bedeutung seiner Teile bestimmt

Mehr

Kompaktkurs Montague-Grammatik SS 1996 (Ede Zimmermann, IMS)

Kompaktkurs Montague-Grammatik SS 1996 (Ede Zimmermann, IMS) Kompaktkurs Montague-Grammatik SS 1996 (Ede Zimmermann, IMS) 1. Syntax-Semantik-Schnittstelle Syntax Regeln vermitteln (syntagmatische) Operationen und (paradigmatische) Kategorien Zum Vergleich: Kontextfreies

Mehr

Logik und modelltheoretische Semantik. Montague-Grammatik

Logik und modelltheoretische Semantik. Montague-Grammatik Logik und modelltheoretische Montague-Grammatik Robert Zangenfeind Centrum für Informations- und Sprachverarbeitung, LMU München 23.5.2017 Zangenfeind: Montague-Grammatik 1 / 23 Vorgeschichte Ursprung

Mehr

Montague / Schnelle. Universale Grammatik

Montague / Schnelle. Universale Grammatik Montague / Schnelle Universale Grammatik Schriften zur Linguistik herausgegeben von Prof. Dr. Peter Hartmann, Konstanz Band 5 Band 1 Gerhard Stickel, Untersuchungen zur Negation im heutigem Deutsch Band

Mehr

FORMALE METHODEN SKRIPT ZUR VORLESUNG LOGIK FÜR LINGUISTEN

FORMALE METHODEN SKRIPT ZUR VORLESUNG LOGIK FÜR LINGUISTEN FORMALE METHODEN SKRIPT ZUR VORLESUNG LOGIK FÜR LINGUISTEN Johannes Dölling Institut für Linguistik Universität Leipzig 2010 Inhaltsverzeichnis Vorwort Literaturhinweise Symbolverzeichnis 1 Einführung

Mehr

Semantik und Pragmatik

Semantik und Pragmatik Semantik und Pragmatik SS 2005 Universität Bielefeld Teil 4, 6. Mai 2005 Gerhard Jäger Semantik und Pragmatik p.1/35 Prädikatenlogik: atomare Formeln Syntax JO, BERTIE, ETHEL, THE-CAKE... sind Individuenkonstanten

Mehr

Formale Semantik. Anke Assmann Heim & Kratzer 1998, Kap. 1. Universität Leipzig, Institut für Linguistik

Formale Semantik. Anke Assmann Heim & Kratzer 1998, Kap. 1. Universität Leipzig, Institut für Linguistik 1 / 20 Formale Semantik Heim & Kratzer 1998, Kap. 1 Anke Assmann anke.assmann@uni-leipzig.de Universität Leipzig, Institut für Linguistik 09.04.2013 2 / 20 Inhalt 1 Vorbemerkungen 2 Wahrheitskonditionale

Mehr

Semantik 5: Montague-Grammatik

Semantik 5: Montague-Grammatik Semantik 5: Montague-Grammatik Robert Zangenfeind, Hinrich Schütze Center for Information and Language Processing, LMU Munich 2018-05-29 Zangenfeind & Schütze (LMU Munich): Montague-Grammatik 1 / 60 Outline

Mehr

Was bisher geschah Modellierung in Logiken: klassische Prädikatenlogik FOL(Σ, X) Spezialfall klassische Aussagenlogik AL(P)

Was bisher geschah Modellierung in Logiken: klassische Prädikatenlogik FOL(Σ, X) Spezialfall klassische Aussagenlogik AL(P) Was bisher geschah Modellierung in Logiken: klassische Prädikatenlogik FOL(Σ, X) Spezialfall klassische Aussagenlogik AL(P) Syntax Semantik Signatur, Variablen Terme (induktive Definition, Baumform) Atome

Mehr

Kompositionalität & DSM

Kompositionalität & DSM & DSM 7. Dezember 2011 Mitchell & Lapata (2008) I Evaluation verschiedener Kompositionsmodi: additiv gewichtet additiv (Kintsch, 2001) multiplikativ gemischt p = u + v Vektoraddition p = α u + β v Vektoraddition

Mehr

Universelle Algebra. Zur Erinnerung: Definition von Gruppe, Ring (mit 1), R-Vektorraum.

Universelle Algebra. Zur Erinnerung: Definition von Gruppe, Ring (mit 1), R-Vektorraum. Kapitel 3 Universelle Algebra 3.1 Universelle Algebra als Logik Zur Erinnerung: Definition von Gruppe, Ring (mit 1), R-Vektorraum. Signaturen Eine funktionale Signatur ist eine Menge F von Funktionssymbolen

Mehr

Debreceni Egyetem Bölcsészettudományi Kar. Darai Zsuzsanna

Debreceni Egyetem Bölcsészettudományi Kar. Darai Zsuzsanna Debreceni Egyetem Bölcsészettudományi Kar Darai Zsuzsanna Das Kompositionalitätsprinzip in Freges Semantik, in der Montague-Grammatik und in der Diskursrepräsentationstheorie Doktori (PhD) értekezés tézisei

Mehr

Natürliche Sprachen sind durch Ambiguitäten und Vagheiten beim Ausdruck von Denkinhalten charakterisiert.

Natürliche Sprachen sind durch Ambiguitäten und Vagheiten beim Ausdruck von Denkinhalten charakterisiert. 1 Einführung 1.1 Logik und Linguistik Natürliche Sprachen sind durch Ambiguitäten und Vagheiten beim Ausdruck von Denkinhalten charakterisiert. In der mathematischen, formalen Logik werden formale Sprachen,

Mehr

. How Complex are Complex Predicates? K. Maiterth, A. Domberg. Seminar: Komplexe Verben im Germanischen Universität Leipzig Problem..

. How Complex are Complex Predicates? K. Maiterth, A. Domberg. Seminar: Komplexe Verben im Germanischen Universität Leipzig Problem.. How Complex are Complex Predicates? K Maiterth, A Domberg Seminar: Komplexe Verben im Germanischen Universität Leipzig 21052012 Inhalt 1 Verbcluster im Deutschen Komplexer Kopf VP-Komplementierung 2 Haiders

Mehr

Zeit im Blick der Philosophen

Zeit im Blick der Philosophen Zeit im Blick der Philosophen [Integrale, Ringvorlesung] Uwe Scheffler [Technische Universität Dresden] November 2012 You must remember this A kiss is still a kiss A sigh is just a sigh The fundamental

Mehr

Formale Sprachen und Automaten

Formale Sprachen und Automaten Formale Sprachen: der Gegenstand Formale Sprachen und Automaten Motivation und Hintergrund Kann man die Begriffe der Sprache und der Grammatik auf eine mathematische Grundlagen stellen? Die Theorie formaler

Mehr

Geometrie & Bedeutung

Geometrie & Bedeutung Geometrie & Bedeutung Seminar für Sprachwissenschaft Universität Tübingen Christian Ebert christian.ebert@uni-tuebingen.de Fritz Hamm friedrich.hamm@uni-tuebingen.de Wilhelmstr. 19 Wilhelmstr. 19 Zimmer

Mehr

Linguistische Grundlagen 6. Semantik

Linguistische Grundlagen 6. Semantik Linguistische Grundlagen 6. Semantik Gereon Müller Institut für Linguistik Universität Leipzig www.uni-leipzig.de/ muellerg Gereon Müller (Institut für Linguistik) 04-006-1001: Linguistische Grundlagen

Mehr

Semantik. Anke Himmelreich Formale Semantik. Universität Leipzig, Institut für Linguistik 1 / 47

Semantik. Anke Himmelreich Formale Semantik. Universität Leipzig, Institut für Linguistik 1 / 47 1 / 47 Semantik Formale Semantik Anke Himmelreich anke.assmann@uni-leipzig.de Universität Leipzig, Institut für Linguistik 09.06.2016 2 / 47 Inhaltsverzeichnis 1 Vorbemerkungen 2 Wahrheitskonditionale

Mehr

Semantik 5: Montague-Grammatik

Semantik 5: Montague-Grammatik Semantik 5: Montague-Grammatik Robert Zangenfeind, Hinrich Schütze Center for Information and Language Processing, LMU Munich 2018-05-29 Zangenfeind & Schütze (LMU Munich): Montague-Grammatik 1 / 61 Outline

Mehr

Theoretische Grundlagen zu Default Logic

Theoretische Grundlagen zu Default Logic Theoretische Grundlagen zu Default Logic Eric Hildebrand Logik in der Praxis: Logikprogrammierung und unscharfes Schließen WS 08/09 Universität Heidelberg Seminar für Computerlinguistik Institut für allgemeine

Mehr

Erwerb appositiver Relativsätze

Erwerb appositiver Relativsätze Erwerb appositiver Relativsätze Seminar: Relativsätze im Spracherwerb Prof. Dr. Petra Schulz WiSe 2011/2012 31.01.2012 Referentin: Julia Kiss Gliederung restriktive und appositive Relativsätze Conventional

Mehr

Montague-Grammatik HIROYUKIZUO

Montague-Grammatik HIROYUKIZUO Kontrafaktische Montague-Grammatik Konditionale und HIROYUKIZUO 0. Die Wahrheitsbedingungen kontrafaktischer Konditionale sind schon von Goodman (1947), Stalnaker und Thomason (1970), Lewis (1973), Agvist

Mehr

Die intuitionistische Natur von Statecharts

Die intuitionistische Natur von Statecharts Die intuitionistische Natur von Statecharts Gerald Lüttgen Department of Computer Science The University of Sheffield www.dcs.shef.ac.uk/~luettgen Gemeinsame Arbeit mit Michael Mendler, The University

Mehr

3 Prädikatenlogik der 1. Stufe (PL1) Teil I

3 Prädikatenlogik der 1. Stufe (PL1) Teil I 3 Prädikatenlogik der 1. Stufe (PL1) Teil I 3.1 Die Grenzen von AL Schluss AL-Schema (1) Alle Logiker sind Pedanten. φ Max ist Linguist oder Logiker. ψ ψ 1 2 Max ist nicht Linguist. ψ1 Max ist Pedant.

Mehr

Automatentheorie und formale Sprachen

Automatentheorie und formale Sprachen Automatentheorie und formale Sprachen Wiebke Petersen Wiebke Petersen Automatentheorie und formale Sprachen - WiSe12/13 1 Seminarplan Lektüre: Theoretische Grundlagen der Informatik, Rolf Socher, 2008

Mehr

Zwischensprachliche Variation bei Quantorenanhebung

Zwischensprachliche Variation bei Quantorenanhebung Zwischensprachliche Variation bei Quantorenanhebung Johannes Neubarth Wolfgang Seeker 12. November 2007 Wiederholung: Mays Skopusprinzip (May 1985) Skopusprinzip Zwei Quantoren (Operatoren), die sich gegenseitig

Mehr

Semantische Klassifikation von Kollokationen auf Grundlage des DWDS- Wortprofils

Semantische Klassifikation von Kollokationen auf Grundlage des DWDS- Wortprofils Semantische Klassifikation von Kollokationen auf Grundlage des DWDS- Wortprofils Isabel Fuhrmann, Alexander Geyken, Lothar Lemnitzer Zentrum Sprache Berlin-Brandenburgische Akademie der Wissenschaften

Mehr

Semantik und Pragmatik

Semantik und Pragmatik Semantik und Pragmatik SS 2005 Universität Bielefeld Teil 2, 22. April 2005 Gerhard Jäger Semantik und Pragmatik p.1/14 Wahrheitsbedingungen Wahrheit eines Satzes ist zentral bei Definition von Sinn-Relationen

Mehr

Die pragmatische Gretchenfrage und ihre Folgen

Die pragmatische Gretchenfrage und ihre Folgen Die pragmatische Gretchenfrage und ihre Folgen Johannes Dölling (Leipzig) Nun sag', wie hast du's mit der wörtlichen Bedeutung? Workshop zu Ehren von Manfred Bierwisch, Leipzig, 26.10.2005 1 Ein grundlegendes

Mehr

2 Theorie der semantischen Typen

2 Theorie der semantischen Typen 2 Theorie der semantischen Typen 2 Theorie der semantischen Typen [ Dowty 83-97, Gamut 75-9, Partee 338-34] 2. Typen Eine mögliche Erweiterung von PL ist die Prädikatenlogik der 2. Stufe (PL2). In PL2

Mehr

Ivana Daskalovska. Willkommen zur Übung Einführung in die Computerlinguistik. Sarah Bosch,

Ivana Daskalovska. Willkommen zur Übung Einführung in die Computerlinguistik. Sarah Bosch, Ivana Daskalovska Willkommen zur Übung Einführung in die Computerlinguistik Kontakt: ivana.bt.mk@gmail.com Betreff: EICL Wiederholung Aufgabe 1 Was ist Computerlinguistik? 4 Was ist Computerlinguistik?

Mehr

R. Montagues Semantikmodellierung in»english as a Formal Language«

R. Montagues Semantikmodellierung in»english as a Formal Language« R. Montagues Semantikmodellierung in»english as a Formal Language«Sascha Brawer, 20. Juni 1995 brawer @coli.uni-sb.de Einleitung Die nachfolgende Arbeit geht auf Richard Montagues Aufsatz»English as a

Mehr

Hilbert: Prädikatenlogik Teil I (formale Beweise) Text von Hilbert; Text von Halbeisen et al. Christine Simantiri Ueli Gisiger

Hilbert: Prädikatenlogik Teil I (formale Beweise) Text von Hilbert; Text von Halbeisen et al. Christine Simantiri Ueli Gisiger Hilbert: Prädikatenlogik Teil I (formale Beweise) Text von Hilbert; Text von Halbeisen et al. Christine Simantiri Ueli Gisiger 13.04.2016 Hilbert: Prädikatenlogik Teil I (formale Beweise) Ablauf der Text-Vorstellung

Mehr

KL WS 03/04 - Anke Lüdeling. Gliederung. Polysemie. Systematische Polysemie

KL WS 03/04 - Anke Lüdeling. Gliederung. Polysemie. Systematische Polysemie KL WS 03/04 - Anke Lüdeling Arbeitsgruppe Miniprojekt 1: Lexikalische Semantik Kann man systematische Polysemie kontextuell (automatisch) bestimmen? Anne Urbschat Ruprecht v.waldenfels Jana Drescher Emil

Mehr

Einführung in die Linguistik, Teil 4

Einführung in die Linguistik, Teil 4 Einführung in die Linguistik, Teil 4 Syntax, Semantik und Sprachverstehen Markus Bader, Miriam Butt, Uli Lutz, Björn Wiemer Einführung in die Linguistik, Teil 4 p. 1/19 Syntax und Semantik (1) S 1 B 1

Mehr

Montague-Grammatik (ohne Semantik)

Montague-Grammatik (ohne Semantik) Montague-Grammatik (ohne Semantik) R. Montague hat um 1970 eine Alternative zur Generativen Grammatik von N. Chomsky ausgearbeitet, die eine durch eine Ubersetzung der nat urlichsprachlichen Ausdr ucke

Mehr

German Language and Culture (Ma) VU University Amsterdam - Faculteit der Letteren - M German Language and Culture - 2010-2011

German Language and Culture (Ma) VU University Amsterdam - Faculteit der Letteren - M German Language and Culture - 2010-2011 German Language and Culture (Ma) VU University Amsterdam M German Language and Culture 20102011 VU University Amsterdam M German Language and Culture 20102011 I Study Guide information for the German Language

Mehr

Verwendung von Methoden der formalen Logik in der Linguistik

Verwendung von Methoden der formalen Logik in der Linguistik 1.1 Logik und Linguistik 1 Einführung 1.1 Logik und Linguistik [ Gamut 9-27, Partee 93-95, Chierchia 17-52 ] Natürliche Sprachen sind durch Ambiguitäten und Vagheiten beim Ausdruck von Denkinhalten charakterisiert.

Mehr

Boole sche und Peirce sche Grammatik Hauptseminar

Boole sche und Peirce sche Grammatik Hauptseminar Boole sche und Peirce sche Grammatik Hauptseminar Relationale Grammatik CIS, WS 2009/10 Marion Tang Universität München Centrum für Informations- und Sprachverarbeitung 9. November 2009 1/ 33 Boole sche

Mehr

Semantikkonstruktion

Semantikkonstruktion Semantikkonstruktion Vorlesung Computerlinguistische Techniken Alexander Koller 16. Januar 2015 Semantische Verarbeitung Uraltes Problem: Inferenz. Woher wissen wir, dass ein Satz aus einem anderen folgt?

Mehr

Formale Methoden II. Gerhard Jäger. SS 2008 Universität Bielefeld. Teil 1, 16. April Formale Methoden II p.1/30

Formale Methoden II. Gerhard Jäger. SS 2008 Universität Bielefeld. Teil 1, 16. April Formale Methoden II p.1/30 Formale Methoden II SS 2008 Universität Bielefeld Teil 1, 16. April 2008 Gerhard Jäger Formale Methoden II p.1/30 Sätze und Aussagen (1) Schon wieder Verona Feldbusch! (2) Hat die Vorlesung schon angefangen?

Mehr

Lexikalische Substitutionen. Seminar: Sprachproduktion Dozentin: Prof. Dr. Helen Leuninger WS 09/10 Referenten: Anna Schmidt und Tim Krones

Lexikalische Substitutionen. Seminar: Sprachproduktion Dozentin: Prof. Dr. Helen Leuninger WS 09/10 Referenten: Anna Schmidt und Tim Krones Lexikalische Substitutionen Seminar: Sprachproduktion Dozentin: Prof. Dr. Helen Leuninger WS 09/10 Referenten: Anna Schmidt und Tim Krones Gliederung 1 Substitutionen: Arten und Eigenschaften 2 Entstehung

Mehr

Präsupposition, Fokus, Topik

Präsupposition, Fokus, Topik Johannes Dölling WiSe 2012/13 Präsupposition, Fokus, Topik (Modul 04-046-2018 Semantik/Pragmatik: Bedeutung und Diskurs) Seminar Mi 13.15-14.45 Beethovenstr. H1 5.16 Ein Kennzeichen von Kommunikation ist,

Mehr

Semantik. Anke Himmelreich Einführung. Universität Leipzig, Institut für Linguistik 1 / 30

Semantik. Anke Himmelreich Einführung. Universität Leipzig, Institut für Linguistik 1 / 30 1 / 30 Semantik Einführung Anke Himmelreich anke.assmann@uni-leipzig.de Universität Leipzig, Institut für Linguistik 07.04.2016 2 / 30 Inhaltsverzeichnis 1 Was ist Semantik? 2 Bedeutung in Semantik und

Mehr

2.6 Natürliches Schließen in AL

2.6 Natürliches Schließen in AL 2.6 Natürliches Schließen in AL Bisher wurde bei der Überprüfung der Gültigkeit von Schlüssen oder Schlussschemata insofern ein semantisches Herangehen verfolgt, als wir auf die Bewertung von Formeln mit

Mehr

Automatentheorie und formale Sprachen reguläre Ausdrücke

Automatentheorie und formale Sprachen reguläre Ausdrücke Automatentheorie und formale Sprachen reguläre Ausdrücke Dozentin: Wiebke Petersen 6.5.2009 Wiebke Petersen Automatentheorie und formale Sprachen - SoSe09 1 Formal language Denition A formal language L

Mehr

3.4 Direkte vs. indirekte Interpretation

3.4 Direkte vs. indirekte Interpretation 3 Theorie der λ -Repräsentation 3.4 Direkte vs. indirekte Interpretation In unserer semantischen Analyse natürlichsprachlicher Ausdrücke haben wir bisher die Methode der indirekten Interpretation zugrunde

Mehr

Prüfungsangebot. Fachbereich Sprach- und Literaturwissenschaften Bachelor Linguistik/Language Sciences. Wintersemester 2016/2017

Prüfungsangebot. Fachbereich Sprach- und Literaturwissenschaften Bachelor Linguistik/Language Sciences. Wintersemester 2016/2017 Bezeichnung der sleistung Studienabschnitt: Pflichtbereich (nach ) LS1a Einführung in die Linguistik Introduction to Linguistics Dr. Christel Stolz 9 Allgemeine und Vergleichende Sprachwissenschaft General

Mehr

Logische Grundlagen der Mathematik, WS 2014/15

Logische Grundlagen der Mathematik, WS 2014/15 Logische Grundlagen der Mathematik, WS 2014/15 Thomas Timmermann 16. Oktober 2014 1 Einleitung Literatur Paul.R. Halmos, Naive Set Theory Ralf Schindler, Logische Grundlagen der Mathematik Peter J. Cameron,

Mehr

7. SITZUNG: KOMPOSITIONALITÄT AUF SATZEBENE MENGEN UND (CHARAKTERISTISCHE) FUNKTIONEN

7. SITZUNG: KOMPOSITIONALITÄT AUF SATZEBENE MENGEN UND (CHARAKTERISTISCHE) FUNKTIONEN 7. SITZUNG: KOMPOSITIONALITÄT AUF SATZEBENE MENGEN UND (CHARAKTERISTISCHE) FUNKTIONEN 1. Kompositionalität und die Interpretation atomarer Aussagen: DIE IDEE Bisher wurde gezeigt, was die Interpretation

Mehr

12. Die Galois Gruppe einer auflösbaren Gleichung.

12. Die Galois Gruppe einer auflösbaren Gleichung. 12. Die Galois Gruppe einer auflösbaren Gleichung. Wir wollen zeigen, dass die Gleichung p(x) = x 5 6x + 2 = 0 nicht auflösbar ist. Hierfür brauchen wir zunächst neue Definitionen, die mit dem Begriff

Mehr

(1) (a) Hans ist verheiratet oder nicht verheiratet. (b) Hans ist verheiratet oder Hans ist nicht verheiratet.

(1) (a) Hans ist verheiratet oder nicht verheiratet. (b) Hans ist verheiratet oder Hans ist nicht verheiratet. 3.3 Quantoren? Sind folgende Sätze jeweils synonym? (1) (a) Hans ist verheiratet oder nicht verheiratet. (b) Hans ist verheiratet oder Hans ist nicht verheiratet. (2) (a) Jeder ist verheiratet oder nicht

Mehr

Logik I. Symbole, Terme, Formeln

Logik I. Symbole, Terme, Formeln Logik I Symbole, Terme, Formeln Wie jede geschriebene Sprache basiert die Prädikatenlogik erster Stufe auf einem Alphabet, welches aus den folgenden Symbolen besteht: (a) Variabeln wie zum Beispiel v 0,v

Mehr

Formale Semantik. Anke Assmann Heim & Kratzer 1998, Kap. 3. Universität Leipzig, Institut für Linguistik

Formale Semantik. Anke Assmann Heim & Kratzer 1998, Kap. 3. Universität Leipzig, Institut für Linguistik 1 / 30 Formale Semantik Heim & Kratzer 1998, Kap. 3 Anke Assmann anke.assmann@uni-leipzig.de Universität Leipzig, Institut für Linguistik 23.04.2013 2 / 30 Vorbemerkung Bisher gab es für jede syntaktische

Mehr

5.2 Logische Gültigkeit, Folgerung, Äquivalenz

5.2 Logische Gültigkeit, Folgerung, Äquivalenz 5.2 Logische Gültigkeit, Folgerung, Äquivalenz Durch Einsetzung von PL1-Formeln für die Metavariablen in AL-Gesetzen erhält man PL1-Instanzen von AL-Gesetzen. Beispiele: φ φ AL PL1-Instanzen: Pa () Pa

Mehr

Einführung in die Computerlinguistik

Einführung in die Computerlinguistik Einführung in die Computerlinguistik Einführung Laura Kallmeyer Heinrich-Heine-Universität Düsseldorf Summer 2018 1 / 14 Anwendungen der Computerlinguistik Carstensen et al. (2010); Jurafsky and Martin

Mehr

1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet.

1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet. Grundlagen der Mathematik für Informatiker 1 1 Aussagenlogik 1.1 Aussagen Aussage = Behauptung Beispiele: Es regnet. Die Straße ist naß. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage)

Mehr

Prüfungsangebot. Fachbereich Sprach- und Literaturwissenschaften Bachelor Linguistik/Language Sciences. Wintersemester 2018/2019

Prüfungsangebot. Fachbereich Sprach- und Literaturwissenschaften Bachelor Linguistik/Language Sciences. Wintersemester 2018/2019 Bezeichnung der sleistung Studienabschnitt: Pflichtbereich (nach ) LS1a Einführung in die Linguistik Introduction to Linguistics of. Dr. Thomas Stolz 9 Allgemeine und Vergleichende Sprachwissenschaft General

Mehr

7 Bedeutung und Logik

7 Bedeutung und Logik 7.1 Logische Eigenschaften von Sätzen 7.2 Logische Beziehungen zwischen Sätzen 7.3 Logische Beziehungen und Bedeutungsbeziehungen 7.4 Formale Semantik 7.1 Logische Eigenschaften von Sätzen Ein Satz φ ist

Mehr

4.3 NPn als Objekte oder als Prädikative [Chierchia , Lohnstein ]

4.3 NPn als Objekte oder als Prädikative [Chierchia , Lohnstein ] 4 Semantik von Nominalphrasen 4.3 NPn als Objekte oder als Prädikative [Chierchia 147-168, Lohnstein 185-196] 4.3.1 Quantifizierende NPn in Objektposition Steht eine quantifizierende NP nicht in Subjekt-,

Mehr

3 Prädikatenlogik der 1. Stufe (PL1) Teil I

3 Prädikatenlogik der 1. Stufe (PL1) Teil I 3 Prädikatenlogik der 1. Stufe (PL1) Teil I 3.3 Quantoren [ Gamut 70-74 McCawley 23-44 Chierchia 113-117 ]? Sind folgende Sätze jeweils synonym? (1) (a) Hans ist verheiratet oder nicht verheiratet. (b)

Mehr

7 Intensionale Semantik

7 Intensionale Semantik 7 Intensionale Semantik 7.1 Intension und Extension Bisher wurde eine extensionale Semantik verfolgt. D.h. als Denotationen von Sätzen wurden Wahrheitswerte, als Denotationen von Individuenausdrücken Individuen

Mehr

Studienverlaufsplan LAG Seite 1 von 2

Studienverlaufsplan LAG Seite 1 von 2 Studienverlaufsplan Lehrämter im Fach Englisch, LAG, FR 4.3 115 CP, davon 25 CP Fachdidaktik, 11,5 CP pro Semester Unter Berücksichtigung der Zulassungsvoraussetzungen, der Regelstudiensemester und des

Mehr

Studienverlaufsplan LS1+2 (Lehramt für die Sekundarstufe I und für die Sekundarstufe II) im Fach Englisch, Fachrichtung 4.

Studienverlaufsplan LS1+2 (Lehramt für die Sekundarstufe I und für die Sekundarstufe II) im Fach Englisch, Fachrichtung 4. Studienverlaufsplan LS1+2 (Lehramt für die Sekundarstufe I und für die Sekundarstufe II) im Fach Englisch, Fachrichtung 4.3 (115 CP) Sem. Module Modulelemente Ver.-Typ SWS CP CP/Sem. 1. Cultural Studies

Mehr

1 Inhalt der Vorlesung B-PS1

1 Inhalt der Vorlesung B-PS1 1 Inhalt der Vorlesung B-PS1 1.1 Tag 1 1.1.1 Vormittag Geschichte der Programmiersprachen Wie viele Programmiersprachen gibt es? https://en.wikipedia.org/wiki/list_of_programming_languages Esoterische

Mehr

Probeklausur Mathematische Logik

Probeklausur Mathematische Logik Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik RWTH Aachen Prof. Dr. E. Grädel SS 2015 Probeklausur Mathematische Logik Aufgabe 1 (a) (i) Seien R, zweistellige Relationssymbole. Ist

Mehr

Algorithmische Semantik und Modellgenerierung

Algorithmische Semantik und Modellgenerierung Algorithmische Semantik und Johannes Dellert Universität Tübingen 06.07.2012 1 / 30 Übersicht Algorithmische Semantik Die Standard-Toolchain der Computerlinguistik FOL als Formalismus zur Bedeutungsrepräsentation

Mehr

Institut für Anglistik, Amerikanistik und Romanistik. Englisch studieren in Aachen

Institut für Anglistik, Amerikanistik und Romanistik. Englisch studieren in Aachen Institut für Anglistik, Amerikanistik und Romanistik Englisch studieren in Aachen 1. Grundsätzliches zum Anglistik-Studium 2. Voraussetzungen und Bedingungen an der RWTH 3. Inhalte des Studiengangs 4.

Mehr

Ü 1 2,0 13,0 Auslandsaufenthalt Written Expression (Advanced) Ü 2 3,0 Cultural Studies II - LAG

Ü 1 2,0 13,0 Auslandsaufenthalt Written Expression (Advanced) Ü 2 3,0 Cultural Studies II - LAG Studienverlaufsplan LAG im Fach Englisch, Fachrichtung 4.3 (115 CP) Sem. Module Modulelemente Ver.-Typ SWS CP CP/Sem. 1. Cultural Studies I Introduction to Cultural Studies - North America E 2 3,0 9,0

Mehr

Semantik. Anke Himmelreich Variabilität der Bedeutung. Universität Leipzig, Institut für Linguistik 1 / 44

Semantik. Anke Himmelreich Variabilität der Bedeutung. Universität Leipzig, Institut für Linguistik 1 / 44 1 / 44 Semantik Variabilität der Bedeutung Anke Himmelreich anke.assmann@uni-leipzig.de Universität Leipzig, Institut für Linguistik 21.04.2016 2 / 44 Inhaltsverzeichnis 3 Strukturelle Ambiguität 1 Ambiguität

Mehr

1.1 Formale Semantik: Grundannahmen und Prinzipien. Was soll eine semantische Analyse der natürlichen Sprache leisten?

1.1 Formale Semantik: Grundannahmen und Prinzipien. Was soll eine semantische Analyse der natürlichen Sprache leisten? . Formale Semantik: Grundannahmen und Prinzipien Einführung [ Chierchia 7-52] Was soll eine semantische Analyse der natürlichen Sprache leisten? Erfassen der Bedeutung von sprachlichen Ausdrücken durch

Mehr

Semantik und Pragmatik

Semantik und Pragmatik Semantik und Pragmatik SS 2005 Universität Bielefeld Teil 6, 20. Mai 2005 Gerhard Jäger Semantik und Pragmatik p.1/16 Typentheorie: Motivation Viele syntaktische Konstruktionen der natürlichen Sprachen

Mehr

Logik und Beweisbarkeit

Logik und Beweisbarkeit Logik und Beweisbarkeit Einleitung Martin Mundhenk Univ. Jena, Institut für Informatik. Februar 0 Einleitung: U ber Sinn und Form Symbolisches Addieren Al-Chwarizmi (etwa 8 80) Problem: Was ist MMMDCCCXCIX

Mehr

Achim Feldmeier, 7. Juli 2008

Achim Feldmeier, 7. Juli 2008 SYNTAX UND SEMANTIK: DER ABSTRAKTE GÖDELSCHE SATZ Achim Feldmeier, 7. Juli 2008 Metamathematik und Gödelzahlen Gödel bemerkte, dass von einem theoretischen Standpunkt aus betrachtet die besondere Art der

Mehr

3.1 Die Grenzen von AL

3.1 Die Grenzen von AL 3 Prädikatenlogik der. Stufe (PL) Teil I 3 Prädikatenlogik der. Stufe (PL) Teil I 3. Die Grenzen von AL [ Partee 95-97 ] Schluss AL- Schema Prädikatenlogische Struktur Alle Logiker sind Pedanten. φ x [

Mehr

D-MATH Algebra I HS 2015 Prof. Richard Pink. Musterlösung 1. Ringe, Polynome, Potenzreihen. x(y z) = x(y + ( z)) = xy + x( z) = xy + ( xz) = xy xz.

D-MATH Algebra I HS 2015 Prof. Richard Pink. Musterlösung 1. Ringe, Polynome, Potenzreihen. x(y z) = x(y + ( z)) = xy + x( z) = xy + ( xz) = xy xz. D-MATH Algebra I HS 20 Prof. Richard Pink Musterlösung Ringe, Polynome, Potenzreihen. Zeige, dass in jedem Ring R die Distributivregel gilt. Lösung: Für alle x, y, z R gilt x, y, z R : x(y z = xy xz x(y

Mehr

12. LA- und PS-Hierarchien im Vergleich

12. LA- und PS-Hierarchien im Vergleich Kapitel 12: LA- und PS-Hierarchien im Vergleich 210 12 LA- und PS-Hierarchien im Vergleich 121 Sprachklassen der LA- und PS-Grammatik 1211 Komplexitätsklassen der LA- und PS-Hierarchie LA-Grammatik PS-Grammatik

Mehr

Einführung in die Pragmatik

Einführung in die Pragmatik Einführung in die Pragmatik Einführung Proseminar Institut für Deutsche Sprache und Literatur 1 Universität Köln 22.-25. Juli 2013 Generelle Information Dozentin: Berit Gehrke Kontakt: berit.gehrke@upf.edu

Mehr

Semantik. Anke Himmelreich Einführung. Universität Leipzig, Institut für Linguistik 1 / 33

Semantik. Anke Himmelreich Einführung. Universität Leipzig, Institut für Linguistik 1 / 33 1 / 33 Semantik Einführung Anke Himmelreich anke.assmann@uni-leipzig.de Universität Leipzig, Institut für Linguistik 13.04.2017 2 / 33 Inhaltsverzeichnis 1 Was ist Semantik? 2 Organisation 3 Bedeutung

Mehr

Typengetriebene Interpretation. Arnim von Stechow Einführung in die Semantik

Typengetriebene Interpretation. Arnim von Stechow Einführung in die Semantik Typengetriebene Interpretation Arnim von Stechow Einführung in die Semantik arnim.stechow@uni-tuebingen.de Programm Logische Typen Typengesteuerte Interpretation λ-schreibweise Prädikatsmodifikation (PM)

Mehr

Wolfgang Stegmüller. Philosophical Roots of the Institute of Statistics. Workshop on History of Statistics. By Almond Stöcker

Wolfgang Stegmüller. Philosophical Roots of the Institute of Statistics. Workshop on History of Statistics. By Almond Stöcker Wolfgang Stegmüller Philosophical Roots of the Institute of Statistics Workshop on History of Statistics By Almond Stöcker Overview Who is Wolfgang Stegmüller? Sketch of his work in philosophy of statistics

Mehr

Kontextfreie Grammatiken

Kontextfreie Grammatiken Kontextfreie Grammatiken Vorlesung Computerlinguistische Techniken Alexander Koller 16. Oktober 2015 Übersicht Worum geht es in dieser Vorlesung? Übungen und Abschlussprojekt Kontextfreie Grammatiken Computerlinguistische

Mehr

Answer Set Programming

Answer Set Programming Answer Set Programming mit Answer Set Prolog (A-Prolog) Wangler Thomas Logikprogrammierung Institut für Computerlinguistik Universität Heidelberg Inhaltsverzeichnis Inhaltsverzeichnis Inhaltsverzeichnis

Mehr

Ein und derselbe Satz kann in Bezug auf unterschiedliche Situationen s 1. und s 2 unterschiedliche Wahrheitswerte haben.

Ein und derselbe Satz kann in Bezug auf unterschiedliche Situationen s 1. und s 2 unterschiedliche Wahrheitswerte haben. 2 Aussagenlogik () 2.3 Semantik von [ Gamut 4-58, Partee 7-4 ] Ein und derselbe Satz kann in Bezug auf unterschiedliche Situationen s und s 2 unterschiedliche Wahrheitswerte haben. Beispiel: Es regnet.

Mehr

2.6 Natürliches Schließen in AL

2.6 Natürliches Schließen in AL Aussagenlogik (AL).6 Natürliches Schließen in AL [ Gamut 8-40, Partee 5-3, McCawley 65-79 ] Bisher wurde bei der Überprüfung der Gültigkeit von Schlüssen oder Schlussschemata insofern ein semantisches

Mehr

1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet.

1 Aussagenlogik. 1.1 Aussagen. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage) Aussage = Behauptung Beispiele: Es regnet. Grundlagen der Mathematik für Informatiker 1 1 Aussagenlogik 1.1 Aussagen Aussage = Behauptung Beispiele: Es regnet. Die Straße ist naß. 15 ist eine Primzahl. 3 < 8 x < 15 (hängt von x ab, keine Aussage)

Mehr

Beweisen mit Semantischen Tableaux

Beweisen mit Semantischen Tableaux Beweisen mit Semantischen Tableaux Semantische Tableaux geben ein Beweisverfahren, mit dem ähnlich wie mit Resolution eine Formel dadurch bewiesen wird, dass ihre Negation als widersprüchlich abgeleitet

Mehr

Nativismus. Erklärungsansatz für den kindlichen Spracherwerb. Franziska Pelka & Jonas Lang

Nativismus. Erklärungsansatz für den kindlichen Spracherwerb. Franziska Pelka & Jonas Lang Nativismus Erklärungsansatz für den kindlichen Spracherwerb Franziska Pelka & Jonas Lang Gliederung Nativismus - Was ist das? LAD & Kritik am LAD?! Rolle des Inputs Lernbarkeits- und Entwicklungsproblem

Mehr

Wissenschaftstheorie der Mathematik

Wissenschaftstheorie der Mathematik Wissenschaftstheorie der Mathematik Frederik A. Gierlinger Veranstaltungsbeschreibung: Die Philosophie der Mathematik ist als eine Auseinandersetzung mit den theoretischen Grundlagen der Mathematik zu

Mehr

Jeder Aussage p kann ein Wahrheitswert W(p) {0, 1} zugeordnet werden. Beispiele: W(Es regnet.) =? (je nach Lage der Dinge) W(Die Straße ist naß.) =?

Jeder Aussage p kann ein Wahrheitswert W(p) {0, 1} zugeordnet werden. Beispiele: W(Es regnet.) =? (je nach Lage der Dinge) W(Die Straße ist naß.) =? Grundlagen der Mathematik für Informatiker 1 Grundlagen der Mathematik für Informatiker 2 1 Aussagenlogik 1.1 Aussagen Aussage = Behauptung Beispiele: Es regnet. Die Straße ist naß. 15 ist eine Primzahl.

Mehr

Logik und modelltheoretische Semantik. Grundlagen zum Bedeutung-Text-Modell (BTM)

Logik und modelltheoretische Semantik. Grundlagen zum Bedeutung-Text-Modell (BTM) Logik und modelltheoretische Semantik Grundlagen zum Bedeutung-Text-Modell (BTM) Robert Zangenfeind Centrum für Informations- und Sprachverarbeitung, LMU München 13.6.2017 Zangenfeind: BTM 1 / 26 Moskauer

Mehr

Wie komme ich zu einer Note?

Wie komme ich zu einer Note? 3. Dezember 2014 Wie komme ich zu einer Note? http://commons.wikimedia.org/wiki/file:albert_anker _Schreibender_Knabe_c1908.jpg Gewürfelt? http://www.animatedimages.org/imganimated-dice-image-0021-120721.htm

Mehr

Sprachtechnologien und maschinelle Übersetzung heute und morgen eine Einführung Martin Kappus (ZHAW)

Sprachtechnologien und maschinelle Übersetzung heute und morgen eine Einführung Martin Kappus (ZHAW) Martin Kappus (ZHAW) Ablauf: Warum sprechen wir heute über maschinelle Übersetzung? Geschichte und Ansätze Eingabe-/Ausgabemodi und Anwendungen 2 WARUM SPRECHEN WIR HEUTE ÜBER MASCHINELLE ÜBERSETZUNG?

Mehr

Theorie der Informatik. Theorie der Informatik. 2.1 Äquivalenzen. 2.2 Vereinfachte Schreibweise. 2.3 Normalformen. 2.

Theorie der Informatik. Theorie der Informatik. 2.1 Äquivalenzen. 2.2 Vereinfachte Schreibweise. 2.3 Normalformen. 2. Theorie der Informatik 24. Februar 2014 2. Aussagenlogik II Theorie der Informatik 2. Aussagenlogik II 2.1 Äquivalenzen Malte Helmert Gabriele Röger 2.2 Vereinfachte Schreibweise Universität Basel 24.

Mehr

Intensifiers and Reflexive Pronouns in English and Mandarin Chinese

Intensifiers and Reflexive Pronouns in English and Mandarin Chinese Europäische Hochschulschriften / European University Studies / Publications Universitaires Européennes 469 Intensifiers and Reflexive Pronouns in English and Mandarin Chinese A Contrastive Study Bearbeitet

Mehr

Proseminar Syntax. Diana Schackow

Proseminar Syntax. Diana Schackow Proseminar Syntax Diana Schackow 1 Fahrplan Inhalt: Analyse syntaktischer Strukturen deskriptive Perspektive, typologische Vielfalt Vergleich verschiedener theoretischer Ansätze 2 Fahrplan Voraussetzungen:

Mehr

Erwin Rogler. Zum Leib-Seele Problem in der Philosophie des 20. Jahrhunderts

Erwin Rogler. Zum Leib-Seele Problem in der Philosophie des 20. Jahrhunderts 1 Erwin Rogler Zum Leib-Seele Problem in der Philosophie des 20. Jahrhunderts Montag, den 21.1. und 28.1.2008, 14 15 Uhr Raum 2501, Campus Westend Der Vortrag findet im Rahmen der Veranstaltung von Prof.

Mehr