Wenn Jesse James abgedrückt hätte, wäre Bill Bullock gestorben.

Größe: px
Ab Seite anzeigen:

Download "Wenn Jesse James abgedrückt hätte, wäre Bill Bullock gestorben."

Transkript

1 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- nal Wenn Jesse James abgedrückt hätte, wäre Bill Bullock gestorben. Wie ist gemäß Lewis Theorie die nächste mögliche Welt beschaffen, in der Jesse James abdrückt, d. h. wie verhält sie sich zu unserer Welt hinsichtlich einzelner Tatsachen und Naturgesetzen? Folgt aus ihrer Beschaffenheit, daß (K) wahr ist? [3 Punkte] 2. (a) Was bedeutet es, daß ein Ereignis c von den Ereignissen a und b überbestimmt wird? [1 Punkt] (b) Nennen Sie ein eigenes Beispiel für einen Fall von Überbestimmtheit, und begründen Sie, warum es die Definition erfüllt. [3 Punkte] (c) Betrachten Sie das folgende Neuronendiagramm. Außer B sind alle Neuronen (ein- an ihnen mindes- schließlich M) vom üblichen Typ, d. h. sie feuern genau dann, wenn tens eine aktive anregende Synapse und keine aktive hemmende Synapse endet. Pfeile sind anregende Synapsen; die Y-förmigen Synapsen sind hemmend. Neuron B ist von besonderer Art und feuert genau dann, wenn es gleichzeitig von zwei Neuronen ange- mit C 1 und regt wird. Alle nicht gestrichelt dargestellten Neuronen feuern, beginnend C 2. Hätte E gefeuert, wenn (i) weder C 1 noch C 2 gefeuert hätten; (ii) C 1 gefeuert hätte, C 2 aber nicht; (iii) C 2 gefeuert hätte, C 1 aber nicht? [2 Punkte] Ist das Feuern von E also durch das Feuern von C 1 und das Feuern von C 2 überbestimmt? [1 Punkt] Ist das Feuern von C 1 (bzw. das Feuern von C 2 ) dennoch gemäß Lewis Theorie eine Ursache des Feuerns von E? [3 Punkte] 3. Was läßt sich für die Behauptung vorbringen, physikalische Ereignissee hätten keine men- talen Ursachen? [4 Punkte]

2 Lesen Sie für die folgenden Fragen: Benjamin Schnieder, Substanzen und (ihre) Eigenschaften, S (Kapitel 1.6 Erklärungen in der Ontologie von Eigenschaften ) steht auf ILIAS 4. In dem Kapitel geht es um die Fragen, inwiefern die Annahme, daß es Eigenschaften gibt, bestimmte andere Tatsachen erklären kann, und in diesem Zusammenhang auch ganz allgemein um den Begriff der Erklärung. (a) Erläutern Sie, inwiefern in weil -Sätzen Erklärungen gegeben werden. [2 Punkte] (b) Erläutern Sie jeweils an einem Beispiel, was es heißt, daß der weil -Junktor faktiv, nicht-extensional und hyperintensional ist. [3 Punkte] (c) Erläutern Sie anhand von einem eigenen Beispiel kurz, was eine kausale und was eine begriffliche Erklärung ist. [2 Punkte] 5. An früherer Stelle in seinem Buch hatte Schnieder dafür argumentiert, daß unser Begriff von Eigenschaften derart ist, daß es z.b. eine begriffliche Wahrheit ist, daß Schüchternheit diejenige Eigenschaft ist, die notwendigerweise genau diejenigen Gegenstände haben, die schüchtern sind. (a) Erläutern Sie, wie man auf der Grundlage dieser Annahme die Tatsache, daß Hans die Eigenschaft hat, schüchtern zu sein, damit erklären kann, daß er schüchtern ist. [3 Punkte] (b) Stellen Sie Schnieders Argument dafür dar, daß wir die Tatsache, daß Hans schüchtern ist, nicht dadurch erklären können, daß er die Eigenschaft hat, schüchtern zu sein. Finden Sie sein Argument plausibel? [3 Punkte] 6. Ab S. 142 rekonstruiert Schnieder ein Argument von David Armstrong für die Existenz von Eigenschaften. (a) Stellen Sie dieses Argument auf der Basis von Schnieders Text möglichst genau dar. [3 Punkte] (b) Stellen Sie Schnieders Kritik an Armstrongs Argument dar. [4 Punkte] Notenschlüssel: Punkte Note < 18 = n.b = 4, = 3, = 3, = 3, = 2, = 2, = 2, = 1, = 1, = 1,0

