Grundlagen der THEORETISCHEN PHILOSOPHIE

Größe: px
Ab Seite anzeigen:

Download "Grundlagen der THEORETISCHEN PHILOSOPHIE"

Transkript

1 Philosophische Fakultät Institut für Philosophie Lehrstuhl für Theoretische Philosophie Dr. Holm Bräuer MBA Grundlagen der THEORETISCHEN PHILOSOPHIE Sommersemester

2 Philosophische Fakultät Institut für Philosophie Lehrstuhl für Theoretische Philosophie Dr. Holm Bräuer MBA 1. Philosophische Argumente 79

3 Was ist eigentlich ein Argument? 80

4 ARGUMENTE 81

5 Ein Argument ist die Stützung einer Überzeugung (Aussage, These, Annahme etc.) durch Gründe. inhaltlich 82

6 Ein Argument ist eine Aneinanderreihung von Aussagen. formal 83

7 Abtreibung ist moralisch unzulässig weil Mord moralisch unzulässig und Abtreibung Mord ist. 84

8 Abtreibung ist moralisch unzulässig weil Mord moralisch unzulässig und Abtreibung Mord ist. Eine der Aussagen in einem Argument ist das, wofür argumentiert wird die sogenannte These. Technisch gesprochen handelt es sich um die Konklusion eines Arguments. 85

9 Abtreibung ist moralisch unzulässig weil Mord moralisch unzulässig und Abtreibung Mord ist. Die anderen Aussagen bestehen in der Angabe dessen, worauf sich die These stützt die sogenannten Gründe. Technisch gesprochen handelt es sich um die Prämissen eines Arguments. 86

10 Erste Prämisse Zweite Prämisse Konklusion Mord ist moralisch unzulässig. Abtreibung ist Mord. Abtreibung ist moralisch unzulässig. 87

11 Ein Argument lässt sich auf zweierlei Weise bestreiten: (1) Durch den Nachweis, dass es sich um kein gültiges Argument handelt (formale Gültigkeit). (2) Durch ein weiteres Argument, das zeigt, dass eine oder mehrere Prämissen unzulässig sind (materiale Gültigkeit). 88

12 Wann ist ein Argument formal gültig? 89

13 Ein Argument ist formal gültig, genau dann wenn die in der Konklusion übermittelte Information in der von den Prämissen übermittelten Information enthalten ist. 90

14 Ein Argument ist formal gültig, genau dann wenn die Konklusion von den Prämissen logisch impliziert wird. 91

15 Ein Argument ist formal gültig, genau dann wenn die Konklusion notwendigerweise wahr sein muss, sofern die Prämissen wahr sind. 92

16 Ein Argument ist formal gültig, genau dann wenn es ausgeschlossen ist, dass die Prämissen wahr sind und die Konklusion falsch ist. 93

17 Franz ist ein Junggeselle. Junggesellen sind unverheiratet. Also ist Franz unverheiratet. Gültig? 94

18 Modus Ponens p wenn p, dann q also: q 95

19 Wenn Franz ein Junggeselle ist, dann ist er unverheiratet. Franz ist unverheiratet. Also ist Franz ein Junggeselle. Gültig? 96

20 Umkehrschluss wenn p, dann q q also: p 97

21 Mord ist moralisch unzulässig. Abtreibung ist Mord. Abtreibung ist moralisch unzulässig. Gültig? 98

22 Die Macht der rationalen Argumentation Falls ein Argument formal gültig ist und der Opponent alle Prämissen des Arguments akzeptiert, dann ist er gezwungen, der Konklusion zuzustimmen. 99

23 Wann ist ein Argument material gültig? 100

24 Wenn man die (materiale) Gültigkeit einer Annahme in einem Argument bestreiten möchte, dann benötigt man dazu wieder ein Argument, welches direkt oder indirekt geführt werden kann. 101

25 BESTREITUNG EINER ANNAHME DURCH EIN DIREKTES ARGUMENT 102

26 Abtreibung ist Mord. Mord ist moralisch unzulässig. Also ist Abtreibung moralisch unzulässig. 103

27 Ein Mord liegt nur dann vor, wenn ein Mensch vorsätzlich getötet wurde. Abtreibung besteht in der vorsätzlichen Tötung eines Fötus. Ein Fötus ist (noch) kein Mensch. Also ist Abtreibung kein Mord. Auch dieses Argument muss natürlich formal gültig sein! 104

28 Abtreibung ist Mord. Mord ist moralisch unzulässig. Also ist Abtreibung moralisch unzulässig. 105

29 BESTREITUNG EINER ANNAHME DURCH EIN INDIREKTES ARGUMENT reductio ad absurdum, indirekter Beweis 106

30 Eine Aussage lässt sich bestreiten bzw. stützen, indem gezeigt wird, dass aus ihrer Negation ein Widerspruch zu anderen, bereits anerkannten Thesen folgt. Dieses Argumentschema nennt man indirekter Beweis oder reductio ad absurdum. 107

