REKURSION UND DIE UNENDLICHKEITSFORDERUNG Geoffrey K. Pullum & Barbara C. Scholz



Ähnliche Dokumente
Informationsblatt Induktionsbeweis

Primzahlen und RSA-Verschlüsselung

Würfelt man dabei je genau 10 - mal eine 1, 2, 3, 4, 5 und 6, so beträgt die Anzahl. der verschiedenen Reihenfolgen, in denen man dies tun kann, 60!.

Repetitionsaufgaben Wurzelgleichungen

7 Rechnen mit Polynomen

1 Mathematische Grundlagen

4. AUSSAGENLOGIK: SYNTAX. Der Unterschied zwischen Objektsprache und Metasprache lässt sich folgendermaßen charakterisieren:

Lineargleichungssysteme: Additions-/ Subtraktionsverfahren

Grundlagen der Theoretischen Informatik, SoSe 2008

1. Man schreibe die folgenden Aussagen jeweils in einen normalen Satz um. Zum Beispiel kann man die Aussage:

Zeichen bei Zahlen entschlüsseln

Was meinen die Leute eigentlich mit: Grexit?

Was ist Sozial-Raum-Orientierung?

Grammatiken. Einführung

Data Mining: Einige Grundlagen aus der Stochastik

Erstellen einer Collage. Zuerst ein leeres Dokument erzeugen, auf dem alle anderen Bilder zusammengefügt werden sollen (über [Datei] > [Neu])

Fachdidaktik der Informatik Jörg Depner, Kathrin Gaißer

2.11 Kontextfreie Grammatiken und Parsebäume

Die Post hat eine Umfrage gemacht

Also kann nur A ist roter Südler und B ist grüner Nordler gelten.

Grundbegriffe der Informatik

50. Mathematik-Olympiade 2. Stufe (Regionalrunde) Klasse Lösung 10 Punkte

Einführung und Motivation

erster Hauptsatz der Thermodynamik,


Professionelle Seminare im Bereich MS-Office

40-Tage-Wunder- Kurs. Umarme, was Du nicht ändern kannst.

CSS-Grundlagen. Etwas über Browser. Kapitel. Die Vorbereitung

Die Gleichung A x = a hat für A 0 die eindeutig bestimmte Lösung. Für A=0 und a 0 existiert keine Lösung.

Um Ihre Ziele durchzusetzen! Um Beziehungen zu knüpfen und zu pflegen! Um in Begegnungen mit anderen Ihre Selbstachtung zu wahren!

Grundlagen der höheren Mathematik Einige Hinweise zum Lösen von Gleichungen

Ein Vorwort, das Sie lesen müssen!

Lernmaterial für die Fernuni Hagen effizient und prüfungsnah

Physik & Musik. Stimmgabeln. 1 Auftrag

geben. Die Wahrscheinlichkeit von 100% ist hier demnach nur der Gehen wir einmal davon aus, dass die von uns angenommenen

Austausch- bzw. Übergangsprozesse und Gleichgewichtsverteilungen

a n auf Konvergenz. Berechnen der ersten paar Folgenglieder liefert:

Meet the Germans. Lerntipp zur Schulung der Fertigkeit des Sprechens. Lerntipp und Redemittel zur Präsentation oder einen Vortrag halten

Wurzeln als Potenzen mit gebrochenen Exponenten. Vorkurs, Mathematik

Abituraufgabe zur Stochastik, Hessen 2009, Grundkurs (TR)

Ist Fernsehen schädlich für die eigene Meinung oder fördert es unabhängig zu denken?

Beweis des Satzes, dass eine einwerthige mehr als 2nfach periodische Function von n Veränderlichen unmöglich ist. Bernhard Riemann

Behindert ist, wer behindert wird

Abschlussprüfung Realschule Bayern II / III: 2009 Haupttermin B 1.0 B 1.1

Programmiersprachen und Übersetzer

Updatehinweise für die Version forma 5.5.5

Informatik IC2. Balazs Simon

Unterrichtsmaterialien in digitaler und in gedruckter Form. Auszug aus:

IRF2000 Application Note Lösung von IP-Adresskonflikten bei zwei identischen Netzwerken