3 Lösungsvorschlag 1. In der nächsten möglichen Welt, in der Jesse James abdrückt, liegen bis kurz vor dem Zeitpunkt, zu dem Jesse James abdrückt, dieselben Tatsachen und dieselben Naturgesetze wie in unserer Welt vor. Dann geschieht ein kleines Wunder (also eine kleine Verletzung der Naturgesetze), das dazu führt, dass Jesse James abdrückt und danach verläuft die Welt wieder gemäß unseren Naturgesetzen und Bill Bullock stirbt (auf jeden Fall dann, wenn Jesse James in unserer Welt gut gezielt hat). Aus der Beschaffenheit dieser Welt folgt, dass (K) wahr ist, denn dieser Satz ist genau dann wahr, wenn in der nächsten möglichen Welt, in der Jesse James abdrückt, Bill Bullock stirbt. Diese Bedingung ist erfüllt. 2. (a) Ein Ereignis c ist von den Ereignissen a und b überbestimmt, wenn folgende Bedingungen erfüllt sind: (a) Wenn weder a noch b aufgetreten wären, wäre c nicht aufgetreten. (b) Wenn a ohne b aufgetreten wäre, wäre c dennoch aufgetreten. (c) Wenn b ohne a aufgetreten wäre, wäre c dennoch aufgetreten. (d) Der Anspruch von a, Ursache von c zu sein, ist genauso gut (oder schlecht) wie der Anspruch von b, Ursache von c zu sein. (b) Beispiel für einen Fall von Überbestimmtheit: Paula versieht Heinz Hauptgericht mit einem tödlich wirkenden Gift. Karla fügt dasselbe Gift der Beilage dieses Gerichts zu. Heinz stirbt, weil er das Gericht isst. Dies ist ein Fall von Überbestimmtheit, weil die folgenden Bedingungen erfüllt sind: (a) Wenn weder Paula noch Karla das Essen vergiftet hätten, wäre Heinz nicht gestorben. (b) Wenn nur Paula das Essen vergiftet hätte, wäre Heinz dennoch gestorben. (c) Wenn nur Karla das Essen vergiftet hätte, wäre Heinz dennoch gestorben. (d) Der Anspruch von Karlas Vergiften des Essens, Ursache von Heinz Tod zu sein, ist genauso gut wie der Anspruch von Paulas Vergiften des Essens, Ursache von Heinz Tod zu sein. (c) (a) E hätte nicht gefeuert, wenn weder C1 noch C2 gefeuert hätten. (b) E hätte gefeuert, wenn C1 gefeuert hätte, C2 aber nicht. (c) E hätte gefeuert, wenn C2 gefeuert hätte, C2 aber nicht. Das Feuern von E ist durch das Feuern von C1 und das Feuern von C2 überbestimmt, da neben den Bedingungen (a)-(c) auch die folgende Bedingung erfüllt ist: Der Anspruch des Feuerns von C1, Ursache des Feuerns von E zu sein, ist genauso gut wie der Anspruch des Feuerns von C2, Ursache des Feuerns von E zu sein. Das Feuern von C1 (bzw. das Feuern von C2) ist gemäß Lewis Theorie dann eine Ursache des Feuerns von E, wenn es zwischen dem Feuern von C1 und dem Feuern von E eine Kette von Ereignissen gibt, die durch kausale Abhängigkeit miteinander verbunden sind. Dabei gilt, dass ein Ereignis b genau dann von einem Ereignis a kausal abhängt, wenn b nicht aufgetreten wäre, falls a nicht aufgetreten wäre. Um zu prüfen, ob das Feuern von C1 (bzw. das

4 Feuern von C2) eine Ursache des Feuerns von E ist, muss also untersucht werden, ob es eine solche kausale Kette zwischen dem Feuern von C1 und dem Feuern von E gibt. Eine solche kausale Kette ist gegeben, denn es gilt: (a) Wenn C1 nicht gefeuert hätte, hätte B nicht gefeuert. (b) Wenn B nicht gefeuert hätte, hätte J nicht gefeuert. (c) Wenn J nicht gefeuert hätte, hätte D nicht gefeuert. (d) Wenn D nicht gefeuert hätte, hätte M nicht gefeuert. (e) Wenn M nicht gefeuert hätte, hätte E nicht gefeuert. Genau dasselbe gilt für C2. Also ist sowohl C1 als auch C2 eine Ursache des Feuerns von E. 3. Argument gegen die Annahme, dass mentale Ereignisse, wie beispielsweise mein Zahnschmerz, physikalische Ereignisse, wie beispielsweise mein Zusammenzucken, verursachen können. 4. (a) (1) Mein Zusammenzucken ist ein physikalisches Ereignis. (2) KVP (Prinzip der kausalen Geschlossenheit des Physikalischen): Jedes physikalische Ereignis hat eine physikalische Ursache. (3) A (Ausschlussprinzip): Wenn ein physikalisches Ereignis eine physikalische Ursache hat, dann hat es keine nicht-physikalischen Ursachen. (4) Mein Zahnschmerz ist ein nicht-physikalisches Ereignis. (5) Also: Mein Zahnschmerz ist keine Ursache meines Zusammenzuckens. Antworten auf Warum -Fragen, die nach einer Erklärung verlangen, werden gewöhnlich mit weil eingeleitet. (b). (a) Der weil -Junktor ist faktiv, da die Wahrheit einer Aussage der Form p, weil q die Wahrheit der verbundenen Aussagen p und q voraussetzt. Beispiel: Wenn die Aussage Ich gehe in die Mensa, weil ich Hunger habe wahr ist, dann ist auch die Aussage Ich gehe in die Mensa sowie Ich habe Hunger wahr. (b) Der weil -Junktor ist nicht-extensional, weil sich der Wahrheitswert einer Aussage der Form p, weil q ändern kann, wenn man p und q durch extensionsgleiche Aussagen, also solche mit demselben Wahrheitswert, ersetzt. Beispiel: Wenn man in der wahren Aussage Ich studiere Philosophie, weil es mir Spaß macht den zweiten Teilsatz durch den extensionsgleichen Satz Ich esse gerne Schokolade ersetzt, dann resultiert daraus der falsche Satz Ich studiere Philosophie, weil ich gerne Schokolade esse. (c) Der weil -Junktor ist nicht intensional, sondern hyperintensional, weil sich der Wahrheitswert einer Aussage der Form p, weil q ändern kann, wenn man p und q durch intensional gleiche Aussagen ersetzt. Beispiel: Wenn man in dem wahren Satz 2 mal 1 ergibt 2, weil 1 plus 1 2 ergibt den zweiten Teilsatz durch den intensional gleichen Teilsatz Junggesellen sind unverheiratete junge Männer ersetzt, ergibt sich der falsche Satz 2 mal 1 ergibt 2, weil Junggesellen unverheiratete junge Männer sind. (Erklärung, weshalb 1 plus 1 ergibt 2 intensional gleich ist mit Junggesellen sind unverheiratete junge Männer : Die Intension eines Ausdrucks ist die Menge der möglichen

5 Welten, in denen er wahr ist. Beide Aussagen sind in allen möglichen Welten wahr und haben somit dieselbe Intension.) (c) 5. (a) (a) Eine kausale Erklärung liegt dann vor, wenn man Ursachen benennt, um bestimmte Geschehnisse zu erklären. Beispiel: Der Schneemann schmilzt, weil die Sonne scheint. (b) Eine begriffliche Erklärung baut auf bestimmten begrifflichen Beziehungen auf. Beispiel: Peter ist ein Junggeselle, weil er ein unverheirateter junger Mann ist. Am besten lässt sich Schnieders Argumentation wohl durch eine Analogie verdeutlichen. Es gilt: Da Junggeselle und unverheirateter junger Mann begrifflich äquivalent sind, können wir eine Erklärung der folgenden Art geben: Peter ist ein Junggeselle, weil er ein unverheirateter junger Mann ist. Schnieder zufolge gilt nun, dass a ist F begrifflich äquivalent ist mit a hat F-heit. So ist beispielsweise Hans ist schüchtern begrifflich äquivalent mit Hans hat Schüchternheit. Aufgrund dieser begrifflichen Äquivalenz können wir Schnieder zufolge eine Erklärung der folgenden Art geben: Hans hat Schüchternheit, weil er schüchtern ist. Wie kommt Schnieder aber zu der Annahme, dass a ist F begrifflich äquivalent ist mit a hat F-heit? Dies ergibt sich Schnieder zufolge aus seiner Analyse des Eigenschaftsbegriffs: (AE Analyseschema für Eigenschaftsbegriffe) x = F-heit Df. y (y hat x y ist F) Aus diesem Schema ergibt sich die folgende begriffliche Wahrheit: (BW) x (x hat Schüchternheit x hat, was notwendigerweise alle und nur diejenigen haben, die schüchtern sind) Da zudem gilt: gilt: x (x hat, was notwendigerweise alle und nur diejenigen haben, die schüchtern sind x ist schüchtern) x (x hat Schüchternheit x ist schüchtern) Hieraus wiederum ergibt sich allgemein formuliert: a hat F-heit ist begrifflich äquivalent mit a ist F Wenn a hat F-heit aber begrifflich äquivalent mit a ist F ist, dann kann man aus genannten Gründen eine Erklärung der Form a hat F-heit, weil a F ist geben, wie zum Beispiel Hans hat die Eigenschaft der Schüchternheit, weil er schüchtern ist. Es gilt also folgendes allgemeines Schema: (ES-EP-Erklärungsschema Eigenschaftszuschreibung / Prädikation)

