Chinesische bloße NPn Artreferierend oder Eigenschaftsdenotierend? Julia Schütz

Größe: px
Ab Seite anzeigen:

Download "Chinesische bloße NPn Artreferierend oder Eigenschaftsdenotierend? Julia Schütz"

Transkript

1 Semantik-Kolloquium, Institut für Linguistik, Universität Leipzig Chinesische bloße NPn Artreferierend oder Eigenschaftsdenotierend? Julia Schütz 1. Einleitung Englische bloße NPn haben je nach Kontext unterschiedliche Lesarten: 1) a) Artreferierend im Kontext von Artenprädikaten: Dogs are extinct. (die Art Hund, species) Snow is common. (die Art Schnee, kind) b) "Universal" in generischen Sätzen: Dogs bark. (alle Hunde) Dogs are intelligent. (die meisten Hunde) Snow is white. (Schnee im allgemeinen) c) Existentiell (indefinit) in episodischen Sätzen: Dogs are barking. (einige Hunde) I saw dogs. (einige Hunde) Snow is falling. (etwas Schnee) Es gibt verschiedene Vorschläge, wie diese unterschiedlichen Lesarten abgeleitet werden können, u.a.: Chierchia (1998): Die zugrundeliegende Bedeutung von bloßen NPn ist die Referenz auf eine Art. Alle anderen Lesarten müssen von dieser zugrundeliegenden Bedeutung abgeleitet werden. Krifka (2003): Bloße NPn denotieren in ihrer zugrundeliegenden Bedeutung Eigenschaften. Die anderen Lesarten können durch verschiedene Typenverschiebungsoperationen abgeleitet werden. Frage: Sind diese beiden Interpretationsvorschläge auf das Chinesische anwendbar? Welcher kann die chinesischen Daten besser erklären? Annahme: Chinesische Gattungsnamen sind Massennomen, sie sollten also analog zu englischen Massennomen analysiert werden. 2. Die Lesarten von chinesischen bloßen NPn Im Kontext von Artenprädikaten: 2) Gou juezhong le. (die Art Hund) Hund ausgestorben ASP Hunde sind ausgestorben => Diese Lesart entspricht derjenigen der englischen NP in 1)a) In generischen Sätzen: 3) a) Gou jiao. Hund bellen. i. Hunde bellen. (alle Hunde) ii. {Der Hund/Die Hunde} bell{t/en}. (ein bestimmter Hund/bestimmte Hunde) b) Gou hen jiling. Hund sehr intelligent. i. Hunde sind intelligent. (die meisten Hunde) ii. {Der Hund/Die Hunde}{ist/sind} intelligent (ein bestimmter Hund) => Die "universale" Lesart haben chinesische und englische bloße NPn gemeinsam. Chinesische bloße NPn haben aber eine zusätzliche definite Lesart, die englische nicht haben. In episodischen Sätzen: 4) a) Gou zai jiao. Hund PROG bellen. Der Hund bellt gerade./die Hunde bellen gerade. (ein bestimmter Hund) b) Wo kanjian gou le. Ich sehen Hund ASP i. Ich habe Hunde gesehen. (einige Hunde) ii. Ich habe {den Hund/die Hunde} gesehen. (ein bestimmter Hund) => In präverbaler Position haben chinesische und englische bloße NPn gar keine gemeinsame Lesart. => In postverbaler Position haben sie die indefinite Lesart gemeinsam. Chinesische bloße NPn haben in postverbaler Position eine zusätzliche definite Lesart, die englischen bloßen NPn fehlt. => Diese Unterschiede könnten zu Problemen führen, wenn man einen Interpretationsvorschlag für englische bloße NPn auf das Chinesische übertragen will. 3. Chierchia (1998) Chierchia (1998): Bloße NPn denotieren in ihrer zugrundeliegenden Bedeutung Arten. 3.1 Vorbemerkungen Diskursdomäne Die Diskursdomäne enthält sowohl singularische als auch pluralische Individuen. Sie bildet einen vollständigen atomaren Summenhalbverband. 5) a b c... a b a c b c... a b c

2 a, b, c sind singularische Individuen, die anderen Individuen sind pluralisch (Summenindividuen). Die Diskursdomäne wird durch die Teil-von-Relation geordnet. Singularische Individuen sind Teil von jedem pluralischen Individuum, zu dem sie gehören. Pluralische Individuen können ebenfalls Teile von anderen pluralischen Individuen sein: 6) a) a a b b) a b a b c Die singularischen Individuen sind Atome. Atome haben nur sich selbst als Teil. Singularische Gattungsnamen denotieren eine Menge von Atomen: 7) [[ Hund]] = {Waldi, Bello, Cäsar...} Pluralische Gattungsnamen denotieren eine Menge von Summenindividuen: 8) [[ Hunde]] = {Waldi Bello, Waldi Cäsar, Bello Cäsar, Waldi Bello Cäsar...} Analyse des definiten Determinierers: 9) a) das X = ιx =das größte Element von X, wenn es eins gibt, ansonsten nicht definiert b) die Hunde = ιhunde = das größte Summenindividuum, dessen atomare Teile Hunde sind c) der Hund = ιhund Massennomen Massennomen unterscheiden sich von Individualnomen dadurch, dass sie abgeschlossen unter Summenbildung sind. Beispiel: Schmuck hat in seiner Denotation sowohl Atome (einzelne Schmuckstücke) als auch Summenindividuen, deren atomare Teile einzelne Schmuckstücke sind. 10) [[ Schmuck]] = Ring Kette Ohrring... Ring Kette Ring Ohrring Kette Ohrring... Ring Kette Ohrring... Annahme: Nomen wie Wasser sind genauso zu analysieren wie Nomen wie Schmuck. Einziger Unterschied: Bei Wasser ist vage, was die Atome sind. Da chinesische Gattungsnamen Massennomen sind, entspricht deren Denotation derjenigen in 10) Arten Annahme: Bloße NPn denotieren in ihrer zugrundeliegenden Bedeutung immer Arten. Arten sind intuitiv: Regelmäßigkeiten, die in der Natur auftreten. ähnlich wie "normale" Objekte, können aber zur selben Zeit an unterschiedlichen Orten sein. nicht unbedingt biologisch oder wohletabliert. Auch Artefakte (chair, car...) oder komplexe Dinge (intelligent students, spots of ink...) können Arten sein, wenn sie sich ausreichend regelmäßig verhalten. Was eine Art ist, wird durch das gemeinsame Wissen einer Sprechergemeinschaft festgelegt und muss vage bleiben. Für jede natürliche Art gibt es eine entsprechende Eigenschaft, für jede natürliche Eigenschaft eine entsprechende Art. o Beispiel: Der natürlichen Art "Hund" entspricht die Eigenschaft, ein Exemplar der Art "Hund" zu sein. Der natürlichen Eigenschaft, ein Hund zu sein, entspricht die Art "Hund". Weil es für jede Art eine entsprechende Eigenschaft gibt (und umgekehrt), muss es Funktionen geben, um vom einen zum anderen zu kommen. Das sind der down-operator und der up-operator : Wenn DOG die Eigenschaft, ein Hund zu sein, ist, dann ist DOG die entsprechende Art. Wenn d die Art "Hund" ist, dann ist d die Eigenschaft, ein Hund zu sein (DOG). 11) (down) P K <s, <e,t>> (up) e Die Art "Hund" d ist eine atomare Entität. Innerhalb einer bestimmten Welt kann eine Art mit der Totalität ihrer Instanzen identifiziert werden. In unserer Welt ist also die Art "Hund" diejenige Entität, die alle Hunde, die es in unserer Welt gibt, umfasst (dasjenige Summenindividuum, das aus allen Hunden besteht, DOG). Arten können also auch als Individuenkonzepte (Funktionen von Welten in Summenindividuen) dargestellt werden. Die Typenverschiebungsoperatoren und werden wie in 12) und 13) definiert: 12) P = λw[ιp(w)] wenn λw[ιp(w)] K, ansonsten nicht definiert Der down-operator bildet Welten auf das größte Element der Extension von P in w ab. D.h. durch die Anwendung von wird innerhalb einer bestimmten Welt die Art mit der Totalität ihrer Instanzen in dieser Welt gleichgesetzt. 4