31 Wir wollen (indirekt) zeigen, dass Abtreibung kein Mord ist. Annahme: Abtreibung ist Mord. (Negation des zu Beweisenden) Anerkannte These: Mord ist etwas, das grundsätzlich verboten ist. Erste Konklusion: Abtreibung ist grundsätzlich verboten. Anerkannte These: Abtreibung ist nicht grundsätzlich verboten. Widerspruch: Abtreibung ist und ist nicht grundsätzlich verboten. Konklusion: Abtreibung ist kein Mord. (via reductio ad absurdum) 108

32 Abtreibung ist Mord. Mord ist moralisch unzulässig. Also ist Abtreibung moralisch unzulässig. 109

33 Beim Argumentieren kann viel schief gehen 110

34 PROBLEME BEI DER BEGRIFFSVERWENDUNG und warum Philosophen ihre wichtigsten Begriffe definieren. 111

35 VAGHEIT 112

36 rot 113

37 Vage Begriffe besitzen keine starren Anwendungsbedingungen. Sie können in einem Kontext auf ein bestimmtes Objekt korrekt anwendbar sein, in einem anderen Kontext jedoch nicht. 114

38 Anwendungskontexte Biologie: menschliches Lebewesen mit einem x und y Chromosomensatz Mann Psychologie: menschliches Lebewesen mit typisch männlichen Wesenszügen (primäre und sekundäre Geschlechtsmerkmale) Soziologie: volljähriger Mensch mit typisch männlichen Verhaltensweisen 115

39 Die meisten alltagssprachlichen Begriffe sind vage Begriffe. Ein erheblicher Teil der wissenschaftlichen Begriffsbildung besteht darin, die verwendeten Ausdrücke von Vagheit zu befreien. Warum? 116

40 MEHRDEUTIGKEIT AMBIGUITÄT 117

41 Deutsche Bank 118

42 Ein mehrdeutiger Begriff hat in verschiedenen Kontexten verschiedene Bedeutungen. 119

43 Viele alltagssprachliche Begriffe sind mehrdeutig. Die wissenschaftlichen Begriffsbildung versucht, die verwendeten Ausdrücke von Mehrdeutigkeit zu befreien. Warum? 120

44 Vagheit und Mehrdeutigkeit führen zu ÄQUIVOKATIONEN 121

45 Eine Äquivokation ist ein Fehlschluss, der zustande kommt, wenn ein Wort auf Grund von Vagheit oder Mehrdeutigkeit innerhalb eines Arguments verschieden verwendet wird. 122

46 Fehlschluss durch Äquivokation Alle Menschen sind sterblich. Alle Griechen sind Menschen. Also sind alle Griechen sterblich. Herakles ist ein Grieche. Also ist Herakles sterblich. Welches Wort wurde äquivok gebraucht? 123

47 Variante 1 Alle Menschen (exklusive Halbgöttern) sind sterblich. Alle Griechen sind Menschen (inklusive Halbgöttern). Also sind alle Griechen sterblich. Herakles ist ein Grieche. Also ist Herakles sterblich. 124

48 Variante 2 Alle Menschen sind sterblich. Alle Griechen (exklusive Halbgöttern) sind Menschen. Also sind alle Griechen sterblich. Herakles ist ein Grieche (inklusive Halbgöttern). Also ist Herakles sterblich. 125

49 SCHEINBEGRIFFE UND SCHEINBEHAUPTUNGEN 126

50 Was passiert eigentlich, wenn ein Ausdruck keine Anwendungsbedingungen besitzt? Das kommt gerade in der Philosophie leider gar nicht so selten vor. 127

51 Das Nichts nichtet. Martin Heidegger Was ist Metaphysik? (1929) 128

52 Wann ist ein Satz der Form Soundso nichtet. wahr bzw. falsch? 129

53 Heidegger führt einen neuen Ausdruck (nichten) in die Sprache ein, ohne ihn zu definieren. Die Aussage ist daher bedeutungslos/sinnlos und gehört in den Bereich der Dichtkunst. 130

54 Worauf trifft der Ausdruck das Nichts zu? 131

55 Ich habe im Schrank nachgeschaut, aber ich habe dort nichts gefunden. Der gewöhnliche Ausdruck nichts wird nicht als Name oder Bezeichnung, sondern als ein satzstelliges Adverb gebraucht. 132

56 Korrekte Verwendungsweise Ich habe im Schrank nachgeschaut. Es ist nicht der Fall, dass ich dort etwas gefunden habe. Falsche Verwendungsweise Ich habe im Schrank nachgeschaut. Dort habe ich das Nichts gefunden. 133

57 Wenn eine Aussage einen Ausdruck enthält, der keine Anwendungsbedingungen besitzt ( nichten ), und/oder wenn in einer Aussage ein Ausdruck logisch inkorrekt verwendet wird ( das Nichts ), dann handelt es sich um eine: Scheinbehauptung 134