6 a hat F-heit, weil a F ist. (b) 6. (a) Der Grund hierfür ist, dass die Erklärungsrelation eine asymmetrische Relation ist. Wenn daher in einer Aussage der Form p, weil q q p erklärt, kann p nicht zugleich q erklären, d.h. es kann nicht zugleich gelten q, weil p. Wenn Schnieder mit seiner Behauptung nun richtig liegt, dass a ist F a hat F-heit erklären kann, d.h. wenn tatsächlich gilt a hat F-heit, weil a F ist, dann kann nicht zugleich gelten a ist F, weil a F-heit hat. Damit dies überzeugend ist, müsste Schnieder jedoch zunächst zeigen, dass a ist F gegenüber a hat F-heit begrifflich primär ist. Denn nur wenn dies gegeben ist, kann a ist F a hat F-heit erklären. Dies wird ebenfalls an dem bereits gegebenen Beispiel ersichtlich: Nur da unverheirateter junger Mann begrifflich primär gegenüber Junggeselle ist, kann eine Erklärung der genannten Art gegeben werden. Armstrong wirft die folgende Frage auf: (F1) Warum treffen generelle Terme auf die Dinge zu, auf die sie zutreffen? (F1 ) Warum trifft beispielsweise der generelle Term Regisseur auf Lars von Trier zu? Armstrong meint nun, dass der Eigenschaftsrealismus eine notwendige Voraussetzung ist, um diese Frage adäquat beantworten zu können. Der Grund hierfür ist, dass auf die Frage die folgende Antwort gegeben werden muss: (A-2**) Weil Regisseur die Eigenschaft hat, ein Regisseur zu sein, bezeichnet, und Lars von Trier die Eigenschaft, ein Regisseur zu sein, hat. Da in dieser Antwort von Eigenschaften die Rede ist, müssen so das Argument Eigenschaften angenommen werden, um obige Frage beantworten zu können. (b) Schnieder meint, Armstrong müsse, damit sein Argument überzeugend ist, eine der beiden folgenden Voraussetzungen machen: Entweder muss er voraussetzen, dass (1) die von ihm gegebene Antwort, in der von Eigenschaften die Rede ist, die einzige mögliche Antwort ist, oder er muss voraussetzen, dass (2) seine Antwort grundlegender ist als jede andere mögliche Antwort. Schnieder versucht nun zu zeigen, dass beide Voraussetzungen nicht erfüllt sind. Die erste Voraussetzung ist nicht erfüllt, da man die von Armstrong aufgeworfene Frage auch in anderer Weise beantworten kann, nämlich in folgender: (A1) Weil die generellen Terme bedeuten, was sie bedeuten, und weil die Dinge so sind, wie sie sind. Und im konkreten Fall: (A-2) Weil Regisseur Regisseur bedeutet, und weil Lars von Trier ein Regisseur ist. (A-2*) Weil man mit Regisseur Regisseure bezeichnet, und weil Lars von Trier ein Regisseur ist.

7 In dieser Antwort wird aber nicht von Eigenschaften gesprochen. Damit Armstrong an seiner Behauptung festhalten kann, dass die Annahme von Eigenschaften notwendig ist, um die oben aufgeworfene Frage zu beantworten, müsste seine Antwort grundlegender sein als die von Schnieder gegebene Antwort, in dem Sinne, dass das Verständnis von Schnieders Antwort das seiner Antwort voraussetzt. Dies ist Schnieder zufolge aber nicht der Fall, da seiner Ansicht nach (ES-EP) gilt. Aus der Gültigkeit von (ES-EP) geht hervor, dass a ist F basaler ist als a hat F-heit, denn nur in diesem Fall kann a ist F zur Erklärung von a hat F-heit herangezogen werden. Wenn a ist F aber basaler ist als a hat F-heit, dann ist auch (A-2*) basaler als (A-2*). Die Voraussetzungen dafür, dass Armstrongs Argument plausibel ist, sind demnach nicht erfüllt.

2.2.4 Logische Äquivalenz

2.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

Mehr

Kausalität und kontrafaktische

Kausalität und kontrafaktische Kausalität und kontrafaktische Konditionalsätze Illustrationen zu D. Lewis, Causation Erklärung und Kausalität 7.7.2009 Claus Beisbart TU Dortmund Sommersemester 2009 Hume in der Enquiry Zwei Definitionen

Mehr

Physikalismus. Vorlesung: Was ist Naturalismus? FS 13 / Di / Markus Wild & Rebekka Hufendiek. Sitzung 7 ( )

Physikalismus. 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,

Mehr

7 Gültigkeit und logische Form von Argumenten

7 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

Mehr

Zu Immanuel Kant: Die Metaphysik beruht im Wesentlichen auf Behauptungen a priori

Zu Immanuel Kant: Die Metaphysik beruht im Wesentlichen auf Behauptungen a priori Geisteswissenschaft Pola Sarah Zu Immanuel Kant: Die Metaphysik beruht im Wesentlichen auf Behauptungen a priori Essay Essay zu Immanuel Kant: Die Metaphysik beruht im Wesentlichen auf Behauptungen a

Mehr

