Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Dr. Holm Bräuer. Proseminar. Paradoxien WS 2009/2010

Größe: px
Ab Seite anzeigen:

Download "Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Dr. Holm Bräuer. Proseminar. Paradoxien WS 2009/2010"

Transkript

1 Di (5) [14:50 16:20] BZW A151 Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Dr. Holm Bräuer Proseminar Paradoxien WS 2009/2010 Büro: BZW A 416 Sprechstunde: Mi 15:00 16:00 Fon: Holm.Braeuer@mailbox.tu-dresden.de Hinweise zum Erwerb von Leistungspunkten (Credits) Aufbaumodul Theoretische Philosophie (Phil-AM1) Aufbaumodul Philosophie der Wissenschaft und Technik (Phil-AM3) Studienordnung: Voraussetzungen für die Vergabe von Credits Die Credits werden erworben, wenn die Modulprüfung bestanden ist. Die Modulprüfung besteht aus einer Seminararbeit und einer mündlichen Prüfungsleistung in zwei verschiedenen Proseminaren. Die mündliche Prüfungsleistung umfasst Themen des jeweiligen Proseminars. Als Studienleistungen (Prüfungsvorleistungen) sind ein Protokoll, ein Essay, ein Thesenpapier oder ein Referat erforderlich. In jedem gewählten Proseminar ist mindestens eine Studienleistung zu erbringen. Seminararbeit (4 Credits) oder kleine mündliche Prüfung (2 Credits) oder kleinere Leistung = Referat (1 Credit) WS PS Paradoxien 2 1

2 Hinweise zum Erwerb von Leistungspunkten (Credits) Referat Präsentieren Sie Ihr Referat unter Verwendung eines Handouts oder einer Folie. Setzen Sie den Schwerpunkt auf die Struktur des Textes; verwenden sie dazu Zwischenüberschriften, Diagramme und andere Hilfsmittel! (Keine Nacherzählungen!) Versuchen Sie Ihren Vortrag so klar als möglich zu strukturieren. Das Referat sollte nicht mehr als 15 min dauern. Gehen Sie am Ende auf die Fragen Ihrer Kommilitonen ein. Hausarbeit Sprechen Sie das Thema und die Fragestellungen der Arbeit vorher mit mir ab. Sammeln und ordnen Sie das Material, welches Sie zur Beantwortung der entsprechenden Fragestellung benötigen. Machen Sie sich einen Plan, in welcher Reihenfolge Sie die einzelnen Argumente, Thesen und Beispiele vorstellen und diskutieren möchten. Geben Sie zum Schluss eine kurze Zusammenfassung ihres Ergebnisses. Eine Hausarbeit sollte 10 bis maximal 15 Seiten umfassen. Letzter Abgabetermin: (Danach werden keine Arbeiten mehr angenommen!) Mündliche Prüfung Sprechen Sie das Thema und die Fragestellungen der Prüfung vorher mit mir ab. Benutzen Sie zur Vorbereitung einschlägige und zugängliche Sekundärliteratur (gerne auch Lexika und Übersichtsdarstellungen). WS PS Paradoxien 3 Seminarplan Einführung & Organisatorisches (Bräuer) Philosophieren = Argumentieren Paradoxie der Veränderung/ Identität (Theseus Schiff) Paradoxie des Raums Paradoxie der Zeit/ Bewegung Sorites-Paradoxie I (Vagheit) Sorites-Paradoxie II (Vagheit) Newcombs Paradoxie Gefangenendilemma Rabenparadoxie Grue Wissensparadoxie Russells Paradoxie Lügnerparadoxie Abschlussdiskussion WS PS Paradoxien 4 2

3 Gültige Argumente WS PS Paradoxien 5 Was ist überhaupt ein Argument? Ein Argument ist die Stützung einer Überzeugung (Aussage, These, Annahme etc.) durch Gründe. Ein Argument besteht selbst aus einer Reihe von Aussagen. Eine der Aussagen ist das, wofür argumentiert wird: technisch gesprochen die Konklusion. Die anderen Aussagen bestehen in der Angabe dessen, worauf sich diese Konklusion als Voraussetzung stützt (die Gründe): technisch gesprochen die Prämissen. Prämisse 1: Prämisse 2: Prämisse 3: Konklusion: Mord ist moralisch unzulässig. Wenn Abtreibung Mord ist, dann ist auch Abtreibung moralisch unzulässig. Abtreibung ist Mord. Abtreibung ist moralisch unzulässig. Ein Argument lässt sich auf zweierlei Weise bestreiten: 1) Nachweis, dass es kein formal gültiges Argument ist. (Formfrage) 2) Nachweis, dass eine oder mehrere Prämissen falsch oder unzulässig sind. (Tatsachenfrage) WS PS Paradoxien 6 3

4 Argumente und ihre Gültigkeit Formale Gültigkeit Wenn der Opponent alle Prämissen eines Arguments akzeptiert, dann ist er gezwungen, der Konklusion zuzustimmen, falls das Argument der Form nach gültig ist. In unserem Beispielfall handelt es sich um ein gültiges Argument. Es hat die folgende Form: Wenn p, dann q p Also: q Wenn Abtreibung Mord ist, dann ist Abtreibung moralisch unzulässig. Abtreibung ist Mord. Also: Abtreibung ist moralisch unzulässig. Diese Argumentform hat den lateinischen Namen Modus Ponens. WS PS Paradoxien 7 Argumente Formale Gültigkeit Das Gegenstück zum Modus Ponens ist ein formal ungültiges Argument: Wenn p, dann q q Also: p Prämisse: Prämisse: Wenn Gott die Welt erschaffen hat, dann herrschen Ordnung und Gesetzmäßigkeit. In der Welt herrschen Ordnung und Gesetzmäßigkeit. Konklusion: Daher wurde die Welt von Gott erschaffen. WS PS Paradoxien 8 4