58 Offensichtliche Scheinbehauptungen: Cäsar ist eine Primzahl. (logisch inkorrekte Verwendung) Cäsar ist babig. (keine Anwendungsbedingungen) Weniger offensichtliche Scheinbehauptungen: Das Sein hat sein Wesen in der Verwirklichung. Am Dasein wirkt das Prinzip der Differenz in der Identität. Der absolute Geist kommt in sich selbst zu Bewusstsein. Das Nicht-Ich ist eine Emanation des Ichs. Das Ich setzt sich selbst. Das Nichts nichtet. 135

59 METHODISCHE HILFSMITTEL Definitionen und Explikationen 136

60 DEFINITIONEN 137

61 Um Vagheiten, Mehrdeutigkeiten oder Missverständnisse zu vermeiden, definieren Philosophen ihre wichtigsten Begriffe. 138

62 Ein Nephograph ist ein Gerät, das die verschiedenen Arten und die Dichte der Bewölkung fotographisch aufzeichnet. 139

63 Eine Definition stellt eine Identitätsbeziehung zwischen einem zu definierenden Begriff (dem Definiendum) und einem oder mehreren anderen definierenden Begriffen (dem Definiens) her. 140

64 Ein Nephograph ist ein Gerät, das die verschiedenen Arten und die Dichte der Bewölkung fotographisch aufzeichnet. Definiendum = def Definiens Definiendum: Nephograph Definiens: Gerät, das die verschiedenen Arten und die Dichte der Bewölkung fotographisch aufzeichnet 141

65 Nominaldefinitionen sind konventionell eingeführte Abkürzungen. Der zu definierende Begriff wird dabei relativ willkürlich gewählt. Nominaldefinitionen sind notwendig wahr. true by convention 142

66 Ein Nephograph ist ein Gerät, das die verschiedenen Arten und die Dichte der Bewölkung fotographisch aufzeichnet. Eine Primzahl ist nur durch 1 und sich selbst teilbar. 143

67 Realdefinitionen decken wesentliche Zusammenhänge auf. Der zu definierende Begriff besitzt bereits Anwendungsbedingungen, welche durch die Definition erst explizit gemacht werden sollen. Realdefinitionen können sich als falsch herausstellen. true by the facts 144

68 Gold ist ein chemisches Element mit der Kernladungszahl 79. Wasser ist H 2 O. 145

69 Welche Aussichten auf Erfolg billigen Sie einer Realdefinition zu, wenn die Mehrheit der Alltagsbegriffe vage oder mehrdeutig ist? 146

70 Rekursive (induktive) Definitionen bestimmen einen Begriffs dadurch, dass ein besonderer Anwendungsfall aufgeführt und eine Regel festgelegt wird, durch die sich alle weiteren Anwendungsfälle bestimmen lassen. 147

71 Die Menge der natürlichen, ganzen Zahlen Rekursionsanfang: 0 ist eine natürliche Zahl. Rekursionsschritt: Wenn n eine natürliche Zahl ist, dann ist auch n+1 eine natürliche Zahl. Rekursionsabschluss: Nichts sonst ist eine natürliche Zahl. 148

72 Ostensive (hinweisende) Definitionen bestehen in der Erklärung eines Begriffs durch das hinweisende Aufzeigen seiner Anwendungsfälle. Wenn ein neuer Begriff durch eine ostensive Definition eingeführt wird, besitzt die Definition den Charakter einer Nominaldefinition; sonst handelt es sich um eine Realdefinition. 149

73 Dies ist rot. Das dort ist ein Apfel. Dieses Kind soll Theodor heißen. 150

74 EXPLIKATIONEN 151

75 Begriffsexplikationen greifen bestimmte für den jeweils verfolgten Zweck optimale Anwendungskontexte eines vagen oder mehrdeutigen Begriffs heraus. Die Anwendungskontexte legen die Verwendung des explizierten Begriffs fest. 152

76 Anwendungskontexte Biologie: menschliches Lebewesen mit einem x und y Chromosomensatz Mann Psychologie: menschliches Lebewesen mit typisch männlichen Wesenszügen (primäre und sekundäre Geschlechtsmerkmale) Soziologie: volljähriger Mensch mit typisch männlichen Verhaltensweisen 153

77 Explikandum Explikat Ein Mann 1 ist ein (i) menschliches Lebewesen, (ii) mit einem x- und einem y-chromosomensatz. Ein Mann 2 ist ein (i) menschliches Lebewesen, (ii) mit einem x- und einem y-chromosomensatz, (iii) das älter als 18 Jahre ist. Ein Mann 3 ist ein (i) menschliches Lebewesen, (ii) das älter als 18 Jahre ist, und (iii) typisch männliche Wesenszüge aufweist. 154

78 Eine Begriffsexplikation beruht im Unterschied zu einer Definition nicht auf einer Identitätsbeziehung. Das Explikat kann verschieden vom Explikandum sein! Eine Explikation ist nicht wahr oder falsch, sondern höchstens angemessen (adäquat) oder unangemessen (inadäquat). 155