Was es gibt und wie es ist

Was 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

Mehr

Zweite und dritte Sitzung

Zweite und dritte Sitzung Zweite und dritte Sitzung Mengenlehre und Prinzipien logischer Analyse Menge Eine Menge M ist eine Zusammenfassung von wohlbestimmten und wohlunterschiedenen Objekten unserer Anschauung und unseres Denkens

Mehr

Lö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 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

Mehr

These der Erklärungslücke: In einem zu klärenden Sinne von Erklärung ist eine solche Erklärung im Fall von Bewusstseinsphänomenen

These der Erklärungslücke: In einem zu klärenden Sinne von Erklärung ist eine solche Erklärung im Fall von Bewusstseinsphänomenen 1 Worum es geht: Erklärung der Eigenschaften eines Gegenstandes (Makrogegenstand) aufgrund seiner internen Struktur (Mirkostruktur). Voraussetzung: Es ist in gewöhnlichen Fällen im Prinzip möglich, die

Mehr

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

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

Mehr

DIALOGE ÜBER NATÜRLICHE RELIGION

DIALOGE ÜBER NATÜRLICHE RELIGION DAVID HUME DIALOGE ÜBER NATÜRLICHE RELIGION NEUNTER TEIL, SEITEN 73-78 DER A PRIORI BEWEIS DER EXISTENZ GOTTES UND SEINER UNENDLICHEN ATTRIBUTE S. 73-74 Demea : Die Schwächen des a posteriori Beweises

Mehr

Natürliche Sprachen sind durch Ambiguitäten und Vagheiten beim Ausdruck von Denkinhalten charakterisiert.

Natürliche Sprachen sind durch Ambiguitäten und Vagheiten beim Ausdruck von Denkinhalten charakterisiert. 1 Einführung 1.1 Logik und Linguistik Natürliche Sprachen sind durch Ambiguitäten und Vagheiten beim Ausdruck von Denkinhalten charakterisiert. In der mathematischen, formalen Logik werden formale Sprachen,

Mehr

Paare und Kartesische Produkte

Paare und Kartesische Produkte Paare und Kartesische Produkte Aufgabe 1. Stellen Sie das Tripel (a, b, c) als Paar und als Menge dar. Hinweis: Verwenden Sie Farben. Lösung von Aufgabe 1. (a, b, c) = ((a, b), c) Paar Darstellung (a,

Mehr

Kategoriale Ontologie. Dinge Eigenschaften Sachverhalte Ereignisse

Kategoriale Ontologie. Dinge Eigenschaften Sachverhalte Ereignisse Kategoriale Ontologie Dinge Eigenschaften Sachverhalte Ereignisse 1334 Dinge und ihre Eigenschaften 1335 Dinge sind konkret. (raum-zeitlich lokalisierbar) Dinge sind den Sinnen zugänglich. Dinge sind partikulär.

Mehr

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

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

Mehr

2.1.3 Interpretation von aussagenlogischen Formeln. 1) Intensionale Interpretation

2.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

Mehr

4. Das Problem der möglichen und unmöglichen Gegenstände

4. Das Problem der möglichen und unmöglichen Gegenstände 4. Das Problem der möglichen und unmöglichen Gegenstände Betrachten wir folgende Sätze: (1) Der goldene Berg ist golden. (2) Das runde Viereck ist rund. (3) Das Perpetuum mobile ist identisch mit dem Perpetuum

Mehr

Logik und modelltheoretische Semantik. Was ist Bedeutung?

Logik und modelltheoretische Semantik. Was ist Bedeutung? Logik und modelltheoretische Semantik Was ist Bedeutung? Robert Zangenfeind Centrum für Informations- und Sprachverarbeitung, LMU München 30.5.2017 Zangenfeind: Was ist Bedeutung? 1 / 19 Zunächst: der

Mehr

Erklärung und Kausalität. Antworten auf die Leitfragen zum

Erklärung und Kausalität. Antworten auf die Leitfragen zum TU Dortmund, Sommersemester 2009 Institut für Philosophie und Politikwissenschaft C. Beisbart Erklärung und Kausalität Antworten auf die Leitfragen zum 16.6.2009 Textgrundlage: J. L. Mackie, Causes and

Mehr

Einführung in die Logik

Einfü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

Erläuterung zum Satz vom ausgeschlossenen Widerspruch

Erläuterung zum Satz vom ausgeschlossenen Widerspruch TU Dortmund, Wintersemester 2010/11 Institut für Philosophie und Politikwissenschaft C. Beisbart Aristoteles, Metaphysik Der Satz vom ausgeschlossenen Widerspruch (Buch 4/Γ; Woche 4: 8. 9.11.2010) I. Der

Mehr

Formale Logik - SoSe 2012

Formale Logik - SoSe 2012 2.44 % Formale Logik - SoSe 2012 Versuch einer Zusammenfassung Malvin Gattinger http://xkcd.com/435/ 4.88 % Gliederung Einleitung Was ist Logik? Begriffsklärungen Sätze und Wahrheit Argumente und Gültigkeit

Mehr

Ästhetik ist die Theorie der ästhetischen Erfahrung, der ästhetischen Gegenstände und der ästhetischen Eigenschaften.

Ästhetik ist die Theorie der ästhetischen Erfahrung, der ästhetischen Gegenstände und der ästhetischen Eigenschaften. 16 I. Was ist philosophische Ästhetik? instrumente. Die Erkenntnis ästhetischer Qualitäten ist nur eine unter vielen möglichen Anwendungen dieses Instruments. In diesem Sinn ist die Charakterisierung von

Mehr

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

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

Mehr

Vorkurs: Mathematik für Informatiker

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

Mehr

Thomas von Aquin. Einer der wichtigsten Philosophen der Scholastik; verbindet Philosophie des Aristoteles mit christlicher Theologie

Thomas von Aquin. Einer der wichtigsten Philosophen der Scholastik; verbindet Philosophie des Aristoteles mit christlicher Theologie Thomas von Aquin *1224 (1225?) bei Aquino ab ca. 1230 Schüler des Benediktinerklosters auf dem Monte Cassino Studium in Neapel 1243: Eintritt in den Dominikanerorden ab 1244 Studien in Bologna, Paris und

Mehr

Künstliche Intelligenz

Künstliche Intelligenz Künstliche Intelligenz Logische Agenten Claes Neuefeind Sprachliche Informationsverarbeitung Universität zu Köln 02. November 2011 Logische Agenten Wissensbasierte Agenten Eine Modellwelt Aussagen Logik