Die neue Aufgabe von der Monitoring-Stelle. Das ist die Monitoring-Stelle:

Der Kunde zahlt die Gehälter.

Grundbegriffe der Informatik

Es gilt das gesprochene Wort. Anrede

Basis und Dimension. Als nächstes wollen wir die wichtigen Begriffe Erzeugendensystem und Basis eines Vektorraums definieren.

Catherina Lange, Heimbeiräte und Werkstatträte-Tagung, November

4. Jeder Knoten hat höchstens zwei Kinder, ein linkes und ein rechtes.

Einführung in die Algebra

Stellen Sie bitte den Cursor in die Spalte B2 und rufen die Funktion Sverweis auf. Es öffnet sich folgendes Dialogfenster

Gleichungen Lösen. Ein graphischer Blick auf Gleichungen

Vermeiden Sie es sich bei einer deutlich erfahreneren Person "dranzuhängen", Sie sind persönlich verantwortlich für Ihren Lernerfolg.

Anwendungsbeispiele Buchhaltung

Die Beschreibung bezieht sich auf die Version Dreamweaver 4.0. In der Version MX ist die Sitedefinition leicht geändert worden.

Qualitätsbedingungen schulischer Inklusion für Kinder und Jugendliche mit dem Förderschwerpunkt Körperliche und motorische Entwicklung

Outlook. sysplus.ch outlook - mail-grundlagen Seite 1/8. Mail-Grundlagen. Posteingang

Logische Folgerung. Definition 2.11

Bevor lineare Gleichungen gelöst werden, ein paar wichtige Begriffe, die im Zusammenhang von linearen Gleichungen oft auftauchen.

Theoretische Grundlagen des Software Engineering

Modul: Soziale Kompetenz. Vier Ohren. Zeitl. Rahmen: ~ 45 min. Ort: drinnen

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

Der Zwei-Quadrate-Satz von Fermat

Was ist Leichte Sprache?

Musterlösungen zur Linearen Algebra II Blatt 5

Fremdsprachen. 1. Untersuchungsziel

KVIrc installieren (win) i. KVIrc installieren (win)

Nachhilfe-Kurs Mathematik Klasse 13 Freie Waldorfschule Mitte

9.2. DER SATZ ÜBER IMPLIZITE FUNKTIONEN 83

Die Bundes-Zentrale für politische Bildung stellt sich vor

Rekursionen. Georg Anegg 25. November Methoden und Techniken an Beispielen erklärt

Ein neuer Beweis, dass die Newton sche Entwicklung der Potenzen des Binoms auch für gebrochene Exponenten gilt

Handbuch zur Anlage von Turnieren auf der NÖEV-Homepage

Werte und Grundsätze des Berufskodexes für interkulturell Dolmetschende. Ethische Überlegungen: Was ist richtig? Wie soll ich mich verhalten?

Absolute Stetigkeit von Maßen

BIA-Wissensreihe Teil 4. Mind Mapping Methode. Bildungsakademie Sigmaringen

Kulturelle Evolution 12

DER SELBST-CHECK FÜR IHR PROJEKT

Kapitel 4 Die Datenbank Kuchenbestellung Seite 1

proles-login. Inhalt [Dokument: L / v1.0 vom ]

4. Versicherungsangebot

Unterrichtsformalitäten für Mathematik, 3. Klasse

Welchen Weg nimmt Ihr Vermögen. Unsere Leistung zu Ihrer Privaten Vermögensplanung. Wir machen aus Zahlen Werte

Umgekehrte Kurvendiskussion

1 topologisches Sortieren

Formale Sprachen und Grammatiken

Lösung Fall 8 Anspruch des L auf Lieferung von Panini á 2,-

Blog Camp Onlinekurs

Semantik von Formeln und Sequenzen

Gutes Leben was ist das?

Eva Douma: Die Vorteile und Nachteile der Ökonomisierung in der Sozialen Arbeit

Professionelle Seminare im Bereich MS-Office

Arbeit Leistung Energie

Transkript:

REKURSION UND DIE UNENDLICHKEITSFORDERUNG Geoffrey K. Pullum & Barbara C. Scholz 1. UNENDLICHKEIT ALS LINGUISTISCHE UNIVERSALIE In vielen kürzlichen Arbeiten stellten Linguisten die Unendlichkeit von Sätzen in menschlichen Sprachen als eine bewiesene linguistische Universalie dar. Lasnik (2000): (1) Unendlichkeit ist eine der fundamentalsten Eigenschaften menschlicher Sprachen, vielleicht die fundamentalste. Die Leute debattieren, welches die wahren Universalien der Sprache sind, aber unbestreitbar ist Unendlichkeit zentral. Epstein und Hornstein (2004): (2) Diese Eigenschaft von abstrakter Unendlichkeit charakterisiert jede menschliche Sprache; keine besteht aus einer endlichen Menge von Sätzen. Das unveränderte zentrale Ziel linguistischer Theorie seit den letzten 50 Jahren war und bleibt es, eine präzise, formale Charakterisierung dieser Eigenschaft zu geben und dann zu erklären, wie Menschen abstrakte linguistische Systeme entwickeln und nutzen. Yang (2006): (3) Rekursion taucht überall in der Sprache auf: Viele argumentieren, dass die Eigenschaft rekursiver Unendlichkeit vielleicht das definierende Kennzeichen unserer Sprachbegabung ist. Chomsky s Doktorvater Zellig Harris (1957): Obwohl die Probe der Sprache, aus welcher die Grammatik deriviert ist, natürlich endlich ist, wird die Grammatik, die all diese Sätze aus der Probe generiert, auch noch viele andere Sätze generieren unbegrenzt viele Sätze von unbegrenzter Länge. Wenn wir auf einer endlichen Sprache bestünden, würden wir in unsere Sprache viele willkürliche und numerische Konditionen aufnehmen müssen... Zeitgenössische Linguisten behandeln die Unendlichkeit als eine Eigenschaft der Sprachen selbst. 2. DAS STANDARD-ARGUMENT Das Standardargument beginnt mit unbestrittenen Fakten über die syntaktische Struktur gewisser Klassen von Ausdrücken. Von diesen aus zeichnet es eine mittelfristige Konklusion, dass es keine längste Äußerung geben kann. Danach folgt die Unendlichkeitsforderung. (I) Syntaktische Fakten (für das Englische): Es ist erwiesen, dass I exist ein deklarativer Satz ist und so auch I know that I exist und so auch I know that I know that I exist ; dass came in and went out eine VP- Koordination ist und so auch came in, turned round and went out etc; dass very nice eine Adjektivphrase ist und so auch very very nice und very very very nice ; und so weiter für andere Beispiele dieser Art.

Die mittelfristige Konklusion, von der gesagt wird, sie folge aus den Fakten in (I) ist in (II) formuliert: (II) No-Maximal-Length Forderung (NML) Für jede englische Äußerung gibt es eine andere Äußerung, die länger ist. Äquivalent: Es gibt keine englische Äußerung, die maximale Länge hat. Einige Linguisten geben eine stärkere Forderung, die (II) nach sich zieht: Sie fordern nicht nur, dass für jede Äußerung eine längere existiert, sondern dass man beginnend bei jedem beliebigen grammatikalischen Ausdruck einen immer längeren konstruieren kann, der auch grammatisch ist einfach, indem man ein Wort hinzufügt. Die endgültige Konklusion des Arguments ist dann (III): (III) Infinitude claim Die Sammlung aller grammatikalischen englischen Ausdrücke ist eine unendliche Menge! Präsentationen des Standardarguments, die (I)-(III) in verschiedenen Formen anwenden, können in vielen einführenden Texten zur Linguistik gefunden werden. z.b. Langacker (1973): (4) Es gibt keinen Satz, auf den man zeigen und sagen kann Aha! Das ist der längste Satz der Sprache. Für jeden Satz im Englischen wie in jeder anderen Sprache kann man einfach einen längeren finden, egal wie lang der ursprüngliche Satz ist. Die Menge wohlgeformter Sätze des Englischen ist unendlich und dasselbe gilt für jede andere Sprache. Stabler (1999): (7) Es scheint keinen längsten Satz zu geben und konsequenterweise keine maximal komplexe linguistische Struktur. Wir können schlussfolgern, dass menschliche Sprachen unendlich sind. 3. WIE DAS STANDARDARGUMENT FEHLSCHLÄGT Alle zitierten Linguisten scheinen sich auf den Schritt von (II) zu (III) zu konzentrieren. Es ist aber die Folgerung von (I) auf (II), die wirklich expliziert werden muss. 3.1. NICHT-INDUKTIVE GENERALISIERUNG, NICHT-MATHEMATISCHE INDUKTION Zuerst können wir jeden Vorschlag ablehnen, dass die Folgerung von (I) auf (II) eine induktive Generalisierung ist also eine Folgerung von einem Statement über gewisse Individuen zu einem Statement über alle Mitglieder einer Sammlung. Eine andere Möglichkeit wäre, dass (II) aus (I) mittels eines mathematischen Arguments geschlussfolgert werden kann. Pinker (1994): Mit derselben Logik, die zeigt, dass es eine unendliche Anzahl ganzer Zahlen gibt wann immer du denkst, du hast die größte Ganzzahl, addiere einfach 1 und du wirst eine andere haben muss es eine unendliche Anzahl von Sätzen geben.