5 Argumente Materiale Gültigkeit Die formale Gültigkeit eines Arguments reicht noch nicht aus, um von einem erfolgreichen Argument zu sprechen. Die meisten wenn auch nicht alle Argumente sind formal gültig und dennoch nicht akzeptabel. Was Sie jetzt noch tun können, ist die Wahrheit der Prämissen (der angegebenen Gründe) zu bezweifeln. Dieser Aspekt heißt materiale Gültigkeit. Prämisse: Wenn Abtreibung Mord ist, dann ist Abtreibung moralisch unzulässig. Prämisse: Abtreibung ist Mord.????? Konklusion: Abtreibung ist moralisch unzulässig.????? WS PS Paradoxien 9 Indirekter Beweis reductio ad absurdum Bei einem indirekten Beweis wird eine Aussage argumentativ gestützt, indem gezeigt wird, dass aus ihrer Negation entweder ein logischer Widerspruch oder ein Widerspruch zu einer bereits anerkannten These folgt. Wir wollen zeigen, dass nicht alle Menschen Griechen sind. Annahme: Alle Menschen sind Griechen. (Negation unserer Aussage) Anerkannte Prämisse: Cicero ist ein Mensch. Konklusion: Cicero ist ein Grieche. Weitere anerkannte These: Cicero ist kein Grieche (sondern Römer). Widerspruch: Cicero ist ein Grieche und ist kein Grieche. (A und nicht-a.) Konklusion des indirekten Beweise: Nicht alle Menschen sind Griechen. WS PS Paradoxien 10 5

6 Unzulässige Argumente WS PS Paradoxien 11 Widersprüche und Antinomien Widerspruch: heißt eine Aussage der Form A und nicht A. Inkonsistenz: Eine Menge von Aussagen heißt inkonsistent, wenn sie einen Widerspruch enthält, also z.b. zu einer Aussage der Form A und nicht A führt. Antinomie: heißt eine spezielle Art des logischen Widerspruchs, bei der die zueinander in Widerspruch stehenden Aussagen gleichermaßen gut begründet (bzw. im Fall formaler Systeme: bewiesen) sind. Aus einem widersprüchlichen System von Aussagen (d.h. einem Argument oder einer Theorie) ist jede beliebige Aussage ableitbar. Es ist daher unbrauchbar. (ex falso quodlibet) WS PS Paradoxien 12 6

7 Die vier Antinomien des reinen Verstandes (Immanuel Kant) Erste Antinomie: Kosmologisches Raum-Zeit-Problem These: Die Welt hat einen Anfang in der Zeit, und ist dem Raum nach auch in Grenzen eingeschlossen. Antithese: Die Welt hat keinen Anfang, und keine Grenzen im Raume, sondern ist, sowohl in Ansehung der Zeit, als des Raumes, unendlich. Zweite Antinomie: Unteilbarkeit oder unendliche Teilbarkeit der Materie These: Eine jede zusammengesetzte Substanz in der Welt besteht aus einfachen Teilen, und es existiert überall nichts als das Einfache, oder das, was aus diesem zusammengesetzt ist. Antithese: Kein zusammengesetztes Ding in der Welt besteht aus einfachen Teilen, und es existiert überall nichts Einfaches in derselben. (unendliche Teilbarkeit) WS PS Paradoxien 13 Die vier Antinomien des reinen Verstandes (Immanuel Kant) Dritte Antinomie: Naturkausalität kontra Freiheit These: Die Kausalität nach Gesetzen der Natur ist nicht die einzige, aus welcher die Erscheinungen der Welt insgesamt abgeleitet werden können. Es ist noch eine Kausalität durch Freiheit zur Erklärung derselben anzunehmen notwendig. Antithese: Es ist keine Freiheit, sondern alles in der Welt geschieht lediglich nach Gesetzen der Natur. Vierte Antinomie: Zufall vs. absolute Notwendigkeit These: Zu der Welt gehört etwas, das, entweder als ihr Teil, oder ihre Ursache, ein schlechthin notwendiges Wesen ist. Antithese: Es existiert überall kein schlechthin notwendiges Wesen, weder in der Welt, noch außer der Welt, als ihre Ursache. WS PS Paradoxien 14 7

8 Paradoxien Ein Paradoxon oder Paradox ([alt]griechisch παράδοξον, von παρα~, para~ - gegen~ und δόξα, dóxa - Meinung, Ansicht), auch Paradoxie (παραδοξία) genannt, ist eine spezielle Art von Widerspruch. Als Paradoxie wird eine wohlbegründete Aussage bezeichnet, die einer landläufigen, weit verbreiteten Meinung widerspricht, woraus sich aber keine echten internen logischen Schwierigkeiten ergeben. Der Widerspruch besteht hier zwischen einer Aussage, die aus einer Theorie folgt, und einer Aussage, die einer weit verbreiteten Auffassung widerspricht. Theorie Landläufige Auffassung Widerspruch A nicht-a A und nicht-a Fazit: Die Theorie lässt ist nicht mit der landläufigen Auffassung vereinbar. Das heißt nicht, dass sie intern widersprüchlich ist. WS PS Paradoxien 15 Paradoxien Das Rabenparadoxon (Bestätigungsparadoxon) Annahme 1: Ein Gesetz wird durch Beobachtung seiner Instanzen bestätigt. Annahme 2: Die Bestätigung eines Gesetzes hängt nicht von dessen Formulierung ab. Gesetz: Alle Raben sind schwarz. Kontraposition: Alle nicht-schwarzen Gegenstände sind keine Raben. Schlußfolgerung: Das Gesetz Alle Raben sind schwarz lässt sich auch durch die Sichtung von weißen Kreidestücken bestätigen, denn diese sind weder schwarz, noch Raben und damit Instanzen einer logisch äquivalenten Formulierung unseres Gesetzes. Landläufige Auffassung: Das Gesetz Alle Raben sind schwarz lässt sich nicht durch die Beobachtung von weißen Kreidestücken bestätigen. denn sonst könnten wir auch Vogelkunde betreiben, ohne in den Regen hinaus zu müssen... WS PS Paradoxien 16 8