Mehr

Einführung in die moderne Logik

Einführung in die moderne Logik Sitzung 1 1 Einführung in die moderne Logik Einführungskurs Mainz Wintersemester 2011/12 Ralf Busse Sitzung 1 1.1 Beginn: Was heißt Einführung in die moderne Logik? Titel der Veranstaltung: Einführung

Mehr

Wissenschaftliches Arbeiten

Wissenschaftliches 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

Mehr

Literatur. Prof. Dr. Christian Nimtz //

Literatur. Prof. Dr. Christian Nimtz  // Literatur Prof. Dr. Christian Nimtz www.nimtz.net // lehre@nimtz.net Philosophie des Geistes Kapitel 5: Einwände gegen die Identitätstheorie I: Smarts klassische Einwände J.J.C. Smart: Sensations and Brain

Mehr

1.9 Beweis durch Kontraposition

1.9 Beweis durch Kontraposition 1.9 Beweis durch Kontraposition 1.9 Beweis durch Kontraposition Ein Beweis durch Kontraposition ist ein Spezialfall des indirekten Beweises. Wir betrachten zwei Aussagen A und B und wollen A B zeigen,

Mehr

mathe plus Aussagenlogik Seite 1

mathe 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

Mehr

Thermostaten und Computer. das Versprechen der KI

Thermostaten und Computer. das Versprechen der KI Thermostaten und Computer das Versprechen der KI Physik des freien Willens und Bewusstseins Henriette Labsch 30.Juni 2008 Thermostaten und Computer - das Versprechen der KI David J. Chalmers bewusstes

Mehr

Orientierungsfragen und -aufgaben für die Klausur zur Vorlesung über Theologische Fragen an die Hirnforschung. Erste Lieferung

Orientierungsfragen und -aufgaben für die Klausur zur Vorlesung über Theologische Fragen an die Hirnforschung. Erste Lieferung Orientierungsfragen und -aufgaben für die Klausur zur Vorlesung über Theologische Fragen an die Hirnforschung Erste Lieferung Zum Thema: Einführung: Verbreitete Ansichten, die für die Theologie relevant

Mehr

Höhere Mathematik I für die Fachrichtungen Elektroingenieurwesen, Physik und Geodäsie Lösungsvorschläge zum 1. Übungsblatt

Höhere Mathematik I für die Fachrichtungen Elektroingenieurwesen, Physik und Geodäsie Lösungsvorschläge zum 1. Übungsblatt UNIVERSITÄT KARLSRUHE Institut für Analysis HDoz. Dr. P. C. Kunstmann Dipl.-Math. M. Uhl WS 2008/09 Höhere Mathematik I für die Fachrichtungen Elektroingenieurwesen, Physik und Geodäsie Lösungsvorschläge

Mehr

10 Kapitel I: Anschauliche Vektorrechnung

10 Kapitel I: Anschauliche Vektorrechnung 10 Kapitel I: Anschauliche Vektorrechnung haben. In Mengenschreibweise ist G = {x x = a + tb für ein t R}. Wir werden für diese einführenden Betrachtungen im Interesse einer knappen Redeweise jedoch häufig

Mehr

Entwicklung der modernen Naturwissenschaft (speziell der Physik/Mechanik) in Abgrenzung von der mittelalterlich-scholastischen Naturphilosophie

Entwicklung der modernen Naturwissenschaft (speziell der Physik/Mechanik) in Abgrenzung von der mittelalterlich-scholastischen Naturphilosophie René Descartes (1596-1650) Meditationen über die Grundlagen der Philosophie (1641) Geistes- bzw. wissenschaftsgeschichtlicher Hintergrund Entwicklung der modernen Naturwissenschaft (speziell der Physik/Mechanik)

Mehr

1.3 Aussagen. Beispiel: Das Bruttosozialprodukt der Bundesrepublik Deutschland ist höher als das der USA ist eine offenbar falsche Aussage.

1.3 Aussagen. Beispiel: Das Bruttosozialprodukt der Bundesrepublik Deutschland ist höher als das der USA ist eine offenbar falsche Aussage. 1.3 Aussagen In der Mathematik geht es um Aussagen. Eine Aussage ist ein statement, das entweder wahr oder falsch sein kann. Beides geht nicht! Äußerungen, die nicht die Eigenschaft haben, wahr oder falsch

Mehr

Die neue Prädikatenlogik P2

Die neue Prädikatenlogik P2 Joachim Stiller Die neue Prädikatenlogik P2 Versuch einer Begründung Alle Rechte vorbehalten Die neue Prädikatenlogik P2 In diesem Aufsatz möchte ich einmal versuchen, meine neue Prädikatenlogik P2 zu

Mehr

Höhere Mathematik I für die Fachrichtung Elektrotechnik und Informationstechnik Lösungsvorschläge zum 1. Übungsblatt

Höhere Mathematik I für die Fachrichtung Elektrotechnik und Informationstechnik Lösungsvorschläge zum 1. Übungsblatt Karlsruher Institut für Technologie (KIT) Institut für Analysis Prof. Dr. Dirk Hundertmark Dipl.-Math. Matthias Uhl WS 2011/12 Höhere Mathematik I für die Fachrichtung Elektrotechnik und Informationstechnik

Mehr

Logik für Informatiker Logic for computer scientists

Logik für Informatiker Logic for computer scientists Logik für Informatiker Logic for computer scientists Till Mossakowski Wintersemester 2014/15 Till Mossakowski Logik 1/ 24 Die Booleschen Junktoren Till Mossakowski Logik 2/ 24 Die Negation Wahrheitstafel

Mehr

Kapitel 1. Aussagenlogik

Kapitel 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

Mehr

14 Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln

14 Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln 14 Beurteilung umgangssprachlicher Sätze und Argumente mit aussagenlogischen Mitteln Erinnerung Man kann die logischen Eigenschaften von Sätzen der Sprache AL in dem Maße zur Beurteilung der logischen

Mehr

Verwendung von Methoden der formalen Logik in der Linguistik

Verwendung 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.

Mehr

Technische Universität München. Ferienkurs Lineare Algebra 1. Mengenlehre, Aussagen, Relationen und Funktionen. 21. März 2011.

