Quantoren, Skopus, Negation
|
|
- Lothar Koenig
- vor 7 Jahren
- Abrufe
Transkript
1 Quantoren, Skopus, Negation (30a) Einige Säugetiere leben im Wasser. (30b)? Säugetiere leben im Wasser. (30b')? Alle Säugetiere leben im Wasser. 1. Existenzaussagen x es gibt ein oder mehrere x, auf die zutrifft, dass... x (Gans(x) & grinst(x)) (Mindestens) eine Gans grinst. x (Ente(x) & männlich(x)) kann entsprechen: Einige Enten sind männlich. 1 Satz des Deutschen: Eine Gans grinst.? logische Form: x (Gans(x) & grinst(x)) Eine Existenzaussage kann gedeutet werden als eine Aussage darüber, dass der Schnitt zweier Mengen nicht leer ist: _(Mindestens) ein P ist Q : P (M') Q (M') { } 2
2 2. Allaussagen x (Pfadfinder(x) Ente(x)) Alle Pfadfinder sind Enten. x (Pfadfinder(x) Ente(x)) x (Gans(x) & grinst(x)) Quantor Restriktion Kernbereich (Nukleus) Junktoren 3 In natürlichsprachlichen Äußerungen werden Quantor und Restriktion praktisch in eine Konstituente zusammengezogen: (31) Alle Ingenieure grinsen. (31a) (31b) x [Ingenieur(x) grinst(x)] x [grinst(x) Ingenieur(x)] (31c) x [Ingenieur(x) grinst(x)] [Alle Ingenieure] grinsen. Eine Allaussage kann als eine Teilmengenbeziehung dargestellt werden: Alle P sind Q : P (M) Q (M) 4
3 3. Kombination von Quantoren (32) Alle Männer lieben eine Frau. (32a) x (Mann(x) y [Frau(y) & liebt(x,y)]) jeder liebt seine eigene (distributiv) (32b) y (Frau(y) & (x) [Mann(x) liebt(x,y)]) jeder liebt dieselbe 5 4. Negation (33a) (33b) Nicht alle Entenhausener sind Enten. x (Entenhausener(x) Ente(x)) = Negation des Satzes: (34) Alle Entenhausener sind Enten. Mit anderen Worten: Es gibt mindestens ein Individuum i, für das gilt Entenhausener(i) & Ente(i). 6
4 logische Äquivalenz: x (Entenhausener(x) Ente(x)) x (Entenhausener(x) & Ente(x)) Verallgemeinert: x (P(x) Q(x)) x (P(x) & Q(x)) 7 weitere Äquivalenzen: x [P(x) Q(x)] x [P(x) & Q(x)] Nicht alle Enten residieren in Entenhausen = 1 gdw. Es gibt mindestens eine Gans, die nicht in Entenhausen residiert. x [P(x) & Q(x)] x [P(x) Q(x)] Es gibt keine Gans, die in Entenhausen residiert = 1 gdw. Es gilt für alle Gänse, dass sie nicht in Entenhausen residieren. 8
5 Satznegation und Konstituenten-Negation 1. S [VP (NP...)] Der Dozent kam nicht zur Vorlesung. Der Dozent hatte sein Skript nicht dabei. 2. S [VP ( NP...)] Der Dozent kam nicht zur Vorlesung, sondern in ein Seminar. Der Dozent hatte nicht sein Skript vergessen, sondern seine Brille. 3. S [VP (NP...)] Es gibt keinen Dozenten. / Es kam kein Dozent. 9 (35a) (p q) _Es ist nicht der Fall, dass ich Kaffee oder Tee will. (35b) Ich will keinen Kaffee oder Tee. (35b') Ich will weder Kaffee noch Tee. (35Eng) I do not want (any) coffee or tea. (35Ru) Ja ne cho_u kofe ili _aja. (35Ru') Ja ne cho_u ni kofe ni _aja. 10
6 Das Quantoren-Viereck Affirmationen Negationen universal partikulär 11 A, E: konträr (inkompatibel) (36a) A: Alle Menschen haben Blutgruppe AB. (36b) E: Kein Mensch hat Blutgruppe AB. Beide Aussagen können falsch sein und eine dritte (andere) wahr. A, O / I, E: kontradiktorisch (37a) A: Alle Menschen haben Blutgruppe AB. (37b) O: Nicht alle Menschen haben Blutgruppe AB. (38a) I: Einige Menschen haben Blutgruppe AB. (38b) E: Kein Mensch hat Blutgruppe AB. [A O] [O A] 12
7 A, I / E, O: subaltern (39a) (39b) (40a) (40b) A: Alle Menschen haben Blutgruppe AB. I: Einige Menschen haben Blutgruppe AB. A I, E O I, O: subkonträr (41a) (41b) E: Kein Mensch hat Blutgruppe AB. O: Nicht alle Menschen haben Blutgruppe AB. I: Einige Menschen haben Blutgruppe AB. O: Nicht alle Menschen haben Blutgruppe AB. Beide Aussagen können gleichzeitig wahr sein, und sie können nicht gleichzeitig falsch sein. 13 A: alle alles jeder immer überall... S: einige etwas jemand manchmal irgendwo... E: keiner nichts niemand niemals nirgendwo... O: nicht alle nicht alles nicht jeder nicht immer nicht überall... 14
8 Logische Relationen zwischen Sätzen (Aussagen) Kontrarietät (Inkompatibilität): (42) A: Das Wasser ist eiskalt. B: Das Wasser ist kochend heiß. (43) A: Heute ist die Generalprobe. B: Heute ist die Erstaufführung. (44) A: Gestern war Montag. B: Gestern war Dienstag. 15 Kontradiktorität: (46) A: Das Wasser ist eiskalt. B: Das Wasser ist nicht eiskalt. (47) A: Heute findet eine Generalprobe statt. Β: Heute findet keine Generalprobe statt. Entailment ( ): (48) A: Waldi ist ein Dackel. B: Waldi ist ein Hund. Entailments sind transitiv: Wenn A B und B C, dann A C. 16
9 Äquivalenz ( ): (49) A: Er ist der Bruder meiner Großmutter. B: Er ist mein Großonkel. (50) A: Heute ist Donnerstag. B: Morgen wird Freitag sein. (51) A: Das Glas ist halbleer. B: Das Glas ist halbvoll. (52) A: Jeder wird schlauer. B: Keiner bleibt so dumm, wie er war. (53) A: Alle sind begeistert von Semantik. B: Keiner ist gelangweilt von Semantik. beidseitiges Entailment: A B B A 17 die vier Relationen im Überblick für analytische Aussagen A B A B A B konträr zu kontradiktorisch zu 1 1 unmöglich unmöglich 1 0 unmöglich unmöglich 0 1 unmöglich 0 0 unmöglich 18
10 für synthetische (kontingente) Aussagen A B A B A B konträr zu kontradiktorisch zu 1 1 möglich möglich unmöglich unmöglich 1 0 unmöglich unmöglich möglich möglich 0 1 unmöglich möglich möglich 0 0 möglich möglich unmöglich 19 Logische Beziehungen zwischen Lexemen 1. logische Äquivalenz: Synonymie setzt voraus, dass die Bedingungen für die Wahrheitswerte der betreffenden Ausdrücke identisch sind!! Das erlaubt nicht den Umkehrschluß, als würden die Wahrheitsbedingungen hinreichend sein, um Synonymie zu begründen.!! 20
11 2. logische Subordination: Entailment: A B Hyponym zu Hyperonym (in einer Taxonomie) (54) Baum Pflanze (55) See Gewässer (56) Universität Institution logische Inkompatibilität (Kontrarietät): ko-subordinative Beziehung typisch für Taxonomien: Ko-Hyponyme, Heteronyme (57) Säugetiere Katzen Hunde Schweine Rinder Nagetiere... Dackel Terrier Schäferhunde Pudel Windhunde... Collie Bordercollie Dt. Sch. Kaukas. Sch
12 4. logische Komplementarität: strikte entweder oder -Relation vgl. kontradiktorische Beziehung (58a) Bruder Schwester (58b) Geschwister Bruder Schwester nur in einem Merkmal unterschieden: [± weiblich] Lexikalische Mehrfach-Oppositionen 5.1. aufgrund von Polysemie: neu (59) alt 1,2 jung 5.2. Austausch (Tilgung etc.) von Merkmalen vs. Denotation aus verschiedenen Blickwinkeln (60a) (60b) kaufen vs. stehlen, (aus)leihen, mieten kaufen vs. verkaufen 24
13 5.3. Vergleiche auf unterschiedlichen hierarchischen Ebenen (61a) (61b) Onkel vs. Tante Onkel : Tante Neffe : Nichte Antonyme: konträr (vgl. Heteronyme) Extremwerte auf einer Skala (bzw. Werte, die den Polen der betreffenden Skala nahe kommen); im Ggs. zu Heteronymen z.b. 1) graduierbare Adjektive schön : häßlich, alt : jung, schnell : langsam, heiß : kalt, aufgeschlossen : verschlossen etc. 2) graduierbare Eigenschaft, bezeichnet durch Substantive Liebe : Haß, Zuversicht : Verzweiflung, Krieg : Frieden, Zufriedenheit : Unzufriedenheit, Zuneigung : Abneigung 26
14 5. direktionale Oppositionen: Oppositionen, die sich um eine gemeinsame räumliche Achse gruppieren: (i) vor : hinter, über : unter, rechts : links (von) u.ä. (ii) fallen : steigen, sinken : hochtreiben, ab- : auf-steigen, auf- : unter-gehen, vorwärts- : rückwärts-schreiten mit deiktischem Bezugspunkt: (weg-gehen) : her-kommen, (gehen) : kommen in erweiterter Bedeutung auch für Bewegungsarten und Zustandsveränderungen: (sich) ein- : aus-loggen, an- : aus-ziehen, ein- : aus-stellen, auf- : zu-machen, be- : ent-lasten, aber auch beginnen : enden, erscheinen : verschwinden, einschlafen : aufwachen 27 auch in zeitlicher Übertragung: gestern : heute, seit : bis, letzter : nächster, vorausgehen : (nach)folgen u.a. auf grammatische Oppositionen, z.b. Tempora (Präteritum : Futur) 28
15 6. Konversen: dieselbe denotative Situation, jedoch unter Vertauschung zweier Rollen (Argumente) erfordern eine mindestens zweistellige Relation (d.i. mehr als eine Argumentstelle) 1) Verben (s.u.) 2) Komparativformen von Adjektiven: dicker : dünner, älter : jünger etc. 3) Präpositionen (räumliche Dimensionen): über : unter, vor : hinter u.ä. 4) Konjunktionen (temporale Dimensionen): bevor : nachdem u.ä. 29 5) weitere konjunktionale Ausdrücke: ungeachtet dessen, dass P, gilt Q : Q, jedoch / aber / hingegen / allerdings / trotzdem auch P 6) einige (nicht alle!) relationale Substantive: (Ehe)Mann : (Ehe)Frau (vs. Bruder : Schwester), Eltern : Kind(er), Arbeitnehmer : Arbeitgeber 30
16 Unter den Verben sind Konversen systematisch bei der Bezeichnung einer Übergabe/Übernahme-Relation: geben : nehmen, kaufen : verkaufen, verleihen : (leihen), übergeben : übernehmen / erhalten / in Empfang nehmen, abgeben : über- / annehmen, senden : empfangen, vererben : erben vgl. aber auch aus anderen Bereichen: vorausgehen : (nach)folgen, besitzen : gehören (zu), mögen : gefallen, widerspiegeln : sich widerspiegeln, bedecken : sich bedecken (mit), überziehen : sich überziehen (mit) (i) Den Himmel überziehen dunkle Wolken. : (ii) Der Himmel überzieht sich mit dunklen Wolken. 31 In Einzelfällen weisen Stämme einer Wortart, die mit bestimmten derivativen Affixen versehen sind, auch konverse Beziehungen zueinander auf; vgl. etwa einige engl. Adjektive auf {ous} : {able}: z.b. desirous : desirable einige engl. Substantive auf {er} : {ee}: z.b. employer : employee, examiner : examinee 32
17 6.1. Autokonversen ausleihen, leihen, borgen vgl. dagegen engl. to lend : to borrow Autokonversen sind polysem! vgl. dagegen symmetrische Prädikate (lexikalische Reziproka): ähneln, gleichen (A gleicht B = B gleicht A), sich unterscheiden (von), verwandt / verschwägert sein (mit), verfeindet / befreundet sein (mit) u.a. 33 Konversen und Passiv X, Y, Z : Y, Z, (X) Passiv Z, Y, (X) Rezipientenpassiv (a) Hans erzählt seiner Tochter ein Märchen. (b) Das Märchen wird der Tochter (von Hans) erzählt. Rezipientenpassiv: (62a) Hans erzählt seiner Tochter ein Märchen. (62b) Die Tochter bekommt (von Hans) ein Märchen erzählt. 34
Logische Beziehungen zwischen Lexemen
Logische Beziehungen zwischen Lexemen 1. logische Äquivalenz: Synonymie setzt voraus, dass die Bedingungen für die Wahrheitswerte der betreffenden Ausdrücke identisch sind!! Das erlaubt nicht den Umkehrschluß,
MehrQuantoren, Skopus, Negation
Quantoren, Skopus, Negation (31a) Einige Säugetiere leben im Wasser. (31b)? Säugetiere leben im Wasser. (31b')? Alle Säugetiere leben im Wasser. 1. Existenzaussagen x es gibt ein oder mehrere x, auf die
Mehrx : es gibt ein oder mehrere x, auf die zutrifft, dass...
Björn Wiemer WS 2005/2005 Vorlesung: Einführung in die Linguistik Teil III: Semantik Pragmatik 3. Referenzsemantik: Quantoren, Skopus, Negation etc. Quantoren sind (meta- oder objektsprachliche) Ausdrücke,
MehrKatzen Hunde Schweine Rinder Nagetiere...
Björn Wiemer WS 2003/2004 Vorlesung: Einführung in die Linguistik Teil III: Semantik Pragmatik Fortsetzung I 4. Logische Beziehungen zwischen Lexemen 1. logische Äquivalenz: Sie ist eine notwendige Bedingung
MehrInhalt 1. Grundlegende Begriffe und Abgrenzungen
Björn Wiemer WS 2003/2004 Vorlesung: Einführung in die Linguistik Teil III: Semantik Pragmatik Inhalt 1. Grundlegende Begriffe und Abgrenzungen 2. Proposition, Satz, Äußerung 3. Referenzsemantik: Quantoren,
Mehr7 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 Johannes Dölling: Semantik und
MehrSemantik. Anke Himmelreich Logische Beziehungen und Bedeutungsbeziehungen
1 / 67 Semantik Logische Beziehungen und Bedeutungsbeziehungen Anke Himmelreich anke.assmann@uni-leipzig.de Universität Leipzig, Institut für Linguistik 28.04.2016 2 / 67 Inhaltsverzeichnis 2 Bedeutungsbeziehungen
Mehr7 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
MehrEinführung in die Semantik, 10. Sitzung Generalisierte Quanto
Einführung in die Semantik, 10. Sitzung Generalisierte Quantoren, NPIs und Negation Göttingen 3. Januar 2007 Generalisierte Quantoren Prädikatenlogik Typentheorie Bedeutung von GQs Monotonizität GQs und
MehrSemantik. Sebastian Löbner. Eine Einführung. Walter de Gruyter Berlin New York 2003
Sebastian Löbner 2008 AGI-Information Management Consultants May be used for personal purporses only or by libraries associated to dandelon.com network. Semantik Eine Einführung wde G Walter de Gruyter
MehrPS Lexikalische Semantik und Korpuslinguistik. Ein paar Grundlagen. Andrea Kowalski
Ein paar Grundlagen Andrea Kowalski Semantische Strukturen Strukturalistische Sichtweise: Sprache als Netzwerk systematischer Relationen zwischen sprachlichen Einheiten semantische Einheiten = Lexeme gehe,
MehrTeil III: Semantik Pragmatik
Björn Wiemer Einführung in die Linguistik Teil III: Semantik Pragmatik 1 1. Grundlegende Begriffe und Abgrenzungen sprachliche Ausdrücke (Morpheme, Wörter, Wortgruppen, Sätze) konventionelle Bedeutungen
MehrSemantik & Pragmatik. 17. April 2007
Semantik & Pragmatik 17. April 2007 Synonymie zwei Ausdrücke heißen synonym, wenn sie die gleiche Bedeutung haben im engeren Sinne (also unter Einbeziehung von Konnotationen) gibt es keine echte Synonymie
MehrTeil III: Semantik Pragmatik
Björn Wiemer Einführung in die Linguistik Teil III: Semantik Pragmatik 1 1. Grundlegende Begriffe und Abgrenzungen sprachliche Ausdrücke (Wörter, Wortgruppen, Sätze etc.) konventionelle Bedeutungen Inferenzen
MehrLinguistische 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
MehrSemantik. Ending Khoerudin Deutschabteilung FPBS UPI
Semantik Ending Khoerudin Deutschabteilung FPBS UPI Was ist Semantik? Semantik (griech.: semantikos = zum Zeichen gehörig) ist Bezeichnung für wissenschaftliche Teildisziplin (u.a. der Philosophie, Semiotik
Mehr(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
Mehrauf stehen aus aus sehen backen bald beginnen bei beide bekannt bekommen benutzen besonders besser best bestellen besuchen
der Abend auf stehen aber der August acht aus ähnlich das Ausland allein aus sehen alle das Auto als das Bad alt backen an der Bahnhof andere bald ändern der Baum der Anfang beginnen an fangen bei an kommen
MehrSatzsemantik. Semantik und Pragmatik. Satzsemantik. Satzsemantik
Satzsemantik 8. Mai 2007 Gerhard Jäger Erklärungsanspruch der Satzsemantik Wahrheitsbedingungen von Aussagensätzen Bedeutungsbeziehungen zwischen (Aussage-)Sätzen Kompositionale Berechnung von Satzbedeutungen
MehrSemantik und Pragmatik
1/17 Semantik und Pragmatik 15. Mai 2006 Gerhard Jäger Satzsemantik 2/17 Erklärungsanspruch der Satzsemantik Wahrheitsbedingungen von Aussagensätzen Bedeutungsbeziehungen zwischen (Aussage-)Sätzen Kompositionale
MehrAufgaben I. 1. Welche Möglichkeit der Unterscheidung zwischen Semantik und Pragmatik gibt es?
Björn Wiemer WS 2003/2004 Vorlesung: Einführung in die Linguistik Teil III: Semantik Pragmatik Aufgaben I 1. Welche Möglichkeit der Unterscheidung zwischen Semantik und Pragmatik gibt es? Semantik Pragmatik
MehrJunktoren der Aussagenlogik zur Verknüpfung zweier Aussagen A, B
Junktoren der Aussagenlogik zur Verknüpfung zweier Aussagen A, B Name Zeichen Bedeutung Wahrheitstafel Bemerkung mit zugehöriger Dualzahl ---------------------------------------------------------------------------------------------------------------
Mehr2.2.4 Logische Äquivalenz
2.2.4 Logische Äquivalenz (I) Penélope raucht nicht und sie trinkt nicht. (II) Es ist nicht der Fall, dass Penélope raucht oder trinkt. Offenbar behaupten beide Aussagen denselben Sachverhalt, sie unterscheiden
MehrGrundlegendes zur Semantik 4. Januar 2005
Linguistik Grundkurs Plenum Ruhr Universität Bochum Germanistisches Institut ********************************** Wolf Peter Klein Grundlegendes zur Semantik 4. Januar 2005 Wintersemester 04/05 Semantik
MehrAussagenlogik: Lexikon, Syntax und Semantik
Einführung in die Logik - 2 Aussagenlogik: Lexikon, Syntax und Semantik Wiederholung: Was ist Logik? Logik : Die Lehre» vom formal korrekten Schließen» von den Wahrheitsbedingungen von Sätzen Unter welchen
Mehr2.2.2 Semantik von TL. Menge der Domänen. Zu jedem Typ gibt es eine Menge von möglichen Denotationen der Ausdrücke dieses Typs.
2.2.2 Semantik von TL Menge der Domänen Zu jedem Typ gibt es eine Menge von möglichen Denotationen der Ausdrücke dieses Typs. Diese Menge wird Domäne des betreffenden Typs genannt. Johannes Dölling: Formale
Mehr5. Merkmalsanalyse und semantische Dekomposition Wortfelder und Mereologien
5. Merkmalsanalyse und semantische Dekomposition intensionale Beschreibung spezielle Metasprachen : Synonymie und Homonymie ausgeschlossen 1:1-Zuordnung von Form und Bedeutung unter Verwendung von Ausdrücken
MehrWahrheitswertesemantik Einführung Aussagenlogik
Wahrheitsbedingungen Wahrheitswertesemantik Einführung Aussagenlogik Sie haben sich in der ersten Sitzung mit verschiedenen Aspekten von Bedeutung auseinandergesetzt. Ein Aspekt, der dabei eine Rolle spielte,
MehrBoole 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
MehrVerwendung 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.
MehrDGY 17 Semantik Universität Athen, SoSe 2009
DGY 17 Semantik Universität Athen, SoSe 2009 Winfried Lechner wlechner@otenet.gr Handout #5 BEDEUTUNGSRELATIONEN 1. MENGENTHEORETISCHE GRUNDBEGRIFFE (1) Unter einer Menge verstehen wir jede Zusammenfassung
Mehr4 Typen der Verknüpfung von Adjektiv und Substantiv:
Ludwig-Maximilians Universität München Centrum für Informations- und Sprachwissenschaft Hauptseminar: Relationale Grammatiken Betreuer: Herr Leiß Referentin: Wenjuan Li Datum: 14. 05. 03 Abbildungen 4
Mehr3 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)
MehrSyntax der Prädikatenlogik: Komplexe Formeln
Syntax der Prädikatenlogik: Komplexe Formeln Σ = P, F eine prädikatenlogische Signatur Var eine Menge von Variablen Definition: Menge For Σ der Formeln über Σ Logik für Informatiker, SS 06 p.10 Syntax
MehrVorsemesterkurs Informatik
Vorsemesterkurs Informatik Vorsemesterkurs Informatik Mario Holldack WS2015/16 30. September 2015 Vorsemesterkurs Informatik 1 Einleitung 2 Aussagenlogik 3 Mengen Vorsemesterkurs Informatik > Einleitung
MehrSemantik und Pragmatik
Semantik und Pragmatik SS 2005 Universität Bielefeld Teil 3, 29. April 2005 Gerhard Jäger Semantik und Pragmatik p.1/26 Übersetzung Deutsch Aussagenlogik Motivation für Übersetzung: Deutsch als Objektsprache:
MehrSchriftliche Hausaufgaben SoSe 2009 Musterlösung
Schriftliche Hausaufgaben SoSe 2009 Musterlösung 1. Lexikalische Semantik I: Merkmalsanalyse & Prototypen (6 Punkte) i. Bestimmen Sie gemeinsame und unterscheidende Merkmale der beiden durch die Substantive
MehrGrundkurs Semantik. Sitzung 6: Prädikation, Modifikation, Referenz. Andrew Murphy
Grundkurs Semantik Sitzung 6: Prädikation, Modifikation, Referenz Andrew Murphy andrew.murphy@uni-leizpig.de Grundkurs Semantik HU Berlin, Sommersemester 2015 http://www.uni-leipzig.de/ murphy/semantik15
MehrAussagen (und damit indirekt auch Aussagesätze) können wahr oder falsch sein. Wahr und falsch sind Wahrheitswerte von Aussagen.
2 Aussagenlogik (AL) 2 Aussagenlogik (AL) 2. Wahrheitsfunktionale Konnektoren [ Gamut 28-35, Partee -6 ] Nur Aussagesätze, d.h. Deklarativ-, nicht aber Frage- oder Aufforderungssätze bringen das Zutreffen
Mehr9 Exkurs: Syllogistik
eminar: Einführung in die Logik 1/8 9 Exkurs: yllogistik 1 Allgemeines Aristoteles (384-322 v. Chr.) Das erste ystem der Logik wurde von Aristoteles im 4. Jh. v. Chr. entwickelt (im Organon, v.a. in der
Mehr3.5 Semantische Repräsentation mit PL1
3.5 Semantische Repräsentation mit PL1 PL1 kann man als Formalismus zur Darstellung der Bedeutung natürlichsprachlicher Sätze verwenden. Solche Darstellungen werden als semantische Repräsentationen der
Mehr5. Merkmalsanalyse und semantische Dekomposition
5. Merkmalsanalyse und semantische Dekomposition intensionale Beschreibung spezielle Metasprachen : Synonymie und Homonymie ausgeschlossen 1:1-Zuordnung von Form und Bedeutung unter Verwendung von Ausdrücken
MehrLogik. Ernest Peter Propädeutikum Mathematik Informatik/Wirtschaftsinformatik, Block Aussage
Logik Die Logik ist in der Programmierung sehr wichtig. Sie hilft z.b. bei der systematischen Behandlung von Verzweigungen und Schleifen. z.b. if (X Y und Y>0) then Oder beim Beweis, dass ein Algorithmus
MehrWichtig!! Strukturelle Relationen. Grundlegende Begriffe. Dominanz. Dominanz
Wichtig!! Strukturelle Relationen Die mathematischen Eigenschaften von Phrasenstrukturbäumen Dieser bschnitt ist der am stärksten technische der Vorlesung Versuchen Sie, die ITUITIVE Idee hinter den Definitionen
MehrVorsemesterkurs Informatik
Vorsemesterkurs Informatik Sommersemester 2018 Ronja Düffel 14. März 2018 Theoretische Informatik Wieso, weshalb, warum??!? 1 Modellieren und Formalisieren von Problemen und Lösungen 2 Verifikation (Beweis
MehrGrammatikanalyse. 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
MehrGrundkurs 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
Mehr4.1 Motivation. Theorie der Informatik. Theorie der Informatik. 4.1 Motivation. 4.2 Syntax der Prädikatenlogik. 4.3 Semantik der Prädikatenlogik
Theorie der Informatik 3. März 2014 4. Prädikatenlogik I Theorie der Informatik 4. Prädikatenlogik I 4.1 Motivation Malte Helmert Gabriele Röger 4.2 Syntax der Prädikatenlogik Universität Basel 3. März
Mehr11. Prädikatenlogik (2): Quantoren
LÖBNER Logikkurs 53 11.1 Syntax der Quantoren Motivation für den Allquantor: 11. Prädikatenlogik (2): Quantoren Verallgemeinerung jede Person ist genau dann männlich, wenn sie nicht weiblich ist (M(a)ōŏW(a))
MehrAufbau & Beweis eines mathematischen Lehrsatzes
Aufbau & Beweis eines mathematischen Lehrsatzes Ronald Balestra CH - 8046 Zürich www.ronaldbalestra.ch Name: Vorname: 14. Dezember 2016 Inhaltsverzeichnis 1 Logische Grundbegriffe 1 2 Der Aufbau einer
MehrMathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16
Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2015/16 15. Oktober 2015 Zu der Vorlesung gibt es ein Skript, welches auf meiner Homepage veröffentlicht
MehrLogik Vorlesung 7: Grundlagen Prädikatenlogik
Logik Vorlesung 7: Grundlagen Prädikatenlogik Andreas Maletti 5. Dezember 2014 Überblick Inhalt 1 Motivation und mathematische Grundlagen 2 Aussagenlogik Syntax und Semantik Äquivalenz und Normalformen
MehrVorsemesterkurs Informatik
Vorsemesterkurs Informatik Ronja Düffel WS2018/19 01. Oktober 2018 Theoretische Informatik Wieso, weshalb, warum??!? 1 Modellieren und Formalisieren von Problemen und Lösungen 2 Verifikation (Beweis der
MehrNatü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,
MehrFormale Grundlagen (Nachträge)
Inhaltsverzeichnis 1 Aussagenlogik: Funktionale Vollständigkeit................... 1 Bit-Arithmetik mit logischen Operationen.................... 3 Prädikatenlogik: Eine ganz kurze Einführung..................
MehrBegriffe der Semantik
pangloss.de Seite 1 / 8 Begriffe der Semantik Inhalt 1 Bedeutungsebenen... 1 2 Typen der Semantik... 2 3 Bedeutungen eines Ausdrucks... 2 4 Bedeutungsbeziehungen... 3 5 Ambiguität... 4 6 Semantik und Logik...
MehrNur Aussagesätze, d.h. Deklarativ-, nicht aber Frage- oder Aufforderungs-sätze bringen das Zutreffen einer Aussage (oder Proposition) zum Ausdruck.
2 Aussagenlogik (AL) 2. Wahrheitsfunktionale Konnektoren Nur Aussagesätze, d.h. Deklarativ-, nicht aber Frage- oder Aufforderungs-sätze bringen das Zutreffen einer Aussage (oder Proposition) zum Ausdruck.
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 9. Prädikatenlogik Syntax und Semantik der Prädikatenlogik Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Syntax der
Mehr5.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
MehrMathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18
Mathematik I für Studierende der Informatik und Wirtschaftsinformatik (Diskrete Mathematik) im Wintersemester 2017/18 19. Oktober 2017 1/27 Zu der Vorlesung gibt es ein Skript, welches auf meiner Homepage
MehrAlgorithmen und Datenstrukturen
Algorithmen und Datenstrukturen Große Übung #2 Phillip Keldenich, Arne Schmidt 10.11.2016 Organisatorisches Fragen? Checkliste: Anmeldung kleine Übungen Anmeldung Mailingliste Dies ersetzt nicht die Prüfungsanmeldung!
MehrMathematische und logische Grundlagen der Linguistik. Kapitel 3: Grundbegriffe der Aussagenlogik
Mathematische und logische Grundlagen der Linguistik Kapitel 3: Grundbegriffe der Aussagenlogik Grundbegriffe der Aussagenlogik 1 Die Aussagenlogik ist ein Zweig der formalen Logik, der die Beziehungen
MehrWas bisher geschah. Semantik III. Semantik I Ÿ lexikalische Semantik. Heute: Satzbedeutung, Wahrheitskonditionale Semantik.
Was bisher geschah Semantik III Gerrit Kentner Semantik I lexikalische Semantik Ambiguitäten Sinnrelationen (vertikal und horizontal) Wortfelder / semantische Merkmale Semantik II Intension und Extension
MehrMathematische und logische Grundlagen der Linguistik. Mathematische und logische Grundlagen der Linguistik. Karl Heinz Wagner. Hier Titel eingeben 1
Grundbegriffe der Aussagenlogik 1 Mathematische und logische Grundlagen der Linguistik Kapitel 3: Grundbegriffe der Aussagenlogik Die Aussagenlogik ist ein Zweig der formalen Logik, der die Beziehungen
MehrDie neue Prädikatenlogik P2
Joachim Stiller Die neue Prädikatenlogik P2 Versuch einer Begründung Alle Rechte vorbehalten Die neue Prädikatenlogik P2 In diesem Aufsatz möchte ich einmal versuchen, meine neue Prädikatenlogik P2 zu
MehrÜbungen zur Klausurvorbereitung Musterlösung
Modul 04-006-1003 Anke Himmelreich Syntax und Semantik 30.06.2016 Institut für Linguistik Universität Leipzig Hinweise: Übungen zur Klausurvorbereitung Musterlösung Im folgenden sind die Aufgaben und die
MehrSemantik 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
MehrSemantik. Volmert: S , Kessel/Reimann: S , Dr. Marina Iakushevich
Semantik Volmert: S. 151-159, 160-169 Kessel/Reimann: S. 151-159, 162 173 Dr. Marina Iakushevich 1 Was ist Bedeutung? Ganz einfach, ein Fopper hat mich mitgenommen? Ein Fopper? Foppers sind Kinder reicher
MehrLösungen 1 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren
Lösungen 1 zum Mathematik-Brückenkurs für alle, die sich für Mathematik interessieren µfsr, TU Dresden Version vom 11. Oktober 2016, Fehler, Ideen, Anmerkungen und Verbesserungsvorschläge bitte an benedikt.bartsch@myfsr.de
MehrAussagenverknüpfungen in der Sprache (1)
Aussagenverknüpfungen in der Sprache (1) Betrachten Sie die Aussage S := «Thomas und Sara gehen in den Park.» Wir definieren die beiden Aussagen P := «Thomas geht in den Park.» und Q := «Sara geht in den
MehrQuantoren (6) (1) a. jede Frau b. eine Frau c. keine Fraue d. drei Frauen e. die meisten Frauen f. viele Frauen
Quantoren (6) (1) a. jede Frau b. eine Frau c. keine Fraue d. drei Frauen e. die meisten Frauen f. viele Frauen Solche Ausdrücke werden im allgemeinen Quantoren oder quantifizierende Nominalphrasen genannt,
MehrHM I Tutorium 1. Lucas Kunz. 27. Oktober 2016
HM I Tutorium 1 Lucas Kunz 27. Oktober 2016 Inhaltsverzeichnis 1 Theorie 2 1.1 Logische Verknüpfungen............................ 2 1.2 Quantoren.................................... 3 1.3 Mengen und ihre
MehrFormale Semantik. Tutorium WiSe 2013/ Oktober Sitzung: Prädikatenlogik
Formale Semantik Tutorium WiSe 2013/14 28. Oktober 2013 1. Sitzung: Prädikatenlogik Übersetzung natürlich sprachlicher Ausdrücke in die Prädikatenlogik Häufige Ausdrücke: Übersetzung natürlich sprachlicher
Mehr5 Bedeutungsbeziehungen
5 Bedeutungsbeziehungen 5.1 Synonymie 5.2 Hyponymie 5.3 Oppositionen 5.4 Wortfelder 5.5 Strukturalistische Semantik Johannes Dölling: Semantik und Pragmatik. SoSe 2012 1 Die Bedeutung eines Ausdrucks ist
MehrLogik Vorlesung 8: Modelle und Äquivalenz
Logik Vorlesung 8: Modelle und Äquivalenz Andreas Maletti 12. Dezember 2014 Überblick Inhalt 1 Motivation und mathematische Grundlagen 2 Aussagenlogik Syntax und Semantik Äquivalenz und Normalformen Weitere
Mehr5. SITZUNG: AUSSAGENLOGIK
5. SITZUNG: AUSSAGENLOGIK 1. Die Bedeutung komplexer Aussagen Die Bedeutung von atomaren Sätzen ist ein Wahrheitswert, welcher durch Überprüfung der Wahrheitsbedingungen relativ zu einer Situation ermittelt
MehrNamen von Objekten des Diskursbereichs (z. B. Substantive des natürlichsprachlichen Satzes)
Prädikatenlogik Aussagen wie Die Sonne scheint. die in der Aussagenlogik atomar sind, werden in der Prädikatenlogik in Terme (sonne) und Prädikate (scheint) aufgelöst und dann dargestellt als z.b. Terme
MehrProseminar Lexikalische Semantik
Proseminar Lexikalische Semantik Wintersemester 2009/10 Universität des Saarlandes LEXICAL ENTRIES FOR VERBS (aus: Foundations of Language) Charles J. Fillmore, 1968 vorgestellt von Melanie Reiplinger
Mehr3.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
Mehr3 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.
MehrTypengetriebene 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)
Mehr5.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
MehrArgumentationstheorie 10. Sitzung
Argumentationstheorie 10. Sitzung sind Schlüsse wie Alle Säugetiere sind Tiere. Alle Hunde sind Säugetiere. Alle Hunde sind Tiere. Prof. Dr. Ansgar Beckermann Wintersemester 2004/5 Alle S sind M Alle S
MehrWortkarten zum PRD-Zielvokabular-Poster für LoGoFoXX 60
Wortkarten zum PRD-Zielvokabular-Poster für LoGoFoXX 60 Inhaltsverzeichnis Leute S. 02-05 Floskeln S. 06-07 Verben S. 08-17 Adjektive S. 18-25 Adverbien S. 26-29 Präpositionen S. 30-32 Konjunktionen S.
MehrKlassische Aussagenlogik
Eine Einführung in die Logik Schon seit Jahrhunderten beschäftigen sich Menschen mit Logik. Die alten Griechen und nach ihnen mittelalterliche Gelehrte versuchten, Listen mit Regeln zu entwickeln, welche
Mehr13 Übersetzung umgangssprachlicher Sätze in die Sprache AL
13 Übersetzung umgangssprachlicher Sätze in die Sprache AL Lässt sich die Kenntnis der logischen Eigenschaften der Sätze von AL auch zur Beurteilung umgangssprachlicher Sätze und Argumente nutzen? Grundsätzliches
MehrAnwendung Informatik Daten verwalten (2) Ursprüngliche Information Logische Verknüpfungen als Grundlage für die Informationsgewinnung
Agenda für heute, 20. November 2009 Daten verwalten (2): Drei Stufen der Datenverwaltung Logische Verknüpfungen als Grundlage für die Informationsgewinnung Werte von Aussagen: Wahrheitstabellen Anwendung
MehrKapitel 11: E-Typ Anaphern
Seminar für Formale Semantik Kapitel 10 & 11 02.07.2013 Marlen Becker, Luise Hakenbeck, Julia Hercher, Katharina Schneider, Lisa Ziggel Kapitel 11: E-Typ Anaphern 1. Wiederholung: Annahmen aus Kapitel
MehrDiskrete Strukturen und Logik WiSe 2007/08 in Trier. Henning Fernau Universität Trier
Diskrete Strukturen und Logik WiSe 2007/08 in Trier Henning Fernau Universität Trier fernau@uni-trier.de 1 Diskrete Strukturen und Logik Gesamtübersicht Organisatorisches Einführung Logik & Mengenlehre
MehrPrämisse 1 Alle A sind B. Prämisse 2 Alle B sind C Konklusion Alle A sind C.
3 Prädikatenlogik Warum brauchen wir nach dem Abschluss der Aussagenlogik überhaupt noch eine Fortführung der formalen Logik? Beispiel eines korrekten logischen Schlusses zu betrachten: Prämisse 1 Alle
MehrFormale Methoden 1. Gerhard Jäger 12. Dezember Uni Bielefeld, WS 2007/2008 1/22
1/22 Formale Methoden 1 Gerhard Jäger Gerhard.Jaeger@uni-bielefeld.de Uni Bielefeld, WS 2007/2008 12. Dezember 2007 2/22 Bäume Baumdiagramme Ein Baumdiagramm eines Satzes stellt drei Arten von Information
MehrInhalt. Vorwort.
Inhalt Vorwort v 1 Bedeutung und Semantik 1 1.1 Bedeutungsebenen 1 1.1.1 Ausdrucksbedeutung 1 1.1.2 Äußerungsbedeutung 5 1.1.3 Kommunikativer Sinn 7 1.2 Satzbedeutung und Kompositionalität 9 1.2.1 Lexikalische
MehrRhetorik und Argumentationstheorie.
Rhetorik und Argumentationstheorie 3 [frederik.gierlinger@univie.ac.at] Teil 3 Widerlegungsstrategien I 2 Widerlegung von Argumenten Allgemeine Hinweise Ein Argument kann widerlegt werden indem gezeigt
Mehrdas Ei Eltern ( 複数 ) das Ende der Euro das Fahrrad die Familie der Februar das Fenster das Fernsehen der Film der Fisch die Flasche das Fleisch
名詞 der Abend der Anfang der Anzug der Apfel der April der Arzt der August das Ausland das Auto das Bad der Bahnhof der Baum das Beispiel der Berg das Bett das Bier das Bild der Bleistift die Blume der
MehrEinführung in die Pragmatik
Einführung in die Pragmatik Inferenztypen Proseminar Institut für Deutsche Sprache und Literatur 1 Universität Köln 22.-25. Juli 2013 Inferenztypen Implikation, logische Schlussfolgerung (entailment) (1)
Mehr1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen
1. Grundlagen Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen Peter Buchholz 2016 MafI 2 Grundlagen 7 1.1 Was ist Analysis? Analysis ist
MehrBrückenkurs Mathematik
Brückenkurs Mathematik 6.10. - 17.10. Vorlesung 1 Logik,, Doris Bohnet Universität Hamburg - Department Mathematik Mo 6.10.2008 Zeitplan Tagesablauf: 9:15-11:45 Vorlesung Audimax I 13:00-14:30 Übung Übungsräume
Mehr1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen
. Grundlagen Gliederung. Was ist Analysis?.2 Aussagen und Mengen.3 Natürliche Zahlen.4 Ganze Zahlen, rationale Zahlen. Was ist Analysis? Analysis ist neben der linearen Algebra ein Grundpfeiler der Mathematik!
MehrÜbungen zur Vorlesung Modellierung WS 2003/2004 Blatt 6 Musterlösungen
Dr. Theo Lettmann Paderborn, den 21. November 2003 Abgabe 1. Dezember 2003 Übungen zur Vorlesung Modellierung WS 2003/2004 Blatt 6 Musterlösungen AUFGAB 38 : s seien folgende Prädikate gegeben: Person()
MehrSATZGLIEDER UND WORTARTEN
SATZGLIEDER UND WORTARTEN 1. SATZGLIEDER Was ist ein Satzglied? Ein Satzglied ist ein Bestandteil eines Satzes, welches nur als ganzes verschoben werden kann. Beispiel: Hans schreibt einen Brief an den
Mehr