Das folgt aber nur unter bestimmten arithmetischen Annahmen. Speziell brauchen wir 2 von Peano s Axiomen: das eine sagt, jede Ganzzahl hat einen Nachfolger und das andere sagt, dass sich verschiedene Zahlen nicht einen Nachfolger teilen können (injektive Nachfolger- Funktion). Also: Weder induktive Generalisierung noch mathematische Induktion kann die Folgerung von (I) auf (II) legitimieren! 3.2. ARGUMENTATION VIA GENERATIVER GRAMMATIK Es gibt eine enge Beziehung zwischen Argumenten mathematischer Induktion und der Theorie rekursiver Funktionen, da nämlich Mathematik dem generativen Grammatiksystem zugrunde liegt. Der enorme Einfluss generativer Grammatiken in den letzten 50 Jahren könnte einige Linguisten dazu geführt haben zu denken, dass eine generative Grammatik postuliert sein muss, um die Art von Daten in (I) zu repräsentieren es gibt einfach keine Alternativen. Wenn Daten, die Wiederholung von Modifizierern (very very very nice ) oder Wiederholung von Phraseneinbettung (I know that I know that I exist) involvieren, eine Repräsentation in Begriffen einer generativen Grammatik mit rekursiven Regeln verlangen würden, könnten Linguisten (II) auf diese Art folgern: Nur generative Grammatiken können die Daten repräsentieren, sodass wir annehmen müssen, dass ein linguistisch kompetentes menschliches Wesen mental eine rekursive Prozedur repräsentiert, die eine Unendlichkeit von Ausdrücken generiert (vgl. Chomsky 2002). So gibt es eine Bedeutung, in welcher menschliche Sprache unendlich viele Ausdrücke hat. Es gibt 2 Fehler in diesem Argument: a) Der weniger wichtige Fehler ist, dass die Annahme eines generativen Systems und sogar die Forderung nichttrivialer rekursiver Regeln nicht NML nach sich ziehen und also Unendlichkeit nicht garantieren. Es gibt generative Grammatiken (unendlich viele von ihnen), die rekursiven Gebrauch von nicht-nutzlosen Symbolen machen und dennoch keine unendlichen Mengen generieren. b) Der wichtigere Fehler ist der Fakt, dass generative Grammatiken nicht beauftragt sind, Daten wie in (I) zu repräsentieren! Es gibt alternative nicht-generative Wege Grammatiken zu formulieren, die mathematisch explizit sind - in der Hinsicht, dass sie eindeutig zwischen grammatischen und ungrammatischen Ausdrücken unterscheiden und alle strukturellen Eigenschaften modellieren, die für Wohlgeformtheit benötigt werden. Solche Konditionen sind vollkommen geeignet, Fakten wie in (I) zu repräsentieren. Aber sie sind nicht kompatibel mit irgendeiner Antwort auf die Frage, wie viele Wiederholungen eines Modifizierers ein Adjektiv haben kann oder wie tief Einbettung inhaltlicher Phrasen gehen darf oder wie viele Sätze es gibt! 3.3. INTERIMS-KONKLUSION