Technische Universität München. Ferienkurs Lineare Algebra 1. Mengenlehre, Aussagen, Relationen und Funktionen. 21. März 2011. Technische Universität München Ferienkurs Lineare Algebra 1 Mengenlehre, Aussagen, Relationen und Funktionen 21. März 2011 Tanja Geib Inhaltsverzeichnis 1 Aussagen 1 2 Mengenlehre 3 2.1 Grundlegende Definitionen

Mehr

Mathematische und logische Grundlagen der Linguistik. Kapitel 3: Grundbegriffe der Aussagenlogik

Mathematische und logische Grundlagen der Linguistik. Kapitel 3: Grundbegriffe der Aussagenlogik Mathematische und logische Grundlagen der Linguistik Kapitel 3: Grundbegriffe der Aussagenlogik Grundbegriffe der Aussagenlogik 1 Die Aussagenlogik ist ein Zweig der formalen Logik, der die Beziehungen

Mehr

Argumentationstheorie 3. Sitzung

Argumentationstheorie 3. Sitzung Argument Argumentationstheorie 3. Sitzung Prof. Dr. Ansgar Beckermann Wintersemester 2004/5 Kurz Ein Argument ist eine Folge von, in der eine Aussage (die Konklusion) in dem Sinne auf andere (die Prämissen)

Mehr

Logik/Beweistechniken

Logik/Beweistechniken Mathematikvorkurs bei Marcos Soriano Logik/Beweistechniken erstellt von: Daniel Edler -II- Inhaltsverzeichnis 1 Logik/Beweistechniken 1 1.1 Allgemeine Vorgehensweise......................... 1 2 Konjunktion/Disjunktion

Mehr

1.2 Klassen und Mengen

1.2 Klassen und Mengen 14 1.2 Klassen und Mengen Als undefinierten Grundbegriff verwenden wir den Begriff der Klasse. Dieser ist allgemeiner als der Mengenbegriff und wird in der Algebra zur Definition sogenannter Kategorien

Mehr

Wie verstehen wir etwas? sprachliche Äußerungen. Sprachphilosophie, Bedeutungstheorie. Personen mit ihren geistigen Eigenschaften in der Welt

Wie verstehen wir etwas? sprachliche Äußerungen. Sprachphilosophie, Bedeutungstheorie. Personen mit ihren geistigen Eigenschaften in der Welt Donald Davidson *1917 in Springfield, Massachusetts, USA Studium in Harvard, 1941 abgeschlossen mit einem Master in Klassischer Philosophie 1949 Promotion in Harvard über Platons Philebus Unter Quines

Mehr

Mathematische und logische Grundlagen der Linguistik. Mathematische und logische Grundlagen der Linguistik. Karl Heinz Wagner. Hier Titel eingeben 1

Mathematische und logische Grundlagen der Linguistik. Mathematische und logische Grundlagen der Linguistik. Karl Heinz Wagner. Hier Titel eingeben 1 Grundbegriffe der Aussagenlogik 1 Mathematische und logische Grundlagen der Linguistik Kapitel 3: Grundbegriffe der Aussagenlogik Die Aussagenlogik ist ein Zweig der formalen Logik, der die Beziehungen

Mehr

Höhere Mathematik I für die Fachrichtung Elektrotechnik und Informationstechnik Lösungsvorschläge zum 1. Übungsblatt

Höhere Mathematik I für die Fachrichtung Elektrotechnik und Informationstechnik Lösungsvorschläge zum 1. Übungsblatt Karlsruhe Institut für Technologie (KIT) Institut für Analysis Prof. Dr. W. Reichel Dr. S.Wugalter WS 2017/18 Höhere Mathematik I für die Fachrichtung Elektrotechnik und Informationstechnik Lösungsvorschläge

Mehr

Kapitel 1. Grundlegendes

Kapitel 1. Grundlegendes Kapitel 1 Grundlegendes Abschnitt 1.4 Vollständige Induktion Charakterisierung der natürlichen Zahlen Die Menge N 0 = {0, 1, 2, 3,...} der natürlichen Zahlen läßt sich wie folgt charakterisieren: 1. 0

Mehr

13 Auswahlaxiom und Zornsches Lemma

13 Auswahlaxiom und Zornsches Lemma 13 Auswahlaxiom und Zornsches Lemma Handout zur Funktionalanalysis I von H. Glöckner, 25.11.2008 Wichtige Teile der modernen Mathematik beruhen auf dem sogenannten Auswahlaxiom der Mengenlehre. Dieses

Mehr

Kapitel 3. Natürliche Zahlen und vollständige Induktion

Kapitel 3. Natürliche Zahlen und vollständige Induktion Kapitel 3 Natürliche Zahlen und vollständige Induktion In Kapitel 1 haben wir den direkten Beweis, den modus ponens, kennen gelernt, der durch die Tautologie ( A (A = B) ) = B gegeben ist Dabei war B eine

Mehr

Hinweise zur Logik. Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009

Hinweise zur Logik. Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009 Hinweise zur Logik Ergänzung zu den Übungen Mathematische Grundlagen der Ökonomie am 22. Oktober 2009 Im folgenden soll an einige Grundsätze logisch korrekter Argumentation erinnert werden. Ihre Bedeutung

Mehr