79 Adäquatheitsbedingungen Explikandum und Explikat müssen ähnliche Anwendungsbedingungen besitzen. Explikat muss exakter als Explikandum sein. Explikat muss fruchtbarer sein. Explikat muss einfacher sein. 156

80 BEGRIFFSANALYSE philosophische Analyse, reduktive Definition 157

81 Wenn es darum geht, grundlegende philosophische Begriffe (wie Wissen, Rechtfertigung, Gerechtigkeit, Gesetz, Wert usw.) zu klären, dann wird das Bemühen um eine Definition zum philosophischen Selbstzweck. Definition als Hilfsmittel vs. Definition als Selbstzweck 158

82 Wissen ist (i) eine Überzeugung, die (ii) wahr ist und (iii) von einer Autorität stammt. 159

83 Es ist möglich, etwas zu wissen, auch wenn es von keiner Autorität stammt. Die dritte Bedingung ist nicht notwendig. 160

84 Notwendige Bedingungen sind diejenigen Merkmale, die jedes Exemplar, das unter den zu definierenden Begriff (Definiendum) fällt, auch tatsächlich besitzt. 161

85 Von links nach rechts lesen! Wenn jemand etwas weiß, dann glaubt er es. Wenn jemand etwas weiß, dann ist es wahr. Wenn jemand etwas weiß, dann stammt es von einer Autorität. (falsch, daher nicht notwendig) 162

86 Wissen ist (i) eine Überzeugung, die (ii) wahr ist. 163

87 Es ist möglich, eine wahre Überzeugung zu besitzen, bei der es sich nicht um Wissen handelt. Beispiel: Raten und zufällig richtig liegen. Überzeugung und Wahrheit sind zusammen nicht hinreichend für Wissen. 164

88 Hinreichende Bedingungen sind diejenigen Merkmale, die, wenn sie gemeinsam gegeben sind, ausschließlich zu Exemplaren des zu definierenden Begriffs (Definiendum) führen. 165

89 Von rechts nach links lesen! Wenn jemand etwas glaubt und es wahr ist, dann weiß er es. (falsch, daher nicht hinreichend) 166

90 Falls jede der angeführten Bedingungen notwendig ist und die Bedingungen gemeinsam hinreichend sind, dann ist die angebotene Begriffsanalyse adäquat. 167

91 Wissen ist (i) eine Überzeugung, die (ii) wahr und (iii) gerechtfertigt ist. Handelt es sich hierbei um eine adäquate Begriffsanalyse? 168

92 TYPISCHE ARGUMENTATIONSPROBLEME 169

93 WIDERSPRÜCHE UND ANTINOMIEN 170

94 Es regnet und es regnet nicht. Also steigen die Aktienkurse. 171

95 Ex Falso Quodlibet Aus einem widersprüchlichen System von Aussagen ist jede beliebige Aussage ableitbar. Es ist daher unbrauchbar. 172

96 Ein Widerspruch ist eine Aussage der Form A und nicht-a 173

97 Inkonsistenz Eine Menge von Aussagen (eine Theorie) heißt inkonsistent, wenn sich ein Widerspruch aus ihr ableiten lässt. 174

98 T impliziert A und nicht-a 175

99 Es regnet. Wenn die Sonne scheint, dann regnet es nicht. Die Sonne scheint. impliziert Es regnet und es regnet nicht. 176

100 Antinomie Bei einer Antinomie handelt es sich um einen Widerspruch, bei dem die beiden zueinander in Widerspruch stehenden Aussagen gleichermaßen gut begründet (bewiesen) sind. 177

101 DIE ANTINOMIEN DES REINEN VERSTANDES (IMMANUEL KANT) 178

102 Die Natur von Raum und Zeit A Nicht-A Die Welt hat einen Anfang in der Zeit, und ist dem Raum nach auch in Grenzen eingeschlossen. Die Welt hat keinen Anfang, und keine Grenzen im Raume, sondern ist, sowohl in Ansehung der Zeit, als des Raumes, unendlich. 179

103 Die Teilbarkeit der Materie A Nicht-A 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. Kein zusammengesetztes Ding in der Welt besteht aus einfachen Teilen, und es existiert überall nichts Einfaches in derselben. 180

104 Kausalität kontra Freiheit A Nicht-A 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. Es ist keine Freiheit, sondern alles in der Welt geschieht lediglich nach Gesetzen der Natur. 181

105 Zufall versus Determinismus A Nicht-A Zu der Welt gehört etwas, das, entweder als ihr Teil, oder ihre Ursache, ein schlechthin notwendiges Wesen ist. Es existiert überall kein schlechthin notwendiges Wesen, weder in der Welt, noch außer der Welt, als ihre Ursache. 182

106 PERFORMATIVE WIDERSPRÜCHE 183

107 Dieser Satz ist falsch. 184

