Schriftliche Hausaufgaben SoSe 2009 Musterlösung
|
|
- Angela Pohl
- vor 6 Jahren
- Abrufe
Transkript
1 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 Pferd und Kuh bezeichneten Konzepte. (2 Punkte) i gemeinsam: [+belebt, +säugetier, +nutztier, +hufe, +pflanzenfresser, +fell, +landtier, +domestiziert] unterschiedlich: [+/-paarhufer, +/- Wiederkäuer, +/- Hörner, +/- Mähne] Welche dieser Merkmale sind notwendige Merkmale des gemeinsamen Hyperonyms Huftier und welches sind typische Merkmale? (2Punkte) notwendig: [+belebt, +säugetier, +hufe] typisch: [+pflanzenfresser, +4beine, +landtier] Welches wäre für Sie ein prototypischer Vertreter des Konzepts KRANKHEIT? Diskutieren Sie! (2 Punkte) Grippe/grippaler Infekt mit Husten, Schnupfen, Fieber 2. Lexikalische Semantik II: Intension und Extension (4 Punkte) i. Geben Sie die extensionale Bedeutung der definiten Kennzeichnung der deutsche Bundeskanzler relativ zu den Jahren 1960 und 1972 an. (2 Punkte) [[der deutsche Bundeskanzler]] 1960 = adenauer [[der deutsche Bundeskanzler]] 1972 = brandt Was ist der konzeptuelle Sinngehalt (die Intension) von der deutsche Bundeskanzler? Beachten Sie hierbei insbesondere den Beitrag des definiten Artikels (2 Punkte) das einzige Individuum, welches zum Auswertungszeitpunkt die Eigenschaft hat, Regierungschef der Bundesrepublik Deutschland zu sein. 3. Situationsabhängige Extensionen und Sinnrelationen (7 Punkte) Gegeben sei Situation S1: Lale, Mila und Emil sind Kinder. Alle sind miteinander verwandt und wohnen in Berlin. Mila und Lale gehen in die Kita, aber Emil ist noch zu Hause. i. Bestimmen Sie die Extensionen der folgenden Prädikate relativ zu S1 (4 Punkte): männlich, weiblich, Kind, in Berlin, in die Kita gehen, zu Hause, verwandt sein mit [[männlich]] S1 = {emil} ; [[weiblich]] S1 = {mila, lale} [[Kind]] S1 = {emil, mila, lale} ; [[in Berlin]] S1 = {mila, lale, emil} [[in die Kita gehen]] S1 = { mila, lale} ; [[zu Hause]] S1 = { emil} [[verwandt sein mit]] S1 = { <mila, lale>, <lale, mila>, <mila, emil>, <emil, mila>, <lale, emil>, <emil, lale>} 1
2 Welche Prädikate sind relativ zu S1 in ihrer Extension synonym, welche sind in ihrer Extension relativ zu S1 inkompatibel, und welche Prädikate sind relativ zu S1 in ihrer Extension Hyperonyme von anderen Prädikaten? (3 Punkte) (Hinweis: Die Sinnrelationen sind hierbei wegen der vorgenommenen Relativierung zu S1 überwiegend akzidenteller Natur) synonym: i. [[männlich]] S1 = [[zu Hause]] S1 = { emil} inkompatibel: Hyperonymie: [[Kind]] S1 = [[in Berlin]] S1 = {mila, lale, emil} ii [[in die Kita gehen]] S1 = [[weiblich]] S1 = {mila, lale} i. [[männlich]] S1, [[zu Hause]] S1 vs [[in die Kita gehen]] S1, [[weiblich]] S1 [[Kind]] S1, [[in Berlin]] S1 >> [[in die Kita gehen]] S1, [[weiblich]] S1 >> [[männlich]] S1, [[zu Hause]] S1 4. Wahrheitswertsemantik (2 Punkte) i. Bestimmen Sie die Wahrheitswerte der folgenden Aussagen relativ zum (1) a. Die Firma Opel ist nicht in finanziellen Schwierigkeiten. [[Die Firma Opel ist nicht in finanziellen Schwierigkeiten.]] = 0 b. Der Bundespräsident heißt Horst Köhler. [[Der Bundespräsident heißt Horst Köhler.]] = 1 Unter welchen Bedingungen sind die folgenden Aussagen wahr? (2) a. Fiat will nur Opel kaufen. [[Fiat will nur Opel kaufen.]] = 1 gdw. Fiat nichts außer Opel kaufen will. b. Nur Fiat will Opel kaufen. [[Nur Fiat will Opel kaufen.]] = 1 gdw. niemand außer Fiat Opel kaufen will. 5. Präsuppositionen (7 Punkte) i. Bestimmen Sie die Assertion und die Präsupposition der folgenden Sätze, sowie die präsuppositionsauslösenden Elemente (3 Punkte). (3) a. Auch Obama hat sich eine Eintrittskarte gekauft. auch (Fokuspartikel) Assertion: Obama hat sich eine Eintrittskarte gekauft. Präs: Jemand anderes hat sich eine Eintrittskarte gekauft. b. Obama weiß, dass McCain verloren hat. wissen (faktives Prädikat) Assertion: Obama weiß, dass McCain verloren hat Präs: McCain hat verloren 2
3 Nennen Sie zwei Tests zur Identifizierung von Präsuppositionen und illustrieren Sie einen am Beispiel von (3a) und den anderen am Beispiel von (3b) (4 Punkte) A. Konstanz unter Negation: Auch Obama hat sich eine Eintrittskarte gekauft. und Es ist nicht der Fall, dass sich auch Obama eine Eintrittskarte gekauft hat präsupponieren beide: Jemand anderes hat sich eine Eintrittskarte gekauft. B. Konstanz unter Konditionalisierung, Projektion aus Konditionalen Obama weiß, dass McCain verloren hat. Wenn Obama weiß, dass McCain verloren hat, dann freut er sich. präsupponieren beide: McCain hat verloren. 6. Aussagenlogik (6 Punkte) i. Erstellen Sie die Wahrheitswerttabelle für die aussagenlogische Formel in (4) (4 Punkte): (4) [p (q r)] [(q q) ( (p r))] p q r r q p r (p r) = a q r = c q q = b b a p c (p c) (b a) Was für eine logische Eigenschaft hat diese Formel (2 Punkte)? Es handelt sich um eine Tautologie, da sie immer den Wert 1 annimmt. 7. Mengen und Funktionen (14 Punkte) i. Geben Sie die lexikalische Kategorie und die extensionale Bedeutung für die folgenden Ausdrücke an. Verwenden Sie für ungesättigte Ausdrücke dabei die allgemeine Mengennotation. (6 Punkte) (5) a. [[einladen]] =? b. [[offen]] =? {<x,y>: x lädt y ein}, Vtrans {x : x ist offen}, Adj c. [[schmollen]] =? d. [[Marshal Matthers]] =? {x: x schmollt}, Vintrans eminem, Eigenname e. [[Quastenflosser]] =? f. [[ nicht ]] =? {x: x ist ein Quastenflosser}, N {p: p ist falsch}, Partikel/Adverb 3
4 i Stellen Sie nun die Bedeutung von (5a) und (5b) als charakteristische Funktion dar, und zwar (i.) im allgemeinen Funktionsformat und () in λ-notation. (4 Punkte) [[einladen]] = f: D {g: D {0,1}}, für alle x,y D, (f(x))(y) = 1 gdw. y x einlädt λx D. λy D. y lädt x ein [[offen]] = f : D {0,1}, für alle x D, f(x) = 1 gdw. x offen ist. λx D. x ist offen. Gegeben folgende Situation S1: D = {mila, lale, shilan} und Mila malt in S1 Lale und Shilan an und Shilan malt Mila an. Geben Sie die extensionale Bedeutung [[anmalen]] S1 im Listenformat für Funktionen an (4 Punkte). mila 0 mila lale 0 shilan 1 mila 1 [[anmalen]] S1 = lale lale 0 shilan 0 mila 1 shilan lale 0 shilan 0 Objektargument! Subjektargument! 8. λ-konversion (4 Punkte) Vereinfachen Sie die folgenden Ausdrücke mittels λ-konversion (Beachten Sie dabei die vorgegebene Klammerung!!!): (je 1 Punkt) (6) a. [λx D. [λy D. [λz D. z betrog x mit y ] (Gabi)]](Hans) = [λx D. [λy D. Gabi betrog x mit y]] (Hans) = λy D. Gabi betrog Hans mit y b. [λx D. [λy D. [λz D. z betrog y mit x] (Gabi)](Hans)] = [λx D. [λy D. Gabi betrog y mit x] (Hans)] = λx D. Gabi betrog Hans mit x c. [λx D. [λy D. [λz D. z betrog x mit y ]]](Gabi)(Hans) = [λy D. [λz D. z betrog Gabi mit y ]](Hans) = λz D. z betrog Gabi mit Hans d. [λg D <e,t>. [ λx D. g(x) = 1 und x ist ein Reh]]([λz D. z ist im Wald]) = λx D. [λz D. z ist im Wald](x) = 1 und x ist ein Reh = λx D. x ist im Wald und y ist ein Reh. 4
5 9. Semantische Typen (6 Punkte) i. Geben Sie den semantischen Typ der folgenden sprachlichen Ausdrücke an: (7) a. weder...noch <t,<t,t>> b. Bayreuth <e> c. Hund <e,t> d. begrüßen <e,<e,t>> e. grau <e,t> f. betrügen mit <e,<e,<e,t>>> g. in <e,<e,t>> h. schlummern <e,t> i. in Bayreuth <e,t> j. Union ist aufgestiegen <t> k. die Rolltreppe <e> l. Maria treu (sein) <e,t> 10. Kompositionelle Herleitung einer Satzbedeutung (8 Punkte): i. Ermitteln Sie die Bedeutung des kursiven Satzfragments in (8) mit Hilfe des Kompositionalitätsprinzips Ermitteln Sie dazu zunächst die syntaktische Struktur (ohne funktionale Projektionen), dann die Bedeutungen der terminalen Elemente (in λ- Notation), und dann schrittweise per λ-konversion die Bedeutung der verzweigenden Knoten) (6 Punkte) (8) (, dass) Barack Obama John Mc Cain besiegt. dass [ S [ DP Barack Obama] [ VP [ DP John M;cCain] besiegt ] [[Barack Obama]] = obama [[John McCain]] = jmccain [[besiegt]] = λx D.λy D. y besiegt x [[VP]] = [[V]] ([[DP Obj ]]) = [λx D.λy D. y besiegt x](jmccain) = λy D. y besiegt John McCain [[S]] = [[VP]]([[DP Subj ]]) = [λy D. y besiegt John McCain](obama) = 1 gdw. Barack Obama John McCain besiegt Geben Sie bei jedem verzweigenden Knoten an, welche semantische Interpretationsregel verwendet wird, und - bei funktionaler Applikation - welche Schwester als Funktion und welche Schwester als Argument fungiert. (2 Punkte) Die semantischen Werte beider Verzweigungen werden per funktionaler Applikation ermittelt. Schritt I: Funktion: [[V]], Argument: [[NP OBJ ]] Schritt II: Funktion: [[VP]], Argument: [[NP SUBJ ]] Notenschlüssel Σ (Punkte) = 64 bestanden <33 1,0 1,3 1,7 2,0 2,3 2,7 3,0 3,3 3,7 4,0 5,0 5
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
MehrMusterableitung 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
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
MehrEF 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,
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
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)
Mehr4.3 NPn als Objekte oder als Prädikative [Chierchia , Lohnstein ]
4 Semantik von Nominalphrasen 4.3 NPn als Objekte oder als Prädikative [Chierchia 147-168, Lohnstein 185-196] 4.3.1 Quantifizierende NPn in Objektposition Steht eine quantifizierende NP nicht in Subjekt-,
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
MehrBeispiel Aussagenlogik nach Schöning: Logik...
Beispiel Aussagenlogik nach Schöning: Logik... Worin besteht das Geheimnis Ihres langen Lebens? wurde ein 100-jähriger gefragt. Ich halte mich streng an die Diätregeln: Wenn ich kein Bier zu einer Mahlzeit
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
MehrPräsuppositionen. Vorlesung: Linguistische Pragmatik Prof. Dr. M. Krifka und PD Dr. U. Sauerland
Präsuppositionen Vorlesung: Linguistische Pragmatik Prof. Dr. M. Krifka und PD Dr. U. Sauerland U. Sauerland (ZAS Berlin) Presup 1 Ling. Pragmatik 1 / 23 Einführung Ein Beispiel (1) Das Baby hat vor einer
MehrEinfü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
MehrSatzbedeutung. Ludwig Wittgenstein. Satzbedeutung. Satzbedeutung
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
MehrElemente der Mathematik - Winter 2016/2017
4 Elemente der Mathematik - Winter 2016/2017 Prof. Dr. Peter Koepke, Regula Krapf Lösungen Übungsblatt 2 Aufgabe 6 (4 Punkte). Bestimmen Sie mit Hilfe von Wahrheitstafeln, welche der folgenden aussagenlogischen
MehrWas bisher geschah. Semantik II. Was bisher geschah. Semantik II
Was bisher geschah Semantik II Semantik I Verborgener Sinn versus wörtliche Bedeutung Wortbegriff lexikalische Semantik Ambiguitäten Sinnrelationen (vertikal und horizontal) Wortfelder / semantische Merkmale
MehrSemantischer Typ von Determinierern-Teil 2
Seminar: Formale Semantik Modul 04-006-1006 Christine Hoth, Lilly Hahne 04.06.2013 Semantischer Typ von Determinierern-Teil 2 6.7. Präsuppositonale Quantifizierer-Phrasen Determinierer: Typ
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,
MehrLogic 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(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
MehrKapitel 1.0. Aussagenlogik: Einführung. Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1
Kapitel 1.0 Aussagenlogik: Einführung Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1 Ziele der Aussagenlogik In der Aussagenlogik analysiert man die Wahrheitswerte zusammengesetzter
MehrSemantik: Einleitung. Bm1d: Einführung in die Semantik M. Zimmermann Uni Potsdam, SoSe 2009
Semantik: Einleitung Bm1d: Einführung in die Semantik M. Zimmermann Uni Potsdam, SoSe 2009 1. Semantik Semantik: Teilgebiet der Sprachwissenschaft, welches sich mit der Bedeutung sprachlicher Ausdrücke
MehrFormale Logik. PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg. Wintersemester 16/17 Sitzung vom 9.
Formale Logik PD Dr. Markus Junker Abteilung für Mathematische Logik Universität Freiburg Wintersemester 16/17 Sitzung vom 9. November 2016 Weitere Begriffe Eine Zuweisung von Wahrheitswerten W bzw. F
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
MehrExtrema mit Nebenbedingungen
Extrema mit Nebenbedingungen Gesucht ist das Extremum der Funktion f(x,y) = 5 x y unter der Nebenbedingung g(x,y) = x+y =. 5 y x In diesem einfachen Fall kann die Nebenbedingung nach einer Variablen aufgelöst
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
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
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,
Mehr4. Aussagenlogik 32 #WUUCIGPNQIKM
4. Aussagenlogik Wir haben bisher beschrieben, auf welche Weise die Objekte und Individuen in unserer Welt als einfache Mengen und Mengen von n-tupeln erfasst werden können. Daraufhin haben wir Relationen
Mehr6. AUSSAGENLOGIK: TABLEAUS
6. AUSSAGENLOGIK: TABLEAUS 6.1 Motivation 6.2 Wahrheitstafeln, Wahrheitsbedingungen und Tableauregeln 6.3 Tableaus und wahrheitsfunktionale Konsistenz 6.4 Das Tableauverfahren 6.5 Terminologie und Definitionen
MehrGrundkurs Logik - 2. Einheit
19. Oktober 2012 Logische Form Um die logische Form eines Argumentes (bzw. der Behauptungssätze, aus denen es aufgebaut ist) ersichtlich zu machen, sind zwei Dinge besonders wichtig: Logische Form Um die
MehrVorsemesterkurs Informatik
Vorsemesterkurs Informatik Vorsemesterkurs Informatik Mario Holldack WS2015/16 30. September 2015 Vorsemesterkurs Informatik 1 Einleitung 2 Aussagenlogik 3 Mengen Vorsemesterkurs Informatik > Einleitung
MehrKapitel 1. Aussagenlogik
Kapitel 1 Aussagenlogik Einführung Mathematische Logik (WS 2012/13) Kapitel 1: Aussagenlogik 1/17 Übersicht Teil I: Syntax und Semantik der Aussagenlogik (1.0) Junktoren und Wahrheitsfunktionen (1.1) Syntax
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
Mehr4 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
MehrSemantik 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:
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
MehrGrundlagen der Mathematik
Universität Hamburg Winter 2016/17 Fachbereich Mathematik Janko Latschev Grundlagen der Mathematik Lösungsskizzen 2 Präsenzaufgaben (P2) Wir betrachten drei Teilmengen der natürlichen Zahlen: - A = {n
MehrDe Morgan sche Regeln
De Morgan sche Regeln Durch Auswerten der Wahrheitswertetabelle stellen wir fest, dass allgemeingültig ist; ebenso (p q) p q (p q) p q. Diese beiden Tautologien werden als die De Morgan schen Regeln bezeichnet,
MehrEinführung in die Satzsemantik T. E. Zimmermann, Lviv, März 2004
Einführung in die Satzsemantik T. E. Zimmermann, Lviv, März 2004 1. Strukturelle Ambiguität 1.1 Paraphrasen (1) Die Studenten, die kein Geld haben, müssen nebenher jobben. (1a) Diejenigen Studenten, die
MehrGeschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie. Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen
Was ist Logik? Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen Beschränkung auf "Aussage A folgt nach einer gegebenen
MehrSyntax und Semantik von PL1
Bromand Logik II 44 Syntax und Semantik von PL1 ç Q ist eine Wff, v eine Variable von PL1 und P ist eine der Formeln @v Q oder %v Q. Ein Satz ist eine Wff in der keine Variablen frei vorkommen. 1. Die
MehrGrundlagen der Theoretischen Informatik
FH Wedel Prof. Dr. Sebastian Iwanowski GTI22 Folie 1 Grundlagen der Theoretischen Informatik Sebastian Iwanowski FH Wedel Kap. 2: Logik, Teil 2.2: Prädikatenlogik FH Wedel Prof. Dr. Sebastian Iwanowski
MehrUniversität Zürich. Wortsemantik. Deutsches Seminar
Schönberggasse 9 CH 8001 Zürich Tel. ++41 (0)44 634 25 61 Fax ++41 (0)44 634 49 05 spitzmueller@access.unizh.ch www.unizh.ch/ds Einführung in die germanistische Sprachwissenschaft I (synchron-gegenwartssprachlich)
MehrFormale 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
Mehry(p F x) gebunden und in den Formeln F xy
Wirkungsbereich (Skopus) eines Quantors i bzw. i nennen wir die unmittelbar auf i bzw. i folgende Formel. Wir sagen, eine IV i kommt in einer Formel A gebunden vor, wenn sie unmittelbar auf oder folgt
MehrSemantik III. Argumentstruktur/Theta-Rollen Typen von Extensionen/Valenz Wahrheitswerte Proposition. Semantik 3 1
Semantik III Argumentstruktur/Theta-Rollen Typen von Extensionen/Valenz Wahrheitswerte Proposition Semantik 3 1 Thetarollen Aussagesätze beschreiben Situationen/Ereignisse. Ereignisse können intern unterschiedlich
MehrMathematik-Vorkurs für Informatiker Aussagenlogik 1
Christian Eisentraut & Julia Krämer www.vorkurs-mathematik-informatik.de Mathematik-Vorkurs für Informatiker Aussagenlogik 1 Aufgabe 1. (Wiederholung wichtiger Begriffe) Kategorie 1 Notieren Sie die Definitionen
MehrInferenzmethoden. 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
MehrLogik für Informatiker
Vorlesung Logik für Informatiker 4. Aussagenlogik Syntax und Semantik der Aussagenlogik Bernhard Beckert Universität Koblenz-Landau Sommersemester 2006 Logik für Informatiker, SS 06 p.1 Syntax der Aussagenlogik:
MehrTeil 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:
MehrFunktionale Programmierung ALP I. λ Kalkül WS 2012/2013. Prof. Dr. Margarita Esponda. Prof. Dr. Margarita Esponda
ALP I λ Kalkül WS 2012/2013 Berechenbarkeit - inspiriert durch Hilbert's Frage - im Jahr 1900, Paris - Internationaler Mathematikerkongress Gibt es ein System von Axiomen, aus denen alle Gesetze der Mathematik
MehrÜbersicht. Prädikatenlogik höherer Stufe. Syntax der Prädikatenlogik 1. Stufe (mit Gleichheit)
Übersicht I Künstliche Intelligenz II Problemlösen III Wissen und Schlussfolgern 7. Logische Agenten 8. Prädikatenlogik 1. Stufe 9. Schließen in der Prädikatenlogik 1. Stufe 10. Wissensrepräsentation IV
Mehr1.1 Formale Semantik: Grundannahmen und Prinzipien. Was soll eine semantische Analyse der natürlichen Sprache leisten?
. Formale Semantik: Grundannahmen und Prinzipien Einführung [ Chierchia 7-52] Was soll eine semantische Analyse der natürlichen Sprache leisten? Erfassen der Bedeutung von sprachlichen Ausdrücken durch
MehrDGY 17 Semantik Universität Athen, SoSe 2009
DGY 17 Semantik Universität Athen, SoSe 2009 Winfried Lechner wlechner@gs.uoa.gr Handout #3 WAS SIND PRÄDIKATE? (ZUR FORM UND FUNKTION DER KONSTITUENTEN) Jede Konstituente im Satz kann in Hinblick auf
MehrFrege 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
MehrBoolesche 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
MehrLösungen zu Mathematik I/II
Prof. Dr. E. W. Farkas ETH Zürich, Februar 11 D BIOL, D CHAB Lösungen zu Mathematik I/II Aufgaben 1. 1 Punkte a Wir berechnen lim x x + x + 1 x + x 3 + x = 1. b Wir benutzen L Hôpital e x e x lim x sinx
MehrMathematik-Vorkurs für Informatiker Aussagenlogik 1
Christian Eisentraut & Julia Krämer www.vorkurs-mathematik-informatik.de Mathematik-Vorkurs für Informatiker Aussagenlogik 1 Aufgabe 1. (Wiederholung wichtiger Begriffe) Notieren Sie die Definitionen der
Mehr2.1.3 Interpretation von aussagenlogischen Formeln. 1) Intensionale Interpretation
2.1.3 Interpretation von aussagenlogischen Formeln 1) Intensionale Interpretation Definition 11: Eine intensionale Interpretation einer aussagenlogischen Formel besteht aus der Zuordnung von Aussagen zu
MehrWas ist Logik? Was ist Logik? Logische Konnektoren. Aussagenlogik. Logik stellt Sprachen zur Darstellung von Wissen zur Verfügung
Was ist Logik? Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen Beschränkung auf "Aussage A folgt nach einer gegebenen
Mehr4. SITZUNG: EXTENSIONALE SEMANTIK & SATZBEDEUTUNG
4. SITZUNG: EXTENSIONALE SEMANTIK & SATZBEDEUTUNG WIEDERHOLUNG: WORTBEDEUTUNG i. Die konzeptuelle Bedeutung eines Wortes besteht aus einer Menge von notwendigen und nichtnotwendigen Bedingungen/Eigenschaften,
MehrAussagenlogische Widerlegungsverfahren zum Nachweis logischer Eigenschaften und Beziehungen
Einführung in die Logik - 4 Aussagenlogische Widerlegungsverfahren zum Nachweis logischer Eigenschaften und Beziehungen Widerlegungsverfahren zum Aufwärmen: Bestimmung von Tautologien mittels Quick Falsification
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
MehrFormeln. Signatur. aussagenlogische Formeln: Aussagenlogische Signatur
Signatur Formeln Am Beispiel der Aussagenlogik erklären wir schrittweise wichtige Elemente eines logischen Systems. Zunächst benötigt ein logisches System ein Vokabular, d.h. eine Menge von Namen, die
MehrÜbersicht. 7. Prädikatenlogik 1. Stufe
Übersicht I Künstliche Intelligenz II Problemlösen III Wissen und Schlußfolgern 6. Logisch schließende Agenten 7. Prädikatenlogik 1. Stufe 8. Entwicklung einer Wissensbasis 9. Schließen in der Prädikatenlogik
Mehr3.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 [
Mehr3.1.1 Die Variante T1 und ein Entscheidungsverfahren für die Aussagenlogik
Deduktionssysteme der Aussagenlogik, Kap. 3: Tableaukalküle 38 3 Tableaukalküle 3.1 Klassische Aussagenlogik 3.1.1 Die Variante T1 und ein Entscheidungsverfahren für die Aussagenlogik Ein zweites Entscheidungsverfahren
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.
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
MehrKapitel L:II. II. Aussagenlogik
Kapitel L:II II. Aussagenlogik Syntax der Aussagenlogik Semantik der Aussagenlogik Eigenschaften des Folgerungsbegriffs Äquivalenz Formeltransformation Normalformen Bedeutung der Folgerung Erfüllbarkeitsalgorithmen
MehrLogik Vorlesung 3: Äquivalenz und Normalformen
Logik Vorlesung 3: Äquivalenz und Normalformen Andreas Maletti 7. November 2014 Überblick Inhalt 1 Motivation und mathematische Grundlagen 2 Aussagenlogik Syntax und Semantik Äquivalenz und Normalformen
MehrMathematik für Informatiker I
Mathematik für Informatiker I Mitschrift zur Vorlesung vom 19.10.2004 In diesem Kurs geht es um Mathematik und um Informatik. Es gibt sehr verschiedene Definitionen, aber für mich ist Mathematik die Wissenschaft
MehrGrundkurs Mathematik I
Prof. Dr. H. Brenner Osnabrück WS 2016/2017 Grundkurs Mathematik I Vorlesung 3 Was Hänschen nicht lernt, lernt Hans nimmermehr Volksmund Was Hänschen nicht lernt, lernt Hans nimmermehr hat heute keine
MehrEinführung in die Computerlinguistik. Semantik
Einführung in die Computerlinguistik Semantik WS 2006/2007 Manfred Pinkal Einführung in die Computerlinguistik 2006/2007 M. Pinkal UdS 1 Semantik für Dialogverarbeitung U: Ist der Flug um 2 nach London
MehrLösungen zum Aufgabenblatt 10 Logik und modelltheoretische Semantik
Lösungen zum Aufgabenblatt 10 Logik und modelltheoretische Semantik Universität München, CIS, SS 2013 Hans Leiß Abgabetermin: Do, 4.7.2013, 16 Uhr, in meinem Postfach Aufgabe 10.1 Vereinfache die folgenden
MehrEinführung in die Pragmatik und Diskurs: Vorlesung 8: Präsuppositionen 1
Einführung in die Pragmatik und Diskurs: Vorlesung 8: Präsuppositionen 1 A.Palmer/A. Horbach Universität des Saarlandes Sommersemster 2014 Übersicht Begriffsdefinition und erste Beispiele Historischer
MehrSemantik: Semantik von Merkmalsstrukturen
Spezielle Themen der KI : von Subsumption Notation: t 1 t 2 Definition: Eine Merkmalsstruktur t 1 subsumiert eine Merkmalsstruktur t 2 gdw. die Menge der von t 2 beschriebenen Elemente eine Teilmenge der
MehrLEXIKALISCHE 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
Mehr3. Grundlegende Begriffe von Logiken - Aussagenlogik
3. Grundlegende Begriffe von Logiken - Aussagenlogik Wichtige Konzepte und Begriffe in Logiken: Syntax (Signatur, Term, Formel,... ): Festlegung, welche syntaktischen Gebilde als Formeln (Aussagen, Sätze,
MehrTheoretische Informatik I (Grundzüge der Informatik I)
Theoretische Informatik I (Grundzüge der Informatik I) Literatur: Buch zur Vorlesung: Uwe Schöning, Theoretische Informatik - kurzgefasst. Spektrum Akademischer Verlag, Heidelberg/Berlin, 4. Auflage, 2001.
MehrZur Struktur der Verbalphrase
Zur Struktur der Verbalphrase Ein formales Kriterium zur Verbklassifikation: V ist ein intransitives Verb (ohne Objekte) schlafen, arbeiten, tanzen,... (1) Klaus-Jürgen schläft. V ist ein transitives Verb
MehrInformatik A. Prof. Dr. Norbert Fuhr auf Basis des Skripts von Prof. Dr. Wolfram Luther und der Folien von Peter Fankhauser
Informatik A Prof. Dr. Norbert Fuhr fuhr@uni-duisburg.de auf Basis des Skripts von Prof. Dr. Wolfram Luther und der Folien von Peter Fankhauser 1 Teil I Logik 2 Geschichte R. Descartes (17. Jhdt): klassische
MehrEDITH SCHMID UND EMIL KRAUCH FREGE II SINN UND BEDEUTUNG
EDITH SCHMID UND EMIL KRAUCH FREGE II SINN UND BEDEUTUNG AUFBAU Einführung Ausgangslage Problemstellung Sinn und Bedeutung Freges Argument vom Erkenntniswert Exkurs: Semiotik Sätze Zusammenfassung Reflexion
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
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
MehrEinführung in die Logik
Einführung in die Logik Klaus Madlener und Roland Meyer 24. April 2013 Inhaltsverzeichnis 1 Aussagenlogik 1 1.1 Syntax................................. 1 1.2 Semantik............................... 3 1.3
MehrAlgorithmen und Formale Sprachen
Algorithmen und Formale Sprachen Algorithmen und formale Sprachen Formale Sprachen und Algorithmen Formale Sprachen und formale Algorithmen (formale (Sprachen und Algorithmen)) ((formale Sprachen) und
MehrStrukturelle Semantik. Sprache als Zeichensystem System und Struktur Paradigmatische und Syntagmatische Relationen
Strukturelle Semantik Sprache als Zeichensystem System und Struktur Paradigmatische und Syntagmatische Relationen Sprache als Zeichensystem Sprache als eine Menge von Zeichen besteht nicht aus einer bloßen
MehrTeilgebiete lexikalische Semantik: Bedeutung einzelner Lexeme und Morpheme (Informationseinheiten im Lexikon) Relationen zwischen den Bedeutungen
Semantik Sprachliche Ausdrücke sind Zeichen (= Form + Bedeutung). Die Zuordnung ist zumeist arbiträr (seltener ikonisch). Sprachliche Zeichen sind konventionell. Teilgebiete lexikalische Semantik: Bedeutung
MehrKapitel L:II. II. Aussagenlogik
Kapitel L:II II. Aussagenlogik Syntax der Aussagenlogik Semantik der Aussagenlogik Eigenschaften des Folgerungsbegriffs Äquivalenz Formeltransformation Normalformen Bedeutung der Folgerung Erfüllbarkeitsalgorithmen
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
MehrDGm 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
MehrTerme. Dann ist auch f(t 1. Terme. Dann ist P (t 1
Prädikatenlogik 1. Syntax und Semantik Man kann die Prädikatenlogik unter einem syntaktischen und einem semantischen Gesichtspunkt sehen. Bei der Behandlung syntaktischer Aspekte macht man sich Gedanken
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)
MehrKripke über Analytizität: eine zwei-dimensionalistische Perspektive
Kripke über Analytizität: eine zwei-dimensionalistische Perspektive Dr. Helge Rückert Lehrstuhl Philosophie II Universität Mannheim rueckert@rumms.uni-mannheim.de http://www.phil.uni-mannheim.de/fakul/phil2/rueckert/index.html
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
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
MehrErinnerung 1. Erinnerung 2
Erinnerung 1 Ein Argument ist eine Folge von Aussagesätzen, mit der der Anspruch verbunden ist, dass ein Teil dieser Sätze (die Prämissen) einen Satz der Folge (die Konklusion) in dem Sinne stützen, dass
Mehr3. Phrasenstruktur und kompositionale Interpretation
3. Phrasenstruktur und kompositionale Interpretation In diesem Abschnitt werden wir ein kleines Fragment des Deutschen entwickeln, das wir Minideutsch nennen. Dieses Fragment wird äußerst begrenzt sein,
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
Mehr