9 Performativer Widerspruch Einen performativen Widerspruch (Widersprüchlichkeit als Folge der Negation von Selbstbezüglichkeit) erhält man, wenn man eine auf sich selbst anwendbare Aussage negiert. Ein Beispiel für einen performativen Widerspruch ist das Paradox des Eubulides: Dieser Satz ist falsch. Wahr oder falsch? Ist dieser Satz nun wahr oder falsch? a) Er ist genau dann wahr, wenn er falsch ist. b) Er ist genau dann falsch, wenn er wahr ist. Die Annahme, dass jeder Satz wahr oder falsch ist, kann bei Sätzen, die selbst die Worte wahr oder falsch enthalten, zu Widersprüchen führen. Kann man diese Frage nur verneinen? Ein Kreter: Alle Kreter lügen. Ja oder nein? Lügt er oder nicht? WS PS Paradoxien 17 Dilemma Ein Dilemma (griechisch δί-λημμα: zweigliedrige Annahme, Plural: Dilemmas oder Dilemmata), auch Zwickmühle, bezeichnet eine Situation, die zwei Wahlmöglichkeiten bietet, welche jedoch beide zu einem unerwünschten Resultat führen. Es wird durch seine Ausweglosigkeit als paradox empfunden. Auch der Zwang zu einer Auswahl zwischen zwei positiven Möglichkeiten kann ein Dilemma sein. Gefangenendilemma Ein Staatsanwalt schlägt zwei getrennt voneinander einsitzenden Untersuchungshäftlingen einen Handel vor. Ihnen wurde bereits eine kleinere Straftat nachgewiesen, aber eine weitere wird ihnen vorgeworfen. Nun bestehen die folgenden Alternativen: a) Schweigen beide, werden sie nur für die nachgewiesene Straftat bestraft (z.b. ein Jahr). b) Gesteht aber einer die bislang nicht nachweisbare Haupttat, so geht er zur Belohnung straffrei aus, während der andere eine weitaus höhere Strafe erhält (z.b. 10 Jahre). c) Gestehen beide, dann erhalten beide eine hohe Strafe (z.b. fünf Jahre). WS PS Paradoxien 18 9

10 Petitio Principii und Circulus Vitiosus Bei der Petitio Principii [lateinisch: Forderung des Beweisgrundes ] handelt es sich um einen Beweis- bzw. Argumentationsfehler, der darin besteht, dass zum Beweis eine selbst erst beweisbedürftige Aussage verwendet wird. Annahme 1 Annahme 2... Annahme, die problematisch / begründungsbedürftig ist begründete These Ein Sonderfall der Petitio Principii ist der Circulus Vitiosus (Zirkelschluss), bei dem man in einem Argument die Konklusion (das, was bewiesen werden soll) schon in den Prämissen (den Beweisgründen) verwendet. Annahme 1 Annahme 2... Annahme, die (offensichtlich / verdeckt) identisch mit der begründeten These ist begründete These WS PS Paradoxien 19 Petitio Principii Humes Induktionsproblem Das früher verzehrte Brot hat mich ernährt, d.h. ein Körper von diesen sinnlichen Eigenschaften war zu dieser Zeit mit dieser verborgenen Kraft ausgerüstet; folgt aber daraus, dass ein anderes Brot, zu anderer Zeit, mich ebenfalls ernähren muss und dass die gleichen sinnlichen Eigenschaften mit gleichen geheimen Kräften immer verbunden sind? Diese Folge ist durchaus nicht notwendig; wenigstens muss man anerkennen, dass hier eine... Schlussart besteht, die der Erklärung bedarf. (David Hume, Eine Untersuchung über den menschlichen Verstand) 1. Annahme: In einigen Fällen habe ich die nahrhafte Wirkung von Brot erfahren. 2. Annahme: Gleichartige Gegenstände haben immer gleichartige Wirkungen. (Petitio Principii) begründete These: Jedes Brot hat eine nahrhafte Wirkung. Mit welchem Recht können wir davon ausgehen, dass gleiche Ursachen gleiche Wirkungen haben? Woher nehmen wir die Gewissheit, dass sich die Natur gleichförmig verhält? WS PS Paradoxien 20 10

11 Infiniter Regress Eine unendliche Reihe ist eine Reihe, deren Endpunkt nie erreicht wird. Solche Reihen gibt es viele, z.b. die Reihe der positiven ganzen Zahlen: 1, 2, 3,... Hierbei handelt es sich um einen harmlosen Regress. Als einen infiniten Regress bezeichnet man in der Philosophie einen Beweis, bei dem es bei der Begründung der Beweisgründe zu einer immer wieder erneuten Anwendung desselben Beweises kommt, so dass eine unendliche Reihe der Beweisgründe entsteht. Zu einem schädlichen Regress kommt es dann, wenn: Die Reihe der Beweisgründe zu keinem Ende gelangen kann. Der Regress aus einer philosophisch interessanten These entsteht. Der Regress für die Position, aus der er abgeleitet wird, eine Inkohärenz darstellt. WS PS Paradoxien 21 Infiniter Regress Was ist eine freie Handlung? 1. These: Eine Handlung ist frei, wenn der Handelnde die Handlung will. 2. These: Das Wollen besteht aus einem Willensakt (eine innere Handlung). 3. These: Ein Willensakt ist frei, wenn... Wenn das Wollen ein Willensakt und damit auch eine Handlung ist, dann stellt sich die Frage, inwiefern das Wollen (als Handeln) frei ist. Um von einer freien Handlung zu sprechen, muss diese nicht nur auf einem Willen als solchen, sondern auf einem freien Willen beruhen. Regress: Eine Handlung ist frei gemäß Definition, wenn der Handelnde sie will. Ein Willensakt aber ist frei, wenn er gemäß Definition vom Handelnden gewollt wird. Der Akt des Wollens eines Willensaktes wiederum ist frei, wenn... usw. usf. WS PS Paradoxien 22 11