108 Kann man diese Frage nur verneinen? 185

109 Ein performativer Widerspruch besteht, wenn - die Wahrheit einer Aussage ihre Falschheit, - die Falschheit einer Aussage ihre Wahrheit, - die Bejahung einer Frage ihre Verneinung, oder - die Verneinung einer Frage ihre Wahrheit voraussetzt. 186

110 Ein performativer Widerspruch besteht, wenn A präsupponiert nicht-a 187

111 Transzendentale Argumente Ein Argument, das zeigt, dass sich aus einer Annahme ein performativer Widerspruch ableiten lässt, nennt man manchmal ein transzendentales Argument. Technisch gesehen handelt es sich dabei um eine Form des indirekten Beweises (reductio ad absurdum). 188

112 PARADOXIEN 189

113 Eine Paradoxie entsteht dann, wenn aus einer wohlbegründeten Theorie eine Aussage folgt, die im Widerspruch zur landläufigen, weit verbreiteten Meinung (common sense) steht. 190

114 Common Sense Theorie enthält impliziert A Nicht-A A und nicht-a Die Theorie lässt sich nicht mit der landläufigen Auffassung vereinbaren. Die Theorie ist dabei nicht intern widersprüchlich oder inkonsistent. 191

115 DIE RABENPARADOXIE 192

116 Annahmen der Bestätigungstheorie (1) Ein Gesetz wird durch die Beobachtung seiner Instanzen bestätigt. (2) Die Bestätigung eines Gesetzes hängt von seinem Inhalt ab, nicht davon, wie es formuliert wird. 193

117 Alle Raben sind schwarz. 194

118 Alle Raben sind schwarz. ist äquivalent mit/ bedeutet dasselbe wie Alle nicht-schwarzen Gegenstände sind keine Raben. 195

119 Alle nicht-schwarzen Gegenstände sind keine Raben. 196

120 Common Sense Bestätigungstheorie enthält impliziert Das Gesetz Alle Raben sind schwarz lässt sich nicht durch die Beobachtung von weißen Kreidestücken bestätigen Das Gesetz Alle Raben sind schwarz lässt sich durch die Beobachtung von weißen Kreidestücken bestätigen denn sonst könnten wir Vogelkunde im Lehnstuhl betreiben. da weiße Kreidestücke nicht-schwarze Gegenstände und keine Raben sind. 197

121 DILEMMATA 198

122 Dilemma auch Zwickmühle, bezeichnet eine Situation, die zwei Wahlmöglichkeiten bietet, welche jedoch beide zu einem unerwünschten Resultat führen. Auch der Zwang zu einer Auswahl zwischen zwei positiven Möglichkeiten kann ein Dilemma sein. 199

123 Zwei getrennt einsitzenden Untersuchungshäftlingen, Joe und Jim, wurde eine kleine Straftat nachgewiesen. Nun sollen sie eine weitere, größere Straftat gestehen. Der Staatsanwalt bietet ihnen die folgenden Alternativen an: 200

124 Derjenige, der die bislang nicht nachweisbare Haupttat straffrei gesteht, geht straffrei aus, falls der andere nicht gesteht. 1 Jahr Gefängnis Beide bekommen für die bereits nachgewiesene Straftat ein Jahr Gefängnis, falls beide nicht gestehen. 5 Jahre Gefängnis Beide erhalten eine Strafe von fünf Jahren Gefängnis, falls beide die Haupttat gestehen. 10 Jahre Gefängnis Derjenige, der schweigt, erhält die doppelte Strafe (also 10 Jahre Gefängnis), falls der andere gesteht. 201

125 Wie soll sich Joe entscheiden? Schweigen: Sehr hohes Risiko auf zehn Jahre Gefängnis Gestehen: Hohes Risiko auf fünf Jahre Gefängnis 202

126 Wie soll sich Joe entscheiden? Joe schweigt Joe gesteht Jim schweigt 1 Jahr Gefängnis straffrei Jim gesteht 203

127 Wie soll sich Joe entscheiden? Joe schweigt Joe gesteht Jim schweigt Jim gesteht 10 Jahre Gefängnis 5 Jahre Gefängnis 204

128 Wie soll sich Jim entscheiden? Joe schweigt Joe gesteht Jim schweigt 1 Jahr Gefängnis Jim gesteht straffrei 205

129 Wie soll sich Jim entscheiden? Joe schweigt Joe gesteht Jim schweigt 10 Jahre Gefängnis Jim gesteht 5 Jahre Gefängnis 206

130 Was ist rational? Joe schweigt Joe gesteht Jim schweigt 2 x 1 Jahr Gefängnis 10 Jahre Gefängnis und straffrei Jim gesteht straffrei und 10 Jahre Gefängnis 2 x 5 Jahre Gefängnis 207

131 Eine rationale Entscheidung ist nicht immer eine optimale Entscheidung. 208

132 PETITIO PRINCIPII CIRCULUS VITIOSUS 209