3 Nicht definiert ist für Eigenschaften, für die keine entsprechende Art existiert (z.b. broken old shoe that Leo left behind) singularische Eigenschaften wie z.b. dog, weil singularische Eigenschaften in jeder Welt notwendigerweise durch ein einziges Individuum instantiiert werden. 13) Wenn k ein Art-Individuum ist, dann gilt: k = λwλx[x k(w)] Der up-operator bildet Arten auf die Eigenschaft, ein Exemplar der Art zu sein, ab. Exemplare können sowohl atomare Individuen als auch Summenindividuen sein. D.h. Cäsar ist genauso ein Exemplar der Art "Hund" wie Cäsar Waldi Die Bedeutung von Gattungsnamen und NPn Individualnomen sind in ihrer lexikalischen Bedeutung Prädikate vom Typ <e, t>. Wenn sie als bloße pluralische NPn auftreten, wird ihre Denotation automatisch durch den down- Operator verschoben. Massennomen sind schon in ihrer lexikalischen Bedeutung vom Typ e. => alle bloßen NPn sind in ihrer zugrundeliegenden Bedeutung Namen von Arten. 3.2 Chierchias Interpretationsansatz für bloße NPn Grundannahme: Die zugrundeliegende Bedeutung von bloßen NPn ist die Referenz auf eine Art Die artreferierende Interpretation von bloßen NPn 14) a) Gold is rare. => rare(gold) b) Dogs are extinct. => extinct( dogs) Chinesische Gattungsnamen sind Massennomen. Ihre Interpretation entspricht also derjenigen von englischen Massennomen. 15) Funktionale Applikation (Krifka 2003): [[ [α β] ]] a) = λw[{ [[ α]] (w), [[ β]] (w)}] b) = λw[ [[ α]] (w) ( [[ β]] (w)) ] oder λw[ [[ β]] (w) ( [[ α]] (w))] je nachdem, was wohlgeformt ist. c) wenn b) nicht geht: = λw[{ TS[[ α]] (w), [[ β]] (w)}] oder λw[{ [[ α]] (w), TS [ [ β]] (w)}] TS steht für eine passende Typenverschiebungsoperation 16) a) Gou juezhong le Hund ausgestorben ASP Hunde sind ausgestorben b) [[gou]] = λw[hund] [[juezhong]] = λwλx[ausgestorben(w)(x)] 5 c) [[gou juezhong le]] = i.) = λw[[[ juezhong]] (w)([[ gou]] (w))] (funktionale Applikation 15b) ii.) = λw[λw'λx[ausgestorben(w')(x)](w) (λw''[hund](w))] iii.) = λw[λx[ausgestorben(w)(x)] (hund)] λ-konversion von w' und w'' iv.) = λw[ausgestorben(w)(hund)] λ-konversion von x Die indefinite Interpretation von bloßen NPn in episodischen Kontexten Bloße NPn können auch als Argumente von Prädikaten auftreten, die keine Arten als Argumente nehmen: 17) Lions are ruining my garden. Annahme Chierchia: Auch hier denotiert die bloße NP lions eine Art. Der Satz in 17) macht eine Aussage über die Exemplare der Art "Löwe", weil be ruining my garden nur Objekte, aber keine Arten als Argumente haben kann. Die NP lions referiert aber auf eine Art. Deshalb entsteht ein Sortenkonflikt. Annahme: Wenn eine Argumentstelle für Objekte mit einem artreferierenden Ausdruck gefüllt wird, kommt es zu einer automatischen Sortenanpassung. Das geschieht durch lokale Existenzquantifikation über Exemplare der Art. Den Mechanismus, der den Existenzquantor einführt, nennt Chierchia Derived Kind Predication (DKP). 18) DKP-Regel: Wenn P auf Objekte appliziert und k eine Art denotiert, dann gilt P(k) = x[ k(x) P(x)] 17) wird also wie in 19) interpretiert: 19) a) x[ lions(x) ruining my garden (x)] Die Existenzquantifikation über die Instanzen einer Art in episodischen Kontexten ist eine automatische lokale Anpassung. Sie wird durch einen Sortenkonflikt ausgelöst. 20) a) Waimian gou zai jiao. außen Hund PROG bellen Draußen bellen gerade Hunde. b) [[ gou]] = λw[hund] [[ zai jiao]] = λwλy[bellen(w)(y)] DKP: λw[p(w)(k)] = λw x[ k(w)(x) P(w)(x)] k = λwλz[z k(w)], wenn k(w) definiert ist, andernfalls nicht definiert c) [[ gou zai jiao]] = i.) = λw[ [[ zai jiao]] (w)([[ gou]] (w))] Funktionale Applikation ii.) = λw[λw'λy[bellen(w')(y)](w) (λw''[hund](w))] iii.) = λw[λy[bellen(w)(y)] (hund)] λ-konversion von w' und w'' Sortenkonflikt! iv.) = λw x[ hund(w)(x) λy[bellen(w)(y)](x)] DKP v.) = λw x[ hund(w)(x) bellen(w)(x)] λ-konversion von y 6

4 vi.) vii.) viii.) = λw x[λw''λz[z hund(w'')](w)(x) bellen(w)(x)] = λw x[λz[z hund(w)](x) bellen(w)(x)] λ-konversion von w'' = λw x[x hund(w)] bellen(w)(x)] λ-konversion von z Chinesisch: Die "universale" Lesart wird wie in 22)b) abgeleitet. Im Chinesischen gibt es keine Determinierer, die verdeckte Typenverschiebung mit ι wird also nicht blockiert. Die definite Lesart von 23)b) kann also wie in 25) abgeleitet werden: Die "universale" Lesart von bloßen NPn in generischen Sätzen Die "universale" Lesart kommt durch einen generischen Operator Gn zustande. Gn ist Teil des verbalen Aspekts. 21) a) Dogs bark. b) Gn x, s [ dog(x) C(x, s)] [bark(x, s)] Jede Situation vom passenden Typ, die Hunde enthält, ist eine Situation, in der Hunde bellen. C = Variable, deren Wert durch den Kontext festgelegt wird. Sie beschränkt die Domäne von Gn auf passende Individuen und Situationen. 22) a) Gou jiao. Hund bellen Hunde bellen. b) Gn x, s [ HUND(X) C(x, s)][bellen(x, s)] => Alle Lesarten, die englische und chinesische bloße NPn gemeinsam haben, können mit Chierchia (1998) abgeleitet werden Mögliche Probleme bei der Übertragung auf Chinesisch a) Zusätzliche definite Lesart von chinesischen bloßen NPn in generischen Sätzen 23) a) Dogs bark b) Gou jiao i. Hunde bellen Hund bellen ii. *Die Hunde bellen. i. Hunde bellen. ii. Der Hund bellt/ Die Hunde bellen. Yang (2003): Die zusätzliche definite Lesart ist kein Problem für Chierchia (1998), sie wird vielmehr sogar vorhergesagt. Englisch: Die "universale" Lesart wird wie in 21)a) abgeleitet. Die definite Lesart ist hier nicht möglich, weil Chierchia annimmt, dass freie Typenverschiebungen durch overte Determinierer blockiert werden, wenn die Bedeutung des Determinierers der Bedeutung des Typenverschiebungsoperators entspricht. 24) Blockierungsprinzip: Für jede Typenverschiebungsoperation τ und eine Denotation X gilt: *τ(x) wenn es einen Determinierer D gibt, so dass gilt D(X) = τ(x) Die definite Lesart in 23)a) müsste durch Typenverschiebung mit ι abgeleitet werden. Im Englischen hat aber der definite Determinierer the die Bedeutung ι, deswegen wird diese Typenverschiebung blockiert. 7 25) a) [[ gou]] = λw[hund] [[ jiao]] = λwλx[bellen(w)(x)] b) [[ gou jiao]] i.) = λw[ [[ jiao]] (w) ([[ hund]] (w))] funktionale Applikation (15b) ii.) = λw[λw'λx[bellen(w')(x)](w) (λw''[hund](w))] iii.) = λw[λx[bellen(w)(x)] (hund)] λ-konversion von w' und w'' Sortenkonflikt! iv.) = λw[λx[bellen(w)(x)] ( hund)] Sortenverschiebung v.) = λw[λx[bellen(w)(x)] (ι hund)] Typenverschiebung vi.) = λw[bellen(w)(ι hund)] λ-konversion von x Problem: In iv.) entsteht durch die Sortenverschiebung eine nicht interpretierbare Struktur. b) Fehlende indefinite Lesart von chinesischen bloßen NPn in präverbaler Position 26) a) Dogs are barking. b) Gou zai jiao. i.) (einige) Hunde bellen. Hund PROG bellen ii.) *Die Hunde bellen. i.)?? (einige) Hunde bellen. ii.) Die Hunde bellen. In beiden Fällen kommt es zu einem Sortenkonflikt, weil die NP jeweils auf die Art "Hund" referiert, das verbale Prädikat aber keine Arten als Argumente nimmt. In 26)a) kommt es zu einer Sortenanpassung durch die DKP-Regel, wir erhalten also die indefinite Lesart. In 26)b) ist die definite Lesart zwar ableitbar (analog zu 25b), aber auch die DKP-Regel kann nicht blockiert werden. Hier ergibt sich also ein Problem für Chierchia (1998). 4. Alternative: Krifka (2003) Grundannahme: bloße NPn denotieren in ihrer zugrundeliegenden Bedeutung Eigenschaften. Von Chierchia (1998) übernimmt Krifka (2003) a) die Struktur der Diskursdomäne (vgl. 5) b) die Annahme, dass der Typ von NP-Denotationen verschoben werden kann c) die Annahme, dass freie Typenverschiebungen durch overte Determinierer blockiert werden 4.1 Die Denotation von Gattungsnamen Individualnomen haben ein Numerusargument, das durch ein Numeral gefüllt werden kann: 27) [[ dog]] = λwλnλx[dog(w)(n)(x)] Typ: <s, <n, <e, t>>> "in der Welt w besteht das Individuum x aus n Hunden" Massennomen haben kein solches Numerusargument: 28) [[ gold]] = λwλx[gold(w)(x)] Typ: <s, <e, t>> "in der Welt w besteht das Individuum x aus Gold" 8