12 Scheinbehauptungen In meiner Armbanduhr sitzt ein Dämon.... Man kann ihn nicht sehen oder auf sonstige Weise sinnlich wahrnehmen. Seine Entfernung würde die Funktion der Uhr nicht beeinträchtigen. Es lässt sich kein Unterschied angeben zwischen einer Armbanduhr, in der ein Dämon sitzt, und einer solchen, in der keiner sitzt. Diese Behauptung lässt sich prinzipiell nicht verifizieren oder falsifizieren. ist nicht kritisierbar. ist weder kohärent noch inkohärent, da sie mit keinen weiteren Behauptungen in Beziehung steht. Es handelt sich um eine Scheinbehauptung! Sie ist leer und bedeutungslos. Sie besitzt weder positive noch negative Konsequenzen. Wir können sie ohne Verlust aufgeben. WS PS Paradoxien 23 12

Die Arbeit am Argument

Die Arbeit am Argument Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Dr. Holm Bräuer 1. Philosophische Argumente 60 Die Arbeit am Argument 61 1 Was ist eigentlich ein Argument? 62

Mehr

Die Arbeit am Argument. Einführung in die Theoretische Philosophie

Die Arbeit am Argument. Einführung in die Theoretische Philosophie Die Arbeit am Argument 58 Was ist eigentlich ein Argument? 59 Inhaltlich: Ein Argument ist die Stützung einer Überzeugung (Aussage, These, Annahme etc.) durch Gründe. 60 Formal: Ein Argument besteht aus

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 2017 1 Philosophische Fakultät Institut

Mehr

1. Philosophische Begriffe und Argumente

1. Philosophische Begriffe und Argumente Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Dr. Holm Holm Bräuer Bräuer M.A. 1. Philosophische Begriffe und Argumente Was ist denn das: Philosophie? ϕιλοσοϕια

Mehr

1. Kurze Methodenlehre Philosophie

1. Kurze Methodenlehre Philosophie Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Holm M.A. Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Holm M.A. 1.

Mehr

Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Dr. Holm Bräuer. 1. Philosophische Begriffe und Argumente

Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Dr. Holm Bräuer. 1. Philosophische Begriffe und Argumente Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Dr. Holm Bräuer 1. Philosophische Begriffe und Argumente 12 Philosophie? Was ist denn das? 13 ϕιλοσοϕια ϕιλος =

Mehr

Paradoxien der Replikation

Paradoxien 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

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

Hauptseminar Information, Struktur, Bedeutung WS 2007/2008

Hauptseminar 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:

Mehr

1. Kurze Methodenlehre Philosophie

1. Kurze Methodenlehre Philosophie Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Holm Bräuer M.A. 1. Kurze Methodenlehre Philosophie Was ist Philosophie? Erste Beobachtung (negativ) Im Unterschied

Mehr

Phänomenales Bewusstsein

Phänomenales Bewusstsein Mi (4) [13:00 14:30] ABS 214 Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Dr. Holm Bräuer Proseminar Phänomenales Bewusstsein WS 2009/2010 Büro: BZW A 416 Sprechstunde:

Mehr

Rhetorik und Argumentationstheorie.

Rhetorik und Argumentationstheorie. Rhetorik und Argumentationstheorie 4 [frederik.gierlinger@univie.ac.at] Teil 4 Widerlegungsstrategien II 2 Paradoxie Unter einer Paradoxie versteht man ein (scheinbar) gültiges Argument mit (scheinbar)

Mehr

Vorlesung. Willensfreiheit. Prof. Dr. Martin Seel 8. Dezember Kant, Kritik der reinen Vernunft, B472:

Vorlesung. Willensfreiheit. Prof. Dr. Martin Seel 8. Dezember Kant, Kritik der reinen Vernunft, B472: Vorlesung Willensfreiheit Prof. Dr. Martin Seel 8. Dezember 2005 Kant, Kritik der reinen Vernunft, B472: Die Kausalität nach Gesetzen der Natur ist nicht die einzige, aus welcher die Erscheinungen der

Mehr

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2017

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2017 Logik und Beweise Logik und Beweise Vorsemesterkurs SoSe17 Ronja Düffel 22. März 2017 Logik und Beweise > Motivation Wozu Beweise in der Informatik? Quelle:http://www.capcomespace.net Logik und Beweise

Mehr

Formale Logik. 1. Sitzung. Allgemeines vorab. Allgemeines vorab. Terminplan

Formale Logik. 1. Sitzung. Allgemeines vorab. Allgemeines vorab. Terminplan Allgemeines vorab Formale Logik 1. Sitzung Prof. Dr. Ansgar Beckermann Sommersemester 2005 Wie es abläuft Vorlesung Übungszettel Tutorien Es gibt ca. in der Mitte und am Ende des Semesters je eine Klausur

Mehr

Die Anfänge der Logik

Die Anfänge der Logik Die Anfänge der Logik Die Entwicklung des logischen Denkens vor Aristoteles Holger Arnold Universität Potsdam, Institut für Informatik arnold@cs.uni-potsdam.de Grundfragen Was ist Logik? Logik untersucht

Mehr

Einführung in die Argumentationslehre

Einführung in die Argumentationslehre Joachim Stiller Einführung in die Argumentationslehre Präsentation Alle Rechte vorbehalten 3.1 Argumentationslehre: Übersicht - Fehlargumente - Persönlicher Angriff, Argumentum ad personam - Totschlagargument

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

typische Beweismuster Allgemeine Hilfe Beweistechniken WS2014/ Januar 2015 R. Düffel Beweistechniken

typische Beweismuster Allgemeine Hilfe Beweistechniken WS2014/ Januar 2015 R. Düffel Beweistechniken Beweistechniken Ronja Düffel WS2014/15 13. Januar 2015 Warum ist Beweisen so schwierig? unsere natürliche Sprache ist oft mehrdeutig wir sind in unserem Alltag von logischen Fehlschlüssen umgeben Logik

Mehr

Immanuel Kant in KdrV zu menschlicher Freiheit und Kausalität.

Immanuel Kant in KdrV zu menschlicher Freiheit und Kausalität. DILEMMA: MENSCHLICHE FREIHEIT UND KAUSALITÄT Immanuel Kant: Kritik der reinen Vernunft 2. Analogie der Erfahrung: Grundsatz der Zeitfolge nach dem Gesetz der Kausalität (B 233 ff.): Alles, was geschieht