133 Das früher verzehrte Brot hat mich ernährt; folgt aber daraus, dass ein anderes Brot, zu anderer Zeit, mich ebenfalls ernähren muss? Diese Folge ist durchaus nicht notwendig; wenigstens muss man anerkennen, dass hier eine Schlussart besteht, die der Erklärung bedarf. David Hume 210

134 Brot hat mich früher ernährt. Also wird mich Brot in Zukunft auch ernähren. 211

135 Humes Induktionsproblem Brot hat mich früher ernährt. Gleichartige Gegenstände haben gleichartige Wirkungen. Also wird Brot mich in Zukunft auch ernähren. 212

136 Eine Petitio Principii (lateinisch: fehlender Beweisgrund ) liegt vor, wenn in einem Argument eine beweisbedürftige Aussage als Prämisse (als Beweisgrund) verwendet oder vorausgesetzt wird. 213

137 Welche Art der Gültigkeit wird bei einer petitio principi in Frage gestellt? 214

138 Ein Sonderfall der petitio principii ist der Circulus Vitiosus (Zirkelschluss), bei dem die Konklusion schon in den Prämissen selbst vorkommt. 215

139 ZUSAMMENFASSUNG Argumentationsprobleme 216

140 Äquivokation Ein Argument scheitert, wenn es vage oder mehrdeutige Ausdrücke enthält und wenn diese Ausdrücke innerhalb des Arguments verschieden gebraucht werden. 217

141 Scheinbehauptung Ein Argument scheitert, wenn es Ausdrücke enthält, für die es keine Anwendungsbedingungen gibt, oder wenn es Ausdrücke enthält, die logisch inkorrekt verwendet wurden. 218

142 Widerspruch Ein Argument scheitert, wenn es eine Aussage der Form A und nicht-a enthält. 219

143 Inkonsistenz Ein Argument scheitert, wenn sich aus seinen Annahmen ein Widerspruch ableiten lässt. 220

144 Antinomie Ein Argument scheitert, wenn es für die Negation seiner These ein ebenso gutes Argument gibt. 221

145 Performativer Widerspruch Ein Argument scheitert, wenn es eine Aussage enthält, die ihre eigene Falschheit voraussetzt. 222

146 Paradoxie Ein Argument scheitert, wenn aus diesem nicht hinnehmbare Konsequenzen folgen. 223

147 Dilemma Ein Argument scheitert und führt in eine Sackgasse, wenn sowohl aus dessen Annahmen nicht hinnehmbaren Konsequenzen folgen, als auch aus deren Negation. 224

148 Petitio Principii Ein Argument scheitert, wenn es eine Prämisse voraussetzt oder enthält, die mindestens ebenso begründungsbedürftig ist wie die These, für welche argumentiert wird. 225

149 Circulus Vitiosus Ein Argument scheitert, wenn die Konklusion in den Prämissen bereits enthalten ist oder vorausgesetzt wird. 226

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

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

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

Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Dr. Holm Bräuer. Proseminar. Paradoxien WS 2009/2010 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:

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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 TEAM 11 Vorlesung Dozent: Dr.

Mehr

Epistemische Logik Einführung

Epistemische Logik Einführung Epistemische Logik Einführung Dr. Uwe Scheffler [Technische Universität Dresden] Oktober 2010 Was ist epistemische Logik? Epistemische Logik ist die Logik von Wissen und Glauben, so wie klassische Logik

Mehr

Zweifeln und Wissen. Grundprobleme der Erkenntnistheorie