5 Da chinesische Gattungsnamen Massennomen sind, entspricht ihre Denotation derjenigen in 28). Chinesische Gattungsnamen sind demnach in ihrer zugrundeliegenden Bedeutung Eigenschaften vom Typ <s, <e, t>> Ableitung der artreferierenden Lesart Die artreferierende Lesart wird wie bei Chierchia mit dem Operator abgeleitet: 29) P = λw[ιp(w)] Unterschiede zu Chierchia: ist für alle Welten definiert, in denen es ein größtes Element gibt. Der Operator ist nicht auf kumulative Prädikate beschränkt. dog ist also in Krifkas Theorie möglich. appliziert nur bei echter Artenprädikation. Deswegen ist der Operator, der Arten auf Instanzen abbildet, in Krifkas Theorie überflüssig. 30) a) Gou juezhong le. Hund ausgestorben ASP Hunde sind ausgestorben b) [[gou]] = λwλx[hund(w)(x)] (Massennomen = Eigenschaften) [[juezhong]] = λwλx[ausgestorben(w)(x)] P = λw[ιp(w)] c) [[gou juezhong le]] = i.) = λw[[[juezhong]] (w) ([[gou]] )] (funktionale Applikation) ii.) = λw[λw'λx[ausgestorben(w')(x)](w) (λw''λx[hund(w'')(x)])] iii.) =λw[λx[ausgestorben(w)(x)] (λw''λx[hund(w'')(x)])] λ-konversion von w' iv.) = λw[λx[ausgestorben(w)(x)] ( λw''λx[hund(w'')(x)])] Typenverschiebung v.) = λw[λx[ausgestorben(w)(x)] (λw'[ι[λw''λx[hund(w'')(x)](w')])] vi.) =λw[λx[ausgestorben(w)(x)](λw'[ιλx[hund(w')(x)]])] λ-konversion von w'' vii.) = λw[ausgestorben(w)(λw'[ιλx[hund(w')(x)])] λ-konversion von x => Die artreferierende Interpretation von chinesischen bloßen NPn kann mit Krifka (2003) problemlos abgeleitet werden Ableitung der indefiniten Lesart in episodischen Sätzen 31) a) Waimian gou zai jiao außen Hund PROG bellen Draußen bellen gerade Hunde b) [[ gou]] = λwλx[hund(w)(x)] [[ zai jiao]] = λwλx[bellen(w)(x)] = λpλq x[p(x) Q(x)] c) [[gou zai jiao]] = i.) = λw[{[[ zai jiao]] (w), [[ gou]] (w)}] (funktionale Applikation 15a) ii.) = λw[{λw'λy[bellen(w')(y)](w), λw''λz[h(w'')(z)](w)}] iii.) = λw[{λy[bellen(w)(y)], λz[hund(w)(z)]}] λ-konversion von w' und w'' 9 iv.) v.) vi.) vii.) viii.) ix.) x.) => die indefinite Lesart ist ableitbar = λw[{λy[bellen(w)(y)], [λz[hund(w)(z)]]}] Typenverschiebung = λw[{λy[bellen(w)(y)], λqλp x[q(x) P(x)](λz[Hund(w)(z)])}] = λw[{λy[bellen(w)(y)], λp x[λz[hund(w)(z)] (x) P(x)]}] λ-konv. v. Q = λw[{λy[bellen(w)(y)], λp x[hund(w)(x) P(x)]}] λ-konv. v. z = λw[λp x[hund(w)(x) P(x)] (λy[bellen(w)(y)])] fkt. Appl. (15b) = λw[ x[hund(w)(x) λy[bellen(w)(y)] (x)] λ-konversion von P = λw[ x[hund(w)(x) bellen(w)(x)]] λ-konversion von y Auf die Ableitung der universalen Lesart in generischen Sätzen geht Krifka (2003) nicht ein (vgl. Chierchia?) Mögliche Probleme a) Zusätzliche definite Lesart von chinesischen bloßen NPn in generischen Sätzen 32) a) Dogs bark b) Gou jiao i. Hunde bellen Hund bellen ii. *Die Hunde bellen. i. Hunde bellen. ii. Der Hund bellt/ Die Hunde bellen. Da Krifka (2003) das Blockierungsprinzip von Chierchia (1998) übernimmt, wird in 32)a) die definite Lesart durch den Determinierer the blockiert. Ableitung der definiten Lesart in 32)b): 33) a) [[ gou]] = λwλx[hund(w)(x)] [[ jiao]] = λwλx[bellen(w)(x)] b) [[ gou jiao]] i.) = λw[ [[ jiao]] (w) ( [[ gou]] (w)) ] funktionale Applikation 15b ii.) = λw[λw'λx[bellen(w')(x)](w) (λw''λx[hund(w'')(x)](w))] iii.) = λw[λx[bellen(w)(x)] (λx[hund(w)(x)])] λ-konversion von w' und w'' iv.) = λw[λx[bellen(w)(x)] (ιλx[hund(w)(x)])] Typenverschiebung mit ι v.) = λw[bellen(w)(ιλx[hund(w)(x)])] => In Krifkas Theorie ist die zusätzliche definite Lesart noch problemloser ableitbar als bei Chierchia (1998), weil sich hier das Problem mit der nicht interpretierbaren Struktur nicht ergibt. b) Fehlende indefinite Lesart von chinesischen bloßen NPn in präverbaler Position 34) a) Dogs are barking. b) Gou zai jiao. i.) Hunde bellen. Hund PROG bellen ii.) *Die Hunde bellen. i.)??hunde bellen. ii.) Die Hunde bellen. In beiden Fällen kommt es zu einem Typenkonflikt, weil sowohl die NP als auch das verbale Prädikat vom Typ <s, <e, t>> sind. In 34)a) wird dieser Typenkonflikt durch Typenverschiebung mit dem Existenzquantor gelöst. Eine Typenverschiebung mit dem ι- Operator wird durch den definiten Determinierer the blockiert. 34)b)ii.) ist problemlos durch 10

6 Typenverschiebung mit dem ι-operator ableitbar, weil es im Chinesischen keine Determinierer gibt. Problem: Auch eine Typenverschiebung mit dem Existenzquantor kann nicht blockiert werden. => Sowohl Chierchia (1998) als auch Krifka (2003) können die fehlende indefinite Lesart von chinesischen bloßen NPn in präverbaler Position von episodischen Kontexten nicht ableiten. 5. Erklärung für das Fehlen der indefiniten Lesart Annahme Yang (2003): Die indefinite Lesart ist in präverbaler Position in episodischen Kontexten möglich. Sie ist aber in vielen Kontexten nicht vorhanden. Erklärung: Das Fehlen der indefiniten Lesart beruht auf drei Faktoren: 1. Chinesisch erlaubt eine definite Lesart für bloße NPn 2. Chinesisch erlaubt pro-drop 3. Chinesisch ist eine Topikprominente Sprache Weil Chinesisch pro-drop erlaubt, ist Gou zai jiao (Der Hund bellt gerade) ist ambig zwischen zwei syntaktischen Strukturen: 35) a) [ TopP [ IP Gou zai jiao]] b) [ TopP Gou [ IP zai jiao]] Weil Chinesisch eine topikprominente Sprache ist, wird eine Struktur mit overtem Topik bevorzugt. Das ist die Struktur in 35)b). Eine präverbale NP wird also meist als Topik und damit definit interpretiert. Nur wenn die Topikposition durch anderes Material besetzt ist, muss die entsprechende NP als Subjekt interpretiert werden. Dann hat sie eine indefinite Lesart (vgl. 31a) Literatur: Carlson, G. (1980), Reference to Kinds in English, New York & London: Garland Publishing Chierchia, G. (1998), "Reference to Kinds across Languages", Natural Language Semantics 6, Cohen, A. & N. Erteschik-Shir (2002), "Topic, Focus, and the Interpretation of Bare Plurals", Natural Language Semantics 10, Diesing, M. (1992), Indefinites, Cambridge: MIT Press Gerstner-Link, C. & M. Krifka (1993), "Genericity" in J. Jacobs/A. von Stechow/W. Sternefeld/T. Vennemann (Hrsg.), Syntax. Ein internationales Handbuch zeitgenössischer Forschung, Berlin: de Gruyter, Krifka, M. (2003), Bare NPs: Kind-Referring, Indefinites, Both, or Neither? ~ h2816i3x/barepluralssalt13.pdf Krifka, M. (2003b), Kinds of Kind Reference ~ h2816i3x/genericitykoeln.pdf Yang, R. (2001), Common Nouns, Classifiers, and Quantification in Chinese, PhD dissertation, Rutgers University, New Brunswick 6. Fazit => Die Erklärung für das Fehlen der indefinite Lesart in präverbaler Position lässt sich sowohl in den Ansatz von Chierchia (1998) als auch in den von Krifka (2003) integrieren. => Für Chierchia (1998) ergibt sich ein Problem bei der Ableitung der zusätzlichen definiten Lesart von chinesischen bloßen NPn. Hier entsteht eine nicht-interpretierbare Struktur. Krifka (2003) hat dieses Problem nicht. => Krifka (2003) ist für die Interpretation der chinesischen Daten gegenüber Chierchia (1998) zu bevorzugen