Mehr

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2016

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2016 Logik und Beweise Logik und Beweise Vorsemesterkurs SoSe16 Ronja Düffel 21. März 2016 Logik und Beweise Wozu Beweise in der Informatik?... um Aussagen wie 1 Das Programm erfüllt die gewünschte Aufgabe.

Mehr

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2015

Logik und Beweise. Logik und Beweise. Vorsemesterkurs SoSe März 2015 Logik und Beweise Logik und Beweise Vorsemesterkurs SoSe15 Ronja Düffel 23. März 2015 Logik und Beweise > Motivation Wozu Beweise in der Informatik? Quelle:http://www.capcomespace.net Logik und Beweise

Mehr

David Hume zur Kausalität

David Hume zur Kausalität David Hume zur Kausalität Und welcher stärkere Beweis als dieser konnte für die merkwürdige Schwäche und Unwissenheit des Verstandes beigebracht werden? Wenn irgend eine Beziehung zwischen Dingen vollkommen

Mehr

Logische Grundlagen des Mathematikunterrichts

Logische Grundlagen des Mathematikunterrichts Logische Grundlagen des Mathematikunterrichts Referat zum Hauptseminar Mathematik und Unterricht 10.11.2010 Robert Blenk Holger Götzky Einleitende Fragen Was muss man beweisen? Woraus besteht ein Beweis?

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

WS 2009/10. Diskrete Strukturen

WS 2009/10. Diskrete Strukturen WS 2009/10 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws0910

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

Beweistechniken. Vorkurs Informatik - SoSe April 2014

Beweistechniken. Vorkurs Informatik - SoSe April 2014 Vorkurs Informatik SoSe14 07. April 2014 Wozu Beweise in der Informatik? Quelle:http://www.capcomespace.net Motivation Wozu Beweise in der Informatik? Quelle: http://www.nileguide.com Wozu Beweise in der

Mehr

Beweistechniken. Beweistechniken. Vorsemesterkurs Informatik Theoretischer Teil Wintersemester 2013/ Oktober Vorsemesterkurs WS 2013/1

Beweistechniken. Beweistechniken. Vorsemesterkurs Informatik Theoretischer Teil Wintersemester 2013/ Oktober Vorsemesterkurs WS 2013/1 Beweistechniken Beweistechniken Vorsemesterkurs Informatik Theoretischer Teil Wintersemester 2013/14 7. Oktober 2013 Beweistechniken > Motivation Wozu Beweise in der Informatik?... um Aussagen wie 1 Das

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

1. Philosophische Begriffe und Argumente

1. Philosophische Begriffe und Argumente Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Dr. Holm Bräuer 1. Philosophische Begriffe und Argumente Philosophie? Was ist denn das? 11 1 Was ist denn das:

Mehr

Deduktion in der Aussagenlogik

Deduktion in der Aussagenlogik Deduktion in der Aussagenlogik Menge von Ausdrücken der Aussagenlogik beschreibt einen bestimmten Sachverhalt, eine "Theorie" des Anwendungsbereiches. Was folgt logisch aus dieser Theorie? Deduktion: aus

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

Argumentationstheorie 9. Sitzung

Argumentationstheorie 9. Sitzung Terminplan Argumentationstheorie 9. Sitzung Oktober 12.10.04 19.10.04 November 02.11.04 09.11.04 Dezember 07.12.04 14.12.04 Januar 04.01.05 11.01.05 ebruar 01.02.05 Test 3 Prof. Dr. Ansgar Beckermann intersemester

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

PROSEMINAR: BRITISCHER EMPIRISMUS LOCKE, BERKELEY, HUME

PROSEMINAR: BRITISCHER EMPIRISMUS LOCKE, BERKELEY, HUME HS 2014 Dienstag, 15 17, wöchentlich Raum MIS03 3026 PROSEMINAR: BRITISCHER EMPIRISMUS LOCKE, BERKELEY, HUME SEMINARPLAN Florian Wüstholz, MA Büro 5242A Sprechstunde: Freitag 10 11 (oder nach Vereinbarung)

Mehr

Ist die Existenz eines theistischen Gottes beweisbar?

Ist die Existenz eines theistischen Gottes beweisbar? Geisteswissenschaft Jan Hoppe Ist die Existenz eines theistischen Gottes beweisbar? Essay Universität Bielefeld Essaytraining, Dr. C. Nimtz, WS 08/09 Jan Hoppe 03.01.2009 Essaythema 2: Gottesbeweise.

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

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

Logisches und Widersprüchliches

Logisches 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

Mehr

Handout zu Beweistechniken

Handout zu Beweistechniken Handout zu Beweistechniken erstellt vom Lernzentrum Informatik auf Basis von [Kre13],[Bün] Inhaltsverzeichnis 1 Was ist ein Beweis? 2 2 Was ist Vorraussetzung, was ist Behauptung? 2 3 Beweisarten 3 3.1

Mehr

Traktat über die menschliche Natur

Traktat über die menschliche Natur David Hume Traktat über die menschliche Natur Ein Versuch, die Methode der Erfahrung in die Geisteswissenschaft einzuführen. 1. bis 3. Buch t. Buch: Über den Verstand Einleitung. Erster Teil. Von den Vorstellungen,

Mehr

Nichts als die mathematische Wahrheit

Nichts als die mathematische Wahrheit 1 Nichts als die mathematische Wahrheit Holger Stephan Weierstraß Institut für Angewandte Analysis und Stochastik (WIAS), Berlin Lange Nacht der Wissenschaften 10. Mai 2014 2 Anregungen zu folgenden Fragen

Mehr

Rhetorik und Argumentationstheorie.

Rhetorik 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

Mehr

Vorlesung. Beweise und Logisches Schließen

Vorlesung. Beweise und Logisches Schließen Vorlesung Beweise und Logisches Schließen Der folgende Abschnitt dient nur zur Wiederholung des Stoffes der ersten Vorlesung und sollten nur genannt bzw. Teilweise schon vor der Vorlesung angeschrieben

Mehr

Weitere Beweistechniken und aussagenlogische Modellierung

Weitere 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

Mehr

-,.. 3) -(-A & -B) modus tollendo tollens 1,2 4) A v B de Morgan 3