Zweifeln und Wissen. Grundprobleme der Erkenntnistheorie Universität Dortmund, WS 2005/06 Institut für Philosophie C. Beisbart Zweifeln und Wissen. Grundprobleme der Erkenntnistheorie Das Gettier-Problem (anhand von E Gettier, Is Justified True Belief Knowledge?

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

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

Wissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie. Prof. Dr. Jörg Rössel

Wissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie. Prof. Dr. Jörg Rössel Wissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie Prof. Dr. Jörg Rössel Ablaufplan 1. Einleitung: Was ist Wissenschaft(stheorie) überhaupt? 2. Was sind wissenschaftliche Theorien?

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Methodologie der Sozialwissenschaften

Methodologie der Sozialwissenschaften Karl-Dieter Opp Methodologie der Sozialwissenschaften Einführung in Probleme ihrer Theorienbildung und praktischen Anwendung 6. Auflage VS VERLAG FÜR SOZIALWISSENSCHAFTEN Inhaltsverzeichnis Vorwort 10

Mehr

Die naturalistische Verteidigung des wissenschaftlichen Realismus

Die naturalistische Verteidigung des wissenschaftlichen Realismus Christian Suhm Westfälische Wilhelms-Universität Münster Philosophisches Seminar Domplatz 23 48143 Münster Email: suhm@uni-muenster.de Anhörungsvortrag am Institut für Philosophie in Oldenburg (04.02.2004)

Mehr

Ein Satz wird auch dunkel werden wo solch ein Begriff einfliest; Klar: Ist Erkenntnis wenn man die dargestellte Sache wieder erkennen kann.

Ein Satz wird auch dunkel werden wo solch ein Begriff einfliest; Klar: Ist Erkenntnis wenn man die dargestellte Sache wieder erkennen kann. Lebenslauf: Gottfried Wilhelm Leibniz: 1.Juli 1646(Leipzig) - 14. November 1716 (Hannover) mit 15 Besuchte er Uni Leipzig; mit 18 Mag; wegen seines geringen Alters (kaum 20) nicht zum Doktorat zugelassen;

Mehr

Induktion und Rekursion

Induktion und Rekursion Induktion und Rekursion Induktion und Rekursion Vorkurs Informatik Theoretischer Teil WS 013/14. Oktober 013 Vorkurs Informatik WS 013/14 1/1 Vollständige Induktion Vorkurs Informatik WS 013/14 /1 Ziel

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

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

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

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

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

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

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

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

Vorkurs Mathematik 2016

Vorkurs Mathematik 2016 Vorkurs Mathematik 2016 WWU Münster, Fachbereich Mathematik und Informatik PD Dr. K. Halupczok Skript VK1 vom 8.9.2016 VK1: Logik Die Kunst des Schlussfolgerns Denition 1: Eine Aussage ist ein sprachliches

Mehr

Précis zu The Normativity of Rationality

Précis zu The Normativity of Rationality Précis zu The Normativity of Rationality Benjamin Kiesewetter Erscheint in: Zeitschrift für philosophische Forschung 71(4): 560-4 (2017). Manchmal sind wir irrational. Der eine ist willensschwach: Er glaubt,

Mehr

Einleitung. Teil I: Theorien von Vagheit

Einleitung. Teil I: Theorien von Vagheit Einleitung Teil I: Theorien von Vagheit 7 Sorites Paradoxien 7 Vagheit 8 Michael Tye: Dreiwertige Logik 11 Kenton Machina: Grade von Wahrheit 13 Rosanna Keefe: Supervaluationismus 14 Timothy Williamson:

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

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

1 Argument und Logik

1 Argument und Logik Seminar: 1/5 1 Argument und Logik Aussagesatz (1): Ein Aussagesatz ist ein Satz im Indikativ, der entweder wahr oder falsch ist. Problem der Indexikalität: Sätze im Indikaitv, die indexikalische Ausdrücke

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

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

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

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

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

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

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

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

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

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

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

Wissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie. Prof. Dr. Jörg Rössel

Wissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie. Prof. Dr. Jörg Rössel Wissen und Gesellschaft I Einführung in die analytische Wissenschaftstheorie Prof. Dr. Jörg Rössel Ablaufplan 1. Einleitung: Was ist Wissenschaft(stheorie) überhaupt? 2. Vorbereitung I: Logik und Argumentation

Mehr

Mathematische Grundlagen I Logik und Algebra

Mathematische Grundlagen I Logik und Algebra Logik und Algebra Dr. Tim Haga 21. Oktober 2016 1 Aussagenlogik Erste Begriffe Logische Operatoren Disjunktive und Konjunktive Normalformen Logisches Schließen Dr. Tim Haga 1 / 21 Präliminarien Letzte

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

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

1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen

1. Grundlagen. Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen 1. Grundlagen Gliederung 1.1 Was ist Analysis? 1.2 Aussagen und Mengen 1.3 Natürliche Zahlen 1.4 Ganze Zahlen, rationale Zahlen Peter Buchholz 2016 MafI 2 Grundlagen 7 1.1 Was ist Analysis? Analysis ist

Mehr

1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen

1. Grundlagen. 1.1 Was ist Analysis? 1.2 Aussagen und Mengen . Grundlagen Gliederung. Was ist Analysis?.2 Aussagen und Mengen.3 Natürliche Zahlen.4 Ganze Zahlen, rationale Zahlen. Was ist Analysis? Analysis ist neben der linearen Algebra ein Grundpfeiler der Mathematik!

Mehr

Grundlegendes der Mathematik

Grundlegendes der Mathematik Kapitel 2 Grundlegendes der Mathematik (Prof. Udo Hebisch) 2.1 Logik Unter einer Aussage versteht man in der Mathematik einen in einer natürlichen oder formalen Sprache formulierten Satz, für den eindeutig

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

Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie. Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen

Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie. Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen Was ist Logik? Geschichte der Logik ist eng verknüpft mit (Sprach-) Philosophie Logik untersucht, wie aus wahren Aussagen andere wahre Aussagen folgen Beschränkung auf "Aussage A folgt nach einer gegebenen

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

1. Grundzüge der Diskursethik

1. Grundzüge der Diskursethik Die Diskursethik 1. Grundzüge der Diskursethik Interpretiere das oben gezeigte Bild: Moralische Kontroversen können letztlich nicht mit Gründen entschieden werden, weil die Wertprämissen, aus denen wir

Mehr

Grundlegendes: Mengen und Aussagen

Grundlegendes: Mengen und Aussagen Kapitel 1 Grundlegendes: Mengen und Aussagen Wie jedes Fachgebiet hat auch die Mathematik eine eigene Fachsprache Ohne ihre Kenntnis wird man ein mathematisches Buch, selbst wenn es für Anwender geschrieben

Mehr

ELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise

ELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise ELEMENTARE DISKRETE MATHEMATIK Kapitel 2: Elementare Logik und Beweise MAA.01011UB MAA.01011PH Vorlesung mit Übung im WS 2016/17 Christoph GRUBER Günter LETTL Institut für Mathematik und wissenschaftliches

Mehr

Einführung in die Wissenschaftsphilosophie

Einführung in die Wissenschaftsphilosophie Einführung in die Wissenschaftsphilosophie Prof. Dr. Martin Kusch 1 Einführung in die Wissenschaftsphilosophie: 2. Vorlesung: Induktion 2 (1) Logik,

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

Aussagenlogik. 1 Einführung. Inhaltsverzeichnis. Zusammenfassung

Aussagenlogik. 1 Einführung. Inhaltsverzeichnis. Zusammenfassung Tobias Krähling email: Homepage: 13.10.2012 Version 1.2 Zusammenfassung Die Aussagenlogik ist sicherlich ein grundlegendes mathematisches Gerüst für weitere

Mehr

3 Empirische Überstzung des Forschungsproblems (X aus 5)

3 Empirische Überstzung des Forschungsproblems (X aus 5) Eigene MC-Aufgaben 3 Empirische Überstzung des Forschungsproblems (X aus 5) 1. Wie kann man die Präzisierung der Aufgabenstellung (A) bezeichnen und worin soll ihr Ergebnis (B) bestehen? (A) dimensionale

Mehr

Beweistechnik: Beweise in Bezug auf Mengen. Formale Methoden 2 LVA , Beweistechnik: Widerspruchsbeweise. Satz R (S T ) = (R S) (R T )

Beweistechnik: Beweise in Bezug auf Mengen. Formale Methoden 2 LVA , Beweistechnik: Widerspruchsbeweise. Satz R (S T ) = (R S) (R T ) Formale Methoden 2 LVA 703019, 703020 (http://clinformatik.uibk.ac.at/teaching/ss06/fmii/) Georg Moser (VO) 1 Martin Korp (UE) 2 Friedrich Neurauter (UE) 3 Christian Vogt (UE) 4 1 georg.moser@uibk.ac.at

Mehr

Vorkurs Mathematik. JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer. September/Oktober Lennéstraße 43, 1. OG

Vorkurs Mathematik. JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer. September/Oktober Lennéstraße 43, 1. OG Vorkurs Mathematik JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer Lennéstraße 43, 1. OG pinger@uni-bonn.de September/Oktober 2017 JProf. Dr. Pia Pinger / Dr. Andreas Pondorfer Vorkurs Mathematik September/Oktober

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

1,64 1,96 2,56. Statistik. Cusanus-Gymnasium Wittlich Faustregeln

1,64 1,96 2,56. Statistik. Cusanus-Gymnasium Wittlich Faustregeln Faustregeln Die folgenden Faustregeln für Binomialverteilungen gelten umso genauer, je größer n ist, insbesondere falls die Laplace- Bedingung n p q 3 erfüllt ist. Radius der Umgebung Wahrscheinlichkeit

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

Übungen zur Analysis I

Übungen zur Analysis I Übungen zur Analysis I Prof. Dr. C. Löh/M. Blank Blatt 0 vom 4. Mai 2011 the Ravenous Bugblatter Beast of Traal (a mindboggingly stupid animal, it assumes that if you can t see it, it can t see you daft

Mehr

Rhetorik und Argumentationstheorie. [frederik.gierlinger@univie.ac.at]

Rhetorik und Argumentationstheorie. [frederik.gierlinger@univie.ac.at] Rhetorik und Argumentationstheorie 1 [frederik.gierlinger@univie.ac.at] Ablauf der Veranstaltung Termine 1-6 Erarbeitung diverser Grundbegriffe Termine 7-12 Besprechung von philosophischen Aufsätzen Termin

Mehr

Einführung in die formale Logik für Philosophen

Einführung in die formale Logik für Philosophen Thomas Zoglauer Einführung in die formale Logik für Philosophen 5. Auflage 20 Sprachphilosophische Grundlagen der Logik Alle umgangssprachlichen Definitionen haben die gleiche Struktur. Das Definiens enthält

Mehr

Fuzzy Logic und Wahrscheinlichkeit

Fuzzy Logic und Wahrscheinlichkeit Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Holm Bräuer M.A. Fuzzy Logic und Wahrscheinlichkeit Ein Kurzüberblick Was ist Fuzzy Logic? Fuzzy-Logik (englisch:

Mehr