Pluralsemantik. Was ist die Denotation von pluralischen NPn bzw. DPn wie in (1) und wie wird sie mit Prädikatsbedeutungen verrechnet, cf. (2ab)?

Pluralsemantik. Was ist die Denotation von pluralischen NPn bzw. DPn wie in (1) und wie wird sie mit Prädikatsbedeutungen verrechnet, cf. (2ab)? 1. Phänomene und Fragen Pluralsemantik Was ist die Denotation von pluralischen NPn bzw. DPn wie in (1) und wie wird sie mit Prädikatsbedeutungen verrechnet, cf. (2ab)? (1) Peter und Maria, die Hunde, [Katzen],

Mehr

4 Semantik von Nominalphrasen

4 Semantik von Nominalphrasen 4 Semantik von Nominalphrasen 4 Semantik von Nominalphrasen 4.1 Nominalphrasen und Determinatoren Eigennamen quantifizierende NPn und definite NPn die neben anderen natürlichsprachlichen Ausdrücken zur

Mehr

Einführung in die Semantik, 9. Sitzung Prädikate, definite NPs

Einführung in die Semantik, 9. Sitzung Prädikate, definite NPs Einführung in die Semantik, 9. Sitzung Prädikate, definite NPs, Modifikatoren Göttingen 12. Dezember 2006 Prädikate Adjektive Präpositionalphrasen Attributive Adjektive Attributive Präpositionalphrasen

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

I. II. I. II. III. IV. I. II. III. I. II. III. IV. I. II. III. IV. V. I. II. III. IV. V. VI. I. II. I. II. III. I. II. I. II. I. II. I. II. III. I. II. III. IV. V. VI. VII. VIII.

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

HPSG. Referat zu dem Thema Kongruenz im Englischen Von Anja Nerstheimer

HPSG. Referat zu dem Thema Kongruenz im Englischen Von Anja Nerstheimer HPSG Referat zu dem Thema Kongruenz im Englischen Von Anja Nerstheimer Gliederung Einleitung Kongruenz Allgemein Zwei Theorien der Kongruenz Probleme bei ableitungsbasierenden Kongruenztheorien Wie syntaktisch

Mehr

Kontraktionen von Präposition und bestimmtem Artikel. Maria Cieschinger NLK07,

Kontraktionen von Präposition und bestimmtem Artikel. Maria Cieschinger NLK07, Kontraktionen von Präposition und bestimmtem Artikel Maria Cieschinger (mcieschi@uos.de) NLK07, 08.03.2007 Übersicht Das Problem einige Einschränkungen einige Beispiele Meine Lösung der generalisierende

Mehr

(10) x 1[FRAU(x 1) RENNT(x 1)] Keine Frau rennt.