-,.. 3) -(-A & -B) modus tollendo tollens 1,2 4) A v B de Morgan 3 Ben - Alexander Bohnke Köln, den 6.11.78 Einige Überlegungen zur logischen Analyse (des Beweises) der These der zweiten Antinomie in KANTS "Kritik der rein~n Vernunft" I) Aussagenlogische Analyse Wie ich

Mehr

Vorkurs Mathematik Logik und Beweise II

Vorkurs Mathematik Logik und Beweise II Vorkurs Mathematik Logik und Beweise II Mireille Soergel 5. Oktober 017 Diese Arbeit basiert in Teilen auf dem Beweis-Vortrag von Bärbel Jansen und Winnifred Wollner, in bearbeiteter Fassung von Casper

Mehr

Inhaltsverzeichnis. David Hume Ein Traktat über die menschliche Natur

Inhaltsverzeichnis. David Hume Ein Traktat über die menschliche Natur Einführung. Von Reinhard Brandt I. Humes skeptischer Empirismus.... XI II. Der Ursprung der Humeschen Philosophie XVIII III. Über den Verstand XXV IV. Über die Affekte XXXV V. Über Moral XL Anmerkungen

Mehr

Einführung in die mathematische Logik

Einführung in die mathematische Logik Prof. Dr. H. Brenner Osnabrück SS 2014 Einführung in die mathematische Logik Vorlesung 23 Der erste Gödelsche Unvollständigkeitssatz Wir haben gesehen, dass die Unentscheidbarkeit des Halteproblems über

Mehr

Das Problem des Übels (besser: Das Problem des Leides)

Das Problem des Übels (besser: Das Problem des Leides) Manche Gottesbeweise gehen von der These aus: In der Welt gibt es unbestreitbare Tatsachen, die für die Existenz Gottes sprechen. Das Problem des Übels (besser: Das Problem des Leides) Umgekehrt kann man

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

Argumentationstheorie 11. Sitzung

Argumentationstheorie 11. Sitzung rgumentationstheorie 11. Sitzung Prof. r. nsgar eckermann Wintersemester 2004/5 Ein Zirkelschluss ist ein Schluss, in dem die Konklusion in offener oder versteckter Form schon in den Prämissen auftaucht.

Mehr

Erinnerung 1. Erinnerung 2

Erinnerung 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

Mehr

Vorlesung. Einführung in die mathematische Sprache und naive Mengenlehre

Vorlesung. Einführung in die mathematische Sprache und naive Mengenlehre Vorlesung Einführung in die mathematische Sprache und naive Mengenlehre Allgemeines RUD26 Erwin-Schrödinger-Zentrum (ESZ) RUD25 Johann-von-Neumann-Haus Fachschaft Menge aller Studenten eines Institutes

Mehr

Diskrete Strukturen Kapitel 2: Grundlagen (Beweise)

Diskrete 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

Mehr

Logik und Missbrauch der Logik in der Alltagssprache

Logik und Missbrauch der Logik in der Alltagssprache Logik und Missbrauch der Logik in der Alltagssprache Wie gewinnt man in Diskussionen? Carmen Kölbl SS 2004 Seminar: " Logik auf Abwegen: Irrglaube, Lüge, Täuschung" Übersicht logische Grundlagen Inferenzregeln

Mehr

INHALT. David Hume Ein Traktat über die menschliche Natur. Über die Affekte. [Vorwort] 336. ERSTER TEIL 337 Über Stolz und Niedergedrücktheit

INHALT. David Hume Ein Traktat über die menschliche Natur. Über die Affekte. [Vorwort] 336. ERSTER TEIL 337 Über Stolz und Niedergedrücktheit INHALT David Hume Ein Traktat über die menschliche Natur BUCH II Über die Affekte [Vorwort] 336 ERSTER TEIL 337 Über Stolz und Niedergedrücktheit Erster Abschnitt. Einteilung des Gegenstandes 337 Zweiter

Mehr

Mathem.Grundlagen der Computerlinguistik I, WS 2004/05, H. Leiß 1

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

Mehr

Einführung in die formale Logik. Prof. Dr. Andreas Hüttemann

Einführung in die formale Logik. Prof. Dr. Andreas Hüttemann Einführung in die formale Logik Prof. Dr. Andreas Hüttemann Textgrundlage: Paul Hoyningen-Huene: Formale Logik, Stuttgart 1998 1. Einführung 1.1 Logische Folgerung und logische Form 1.1.1 Logische Folgerung

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

Metaphysik und Erkenntnismethode bei Descartes. - Falsch sind also nicht die Vorstellungen, sondern die Urteile, die daraus abgeleitet werden.

Metaphysik und Erkenntnismethode bei Descartes. - Falsch sind also nicht die Vorstellungen, sondern die Urteile, die daraus abgeleitet werden. Metaphysik und Erkenntnismethode bei Descartes - Vorstellungen an sich können nicht falsch sein. Auch die Vorstellungen von Chimären (Lebewesen, die es nicht gibt) sind an sich nicht falsch - Falsch sind

Mehr

Lineare Algebra I. Anhang. A Relationen. Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA. Wintersemester 2009/10

Lineare Algebra I. Anhang. A Relationen. Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA. Wintersemester 2009/10 Fakultät für Mathematik Fachgebiet Mathematische Informatik Anhang Lineare Algebra I Heinz H. GONSKA, Maria D. RUSU, Michael WOZNICZKA Wintersemester 2009/10 A Relationen Definition A.1. Seien X, Y beliebige

Mehr

Was ist Logik? Was ist Logik? Aussagenlogik. Wahrheitstabellen. Geschichte der Logik eng verknüpft mit Philosophie

Was ist Logik? Was ist Logik? Aussagenlogik. Wahrheitstabellen. Geschichte der Logik eng verknüpft mit Philosophie Was ist Logik? Geschichte der Logik eng verknüpft mit Philosophie Begriff Logik wird im Alltag vielseitig verwendet Logik untersucht, wie man aus Aussagen andere Aussagen ableiten kann Beschränkung auf

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

Studienordnung für das Studium der Philosophie als Zweitfach innerhalb des Bachelorstudiengangs