Zusammenfassend haben P&S in diesem Teil 4 Punkte erarbeitet: 1. Die Folgerung von (I) zu (II) ist keine überzeugende induktive Generalisierung. 2. Sie kann als folgerndes Argument (mathematische Induktion von Ganzzahlen) nur repräsentiert werden, wenn man dies komplett zirkulär tut. 3. Die Forderung, dass menschliche Sprachen von generativen Grammatiken mit rekursiven Regelsystemen modelliert sind, garantiert Unendlichkeit nicht. 4. Es ist nicht nötig, generative Grammatiken dahingehend zu bearbeiten, dass sie die Daten in (I) modellieren es gibt andere Arten völlig expliziter Grammatiken, die unabhängig davon sind, wie viele Ausdrücke es gibt. 4. DIE UNBEUGSAME VERLOCKUNG DES STANDARDARGUMENTS Wenn das Standardargument fehlschlägt, so taucht natürlich die Frage auf, wieso seine Konklusion für so viele Linguisten so verlockend ist. 4.1. DIE ANSICHT, DASS SPRACHEN KOLLEKTIONEN SIND universelle Voraussetzung: eine Sprache ist adäquat sofern sie eine theoretische Rekonstruktion als Kollektion von Ausdrücken ist. Die fortwährende Anziehung der Idee, dass Sprachen unendlich sind, ist zumindest Teil eines ungerechtfertigten Relikts der mathematischen Ursprünge generativer Grammatik. 4.2. DAS PHÄNOMEN LINGUISTISCHER KREATIVITÄT Chomsky (1980): die Regeln der Grammatik müssen sich in einer Art wiederholen, um eine unendliche Zahl von Sätzen zu generieren jeder mit seinem speziellen Klang, Struktur und Bedeutung. Wir benutzen diese rekursive Eigenschaft der Grammatik konstant im täglichen Leben. Wir konstruieren neue Sätze frei und nutzen sie zu angemessenen Anlässen Lasnik (2000): Die Fähigkeit neue Sätze zu produzieren und zu verstehen ist intuitiv mit der Idee der Unendlichkeit verwandt. Aber: Die Unendlichkeit der Menge aller grammatikalischen Äußerungen ist weder nötig noch ausreichend, um linguistische Kreativität zu beschreiben oder zu erklären! 4.3. DIE KRITIK DER ASSOZIATIONS-PSYCHOLOGIE Ein Schlüsselbegriff gegen Sichtweisen einer unendlichen Sprache war, dass diese nie betrachtet werden kann für menschliche linguistische Fähigkeiten. Denn es könne nie erklärt werden, wie Menschen unendliche Sprachen lernen, nutzen oder verstehen könnten.

Kurz gesagt: Assoziationspsychologie ist weitestgehend unberührt von der Unendlichkeitsforderung. 5. SCHLUSSFOLGERNDE BEMERKUNGEN Offene Fragen bleiben und diese Fragen können nicht von dogmatischen Beteuerungen, dass Unendlichkeit ein Merkmal jeder menschlichen Sprache ist, beantwortet werden. Generative Linguistik steht und fällt nicht mit der Unendlichkeitsforderung. P&S geht es darum, dass der Gebrauch einer Regelanwendung analog zur Rekursion in Grammatiken nicht Unendlichkeit menschlicher Sprachen zur Folge hat. Und Unendlichkeit bietet keine unabhängige Evidenz dafür, dass menschliche Sprachen eine rekursive generative Grammatik haben müssen. Unendlichkeit der Sprache ist also kein Grund, ein generatives Grammatiksystem anzunehmen. Sie ist nur eine theoretische Konsequenz, die unter bestimmten Konditionen auftaucht, wenn man ein solches System annimmt!

Dieses Dokument wurde mit Win2PDF, erhaeltlich unter http://www.win2pdf.com/ch Die unregistrierte Version von Win2PDF darf nur zu nicht-kommerziellen Zwecken und zur Evaluation eingesetzt werden.