(10) x 1[FRAU(x 1) RENNT(x 1)] Keine Frau rennt. Institut für deutsche Sprache und Linguistik, Humboldt-Universität zu Berlin, GK Semantik SS 2009, F.Sode Basierend auf Seminarunterlagen von Prof. Manfred Krifka Quantoren in der Prädikatenlogik (auch

Mehr

Lange Abhängigkeiten in Brosziewski-Derivationen

Lange Abhängigkeiten in Brosziewski-Derivationen Lange Abhängigkeiten in Brosziewski-Derivationen (UiL-OTS, Universiteit Utrecht) C.Unger@uu.nl GGS, Leipzig, 22. 24. Mai 2009 > Ziel Ziel W-Bewegung in einer derivationellen Syntax mit strikt lokalen Operationen,

Mehr

EF Semantik: Musterlösung zu Aufgabenblatt 2

EF Semantik: Musterlösung zu Aufgabenblatt 2 EF Semantik: Musterlösung zu Aufgabenblatt 2 Magdalena Schwager magdalena@schwager.at Sommersemester 2010, Universität Wien Lösen Sie folgende Aufgaben (1)-(4) und geben Sie sie zusammengetackert bei András,

Mehr

Fabian Heck Perlmutter & Soames Beethovenstr. 15, Raum Sommmersemester 2007

Fabian Heck Perlmutter & Soames Beethovenstr. 15, Raum Sommmersemester 2007 Transformationsgrammatik der 60er/70er Fabian Heck Perlmutter & Soames 1979 Institut für Linguistik Dienstag, 11h15-12h45 Universität Leipzig Beethovenstr. 15, Raum 1.516 Sommmersemester 2007 14. Regelordnungen

Mehr

Mathematik für Informatiker I Mitschrift zur Vorlesung vom 14.12.2004

Mathematik für Informatiker I Mitschrift zur Vorlesung vom 14.12.2004 Mathematik für Informatiker I Mitschrift zur Vorlesung vom 14.12.2004 In der letzten Vorlesung haben wir gesehen, wie man die einzelnen Zahlenbereiche aufbaut. Uns fehlen nur noch die reellen Zahlen (siehe

Mehr

Formale Semantik. λ Typenlogik. Tutorium WiSe 2013/ November Sitzung: Folien freundlicherweise bereitgestellt von Andreas Bischoff

Formale Semantik. λ Typenlogik. Tutorium WiSe 2013/ November Sitzung: Folien freundlicherweise bereitgestellt von Andreas Bischoff Formale Semantik Tutorium WiSe 2013/14 20. November 2013 3. Sitzung: λ Typenlogik Folien freundlicherweise bereitgestellt von Andreas Bischoff Grenzen der Typenlogik Das letzte Mal: lesen(duden*) ( Eigenschaft

Mehr

Syntax - Das Berechnen syntaktischer Strukturen beim menschlichen Sprachverstehen (Fortsetzung)

Syntax - Das Berechnen syntaktischer Strukturen beim menschlichen Sprachverstehen (Fortsetzung) Syntax - Das Berechnen syntaktischer Strukturen beim menschlichen Sprachverstehen (Fortsetzung) Markus Bader 9. Februar 2004 Inhaltsverzeichnis 4 Übertragung ins e 1 4.3 Bewegung und Satztyp................................

Mehr

Theoretische Grundlagen des Software Engineering

Theoretische Grundlagen des Software Engineering Theoretische Grundlagen des Software Engineering 7: Einführung Aussagenlogik schulz@eprover.org Logisches Schließen 2 gold +1000, 1 per step, Beispiel: Jage den Wumpus Performance measure death 1000 10

Mehr

Vorkurs: Mathematik für Informatiker

Vorkurs: Mathematik für Informatiker Vorkurs: Mathematik für Informatiker Teil 3 Wintersemester 2016/17 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2016 Steven Köhler Wintersemester 2016/17 Inhaltsverzeichnis Teil 1 Teil

Mehr

Übungsaufgaben. Eine kontextfreie Grammatik lässt sich formal als Quadrupel darstellen: D : der, das N : Hund, Kaninchen V : sieht, beißt

Übungsaufgaben. Eine kontextfreie Grammatik lässt sich formal als Quadrupel darstellen: D : der, das N : Hund, Kaninchen V : sieht, beißt Universität Bielefeld 25. Juni 2006 Fakultät für Linguistik und Literaturwissenschaft Formale Methoden der Linguistik III Veranstalter: Dieter Metzing Sommersemester 2006 Übungsaufgaben 1. (a) Welche Bestandteile

Mehr

8 Verbale Bedeutung. 8.1 Semantische Repräsentationen. 8.1 Semantische Repräsentationen. 8.2 Verben und ihre Argumente. 8.

8 Verbale Bedeutung. 8.1 Semantische Repräsentationen. 8.1 Semantische Repräsentationen. 8.2 Verben und ihre Argumente. 8. 8.1 Semantische Repräsentationen 8.1 Semantische Repräsentationen 8.2 Verben und ihre Argumente 8.3 Aspektklassen 8.4 Semantische Dekomposition In der formalen Semantik wird die Bedeutung genauer: die

Mehr

Teil II: Phrasen und Phrasenstruktur

Teil II: Phrasen und Phrasenstruktur Teil II: Phrasen und Phrasenstruktur Übersicht: Grammatische Funktionen Kategorien Konstituenten & Strukturbäume Konstituententest Endozentrizität 1 Einfacher Satzbau Drei allgemeine Grundfragen der Syntax:

Mehr

Syntax II. Gereon Müller Institut für Linguistik 4. November Typeset by FoilTEX

Syntax II. Gereon Müller Institut für Linguistik  4. November Typeset by FoilTEX Syntax II Gereon Müller Institut für Linguistik heck@uni-leipzig.de gereon.mueller@uni-leipzig.de 4. November 2014 Typeset by FoilTEX [A] Kasus, 4. Teil [1] Inhärente vs. strukturelle Kasus: Fanselow (1999)

Mehr

Zählbare Massennomina Wie wird die Individuierung im Japanischen kodiert?

Zählbare Massennomina Wie wird die Individuierung im Japanischen kodiert? Zählbare Massennomina Wie wird die Individuierung im Japanischen kodiert? Mitsunobu Yoshida 1. Fragestellung Wie in anderen europäischen Sprachen lassen sich im Deutschen die Nomina nach morphosyntaktischen

Mehr

und noch allerlei mehr bei nicht-nativen Wörtern, z.b. cact-i, cherub-im,...

und noch allerlei mehr bei nicht-nativen Wörtern, z.b. cact-i, cherub-im,... Plank, WS 03/04, EinfLing, M&S 4a 1 Morphologische Analyse: ALLOMORPHIE Englisch: Plural ( mehr als 1 davon ; Singular = 1 davon ) The cat-s sit on the mat /s/ The dog-s /z/ The kangaroo-s /z/ The small

Mehr

Grundkurs Semantik. Sitzung 3: Mengenlehre. Andrew Murphy

Grundkurs Semantik. Sitzung 3: Mengenlehre. Andrew Murphy Grundkurs Semantik Sitzung 3: Mengenlehre Andrew Murphy andrew.murphy@uni-leizpig.de Grundkurs Semantik HU Berlin, Sommersemester 2015 http://www.uni-leipzig.de/ murphy/semantik15 15. Mai 2015 Basiert

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

8 Extremwerte reellwertiger Funktionen

8 Extremwerte reellwertiger Funktionen 8 Extremwerte reellwertiger Funktionen 34 8 Extremwerte reellwertiger Funktionen Wir wollen nun auch Extremwerte reellwertiger Funktionen untersuchen. Definition Es sei U R n eine offene Menge, f : U R

Mehr

LEXIKALISCHE SEMANTIK II: GRAMMATISCHE BEDEUTUNG

LEXIKALISCHE SEMANTIK II: GRAMMATISCHE BEDEUTUNG LEXIKALISCHE SEMANTIK II: GRAMMATISCHE BEDEUTUNG 1. DIE GRAMMATISCHE BEDEUTUNG VON WORTEN Neben der konzeptuellen Bedeutung haben sprachliche Ausdrücke auch eine grammatische Bedeutungskomponente, die

Mehr

Normalformen der Prädikatenlogik

Normalformen der Prädikatenlogik Normalformen der Prädikatenlogik prädikatenlogische Ausdrücke können in äquivalente Ausdrücke umgeformt werden Beispiel "X (mensch(x) Æ sterblich(x)) "X (ÿ mensch(x) sterblich(x)) "X (ÿ (mensch(x) Ÿ ÿ

Mehr

DGm 04 Semantik Universität Athen, SoSe 2010

DGm 04 Semantik Universität Athen, SoSe 2010 DGm 04 Semantik Universität Athen, SoSe 2010 Winfried Lechner wlechner@gs.uoa.gr Handout #1 WAS IST SEMANTIK? 1. BEDEUTUNG Die natürlichsprachliche Semantik untersucht A. die Bedeutung von sprachlichen

Mehr

Mai 2006. Hauptseminar: Nichtrelationale Datenbanken Historisch-Kulturwissenschaftliche Informationsverarbeitung Universität zu Köln

Mai 2006. Hauptseminar: Nichtrelationale Datenbanken Historisch-Kulturwissenschaftliche Informationsverarbeitung Universität zu Köln Hauptseminar: Nichtrelationale Historisch-Kulturwissenschaftliche Informationsverarbeitung Universität zu Köln Mai 2006 Was ist eine Datenbank? Erweiterung relationaler um eine Deduktionskomponente Diese

Mehr

Theorie der Informatik. Theorie der Informatik. 6.1 Einführung. 6.2 Alphabete und formale Sprachen. 6.3 Grammatiken. 6.4 Chomsky-Hierarchie

Theorie der Informatik. Theorie der Informatik. 6.1 Einführung. 6.2 Alphabete und formale Sprachen. 6.3 Grammatiken. 6.4 Chomsky-Hierarchie Theorie der Informatik 17. März 2014 6. Formale Sprachen und Grammatiken Theorie der Informatik 6. Formale Sprachen und Grammatiken Malte Helmert Gabriele Röger Universität Basel 17. März 2014 6.1 Einführung

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

Lexikalische Semantik. Was ist ein Wort? Was ist in einem Wort?

Lexikalische Semantik. Was ist ein Wort? Was ist in einem Wort? Lexikalische Semantik Was ist ein Wort? Was ist in einem Wort? Was ist ein Wort? Er machte nicht viele Wörter. Deine Wörter in Gottes Ohr! Ich stehe zu meinen Wörtern Ein Essay von 4000 Worten Im Deutschen

Mehr

Einstieg in die Informatik mit Java

Einstieg in die Informatik mit Java 1 / 41 Einstieg in die Informatik mit Java Vererbung Gerd Bohlender Institut für Angewandte und Numerische Mathematik Gliederung 2 / 41 1 Überblick: Vererbung 2 Grundidee Vererbung 3 Verdeckte Variablen

Mehr

Entscheidungsverfahren für Bernays/Schönfinkelbzw. Datenlogik-Formeln

Entscheidungsverfahren für Bernays/Schönfinkelbzw. Datenlogik-Formeln Vorlesung Letz WS 2002/2003 TU München: Logikbasierte Entscheidungsverfahren Entscheidungsverfahren für Bernays/Schönfinkelbzw. Datenlogik-Formeln INHALTE Die Bernays-Schönfinkel-Klasse bzw. Datenlogik-Formeln

Mehr

Linguistic Inference with Model Generation

Linguistic Inference with Model Generation Hauptseminar: Linguistic Inference and Textual Entailment Leitung: Prof. Dr. Manfred Pinkal Sommersemester 2007 Linguistic Inference with Model Generation 1 Aufbau 1. Einleitung 2. Systemaufbau 3. Linguistische

Mehr

Personalpronomen und das Verb to be

Personalpronomen und das Verb to be Personalpronomen und das Verb to be Das kann ich hier üben! Das kann ich jetzt! Was Personalpronomen sind und wie man sie verwendet Wie das Verb to be gebildet wird Die Lang- und Kurzformen von to be Verneinung

Mehr

Formale Methoden II. Gerhard Jäger. SS 2008 Universität Bielefeld. Teil 8, 11. Juni 2008. Formale Methoden II p.1/30

Formale Methoden II. Gerhard Jäger. SS 2008 Universität Bielefeld. Teil 8, 11. Juni 2008. Formale Methoden II p.1/30 Formale Methoden II SS 2008 Universität Bielefeld Teil 8, 11. Juni 2008 Gerhard Jäger Formale Methoden II p.1/30 Beispiele Anmerkung: wenn der Wahrheitswert einer Formel in einem Modell nicht von der Belegungsfunktion

Mehr

Technische Universität München Zentrum Mathematik. Übungsblatt 7

Technische Universität München Zentrum Mathematik. Übungsblatt 7 Technische Universität München Zentrum Mathematik Mathematik (Elektrotechnik) Prof. Dr. Anusch Taraz Dr. Michael Ritter Übungsblatt 7 Hausaufgaben Aufgabe 7. Für n N ist die Matrix-Exponentialfunktion

Mehr

Aussagenlogische Kalküle

Aussagenlogische Kalküle Aussagenlogische Kalküle Ziel: mit Hilfe von schematischen Regeln sollen alle aus einer Formel logisch folgerbaren Formeln durch (prinzipiell syntaktische) Umformungen abgeleitet werden können. Derartige

Mehr

Alphabet, formale Sprache

Alphabet, formale Sprache n Alphabet Alphabet, formale Sprache l nichtleere endliche Menge von Zeichen ( Buchstaben, Symbole) n Wort über einem Alphabet l endliche Folge von Buchstaben, die auch leer sein kann ( ε leere Wort) l

Mehr

ε δ Definition der Stetigkeit.

ε δ Definition der Stetigkeit. ε δ Definition der Stetigkeit. Beweis a) b): Annahme: ε > 0 : δ > 0 : x δ D : x δ x 0 < δ f (x δ f (x 0 ) ε Die Wahl δ = 1 n (n N) generiert eine Folge (x n) n N, x n D mit x n x 0 < 1 n f (x n ) f (x

Mehr

Verbalkongruenz im Lavukaleve

Verbalkongruenz im Lavukaleve Kongruenz in Nicht-Fokussätzen Universität Leipzig Institut für Linguistik Seminar: Distributed Morphology 1. Dezember 2009 Verbalkongruenz Im Lavukaleve appliziert Verbalkongruenz in Nicht-Fokussätzen

Mehr

5.4 Die Prädikatenlogik 1.Stufe als Semantikformalismus

5.4 Die Prädikatenlogik 1.Stufe als Semantikformalismus 5.4 Die Prädikatenlogik 1.Stufe als Semantikformalismus 5.4.1 Einführung Einführung Verwendet wird die Sprache der Prädikatenlogik erster Stufe mit Identität (ohne Funktionskonstanten) mit dem folgenden

Mehr

Theorie der Informatik

Theorie der Informatik Theorie der Informatik 6. Formale Sprachen und Grammatiken Malte Helmert Gabriele Röger Universität Basel 17. März 2014 Einführung Beispiel: Aussagenlogische Formeln Aus dem Logikteil: Definition (Syntax

Mehr

Semantik I. Wort- und Satzsemantik Semiotisches Dreieck Extension/Intension. Semantik 1 1

Semantik I. Wort- und Satzsemantik Semiotisches Dreieck Extension/Intension. Semantik 1 1 Semantik I Wort- und Satzsemantik Semiotisches Dreieck Extension/Intension Semantik 1 1 Bedeutungsbeschreibung Semantik beschäftigt sich mit dem Inhalt sprachlicher Zeichen, ihrer Bedeutung. Schwierigkeit:

Mehr

Ontologisches. Dinge und Personen (Individuen) Stefan Engelberg, HS Semantik und Sprecherurteile, FS 2010, Universität Mannheim [Folie 1]

Ontologisches. Dinge und Personen (Individuen) Stefan Engelberg, HS Semantik und Sprecherurteile, FS 2010, Universität Mannheim [Folie 1] x ist blau. y ist eine schöne Vase. z ist eine hässliche blaue Vase. Ontologisches Eigenschaften Prädikationen Entitäten (zählbar) SCHÖN VASE BLAU HÄSSLICH (x) (z) (y) Grundlegende Entitätensorten (theorieabhängig)

Mehr

Übungsaufgaben Serie 1 Musterlösung

Übungsaufgaben Serie 1 Musterlösung Modul 04-006-1003 Anke Himmelreich Syntax und Semantik 21.04.2016 Institut für Linguistik Universität Leipzig 1 Kompositionalität Übungsaufgaben Serie 1 Musterlösung 1. Definieren Sie das Kompositionalitätsprinzip

Mehr

Statistik II. II. Univariates lineares Regressionsmodell. Martin Huber 1 / 27

Statistik II. II. Univariates lineares Regressionsmodell. Martin Huber 1 / 27 Statistik II II. Univariates lineares Regressionsmodell Martin Huber 1 / 27 Übersicht Definitionen (Wooldridge 2.1) Schätzmethode - Kleinste Quadrate Schätzer / Ordinary Least Squares (Wooldridge 2.2)

Mehr

NLP Eigenschaften von Text

NLP Eigenschaften von Text NLP Eigenschaften von Text Dr. Andreas Hotho Dominik Benz Beate Krause Sommersemester 2008 Folie: 1 Übersicht Einführung Eigenschaften von Text Words I: Satzgrenzenerkennung, Tokenization, Kollokationen

Mehr

Fragen zum Nachdenken: Wie könnte man das Fehlen eines Attribut-Wertes interpretieren?

Fragen zum Nachdenken: Wie könnte man das Fehlen eines Attribut-Wertes interpretieren? Attribut-Werte-Paare Eine Eigenschaft kann beschrieben werden durch ein Paar [a,w]. Dabei bezeichnet a das Attribut und w den konkreten Wert aus dem Wertebereich W a des Attributs. Die Eigenschaften eines

Mehr

Musterableitung Relativsätze als Hilfestellung zur Lösung von Aufgaben in den Übungen und der Klausur

Musterableitung Relativsätze als Hilfestellung zur Lösung von Aufgaben in den Übungen und der Klausur eminar: Formale emantik Modul 04-006-1006: Grammatikorie eminarleiter: Anke Assmann Institut für Linguistik Universität Leipzig Musterableitung Relativsätze als Hilfestellung zur Lösung von Aufgaben in

Mehr

Hilbert-Kalkül (Einführung)

Hilbert-Kalkül (Einführung) Hilbert-Kalkül (Einführung) Es gibt viele verschiedene Kalküle, mit denen sich durch syntaktische Umformungen zeigen läßt, ob eine Formel gültig bzw. unerfüllbar ist. Zwei Gruppen von Kalkülen: Kalküle

Mehr

Rückblick auf die letzte Vorlesung. Bemerkung

Rückblick auf die letzte Vorlesung. Bemerkung Bemerkung 1) Die Bedingung grad f (x 0 ) = 0 T definiert gewöhnlich ein nichtlineares Gleichungssystem zur Berechnung von x = x 0, wobei n Gleichungen für n Unbekannte gegeben sind. 2) Die Punkte x 0 D

Mehr

Frege löst diese Probleme, indem er zusätzlich zum Bezug (Bedeutung) sprachlicher Ausdrücke den Sinn einführt.

Frege löst diese Probleme, indem er zusätzlich zum Bezug (Bedeutung) sprachlicher Ausdrücke den Sinn einführt. 1 Vorlesung: Denken und Sprechen. Einführung in die Sprachphilosophie handout zum Verteilen am 9.12.03 (bei der sechsten Vorlesung) Inhalt: die in der 5. Vorlesung verwendeten Transparente mit Ergänzungen

Mehr

Inferenzmethoden. Einheit 18. Logik höherer Stufe

Inferenzmethoden. Einheit 18. Logik höherer Stufe Inferenzmethoden Einheit 18 Logik höherer Stufe 1. Syntax und Semantik 2. Simulation mathematischer Konstrukte 3. Beweisführung in Logik höherer Stufe Logik höherer Stufe Logik erster Stufe hat nur einfache

Mehr

Grammatiken. Eine Grammatik G mit Alphabet Σ besteht aus: Variablen V. Startsymbol S V. Kurzschreibweise G = (V, Σ, P, S)

Grammatiken. Eine Grammatik G mit Alphabet Σ besteht aus: Variablen V. Startsymbol S V. Kurzschreibweise G = (V, Σ, P, S) Grammatiken Eine Grammatik G mit Alphabet Σ besteht aus: Variablen V Startsymbol S V Produktionen P ( (V Σ) \ Σ ) (V Σ) Kurzschreibweise G = (V, Σ, P, S) Schreibweise für Produktion (α, β) P: α β 67 /

Mehr

Einführung in die Sprachwissenschaft des Deutschen. Syntax IV. PD Dr. Alexandra Zepter

Einführung in die Sprachwissenschaft des Deutschen. Syntax IV. PD Dr. Alexandra Zepter Einführung in die Sprachwissenschaft des Deutschen Syntax IV PD Dr. Alexandra Zepter Überblick Syntax Fokus auf linearer Ordnung: Sprachtypen, Topologisches Feldermodell Fokus auf hierarchischer Ordnung:

Mehr

Gliederung. Programmierparadigmen. Einführung in Prolog: Einführung in Prolog: Programmieren in Prolog. Einführung Syntax Regeln Listen Relationen

Gliederung. Programmierparadigmen. Einführung in Prolog: Einführung in Prolog: Programmieren in Prolog. Einführung Syntax Regeln Listen Relationen Gliederung Programmierparadigmen Programmieren in Prolog D. Rösner Institut für Wissens- und Sprachverarbeitung Fakultät für Informatik Otto-von-Guericke Universität Magdeburg 1 Sommer 2011, 26. April

Mehr

Grammatikanalyse. Prof. Dr. John Peterson. Sprechstunde: Montags, 14:30-15:30h Raum LS10/Raum 425. Sommersemester 2015 Donnerstags, 14:15h-15:45h

Grammatikanalyse. Prof. Dr. John Peterson. Sprechstunde: Montags, 14:30-15:30h Raum LS10/Raum 425. Sommersemester 2015 Donnerstags, 14:15h-15:45h Grammatikanalyse Sommersemester 2015 Donnerstags, 14:15h-15:45h Prof. Dr. John Peterson Sprechstunde: Montags, 14:30-15:30h Raum LS10/Raum 425 1 Termin Thema 16.4. Einführung Zerlegung des Satzes in seine

Mehr

Beschreibungslogiken. Daniel Schradick 1schradi@informatik.uni-hamburg.de

Beschreibungslogiken. Daniel Schradick 1schradi@informatik.uni-hamburg.de Beschreibungslogiken Daniel Schradick 1schradi@informatik.uni-hamburg.de Was sind Beschreibungslogiken? Definition: Formalisms that represent knowledge of some problem domain (the world ) by first defining

Mehr

Logic in a Nutshell. Christian Liguda

Logic in a Nutshell. Christian Liguda Logic in a Nutshell Christian Liguda Quelle: Kastens, Uwe und Büning, Hans K., Modellierung: Grundlagen und formale Methoden, 2009, Carl Hanser Verlag Übersicht Logik - Allgemein Aussagenlogik Modellierung

Mehr

Formale Semantik. Diskursrepräsentationstheorie. Tutorium WiSe 2013/ Dezember So nett von dir, Andreas!

Formale Semantik. Diskursrepräsentationstheorie. Tutorium WiSe 2013/ Dezember So nett von dir, Andreas! Formale Semantik Tutorium WiSe 2013/14 18. Dezember 2013 Diskursrepräsentationstheorie So nett von dir, Andreas! Diskursrepräsentationstheorie Ziel: die Erfassung des Verhaltens von Indefiniten Nominalphrasen

Mehr

Grammatik des Standarddeutschen. Michael Schecker

Grammatik des Standarddeutschen. Michael Schecker Grammatik des Standarddeutschen Michael Schecker Einführung und Grundlagen Nominalgruppen Nomina Artikel Attribute Pronomina Kasus (Subjekte und Objekte, Diathese) Verbalgruppen Valenz und Argumente Tempora

Mehr

Brückenkurs Mathematik 2015

Brückenkurs Mathematik 2015 Technische Universität Dresden Fachrichtung Mathematik, Institut für Analysis Dr.rer.nat.habil. Norbert Koksch Brückenkurs Mathematik 2015 1. Vorlesung Logik, Mengen und Funktionen Ich behaupte aber, dass

Mehr

Algorithmen & Programmierung. Ausdrücke & Operatoren (1)

Algorithmen & Programmierung. Ausdrücke & Operatoren (1) Algorithmen & Programmierung Ausdrücke & Operatoren (1) Ausdrücke Was ist ein Ausdruck? Literal Variable Funktionsaufruf Ausdruck, der durch Anwendung eines einstelligen (unären) Operators auf einen Ausdruck

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

DGA 33 Themen der Deutschen Syntax Universität Athen, WiSe Winfried Lechner Skriptum, Teil 3 K-KOMMANDO

DGA 33 Themen der Deutschen Syntax Universität Athen, WiSe Winfried Lechner Skriptum, Teil 3 K-KOMMANDO DGA Themen der Deutschen Syntax Universität Athen, WiSe 015-16 Winfried Lechner Skriptum, Teil K-KOMMANDO Dieser Abschnitt führt die syntaktische Beziehung des K-Kommandos ein. Es werden zudem Tests vorgestellt,

Mehr

Rhetorik und Argumentationstheorie.

Rhetorik und Argumentationstheorie. Rhetorik und Argumentationstheorie 2 [frederik.gierlinger@univie.ac.at] Teil 2 Was ist ein Beweis? 2 Wichtige Grundlagen Tautologie nennt man eine zusammengesetzte Aussage, die wahr ist, unabhängig vom

Mehr

Kapitel 2: Formale Sprachen Gliederung. 0. Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie

Kapitel 2: Formale Sprachen Gliederung. 0. Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie Gliederung 0. Grundbegriffe 1. Endliche Automaten 2. Formale Sprachen 3. Berechnungstheorie 4. Komplexitätstheorie 2.1. 2.2. Reguläre Sprachen 2.3. Kontextfreie Sprachen 2/1, Folie 1 2015 Prof. Steffen

Mehr

Syntax von Programmiersprachen

Syntax von Programmiersprachen "Grammatik, die sogar Könige zu kontrollieren weiß... aus Molière, Les Femmes Savantes (1672), 2. Akt Syntax von Programmiersprachen Prof. Dr. Christian Böhm in Zusammenarbeit mit Gefei Zhang WS 07/08

Mehr

Wissenschaftliches Arbeiten Quantitative Methoden

Wissenschaftliches Arbeiten Quantitative Methoden Wissenschaftliches Arbeiten Quantitative Methoden Prof. Dr. Stefan Nickel WS 2008 / 2009 Gliederung I. Motivation II. III. IV. Lesen mathematischer Symbole Wissenschaftliche Argumentation Matrizenrechnung

Mehr

Einführung in die Informatik I (autip)

Einführung in die Informatik I (autip) Einführung in die Informatik I (autip) Dr. Stefan Lewandowski Fakultät 5: Informatik, Elektrotechnik und Informationstechnik Abteilung Formale Konzepte Universität Stuttgart 24. Oktober 2007 Was Sie bis

Mehr

Programmierkurs Python II

Programmierkurs Python II Programmierkurs Python II Michaela Regneri & tefan Thater FR 4.7 Allgemeine Linguistik (Computerlinguistik) Universität des aarlandes ommersemester 2010 (Charniak, 1997) the dog biscuits N V N V the dog

Mehr

Interaktive Wörterbücher. Kurt Eberle Lingenio GmbH Hebelstr. 14 D-69115 Heidelberg k.eberle@lingenio.de 11.Juli 2007

Interaktive Wörterbücher. Kurt Eberle Lingenio GmbH Hebelstr. 14 D-69115 Heidelberg k.eberle@lingenio.de 11.Juli 2007 Interaktive Wörterbücher Lingenio GmbH Hebelstr. 14 D-69115 Heidelberg k.eberle@lingenio.de 11.Juli 2007 Es geht...... nicht um das Habilitationsthema nicht um (computer-)linguistische Theorie um ein praktisches

Mehr

IMPERFEKTIV: ZUSTÄNDE, PROZESSE ODER ZEITINTERVALLE?

IMPERFEKTIV: ZUSTÄNDE, PROZESSE ODER ZEITINTERVALLE? IMPERFEKTIV: ZUSTÄNDE, PROZESSE ODER ZEITINTERVALLE? Johannes Dölling (Leipzig) Überblick 1 Das Problem 2 Linguistische Folklore 3 Strategien der formalen Analyse 4 Work in progress Johannes Dölling, doelling@rz.uni-leipzig.de,

Mehr

Prädikate sind Funktionen. Prädikatenlogik. Quantoren. n stellige Prädikate. n stellige Prädikate:

Prädikate sind Funktionen. Prädikatenlogik. Quantoren. n stellige Prädikate. n stellige Prädikate: Aussagenlogik: Aussagen Ausssageformen Prädikatenlogik beschäftigt sich mit Aussagen sind Sätze die entweder wahr oder falsch sind sind Sätze mit Variablen, die beim Ersetzen dieser Variablen durch Elemente

Mehr

Gewöhnliche inhomogene Differentialgleichungen der 1. und 2. Ordnung. Christopher Schael

Gewöhnliche inhomogene Differentialgleichungen der 1. und 2. Ordnung. Christopher Schael Gewöhnliche inhomogene Differentialgleichungen der 1. und. Ordnung 1.1.) Anleitung DGL der 1. Ordnung 1.) DGL der 1. Ordnung In diesem Abschnitt werde ich eine Anleitung zur Lösung von inhomogenen und