b. Lehre des vernünftigen Schlussfolgerns (1. System von Regeln von Aristoteles ( v. Chr.); sprachliche Argumente

b. Lehre des vernünftigen Schlussfolgerns (1. System von Regeln von Aristoteles ( v. Chr.); sprachliche Argumente II. Zur Logik 1. Bemerkungen zur Logik a. Logisches Gebäude der Mathematik: wenige Axiome (sich nicht widersprechende Aussagen) bilden die Grundlage; darauf aufbauend Lehrsätze unter Berücksichtigung der

Mehr

Grundkurs Mathematik I

Grundkurs Mathematik I Prof. Dr. H. Brenner Osnabrück WS 2016/2017 Grundkurs Mathematik I Vorlesung 19 Kommutative Ringe Wir erfassen die in der letzten Vorlesung etablierten algebraischen Eigenschaften der ganzen Zahlen mit

Mehr

1 Einführung Aussagenlogik

1 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!

Mehr

Dr. Wolfgang Langer - IV Methoden der empirischen Sozialforschung I - SoSe

Dr. Wolfgang Langer - IV Methoden der empirischen Sozialforschung I - SoSe Dr. Wolfgang Langer - IV Methoden der empirischen Sozialforschung I - SoSe 2000 1 Wissenschaftstheorie: Begriffe und Definitionen: Quelle: Giesen,B. & Schmid, M.: Basale Soziologie: Wissenschaftstheorie.

Mehr

Grundlagen der THEORETISCHEN PHILOSOPHIE

Grundlagen der THEORETISCHEN PHILOSOPHIE Philosophische Fakultät Institut für Philosophie Lehrstuhl für Theoretische Philosophie Dr. Holm Bräuer MBA Grundlagen der THEORETISCHEN PHILOSOPHIE Sommersemester 2018 1 TEAM 11 Vorlesung Dozent: Dr.

Mehr

Eigene MC-Aufgaben 2.4 Forschungsplanung und Forschungsdesign (X aus 5) 1. Welche Aussage trifft auf die Methodenlehre der ESF zu?

Eigene MC-Aufgaben 2.4 Forschungsplanung und Forschungsdesign (X aus 5) 1. Welche Aussage trifft auf die Methodenlehre der ESF zu? Eigene MC-Aufgaben 2.4 Forschungsplanung und Forschungsdesign (X aus 5) 1. Welche Aussage trifft auf die Methodenlehre der ESF zu? Problemadäquate Erhebungsinstrumente müssen entwickelt und getestet werden.

Mehr

3.1.1 Die Variante T1 und ein Entscheidungsverfahren für die Aussagenlogik

3.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

Mehr

Kapitel 1.5 und 1.6. Ein adäquater Kalkül der Aussagenlogik

Kapitel 1.5 und 1.6. Ein adäquater Kalkül der Aussagenlogik Kapitel 1.5 und 1.6 Ein adäquater Kalkül der Aussagenlogik Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls Mathematische Logik (WS 2010/11) Kapitel 1.5 und 1.6: Kalküle 1 /

Mehr

4.1 Grundlegende Konstruktionen Stetigkeit von Funktionen Eigenschaften stetiger Funktionen... 91

4.1 Grundlegende Konstruktionen Stetigkeit von Funktionen Eigenschaften stetiger Funktionen... 91 Kapitel 4 Funktionen und Stetigkeit In diesem Kapitel beginnen wir Funktionen f : R R systematisch zu untersuchen. Dazu bauen wir auf den Begriff des metrischen Raumes auf und erhalten offene und abgeschlossene

Mehr

Grundlagen der Mathematik

Grundlagen 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

Mehr

Slingshot I. Donald Davidson ( )

Slingshot I. Donald Davidson ( ) Donald Davidson (06.03.1917 30.08.2003) Bedeutungstheorien Worin besteht die Bedeutung sprachlicher Ausdrücke? Intention (Davidson): 1) Beschreibung einer sprachlichen Kompetenz 2) Explikation semantischer

Mehr

Summen- und Produktzeichen

Summen- und Produktzeichen Summen- und Produktzeichen Ein großer Vorteil der sehr formalen mathematischen Sprache ist es, komplizierte Zusammenhänge einfach und klar ausdrücken zu können. Gerade auch diese Eigenschaft der Mathematik

Mehr

Tilman Bauer. 4. September 2007

Tilman Bauer. 4. September 2007 Universität Münster 4. September 2007 und Sätze nlogik von Organisatorisches Meine Koordinaten: Sprechstunden: Di 13:30-14:30 Do 9:00-10:00 tbauer@uni-muenster.de Zimmer 504, Einsteinstr. 62 (Hochhaus)

Mehr

Vorkurs: Mathematik für Informatiker

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

Mehr

Was es heißt, (selbst-)bewusst zu leben. Theorien personaler Identität

Was es heißt, (selbst-)bewusst zu leben. Theorien personaler Identität Geisteswissenschaft Miriam Ben-Said Was es heißt, (selbst-)bewusst zu leben. Theorien personaler Identität Studienarbeit Inhaltsverzeichnis 1) Einleitung...S.2 2) Bedeutung der Schlüsselbegriffe...S.3

Mehr

1 Zur Erinnerung: Freges referenzielle Semantik. Christian Nimtz // 2 Das Argument vom Erkenntniswert

1 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

Mehr

Elementare Beweismethoden

Elementare 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

Mehr

Vorkurs: Mathematik für Informatiker

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

Mehr

Technische Universität Dresden Philosophische Fakultät Institut für Philosophie Professur für Wissenschaftstheorie und Logik

Technische Universität Dresden Philosophische Fakultät Institut für Philosophie Professur für Wissenschaftstheorie und Logik Technische Universität Dresden Philosophische Fakultät Institut für Philosophie Professur für Wissenschaftstheorie und Logik Kausaltheorien Dr. Uwe Scheffler Referentinnen: Teresa Bobach & Mandy Hendel

Mehr

Logik. III Logik. Propädeutikum Holger Wuschke. 19. September 2018

Logik. III Logik. Propädeutikum Holger Wuschke. 19. September 2018 III Propädeutikum 2018 19. September 2018 III λoγóς="das Wort" (math.) befasst sich mit Denition Aussage Eine Aussage p ist ein sinnvolles sprachliche Gebilde mit der Eigenschaft, entweder wahr oder falsch

Mehr

1 Das Prinzip der vollständigen Induktion

1 Das Prinzip der vollständigen Induktion 1 1 Das Prinzip der vollständigen Induktion 1.1 Etwas Logik Wir nennen eine Formel oder einen Satz der Alltagssprache eine Aussage, wenn sie wahr oder falsch sein kann. Die Formeln 2 = 3, 2 4, 5 5 sind

Mehr

Martha C. Nussbaum: Emotionen als Urteil über Wert und Wichtigkeit

Martha C. Nussbaum: Emotionen als Urteil über Wert und Wichtigkeit Martha C. Nussbaum: Emotionen als Urteil über Wert und Wichtigkeit Martha C. Nussbaum *1947 1975 Promotion in klassischer Philologie in Harvard Lehrtätigkeiten in Harvard (1975-1983), Brown University

Mehr

Donnerstag, 11. Dezember 03 Satz 2.2 Der Name Unterraum ist gerechtfertigt, denn jeder Unterraum U von V ist bzgl.

Donnerstag, 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 )

Mehr

Donald Davidson ( )