Studienordnung für das Studium der Philosophie als Zweitfach innerhalb des Bachelorstudiengangs Philosophische Fakultät I Institut für Philosophie Studienordnung für das Studium der Philosophie als Zweitfach innerhalb des Bachelorstudiengangs Gemäß 17 Abs. 1 Ziffer 1 Vorläufige Verfassung der Humboldt-Universität

Mehr

Brückenkurs Mathematik

Brückenkurs Mathematik Beweise und Beweisstrategien andreas.kucher@uni-graz.at Institute for Mathematics and Scientific Computing Karl-Franzens-Universität Graz Graz, September 5, 2015 Hinweis zu den Folien Diese Folien sind

Mehr

Freiheit und Selbstbestimmung Zur Philosophie Harry G. Frankfurts

Freiheit und Selbstbestimmung Zur Philosophie Harry G. Frankfurts Universität Kiel Wintersemester 2012/13 Freiheit und Selbstbestimmung Zur Philosophie Harry G. Frankfurts Prof. Dr. Lehrstuhl für Praktische Philosophie Philosophisches Seminar Christian-Albrechts-Universität

Mehr

WS 2013/14. Diskrete Strukturen

WS 2013/14. Diskrete Strukturen WS 2013/14 Diskrete Strukturen Prof. Dr. J. Esparza Lehrstuhl für Grundlagen der Softwarezuverlässigkeit und theoretische Informatik Fakultät für Informatik Technische Universität München http://www7.in.tum.de/um/courses/ds/ws1314

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

12 Wahrheitsbäume zur Beurteilung der logischen Wahrheit von Sätzen der Sprache AL

12 Wahrheitsbäume zur Beurteilung der logischen Wahrheit von Sätzen der Sprache AL 12 Wahrheitsbäume zur Beurteilung der logischen Wahrheit von Sätzen der Sprache L Eine zweite Methode Das Wahrheitsbaumverfahren Dieses Verfahren beruht auf der Methode des indirekten Beweises. Wahrheitsbäume

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 5.5.2009 Textgrundlage: C. G. Hempel, Aspekte wissenschaftlicher

Mehr

Einleitung: Schopenhauers Antinomie des menschlichen Erkenntnisvermögens

Einleitung: Schopenhauers Antinomie des menschlichen Erkenntnisvermögens Inhaltsverzeichnis Vorwort Einleitung: Schopenhauers Antinomie des menschlichen Erkenntnisvermögens vii ix 1 Die Welt als Vorstellung: Erste Betrachtung 1 1.1 Die Struktur von Schopenhauers Welt als Vorstellung.....

Mehr

Angewandte Mathematik und Programmierung

Angewandte Mathematik und Programmierung Angewandte Mathematik und Programmierung Einführung in das Konzept der objektorientierten Anwendungen zu mathematischen Rechnens WS 2013/14 Inhalt Übungserklärung* Beweis durch Vollständige Induktion 2

Mehr

Das Pumping Lemma der regulären Sprachen

Das Pumping Lemma der regulären Sprachen Das Pumping Lemma der regulären Sprachen Frank Heitmann heitmann@informatik.uni-hamburg.de 1 Das Pumping Lemma Das Pumping Lemma der regulären Sprachen macht eine Aussage der Art wenn eine Sprache L regulär

Mehr

1. Übung zum G8-Vorkurs Mathematik (WiSe 2011/12)

1. Übung zum G8-Vorkurs Mathematik (WiSe 2011/12) Technische Universität München Zentrum Mathematik PD Dr. Christian Karpfinger http://www.ma.tum.de/mathematik/g8vorkurs 1. Übung zum G8-Vorkurs Mathematik (WiSe 2011/12) Aufgabe 1.1: Gehen Sie die Inhalte

Mehr

II. Wissenschaftliche Argumentation

II. Wissenschaftliche Argumentation Gliederung I. Motivation II. Wissenschaftliche Argumentation i. Direkter Beweis ii. iii. Indirekter Beweis Beweis durch vollständige Induktion Seite 35 II. Wissenschaftliche Argumentation Ein Beweis ist

Mehr

Analyse ethischer Texte

Analyse ethischer Texte WEITERBILDUNGSSTUDIENGANG ANGEWANDTE ETHIK SOMMERSEMESTER 2005 Prof. Dr. Kurt Bayertz Analyse ethischer Texte 23. Juli 2005 I. Was sind Argumente? Zunächst eine allgemeine Charakterisierung von Argumenten

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

INHALTSVERZEICHNIS ERSTER TEIL: KANT VORWORT... 7 INHALTSVERZEICHNIS... 9 SIGLENVERZEICHNIS... 15

INHALTSVERZEICHNIS ERSTER TEIL: KANT VORWORT... 7 INHALTSVERZEICHNIS... 9 SIGLENVERZEICHNIS... 15 INHALTSVERZEICHNIS VORWORT... 7 INHALTSVERZEICHNIS... 9 SIGLENVERZEICHNIS... 15 EINLEITUNG: DIE KOPERNIKANISCHE WENDE IN DER PHILOSOPHIE... 17 ZUSAMMENFASSUNG... 27 ERSTER TEIL: KANT... 31 KAPITEL 1 EINFÜHRUNG

Mehr

Der metaethische Relativismus

Der metaethische Relativismus Geisteswissenschaft Julia Pech Der metaethische Relativismus Was spricht für/gegen eine relativistische Position in der Moral? Essay Julia Pech 8.5.2011 Universität Stuttgart Proseminar: Einführung in

Mehr

Seminar: Schönheit Erhabenheit Genie. Einführung in Kants Kritik der ästhetischen Urteilskraft

Seminar: Schönheit Erhabenheit Genie. Einführung in Kants Kritik der ästhetischen Urteilskraft Seminar: Schönheit Erhabenheit Genie. Einführung in Kants Kritik der ästhetischen Urteilskraft * Dr. P. H. Breitenstein SS 2011 HfBKDresden Mi 16.00-17.30 Uhr Güntzstr. 34/ R. 229 13.04.2011 Programm heute

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