Mehr

Boolesche Algebra. Hans Joachim Oberle. Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2

Boolesche Algebra. Hans Joachim Oberle. Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2 Universität Hamburg Department Mathematik Boolesche Algebra Hans Joachim Oberle Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2 http://www.math.uni-hamburg.de/home/oberle/vorlesungen.html

Mehr

Nellie Einhorn. ist kein wohlgeformter Satz des Deutschen

Nellie Einhorn. ist kein wohlgeformter Satz des Deutschen In: Meggle, Georg, & Steinacker, Peter (Hg.), ANALYOMEN II. Proceedings of the 2nd Conference Perspectives in Analytical Philosophy, Leipzig, September 7th - 10th, 1994. Berlin, New York: de Gruyter. [Perspectives

Mehr

4. Differentialgleichungen

4. Differentialgleichungen 4. Differentialgleichungen Prof. Dr. Erich Walter Farkas 10.11.2011 Seite 1 Einleitung Viele in der Natur stattfindende Vorgänge können durch sogenannte Differentialgleichungen beschrieben werden. Unter

Mehr

sich die Schuhe zubinden können den Weg zum Bahnhof kennen die Quadratwurzel aus 169 kennen

sich die Schuhe zubinden können den Weg zum Bahnhof kennen die Quadratwurzel aus 169 kennen Programm Christian Nimtz www.nimtz.net // lehre@nimtz.net Grundfragen der Erkenntnistheorie Kapitel 2: Die klassische Analyse des Begriffs des Wissens 1 Varianten des Wissens 2 Was ist das Ziel der Analyse

Mehr

Grundlagen der Theoretischen Informatik - Sommersemester 2012. Übungsblatt 1: Lösungsvorschläge

Grundlagen der Theoretischen Informatik - Sommersemester 2012. Übungsblatt 1: Lösungsvorschläge Lehrstuhl für Softwaretechnik und Programmiersprachen Professor Dr. Michael Leuschel Grundlagen der Theoretischen Informatik - Sommersemester 2012 Übungsblatt 1: Lösungsvorschläge Disclaimer: Bei Folgendem

Mehr

Lexikologie und Lexikographie. Konzeptuelle Strukturen im Lexikon

Lexikologie und Lexikographie. Konzeptuelle Strukturen im Lexikon Lexikologie und Lexikographie Konzeptuelle Strukturen im Lexikon Konzeptgraphen: Grundelemente INST AGNT PTNT 'DEF' 'OTTER' der Otter 'ÖFFNEN öffnet 'INDEF' 'MUSCHEL' eine Muschel 'INDEF' 'STEIN' mit einem

Mehr

Zusammenfassung der Lebesgue-Integrationstheorie

Zusammenfassung der Lebesgue-Integrationstheorie Zusammenfassung der Lebesgue-Integrationstheorie Das Lebesguesche Integral verallgemeinert das Riemannsche Integral. Seine Vorteile liegen für unsere Anwendungen vor allem bei den wichtigen Konvergenzsätzen,

Mehr

Philosophische Semantik. SS 2009 Manuel Bremer. Vorlesung 1. Einleitung und Überblick

Philosophische Semantik. SS 2009 Manuel Bremer. Vorlesung 1. Einleitung und Überblick Philosophische Semantik SS 2009 Manuel Bremer Vorlesung 1 Einleitung und Überblick Was alles ist philosophische Semantik? 1. Verständnismöglichkeiten von philosophische Semantik 2. Die Frage nach der Bedeutung

Mehr

Integration von SBVR in Workflows der Windows Workflow Foundation und Veröffentlichung unter Microsoft SharePoint

Integration von SBVR in Workflows der Windows Workflow Foundation und Veröffentlichung unter Microsoft SharePoint Technik Christoph Zoller Integration von SBVR in Workflows der Windows Workflow Foundation und Veröffentlichung unter Microsoft SharePoint Diplomarbeit FH JOANNEUM - University of Applied Sciences Integration

Mehr

Regularitätsresultate für parabolische Gleichungen mit nichtlokalem Operator

Regularitätsresultate für parabolische Gleichungen mit nichtlokalem Operator Universität Bielefeld Regularitätsresultate für parabolische Gleichungen mit nichtlokalem Operator Matthieu Felsinger Universität Bielefeld Mathematisches Kolloquium, TU Clausthal 05. Februar 2014 1 Einleitung

Mehr

Terme stehen für Namen von Objekten des Diskursbereichs (Subjekte, Objekte des natürlichsprachlichen Satzes)

Terme stehen für Namen von Objekten des Diskursbereichs (Subjekte, Objekte des natürlichsprachlichen Satzes) Prädikatenlogik Man kann den natürlichsprachlichen Satz Die Sonne scheint. in der Prädikatenlogik beispielsweise als logisches Atom scheint(sonne) darstellen. In der Sprache der Prädikatenlogik werden

Mehr

1. Stellen Sie die Konstituentenstruktur der folgenden Sätze als Baumdiagramme dar:

1. Stellen Sie die Konstituentenstruktur der folgenden Sätze als Baumdiagramme dar: 1. Stellen Sie die Konstituentenstruktur der folgenden Sätze als Baumdiagramme dar: 1. Die Überschwemmungen hinterließen ernorme Schäden. 2. Der amtierende Bundeskanzler verzichtet auf eine erneute Kandidatur.

Mehr

Einführung in die Linguistik. Lösung: Semantik/Sprachkontakt

Einführung in die Linguistik. Lösung: Semantik/Sprachkontakt Einführung in die Linguistik WS05 Lösung: Semantik/Sprachkontakt Aufgabe 1 Welt M: Prädikate Dieb (M) = {Hans, Inga} reist (M) = {Allison, Klaus, Peter} Individuen Allison (M)={Allison} Hans (M)={Hans},

Mehr

Neurobiologische Aspekte des Spracherwerbs

Neurobiologische Aspekte des Spracherwerbs Sprachen Anonym Neurobiologische Aspekte des Spracherwerbs Studienarbeit Inhaltsverzeichnis 1 Einleitung... 2 2 Spezifizierung von Hirnregionen für Sprachverarbeitung... 3 2.1 Sprachlateralisierung...

Mehr

3.3 Eigenwerte und Eigenräume, Diagonalisierung

3.3 Eigenwerte und Eigenräume, Diagonalisierung 3.3 Eigenwerte und Eigenräume, Diagonalisierung Definition und Lemma 3.3.1. Sei V ein K-Vektorraum, φ End K (V ), λ K. Wir defnieren den zu λ gehörigen Eigenraum von φ als Dies ist ein Unterraum von V.

Mehr

., :14; "3<=14,

., :14; 3<=14, «..».. 2010 2 :,.. ;,.. -, : / :, 2010.. ISBN - - XIX XX,, -,, -,. - -.,.,.,...,..,,, -,. ISBN.., 2010 3 1 I. : 8 1.1.. : 9 1.2. :.. 12 1.3. :.19 1.4. :. 27 1.5. :. 33 1.6. : - 41 II. :. 48 2.1. : 48 2.2.

Mehr

ÜBUNG ZUM GRUNDKURS LOGIK WS 2015/16 GÜNTHER EDER

ÜBUNG ZUM GRUNDKURS LOGIK WS 2015/16 GÜNTHER EDER ÜBUNG ZUM GRUNDKURS LOGIK WS 2015/16 GÜNTHER EDER SPARSAMKEIT BEI DER WAHL DER JUNKTOREN Wie sich mit Wahrheitstaeln zeigen lässt, benötigen wir nicht gar nicht alle Junktoren die oiziell in unserer Sprache

Mehr

Modul Einführung in die VWL. Klausur zur Veranstaltung Grundlagen der Finanzwissenschaft

Modul Einführung in die VWL. Klausur zur Veranstaltung Grundlagen der Finanzwissenschaft Modul Einführung in die VWL Klausur zur Veranstaltung Grundlagen der Finanzwissenschaft Wirtschafts- und Sozialwissenschaftliche Fakultät der Universität Rostock Lehrstuhl für Finanzwissenschaft Prof.

Mehr

Valenz und Satzaufbau. In: Handbuch Sprachliches Wissen, Bd. 4: Satz, Äußerung, Schema, hrsg. von Christa Dürscheid und Jan Georg Schneider

Valenz und Satzaufbau. In: Handbuch Sprachliches Wissen, Bd. 4: Satz, Äußerung, Schema, hrsg. von Christa Dürscheid und Jan Georg Schneider Erscheint 2015: Valenz und Satzaufbau. In: Handbuch Sprachliches Wissen, Bd. 4: Satz, Äußerung, Schema, hrsg. von Christa Dürscheid und Jan Georg Schneider Wechselseitigkeit von Valenz und Konstruktion:

Mehr

Grundbegriffe. Grammatiken

Grundbegriffe. Grammatiken Grammatiken Grammatiken in der Informatik sind ähnlich wie Grammatiken für natürliche Sprachen ein Mittel, um alle syntaktisch korrekten Sätze (hier: Wörter) einer Sprache zu erzeugen. Beispiel: Eine vereinfachte

Mehr

Grundlagen der LFG. (1) I danced a dance, I sneezed a sneeze, I laughed a laugh I stumbled a stumble, *I drowned a drown, *I floated a float

Grundlagen der LFG. (1) I danced a dance, I sneezed a sneeze, I laughed a laugh I stumbled a stumble, *I drowned a drown, *I floated a float Lösung 2 Grundlagen der LFG Einführung in die LFG Sommersemester 2010 Universität Konstanz Miriam Butt 1 Linking 1.1 Intransitive Verben Englisch Agentive Verbs: sneeze, swim, laugh, sleep Non-agentive

Mehr

Wissensrepräsentation und -verarbeitung in Logiken. bereinigt Pränex Skolem ( -Eliminierung) Klausel (Menge von Klauseln, Notation ohne Quantoren)

Wissensrepräsentation und -verarbeitung in Logiken. bereinigt Pränex Skolem ( -Eliminierung) Klausel (Menge von Klauseln, Notation ohne Quantoren) Was bisher geschah Wissensrepräsentation und -verarbeitung in Logiken klassische Aussagenlogik klassische Prädikatenlogik: Wiederholung Syntax, Semantik Normalformen: bereinigt Pränex Skolem ( -Eliminierung)

Mehr