Zitat und Selbstbezug
|
|
- Mathilde Brodbeck
- vor 6 Jahren
- Abrufe
Transkript
1 Elke Brendel Philosophisches Seminar
2 Die vier Formen sprachlichen Selbstbezugs 1. Der angeführte Ausdruck bezeichnet sich selbst (Bildhaftigkeit). 2. Ein Prädikatausdruck wird auf sich selbst angewendet. 3. Ein Satz ist Prädikation seiner selbst. 4. Ein universeller Satz ist Einsetzungsinstanz seiner selbst.
3 1. Der angeführte Ausdruck bezeichnet sich selbst (Bildhaftigkeit) Gottlob Frege Eine Anführung bildet ihr eigenes Denotat ab. A quotation-mark name refers to its interior (Quine) A quotation somehow pictures what it is about. (Davidson) Man sieht es einem Anführungsausdruck unmittelbar an, was er bezeichnet. Wer die Ausdrücke einer Sprache identifizieren kann und die Konvention der Anführungszeichen kennt, weiß auch schon (ohne die Ausdrücke zu verstehen), was ein Anführungsausdruck bezeichnet. Ein Anführungsausdruck ist dem, was er bezeichnet, gestaltähnlich. (Harth)
4 Durch die Bildhaftigkeit wird die systematische Unterscheidung zwischen Erwähnen und Verwenden von Ausdrücken sowie die Auffassung, dass Anführungsausdrücke den logischen Status von singulären Termini besitzen, motiviert: (1a) Hans ist einsilbig. (1b) Hans ist einsilbig. (2a) Maria liebt Mario. (2b) Maria liebt Mario. Bei gemischten Zitaten liegt jedoch eine simultane Erwähnung und Verwendung eines Ausdrucks vor: (3) Alina sagte, dass dieses Kunstwerk schwer zu verstehen ist. Werden Anführungsausdrücke stets als singuläre Termini verstanden, wäre (3) ungrammatisch, da (3) dann denselben logischen Status hätte wie: *(3) Alina sagte, dass dieses Kunstwerk Manhattan. (Vgl. Cappelen/Lepore (1997), 437f.)
5 Bildhaftigkeit scheint zunächst nur eine Eigenschaft von reinen Zitaten zu sein. Bei scare quotes oder Greengrocer s quotes (vgl. Abbott (2005), 22f.) liegt überhaupt keine sprachliche Bezugnahme auf Ausdrücke vor. Dieses Kunstwerk ist schwer zu verstehen. Please use other door. We are closed.
6 Selbst bei reinen Zitaten gibt es unterschiedliche Formen der Bildhaftigkeit, da es verschiedene Hinsichten gibt, die Gestaltähnlichkeit von Anführungsausdruck und dem, was er bezeichnet, zu betrachten. Beispiele: 1. Frege besteht aus fünf Buchstaben. (Orthografie) 2. Philosopher hat im Englischen die Betonung auf der zweiten Silbe. (Aussprache) 3. FREGE ist in Grossbuchstaben geschrieben. (Schrift- oder Druckart) 4. Rennen ist ein Verb in Infinitiv-Form. (Grammatische Form) 5. Morgenstern und Abendstern haben dieselbe Bedeutung. (Semantischer Inhalt) Eine systematische sprachphilosophische Analyse des Phänomens der Bildhaftigkeit in reinen Zitaten steht noch aus.
7 Der logische Status von Anführungszeichen Gemeinsamkeiten von Anführungsausdrücken und Eigennamen: Referentielle Undurchsichtigkeit: Ausdrücke innerhalb von Anführungszeichen lassen sich durch referentielle Quantoren nicht binden. Beispielsweise bindet in der Aussage x(x x ) der Existenzquantor nur das erste Vorkommnis von x und nicht das innerhalb von Anführungszeichen stehende x. Nicht-Extensionalität: Substitutionen extensionsgleicher Ausdrücke salva veritate innerhalb von Anführungszeichen sind generell nicht möglich. So führt etwa die wahre Aussage: Peter Bieri ist ein nicht ungewöhnlicher Schweizer Name. durch die Substitution von Peter Bieri durch den extensionsgleichen Ausdruck Pascal Mercier zu der falschen Aussage Pascal Mercier ist ein nicht ungewöhnlicher Schweizer Name.
8 Der logische Status von Anführungszeichen Unterschiede von Anführungsausdrücken und Eigennamen: Anführungsausdrücke weisen eine innere logische Struktur auf: Sie bestehen aus den Anführungszeichen und dem innerhalb der Anführungszeichen stehenden Ausdruck. Anführungsausdrücke lassen sich systematisch generieren, indem wir einen Ausdruck der Sprache in Anführungszeichen setzen und auf diese Weise einen neuen sprachlichen Ausdruck erzeugen, dessen Bedeutung wir aufgrund der schon erwähnten Bildhaftigkeit der Anführung unmittelbar verstehen. Im Unterschied zu Eigennamen finden sich daher für Anführungsausdrücke keine Lexikoneinträge.
9 Der logische Status von Anführungszeichen Unterschiede von Anführungsausdrücken und Eigennamen: Substitutionelles Quantifizieren innerhalb von Anführungszeichen: Angeführte Ausdrücke können als freie Ausdrucksvariablen interpretiert und durch substitutionelle Quantoren gebunden werden. Beispiel: (*) Es gibt (Eigenschaftsausdrücke) F, so dass gilt F ist (hat die Eigenschaft) F. Wahre Einsetzungsinstanz für (*) bei substitutioneller Deutung des Existenzquantors: Dreisilbig ist dreisilbig. Wahre Einsetzungsinstanz bei referentieller Deutung: F besteht aus einem Buchstaben. Anführungsausdrücke zumindest in reinen Zitaten haben somit den logischen Status von singulären Termen, sie sind jedoch nicht mit Eigennamen zu identifizieren, da sie offenbar eine innere logische Struktur aufweisen und substitutionelle Quantifikationen innerhalb von Anführungskontexten möglich sind.
10 2. Anwendung eines Prädikatausdrucks auf sich selbst Ist ein Ausdruck der deutschen Sprache ist ein Ausdruck der deutschen Sprache. Besteht aus vier Wörtern besteht aus vier Wörtern. Ist ein Prädikatausdruck ist ein Prädikatausdruck. Dreisilbig ist dreisilbig.
11 2. Anwendung eines Prädikatausdrucks auf sich selbst Die Grelling-Paradoxie (HET) Für alle (einstelligen) Prädikatausdrücke x gilt: x ist genau dann heterologisch, wenn x nicht die Eigenschaft besitzt, die durch x ausgedrückt wird. Da heterologisch selbst ein (einstelliger) Prädikatausdruck ist, können wir heterologisch für x in obiger Allaussage einsetzen, und erhalten: Heterologisch ist genau dann heterologisch, wenn heterologisch nicht die Eigenschaft besitzt, die durch heterologisch ausgedrückt wird. Dass heterologisch nicht die Eigenschaft besitzt, die durch heterologisch ausgedrückt wird, bedeutet aber, dass heterologisch nicht heterologisch ist, und wir erhalten den Widerspruch: Heterologisch ist genau dann heterologisch, wenn heterologisch nicht heterologisch ist.
12 3. Ein Satz ist Prädikation seiner selbst Logische Struktur von selbstreferentiellen Argumenten mit Sätzen, die Prädikation ihrer selbst sind Sei B(y) eine Formel (ein offener Satz) einer gegebenen Theorie T, in der nur die Variable y frei vorkommt. Der folgende Satz: A B( A ) führt dann zu widersprüchlichen Resultaten innerhalb von T. Die Theorie T muss daher in ihren gegenwärtigen Form zurückgewiesen werden. (Wobei A ein Satz von T ist, und B( A ) derjenige Satz ist, der durch Substitution von y durch A in B(y) entsteht.)
13 3. Ein Satz ist Prädikation seiner selbst Die Lügner-Antinomie L Wahr( L ) Die Wissensparadoxie (*) G K S ( G ) (wobei K für das Prädikat des Wissens und S für ein epistemisches Subjekt steht, und G für den selbstbezüglichen Satz steht) Argument gegen die Existenz eines allwissenden Wesens (**) S ist genau dann allwissend, wenn gilt: A K S ( A ) für alle Sätze A. Annahme: S* sei allwissend. Wenn G wahr wäre, würde S* wissen, dass G. Aus K S* ( G ) zusammen mit (*) folgt nun G. Wenn jedoch G falsch wäre, würde S* nicht wissen, dass G dies ist aber nach (*) genau das, was G aussagt, d.h. G wäre dann also wahr. Da wir also den Widerspruch G G aus der Annahme der Allwissenheit von S* deduziert haben, kann S* nicht allwissend sein.
14 4. Ein universeller Satz ist Einsetzungsinstanz seiner selbst Logische Struktur von Selbstanwendungsargumenten mit universellen Sätzen, die Einsetzungsinstanz ihrer selbst sind: A ist ein Satz (z.b. eine Definition, ein Axiom, ein Gesetz, eine These) der Theorie T und besitzt die folgende Form einer Allaussage: (A) Für alle Sätze x [von der Art K sind] gilt: B(x). A ist selbst ein Satz [von der Art K]. Deshalb gilt: B( A ). B( A ) führt jedoch zu widersprüchlichen Resultaten innerhalb von T. Die Theorie T muss daher in ihrer gegenwärtigen Form zurückgewiesen werden. (Wobei B(x) eine Formel ist, in der x frei vorkommt, und B( A ) resultiert aus B(x) durch die Substitution von A für x in B(x).)
15 4. Ein universeller Satz ist Einsetzungsinstanz seiner selbst Bsp. 1: Selbstanwendungsargument gegen Logischen Empirismus (VPB) Für alle Propositionen p gilt: p ist genau dann (kognitiv) bedeutungsvoll, wenn (i) p entweder analytisch wahr oder analytisch falsch ist, oder (ii) p durch Beobachtung bestätigt oder widerlegt werden kann. (VPB) ist selbst eine Proposition. (VPB) ist jedoch weder analytisch wahr oder falsch, noch lässt sich (VPB) mittels Beobachtung empirisch bestätigen oder widerlegen. (VPB) müsste daher als kognitiv gehaltlose Aussage angesehen werden. Damit kann jedoch der Logische Empirismus seine eigene zentrale These nicht durch eine kognitiv bedeutungsvolle Aussage ausdrücken. Der Logische Empirismus erscheint somit unhaltbar, da er sich gewissermaßen mit seinen eigenen Waffen schlägt.
16 4. Ein universeller Satz ist Einsetzungsinstanz seiner selbst Bsp. 2: Selbstanwendungsargument gegen Kontextualismus (KON) Alle Wissensaussagen sind kontextabhängig. Es scheint nun aber, dass auch (KON) selbst eine Aussage über Wissen darstellt, und somit selbst kontextabhängig sein müsste, d.h. es müsste gelten: Alle Wissensaussagen sind kontextabhängig ist kontextabhängig. Der Kontextualist beansprucht aber natürlich die kontextunabhängige allgemeine Gültigkeit der zentralen These seiner eigenen Theorie.
17 Fazit Anführung ist ein für menschliche Kommunikation wichtiges Mittel der sprachlichen Bezugnahme auf Sprache, das verschiedene Formen des sprachlichen Selbstbezugs erzeugen kann. Der Unterschied zwischen Verwenden und Erwähnen sprachlicher Ausdrücke macht sich vor allem daran fest, dass angeführte und damit erwähnte Ausdrücke sich selbst bezeichnen. Diese, oft auch als Bildhaftigkeit bezeichnete Eigenschaft von Anführungen, ist die erste und grundlegendste Form von Selbstbezug im Zusammenhang mit Anführungen.
18 Fazit Für eine Anführungstheorie zur Beschreibung reiner Zitate ist die Eigenschaft der Bildhaftigkeit und die systematische Trennung von Verwenden und Erwähnen sprachlicher Ausdrücke wesentlich. Eine systematische Untersuchung der verschiedenen Formen der Bildhaftigkeit steht allerdings noch aus.
19 Fazit Anführungskomplexe in reinen Zitaten haben den logischen Status von singulären Termini. Sie weisen im Unterschied zu Eigennamen eine ganz spezifische innere Struktur auf, sie lassen sich aus beliebigen Ausdrücken durch das Setzen von Anführungszeichen systematisch und in beliebiger Komplexität generieren, und substitutionelles Quantifizieren innerhalb von Anführungszeichen ist möglich. Durch die Einführung von substitutionellen Variabeln und substitutionellen Quantoren wird diesen spezifischen Eigenschaften von Anführungen in Anführungslogiken Rechnung getragen.
20 Fazit Erst wenn man Anführungskomplexen in diesem Sinne als selbstdenotierende singuläre Termini auffasst, lassen sich drei weitere wichtige Formen des sprachlichen Selbstbezugs beschreiben: Sprachlicher Selbstbezug liegt auch dann vor, wenn ein Prädikatausdruck auf sich selbst angewendet wird, oder wenn ein Satz Prädikation seiner selbst ist, oder wenn ein universeller Satz Einsetzungsinstanz seiner selbst ist. Diese drei weiteren Formen des sprachlichen Selbstbezugs werden oftmals in philosophischen Diskussionen dazu benutzt, Paradoxien zu erzeugen bzw. durch den Nachweis innerer Widersprüchlichkeiten bestimmte Theorien ad absurdum zu führen. Die Grelling-Antinomie ist ein Beispiel für eine Selbstanwendung eines Prädikatausdrucks. Sie lässt sich jedoch durch eine Trennung von objektsprachlichen und semantischmetasprachlichen Ausdrücken überwinden.
21 Fazit Die aufgezeigten allgemeinen formalen Strukturen von selbstreferentiellen Argumenten mit Sätzen, die Prädikation ihrer selbst sind und von Selbstanwendungsargumenten mit universellen Sätzen, die Einsetzungsinstanzen ihrer selbst sind, haben die Bedingungen aufgedeckt, die bei der erfolgreichen Anwendung dieser Argumente erfüllt sein müssen. Ob diese Bedingungen tatsächlich erfüllt sind, muss jeweils kritisch überprüft werden. Wenn jedoch diese Bedingungen erfüllt sind, dann sind beide Arten von selbstbezüglichen Argumenten sehr schlagkräftige Instrumente, um eine bestehende philosophische Theorie T zu widerlegen.
22 Fazit Eine formale Theorie der Anführung sollte diese verschiedenen Formen des sprachlichen Selbstbezugs zu formulieren erlauben, da sie wichtige argumentative Mittel der menschlichen Kommunikation darstellen. Da die sprachliche Bezugnahme auf Sprache und die sich daraus ergebenden Möglichkeiten sprachlichen Selbstbezugs nicht in allen Formen des Zitierens vorliegen, scheint die Konzeption einer systematisch einheitlichen universellen Zitattheorie jedoch äußerst fraglich zu sein.
Hauptseminar. Zitat und Bedeutung. Elke Brendel, Jörg Meibauer & Markus Steinbach. Philosophisches Seminar Deutsches Institut
Hauptseminar Zitat und Bedeutung Elke Brendel, Jörg Meibauer & Markus Steinbach Philosophisches Seminar Deutsches Institut Themenübersicht Einige einführende Beispiele Philosophische Aspekte einer Theorie
MehrWas es gibt und wie es ist
Was es gibt und wie es ist Dritte Sitzung Existenzfragen 0. Zur Erinnerung Benjamin Schnieder Philosophisches Seminar der Universität Hamburg 0 1 Was ist die Ontologie? Platons Bart Eine Standard-Antwort
Mehr7 Gültigkeit und logische Form von Argumenten
7 Gültigkeit und logische Form von Argumenten Zwischenresümee 1. Logik ist ein grundlegender Teil der Lehre vom richtigen Argumentieren. 2. Speziell geht es der Logik um einen spezifischen Aspekt der Güte
MehrAussagenlogik zu wenig ausdrucksstark für die meisten Anwendungen. notwendig: Existenz- und Allaussagen
Prädikatenlogik 1. Stufe (kurz: PL1) Aussagenlogik zu wenig ausdrucksstark für die meisten Anwendungen notwendig: Existenz- und Allaussagen Beispiel: 54 Syntax der Prädikatenlogik erster Stufe (in der
MehrWas kann PL? Klassische Analyse Prädikat Qualitätsanzeiger (am Prädikat) Der Weihnachtsmann existiert nicht.
1 Philosophisches Problem: Gibt es den Weihnachtsmann? 2 Was kann PL? 1. Die Formulierung von Thesen präzisieren, z.b. (Ü 11): Zwischen zwei Zeitpunkten liegt immer noch ein dritter wird zu x [ y [F x
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
MehrParadoxien der Replikation
Joachim Stiller Paradoxien der Replikation Alle Rechte vorbehalten Paradoxien Die Paradoxien (Wiki) Hier einmal Auszüge aus dem Wiki-Artikel zum Begriff Paradoxon Ein Paradox(on) (auch Paradoxie, Plural
MehrMathematischer Vorkurs
Mathematischer Vorkurs Dr. Agnes Lamacz Mathematischer Vorkurs TU Dortmund Seite 1 / 170 Kapitel 11 Aussageformen Mathematischer Vorkurs TU Dortmund Seite 103 / 170 11.1 Denition: Aussageformen Eine Aussageform
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
MehrElementare Mengenlehre
Vorkurs Mathematik, PD Dr. K. Halupczok WWU Münster Fachbereich Mathematik und Informatik 5.9.2013 Ÿ2 Elementare Mengenlehre Der grundlegendste Begri, mit dem Objekte und Strukturen der Mathematik (Zahlen,
MehrMathematik 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
MehrChristian Nimtz // 2 Freges theoretischer Begriff der Bedeutung F. Klassische Fragen der Sprachphilosophie
Programm Christian Nimtz www.nimtz.net // lehre@nimtz.net Klassische Fragen der Sprachphilosophie 1 Zur Erinnerung: Wo wir stehen 2 Freges theoretischer Begriff der Bedeutung F Kapitel 3: Freges referezielle
MehrTerme 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
MehrAnselm von Canterbury
Anselm von Canterbury *1034 in Aosta/Piemont Ab 1060 Novize, dann Mönch der Benediktinerabtei Bec ab 1078: Abt des Klosters von Bec 1093: Erzbischof von Canterbury *1109 in Canterbury 1076 Monologion (
MehrRhetorik 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
MehrVorkurs: 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
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!
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
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
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)
Mehr4. AUSSAGENLOGIK: SYNTAX. Der Unterschied zwischen Objektsprache und Metasprache lässt sich folgendermaßen charakterisieren:
4. AUSSAGENLOGIK: SYNTAX 4.1 Objektsprache und Metasprache 4.2 Gebrauch und Erwähnung 4.3 Metavariablen: Verallgemeinerndes Sprechen über Ausdrücke von AL 4.4 Die Sprache der Aussagenlogik 4.5 Terminologie
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
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
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
Mehr1 Zur Erinnerung: Freges referenzielle Semantik. Christian Nimtz // 2 Das Argument vom Erkenntniswert
Programm Christian Nimtz www.nimtz.net // lehre@nimtz.net Klassische Fragen der Sprachphilosophie Kapitel 4: Frege über Sinn und Bedeutung[ F] 1 Zur Erinnerung: Freges referenzielle Semantik 2 Das Argument
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
MehrEine Aussage kann eine Eigenschaft für ein einzelnes, konkretes Objekt behaupten:
Aussagen Aussagen Eine Aussage kann eine Eigenschaft für ein einzelnes, konkretes Objekt behaupten: verbale Aussage formale Aussage Wahrheitswert 1) 201 ist teilbar durch 3 3 201 wahre Aussage (w.a.) 2)
MehrLogisches und Widersprüchliches
Logisches und Widersprüchliches Manfred Dobrowolski Universität Würzburg Logisches und Widersprüchliches 1 Wahr oder falsch? 2 Antinomien 3 Logik-Rätsel 4 Paradoxien 5 Die Umkehr der Höflichkeit Aussagen
MehrMai 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
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
MehrJürgen Pafel Version: April Quantifikation
Jürgen Pafel Version: April 2014 Quantifikation Die Quantifikation ist die zweite grundlegende Form der Prädikation neben der einfachen Prädikation. Sie enthält mit den Quantoren eine Klasse von Ausdrücken,
Mehr3. Sätze und Formeln
Klaus Mainzer, Die Berechnung der Welt. Von der Weltformel zu Big Data, München 2014 29.07.14 (Verlag C.H. Beck, mit zahlreichen farbigen Abbildungen, geb. 24,95, S.352) (empfohlene Zitierweise: Detlef
MehrEinführung in die Logik
Einführung in die Logik Prof. Dr. Ansgar Beckermann Wintersemester 2001/2 Allgemeines vorab Wie es abläuft Vorlesung (Grundlage: Ansgar Beckermann. Einführung in die Logik. (Sammlung Göschen Bd. 2243)
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
Mehr1 Quine gegen traditionelle Bedeutungstheorie. Christian Nimtz //
Programm Christian Nimtz www.nimtz.net // lehre@nimtz.net Klassische Fragen der Sprachphilosophie 1 Quine gegen die traditionelle Bedeutungstheorie 2 Quines Zirkeleinwand 3 Quines Holismuseinwand 4 Quines
MehrMathem.Grundlagen der Computerlinguistik I, WS 2004/05, H. Leiß 1
Mathem.Grundlagen der Computerlinguistik I, WS 2004/05, H. Leiß 1 1 Vorbemerkungen Mathematische Begriffe und Argumentationsweisen sind in vielen Fällen nötig, wo man über abstrakte Objekte sprechen und
MehrPhilosophische Semantik
Wir behaupten, daß es möglich ist, daß zwei Sprecher genau im selben Zustand (im engen Sinne) sind, obwohl die Extension von A im Ideolekt des einen sich von der Extension von A im Ideolekt des anderen
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
MehrFrage 8.3. Wozu dienen Beweise im Rahmen einer mathematischen (Lehramts-)Ausbildung?
8 Grundsätzliches zu Beweisen Frage 8.3. Wozu dienen Beweise im Rahmen einer mathematischen (Lehramts-)Ausbildung? ˆ Mathematik besteht nicht (nur) aus dem Anwenden auswendig gelernter Schemata. Stattdessen
MehrFabian 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
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
MehrDonnerstag, 11. Dezember 03 Satz 2.2 Der Name Unterraum ist gerechtfertigt, denn jeder Unterraum U von V ist bzgl.
Unterräume und Lineare Hülle 59 3. Unterräume und Lineare Hülle Definition.1 Eine Teilmenge U eines R-Vektorraums V heißt von V, wenn gilt: Unterraum (U 1) 0 U. (U ) U + U U, d.h. x, y U x + y U. (U )
MehrLogische und funktionale Programmierung
Logische und funktionale Programmierung Vorlesung 2: Prädikatenkalkül erster Stufe Babeş-Bolyai Universität, Department für Informatik, Cluj-Napoca csacarea@cs.ubbcluj.ro 14. Oktober 2016 1/38 DIE INTERPRETATION
MehrWissenschaftliches Arbeiten
Teil 7: Argumentieren und Begründen 1 Grundregel: Spezifisch argumentieren Wissenschaftliches Arbeiten Nie mehr zeigen, als nötig oder gefragt ist. Sonst wird das Argument angreifbar und umständlich. Schwammige
MehrInformationsverarbeitung auf Bitebene
Informationsverarbeitung auf Bitebene Dr. Christian Herta 5. November 2005 Einführung in die Informatik - Informationsverarbeitung auf Bitebene Dr. Christian Herta Grundlagen der Informationverarbeitung
MehrSyntax - 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................................
MehrProf. Dr. Tim Henning
Prof. Dr. Tim Henning Vorlesung Einführung in die Metaethik 127162001 Mittwoch, 11.30-13.00 Uhr M 18.11 19.10.2016 PO 09 / GymPO PO 14 / BEd 1-Fach-Bachelor: BM4 KM2 Bachelor Nebenfach (neu): KM2 KM2 Lehramt:
MehrMetaphysik und die gegenwärtige Metaphysik. Quine über Existenz (Woche 14: )
TU Dortmund, Wintersemester 2010/11 Institut für Philosophie und Politikwissenschaft C. Beisbart Aristoteles Metaphysik und die gegenwärtige Metaphysik 1. Einführung Quine über Existenz (Woche 14: 24.-25.1.2011)
MehrMaterialistische (physikalistische, naturalistische) Theorieansätze zum ontologischen Status von Bewusstsein
2 Materialistische (physikalistische, naturalistische) Theorieansätze zum ontologischen Status von Bewusstsein 1. Der logische Behaviourismus Hauptvertreter: Gilbert Ryle, Carl Gustav Hempel Blütezeit:
MehrFoucaults "Was ist ein Autor" und "Subjekt und Macht"
Geisteswissenschaft Nicole Friedrich Foucaults "Was ist ein Autor" und "Subjekt und Macht" Eine Annäherung Essay Friedrich Alexander Universität Erlangen Nürnberg Lektürekurs Foucault Sommersemester 2011
MehrDie analytische Tradition
Die analytische Tradition lingustic turn : Wende von der Bewusstseins- zur Sprachphilosophie ab Ende des 19. bzw. Beginn des 20. Jahrhunderts Die analytische Tradition Die Philosophie ist ein Kampf gegen
MehrSS April Übungen zur Vorlesung Logik Blatt 1. Prof. Dr. Klaus Madlener Abgabe bis 27. April :00h
SS 2011 20. April 2011 Übungen zur Vorlesung Logik Blatt 1 Prof. Dr. Klaus Madlener Abgabe bis 27. April 2011 10:00h 1. Aufgabe: [strukturelle Induktion, Übung] Zeigen Sie mit struktureller Induktion über
MehrHauptseminar Information, Struktur, Bedeutung WS 2007/2008
Mi (3) [11:10 12:40] BZW A 418 Mi (4) [13:00 14:30] Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Holm Bräuer M.A. Hauptseminar WS 2007/08 Büro: BZW A 416 Sprechstunde:
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
MehrInhalt. 2. Fragestellung... 21
Inhalt 1. Hinführung und Vorbemerkungen............................... 12 1.1 «E hoch Dings»: Zum Gegenstand dieser Arbeit................. 12 1.2 Disziplinäre Ausrichtung...................................
MehrPhysikalismus. Vorlesung: Was ist Naturalismus? FS 13 / Di / Markus Wild & Rebekka Hufendiek. Sitzung 7 ( )
Physikalismus Vorlesung: Was ist Naturalismus? FS 13 / Di 10-12 / Markus Wild & Rebekka Hufendiek Sitzung 7 (26.3.13) Physikalismus? Allgemeine metaphysische These (Metaphysica generalis): Alles, was existiert,
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
Mehr( ) ( ). Dann heißt die Zahl
Der Euklidische Abstand Seite 1 von 6 Der Euklidische Abstand Der Abstand zweier Punkte P und Q in der Modellebene ist eine Zahl, die von den Koordinaten der Punkte abhängt. Der Term, mit dem die Berechnung
Mehr1 Mengen und Aussagen
$Id: mengen.tex,v 1.2 2010/10/25 13:57:01 hk Exp hk $ 1 Mengen und Aussagen Der wichtigste Grundbegriff der Mathematik ist der Begriff einer Menge, und wir wollen damit beginnen die klassische, 1878 von
MehrFormale Methoden 1. Gerhard Jäger 23. Januar Uni Bielefeld, WS 2007/2008 1/18
1/18 Formale Methoden 1 Gerhard Jäger Gerhard.Jaeger@uni-bielefeld.de Uni Bielefeld, WS 2007/2008 23. Januar 2008 2/18 Das Pumping-Lemma Sein L eine unendliche reguläre Sprache über ein endliches Alphabet
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 [
MehrDiskrete Strukturen Kapitel 2: Grundlagen (Beweise)
WS 2014/15 Diskrete Strukturen Kapitel 2: Grundlagen (Beweise) Hans-Joachim Bungartz Lehrstuhl für wissenschaftliches Rechnen Fakultät für Informatik Technische Universität München http://www5.in.tum.de/wiki/index.php/diskrete_strukturen_-_winter_14
MehrHilary Putnam. Für die Erkenntnistheorie wichtige Schriften (Auswahl) The Meaning of Meaning (1975) Putnam I ( metaphysischer.
Hilary Putnam *1926 in Chicago lebt ab 1927 mit seiner Familie in Paris 1934 Rückkehr in die USA 1944-48 Studium der Mathematik und Philosophie an der University of Pennsylvania 1948-49 Graduiertenstudium
MehrWeitere Beweistechniken und aussagenlogische Modellierung
Weitere Beweistechniken und aussagenlogische Modellierung Vorlesung Logik in der Informatik, HU Berlin 2. Übungsstunde Aussagenlogische Modellierung Die Mensa versucht ständig, ihr Angebot an die Wünsche
MehrGleichungen, Ungleichungen, Beträge
KAPITEL 2 Gleichungen, Ungleichungen, Beträge Man bestimme alle reellen Lösungen der Gleichung x + 2 x 2 4 = 1. Nach Multiplikation beider Seiten mit x 2 4 ergibt sich die quadratische Gleichung x + 2
MehrElementare Beweismethoden
Elementare Beweismethoden Christian Hensel 404015 Inhaltsverzeichnis Vortrag zum Thema Elementare Beweismethoden im Rahmen des Proseminars Mathematisches Problemlösen 1 Einführung und wichtige Begriffe
MehrKapitel 1. Grundlagen
Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig
MehrGeisteswissenschaft. Carolin Wiechert. Was ist Sprache? Über Walter Benjamins Text Über Sprache überhaupt und über die Sprache des Menschen.
Geisteswissenschaft Carolin Wiechert Was ist Sprache? Über Walter Benjamins Text Über Sprache überhaupt und über die Sprache des Menschen Essay Veranstaltung: W. Benjamin: Über das Programm der kommenden
MehrStudienmaterial Einführung in das Rechnen mit Resten
Studienmaterial Einführung in das Rechnen mit Resten H.-G. Gräbe, Institut für Informatik, http://www.informatik.uni-leipzig.de/~graebe 12. April 2000 Die folgenden Ausführungen sind aus Arbeitsmaterialien
MehrKapitel 1. Grundlagen Mengen
Kapitel 1. Grundlagen 1.1. Mengen Georg Cantor 1895 Eine Menge ist die Zusammenfassung bestimmter, wohlunterschiedener Objekte unserer Anschauung oder unseres Denkens, wobei von jedem dieser Objekte eindeutig
MehrDas Kompositionalitätsprinzip
Das Kompositionalitätsprinzip (Version 1.0) Seminar Kompositionalität, 2005 1 Das Kompositionalitätsprinzip (Version 1.0) Die Bedeutung eines komplexen Ausdrucks ist durch die Bedeutung seiner Teile bestimmt
MehrDas Aktantenpotenzial beschreibt die Möglichkeit eines Verbs andere Wörter an
1 2 Das Aktantenpotenzial beschreibt die Möglichkeit eines Verbs andere Wörter an sich zu binden, nämlich die Aktanten. Aktant ist demzufolge ein Begriff, der für die Valenzpartner eines Verbs auf der
MehrResolutionsalgorithmus
112 Resolutionskalkül Mit dem Begriff Kalkül bezeichnet man eine Menge von syntaktischen Umformungsregeln, mit denen man semantische Eigenschaften der Eingabeformel herleiten kann. Für den Resolutionskalkül:
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
MehrDIE SPRACHE DER WAHRSCHEINLICHKEITEN
KAPITEL 1 DIE SPRACHE DER WAHRSCHEINLICHKEITEN Es ist die Aufgabe der ersten drei Kapitel, eine vollständige Beschreibung des grundlegenden Tripels (Ω, A, P) und seiner Eigenschaften zu geben, das heutzutage
MehrMotivation. Formale Grundlagen der Informatik 1 Kapitel 19. Syntax & Semantik. Motivation - Beispiel. Motivation - Beispiel
Motivation Formale Grundlagen der Informatik 1 Kapitel 19 & Die ist eine Erweiterung der Aussagenlogik. Sie hat eine größere Ausdrucksstärke und erlaub eine feinere Differenzierung. Ferner sind Beziehungen/Relationen
MehrAussagenlogik. Aussagen und Aussagenverknüpfungen
Aussagenlogik Aussagen und Aussagenverknüpfungen Aussagen sind Sätze, von denen sich sinnvollerweise sagen läßt, sie seien wahr oder falsch. Jede Aussage besitzt also einen von zwei möglichen Wahrheitswerten,
MehrKlausur zur Vorlesung Mathematische Logik
Universität Heidelberg 13. Februar 2014 Institut für Informatik Prof. Dr. Klaus Ambos-Spies Dipl.-Math. Thorsten Kräling Klausur zur Vorlesung Mathematische Logik Musterlösung Aufgabe 1 (Aussagenlogik
MehrMathematik 1 für Informatiker und Wirtschaftsinformatiker Wintersemester 07/08 (Winkler) Musterprüfung mit Lösungen
Mathematik für Informatiker und Wirtschaftsinformatiker Wintersemester 07/08 (Winkler Musterprüfung mit Lösungen. Sei T N. (a Unter welchen beiden Voraussetzungen an T garantiert das Induktionsaxiom (nach
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
MehrKapitel 2 MENGENLEHRE
Kapitel 2 MENGENLEHRE In diesem Kapitel geben wir eine kurze Einführung in die Mengenlehre, mit der man die ganze Mathematik begründen kann. Wir werden sehen, daßjedes mathematische Objekt eine Menge ist.
Mehrmathe plus Aussagenlogik Seite 1
mathe plus Aussagenlogik Seite 1 1 Aussagenlogik 1.1 Grundbegriffe Def 1 Aussage Eine Aussage ist ein beschriebener Sachverhalt, dem eindeutig einer der Wahrheitswerte entweder wahr oder falsch zugeordnet
MehrAnselms Gottesbeweis und die Logik. und überhaupt: Beweise
Anselms Gottesbeweis und die Logik und überhaupt: Beweise Inhalt 1) Vorbemerkungen zur Logik (und Wissenschaft) 2) Vorbemerkungen zu Gottesbeweisen und zu Anselm von Canterbury 3) Anselms Ontologisches
MehrLOGIK I (WS 2015/16) 165. Teil II. Prädikatenlogik
LOGIK I (WS 2015/16) 165 Teil II Prädikatenlogik LOGIK I (WS 2015/16) 167 Kapitel 8 Prädikatenlogische Repräsentierung In Kapitel 2 haben wir als eine Kategorie komplexer aber aussagenlogisch unzerlegbarer
MehrEinführung in die Mathematik (Vorkurs 1 )
Einführung in die Mathematik (Vorkurs 1 ) Wintersemester 2008/09 Dr. J. Jordan Institut für Mathematik Universität Würzburg Germany 1 Modulbezeichnung 10-M-VKM 1 Inhaltsverzeichnis 1 Aussagen und Beweise
MehrKapitel 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
MehrHPSG. 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
MehrDas Identifikationsproblem
Draft 1 Das Identifikationsproblem Simultane Strukturmodelle sind insbesondere in den Sozialwissenschaften wichtig, da dort Zusammenhänge sehr häufig interdependenter Natur sind. Dies wirft einige schwerwiegende
MehrInternationalismen bei den Elementen der Chemie
Internationalismen bei den Elementen der Chemie Takako Yoneyama 1. Einleitung Die Abkürzungszeichen der chemischen Elemente, z.b. Cu oder H, sind auf der ganzen Welt gleich. Aber sind auch die Bezeichnungen
MehrLehrveranstaltung: Diskrete Mathematik Übungen Blatt 2. Thomas Aichholzer
13. Man verwende das Kontrapositionsgesetz p q q p um folgende Aussagen umzuformulieren: (a) Wenn heute Ostersonntag ist, dann ist morgen Ostermontag. (b) Wenn x² ungerade ist, ist auch x ungerade. Wenn
Mehr5. Sitzung. Methoden der Politikwissenschaft: Wissenschaftstheorie
5. Sitzung Methoden der Politikwissenschaft: Wissenschaftstheorie Inhalt der heutigen Veranstaltung 1. Was ist Wissenschaft? 2. Gütekriterien von Wissenschaft 3. Exkurs: Wissenschaftssprache 4. Hypothese,
MehrWenn Jesse James abgedrückt hätte, wäre Bill Bullock gestorben.
KK5: Metaphysik 5. Fragenzettel (K) 1. Angenommen, Jesse James bedroht bei einem Banküberfall, der unblutig abläuft, den Kassierer Bill Bullock mit seinem Revolver. Betrachten Sie das kontrafaktische Konditio-
Mehr12 Der Abstand eines Punktes von einer Geraden Seite 1 von Der Abstand eines Punktes von einer Geraden
12 Der Abstand eines Punktes von einer Geraden Seite 1 von 5 12 Der Abstand eines Punktes von einer Geraden Die Bestimmung des Abstands eines Punktes von einer Geraden gehört zu den zentralen Problemen
MehrProf. Christian Nimtz //
Programm Prof. Christian Nimtz www.nimtz.net // lehre@nimtz.net Theoretische Philosophie der Gegenwart Teil V: Religionsphilosophie Gott und seine Natur 1. Der Ausdruck Gott 2. Gott, Gott und Gottes Natur
Mehr1 Anmerkungen zum Formulieren von Beweisen und Rechnungen
1 Anmerkungen zum Formulieren von Beweisen und Rechnungen 1 Anmerkungen zum Formulieren von Beweisen und Rechnungen Die wichtigste Grundregel, die es beim Formulieren eines Beweises bzw. der Lösung einer
MehrMathematik: Mag. Schmid Wolfgang Arbeitsblatt Semester ARBEITSBLATT 14. Systeme linearer Ungleichungen in einer Variablen
ARBEITSBLATT 14 Systeme linearer Ungleichungen in einer Variablen Zunächst einmal können wir die Lösungen einer Ungleichung auf mehrere Arten angeben. Man kann wählen zwischen einer Ungleichungskette,
Mehr1 Einführung Aussagenlogik
1 Einführung Aussagenlogik Denition 1. Eine Aussage ist ein Aussagesatz, der entweder wahr oder falsch ist. Welche der folgenden Sätze ist eine Aussage? 3+4=7 2*3=9 Angela Merkel ist Kanzlerin Stillgestanden!
MehrWiederholung von Äquivalenzumformungen (Lösen linearer Gleichungen): Wiederholung von Äquivalenzumformungen (Lösen von Ungleichungen):
Prof. U. Stephan WiIng 1. Wiederholung von Äquivalenzumformungen (Lösen linearer Gleichungen): Bitte lösen Sie die folgenden Aufgaben und prüfen Sie, ob Sie Lücken dabei haben. Bestimmen Sie jeweils die
MehrGrammatik des Standarddeutschen III. Michael Schecker
Grammatik des Standarddeutschen III Michael Schecker Einführung und Grundlagen Nominalgruppen Nomina Artikel Attribute Pronomina Kasus (Subjekte und Objekte, Diathese) Verbalgruppen Valenz und Argumente
MehrMethodologie der Sozialwissenschaflen
KARL-DIETER OPP Methodologie der Sozialwissenschaflen Einführung in Probleme ihrer Theorienbildung ROWOHLT INHALTSVERZEICHNIS ENZYKLOPÄDISCHES STICHWORT GRUNDLAGENPROBLEME DER SOZIALWISSEN SCHAFTEN 320
Mehr