Donald Davidson ( ) Foliensatz Davidson zur Einführung.doc Jasper Liptow 1/9 Donald Davidson (1917-2003) Geb. am 6. März 1917 in Springfield, Mass. Studium der Literaturwissenschaft und Philosophiegeschichte (u.a. bei A.

Mehr

Aristoteles Definition der Seele in "De Anima II", 1-5

Aristoteles Definition der Seele in De Anima II, 1-5 Geisteswissenschaft Martin Hagemeier Aristoteles Definition der Seele in "De Anima II", 1-5 Studienarbeit INHALT 1. HINFÜHRUNG...2 2. DIE DEFINITIONEN DER SEELE...3 2.1. DER RAHMEN DER SEELENDEFINITIONEN...3

Mehr

Kants 'guter Wille' in: "Grundlegung zur Metaphysik der Sitten"

Kants 'guter Wille' in: Grundlegung zur Metaphysik der Sitten Geisteswissenschaft Alina Winkelmann Kants 'guter Wille' in: "Grundlegung zur Metaphysik der Sitten" Studienarbeit Inhaltsverzeichnis: 1. Vorwort 2. Begriffserklärung 2.1 Was ist gut? 2.2 Was ist ein

Mehr

Aussagenlogik. Aussagen und Aussagenverknüpfungen

Aussagenlogik. 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,

Mehr

1 K-Rahmen und K-Modelle

1 K-Rahmen und K-Modelle Seminar: Einführung in die Modallogik (WS 15/16) Lehrender: Daniel Milne-Plückebaum, M.A. E-Mail: dmilne@uni-bielefeld.de Handout: K-Rahmen, K-Modelle & K-Wahrheitsbedingungen Im Folgenden werden wir uns

Mehr

Die Prädikatenlogik erster Stufe: Syntax und Semantik

Die Prädikatenlogik erster Stufe: Syntax und Semantik Die Prädikatenlogik erster Stufe: Syntax und Semantik 1 Mathematische Strukturen und deren Typen Definition 1.1 Eine Struktur A ist ein 4-Tupel A = (A; (R A i i I); (f A j j J); (c A k k K)) wobei I, J,

Mehr

De Morgan sche Regeln

De 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,

Mehr

Tutorium: Diskrete Mathematik

Tutorium: Diskrete Mathematik Tutorium: Diskrete Mathematik Vorbereitung der Bonusklausur am 01.12.2017 (Teil 1) 22. November 2017 Steven Köhler mathe@stevenkoehler.de mathe.stevenkoehler.de 2 c 2017 Steven Köhler 22. November 2017

Mehr

Wenn alle Bären pelzig sind und Ned ein Bär ist, dann ist Ned pelzig.

Wenn alle Bären pelzig sind und Ned ein Bär ist, dann ist Ned pelzig. 2.2 Logische Gesetze 19 auch, was für Sätze logisch wahr sein sollen. Technisch gesehen besteht zwar zwischen einem Schluss und einem Satz selbst dann ein deutlicher Unterschied, wenn der Satz Wenn...dann

Mehr

Kapitel 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 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

Mehr

Brückenkurs Mathematik

Brü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

Wie können wir entscheiden ob eine Person oder ein Wesen einen Geist hat?

Wie können wir entscheiden ob eine Person oder ein Wesen einen Geist hat? Einleitung Dr. M. Vogel Vorlesung Grundprobleme der Philosophie des Geistes Wie können wir entscheiden ob eine Person oder ein Wesen einen Geist hat? Malvin Gattinger Vor einem Antwortversuch will ich

Mehr

1 Sprechweisen und Symbole der Mathematik

1 Sprechweisen und Symbole der Mathematik 1 Sprechweisen und Symbole der Mathematik Übersicht 1.1 Junktoren......................................................... 1 1.2 Quantoren......................................................... 4 1.3

Mehr

Logik, Sprache, Philosophie

Logik, Sprache, Philosophie FRIEDRICH WAISMANN Logik, Sprache, Philosophie Mit einer Vorrede von Moritz Schlick herausgegeben von Gordon P. Baker und Brian McGuinness unter Mitwirkung von Joachim Schulte PHILIPP RECLAM ]UN. STUTTGART

Mehr

Mills These: Eigennamen haben einzig die Funktion der Bezugnahme (kein weiterer Beitrag zur Bedeutung des gesamten Satzes).

Mills These: Eigennamen haben einzig die Funktion der Bezugnahme (kein weiterer Beitrag zur Bedeutung des gesamten Satzes). 1 Einführung in die Sprachphilosophie Martine Nida-Rümelin 2002 7. Vorlesung und 8. Vorlesung Montag, 22.4.2002, Dienstag, 23.4.2002 NAMEN UND KENNZEICHNUNGEN 1. Bertrand Russells Theorie der Eigennamen

Mehr

b liegt zwischen a und c.

b liegt zwischen a und c. 2 DIE ANORDNUNGSAXIOME 5 (2.4) a, b, c R : (a < b 0 < c) ac < bc Monotoniegesetz der Multiplikation Bezeichnungen a > b : b < a (> wird gelesen: größer als ) a b : a < b oder a = b a b : a > b oder a =

Mehr

1. Übungsblatt zur Analysis I. Gruppenübungen

1. Übungsblatt zur Analysis I. Gruppenübungen Prof. Dr. Helge Glöckner Wintersemester 2013/2014 17.10.2013 1. Übungsblatt zur Analysis I Gruppenübungen Aufgabe G1 (Aussagenlogik, Wahrheitstabellen) Es seien p und q Aussagen. (a) Geben Sie die Wahrheitstabelle

Mehr

Lösungen zu Kapitel 2

Lösungen zu Kapitel 2 Lösungen zu Kapitel 2 Lösung zu Aufgabe 1: Wir zeigen die Behauptung durch vollständige Induktion über n. Die einzige Menge mit n = 0 Elementen ist die leere Menge. Sie besitzt nur sich selbst als Teilmenge,

Mehr

Immanuel Kant. *22. April 1724 in Königsberg +12. Februar 1804 in Königsberg

Immanuel Kant. *22. April 1724 in Königsberg +12. Februar 1804 in Königsberg Immanuel Kant *22. April 1724 in Königsberg +12. Februar 1804 in Königsberg ab 1770 ordentlicher Professor für Metaphysik und Logik an der Universität Königsberg Neben Hegel wohl der bedeutendste deutsche

Mehr

Grundbegriffe der Mengenlehre

Grundbegriffe der Mengenlehre Grundbegriffe der Mengenlehre Krzysztof P. Rybakowski Universität Rostock Fachbereich Mathematik 2003 11 07 1 Vorbemerkungen Ohne die Sprache der Mengenlehre lässt sich Mathematik nicht verstehen. Die

Mehr