Prof. Dr. Jürgen Neyer. Einführung in die Politikwissenschaft. - Was ist Wissenschaft? Di

Prof. Dr. Jürgen Neyer. Einführung in die Politikwissenschaft. - Was ist Wissenschaft? Di Prof. Dr. Jürgen Neyer Einführung in die Politikwissenschaft - 25.4.2008 Di 11-15-12.45 Wissenschaft ist die Tätigkeit des Erwerbs von Wissen durch Forschung, seine Weitergabe durch Lehre, der gesellschaftliche,

Mehr

Themenvorschläge Philosophie

Themenvorschläge Philosophie Themenvorschläge Philosophie Der Philosophieunterricht: Wie wurde in den vergangenen Jahrhunderten an den Gymnasien des Kantons Luzern Philosophie unterrichtet? Welche Lehrbücher wurden verwendet? Was

Mehr

2 Der Beweis. Themen: Satz und Beweis Indirekter Beweis Kritik des indirekten Beweises

2 Der Beweis. Themen: Satz und Beweis Indirekter Beweis Kritik des indirekten Beweises 2 Der Beweis Themen: Satz und Beweis Indirekter Beweis Kritik des indirekten Beweises Satz und Beweis Ein mathematischer Satz besteht aus einer Voraussetzung und einer Behauptung. Satz und Beweis Ein mathematischer

Mehr

4.10 Philosophie des Sozialen. Inhaltsübersicht

4.10 Philosophie des Sozialen. Inhaltsübersicht Studiengangsspezifische Prüfungs- und Studienordnung für den Zwei-Fach-Masterstudiengang der Philosophische Fakultät Fachanhang zur Studiengangsspezifischen Prüfungs- und Studienordnung für den Zwei-Fach-Masterstudiengang

Mehr

Joachim Stiller. Platon: Euthyphron. Eine Besprechung des Euthyphron. Alle Rechte vorbehalten

Joachim Stiller. Platon: Euthyphron. Eine Besprechung des Euthyphron. Alle Rechte vorbehalten Joachim Stiller Platon: Euthyphron Eine Besprechung des Euthyphron Alle Rechte vorbehalten Inhaltliche Gliederung A. Einleitung: Platon: Euthyphron 1. Die Anklage des Meletos wegen Verderbung der Jugend

Mehr

Seminar Übergänge. Einstieg: Kartenaufgabe. Gliederung

Seminar Übergänge. Einstieg: Kartenaufgabe. Gliederung Einstieg: Kartenaufgabe Gegeben sind vier Karten. Jede Karte hat auf der einen Seite einen Buchstaben und auf der anderen Seite eine Zahl. Seminar Übergänge Thema: Logische Probleme Thomas Hellwig, Thomas

Mehr

Kapitel 1.5. Ein adäquater Kalkül der Aussagenlogik. Teil 1: Kalküle und Beweisbarkeit und die Korrektheit des Shoenfield-Kalküls

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

Mehr

Aussagenlogischer Kalkül, Vollständigkeitssatz

Aussagenlogischer Kalkül, Vollständigkeitssatz Aussagenlogischer Kalkül, Vollständigkeitssatz Salome Vogelsang 22. Februar 2012 Eine Motivation für den Regelkalkül des Gentzen-Typus ist formuliert von Gentzen selbst: "Mein erster Gesichtspunkt war

Mehr

Paul Watzlawick II. Gestörte Kommunikation

Paul Watzlawick II. Gestörte Kommunikation Prof. Dr. Wilfried Breyvogel Sommersemester 05 Montag 12.00-14.00 Uhr R11 T00 D05 Vorlesung vom 18.07.2005 Paul Watzlawick II. Gestörte Kommunikation 1. Die Unmöglichkeit, nicht zu kommunizieren, oder:

Mehr

Einführung in die Theoretische Philosophie SS 2013

Einführung in die Theoretische Philosophie SS 2013 Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Dr. Holm Bräuer Einführung in die Theoretische Philosophie 1 Vorlesung Dr. Holm Bräuer Mi (3) [11:10 12:40] WEB/KLEM/U

Mehr

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

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

Also kann nur A ist roter Südler und B ist grüner Nordler gelten. Aufgabe 1.1: (4 Punkte) Der Planet Og wird von zwei verschiedenen Rassen bewohnt - dem grünen und dem roten Volk. Desweiteren sind die Leute, die auf der nördlichen Halbkugel geboren wurden von denen auf

Mehr

Große Mengen und Ultrafilter. 1 Große Mengen

Große Mengen und Ultrafilter. 1 Große Mengen Vortrag zum Seminar zur Analysis, 31.10.2012 Marcel Marnitz In diesem Vortrag wird das Konzept mathematischer Filter eingeführt. Sie werden in späteren Vorträgen zur Konstruktion der hyperreellen Zahlen

Mehr

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den Fachbereich Mathematik Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Mittwoch den 8.9.011 Vorkurs Mathematik WS 011/1 Die mit * gekennzeichneten Aufgaben sind etwas schwerer. Dort braucht

Mehr

Ein und derselbe Satz kann in Bezug auf unterschiedliche Situationen s 1. und s 2 unterschiedliche Wahrheitswerte haben.

Ein und derselbe Satz kann in Bezug auf unterschiedliche Situationen s 1. und s 2 unterschiedliche Wahrheitswerte haben. 2 Aussagenlogik () 2.3 Semantik von [ Gamut 4-58, Partee 7-4 ] Ein und derselbe Satz kann in Bezug auf unterschiedliche Situationen s und s 2 unterschiedliche Wahrheitswerte haben. Beispiel: Es regnet.

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

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Donnerstag den x > 1 3x > 3 3x + 3 > 6 6x + 3 > 3x + 6.

Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Donnerstag den x > 1 3x > 3 3x + 3 > 6 6x + 3 > 3x + 6. Fachbereich Mathematik Aufgaben und Lösungen zum Vorkurs Mathematik: Beweismethoden Für Donnerstag den 7.9.01 Vorkurs Mathematik WS 01/13 Die mit * gekennzeichneten Aufgaben sind etwas schwerer. Dort braucht

Mehr