Was ist Wahrheit? 759

Größe: px
Ab Seite anzeigen:

Download "Was ist Wahrheit? 759"

Transkript

1 Was ist Wahrheit? 759

2 760

3 Eigenschaften der Wahrheit 761

4 Objektivität Wahr-Sein vs. Für-Wahr-Halten 762

5 Zeitlosigkeit Wahrheit hat keine Geschichte, Glauben und Wissen hingegen schon. 763

6 Spachunabhängigkeit Übersetzung ändert die Wahrheit/Falschheit nicht 764

7 Transzendenz (Realismus) Es ist möglich, dass es Wahrheiten gibt, die wir prinzipiell nicht erkennen können 765

8 Immanenz (Anti-Realismus) Wahrheit und Erkenntnis sind untrennbar miteinander verbunden. 766

9 Wahrheitsträger 767

10 Sätze (abstrakte sprachliche Formen) Äußerungen (konkrete sprachliche Handlungen) Wahrheit ist sprachübergreifend 768

11 Urteile (konkrete psychische Ereignisse) Überzeugungen (konkrete psychische Zustände) Wahrheit ist objektiv und zeitlos. 769

12 Propositionen (abstrakte semantische Objekte) Wie können wir Propositionen erfassen? 770

13 Wahrheitstheorien 771

14 Korrespondenztheorie (Realismus) Etwas ist wahr, wenn es mit der Welt übereinstimmt. 772

15 Epistemische Theorie (Antirealismus) Wahr werden diejenigen Erkenntnisse genannt, die perfekt sind. 773

16 Deflationismus Das Prädikat ist wahr hat keine Bedeutung und lässt sich eliminieren. 774

17 Korrespondenztheorie 775

18 Etwas ist wahr, wenn es mit der Welt im Einklang steht. Eine Satz ist wahr, wenn es eine Tatsache gibt, mit der er übereinstimmt. 776

19 Wittgensteins Bildtheorie der Wahrheit 777

20 Ein Satz ist ein Bild einer Tatsache. 778

21 Semantische Bedingung Die Teile eines Satzes stehen für Teile von Tatsachen. 779

22 Bedingung der Strukturgleichheit Die Teile eines Satzes sind genauso angeordnet wie die Teile der Tatsache. 780

23 die Katze sitzt auf der Matte 781

24 Probleme der Bildtheorie 782

25 Universalienproblem Gibt es Eigenschaften oder Relationen? 783

26 Das Problem fehlender korrespondierender Tatsachen 784

27 Die Katze sitzt nicht auf der Matte. negative, wahre Sätze 785

28 Es gibt eine Katze, die auf der Matte sitzt. Existenzsätze 786

29 Die Katze könnte auf der Matte sitzen. kontrafaktische Sätze 787

30 Höchstwahrscheinlich sitzt die Katze auf der Matte. probabilistische Sätze 788

31 Eine Katze ist eine Katze. Tautologien und mathematische Sätze 789

32 Das Slingshot Argument Frege, Church, Quine, Davidson 790

33 Alonzo Church ( ) Einflussreicher amerikanischer Mathematiker und Logiker, der wichtige Grundlagen für die mathematische Logik, wie das Lambda Kalkül oder das Church-Turing Theorem, und die Informatik gelegt hat. An Unsolvable Problem of Elementary Number Theory (1936); Introduction to Mathematical Logic (1944/56); The Calculi of Lambda Conversion (1941) 791

34 Synonymie Wenn zwei Sätze dasselbe bedeuten, dann korrespondieren sie mit derselben Tatsache. 792

35 Substitution Wenn man einen Teilausdruck eines Satzes durch einen anderen ersetzt, der für dasselbe steht, dann korrespondiert der Satz, der sich daraus ergibt, mit derselben Tatsache wie der ursprüngliche Satz. 793

36 Scott ist der Autor von Waverly. Scott ist der, der 29 Waverly-Novellen geschrieben hat. Substitution 794

37 Scott ist der, der 29 Waverly-Novellen geschrieben hat. Die Anzahl von Scotts Waverly-Novellen ist 29. Synonymie 795

38 Die Anzahl von Scotts Waverly-Novellen ist 29. Die Anzahl der Verwaltungsbezirke in Utah ist 29. Substitution 796

39 Die Anzahl der Verwaltungsbezirke in Utah ist 29. Utah hat 29 Verwaltungsbezirke. Synonymie 797

40 Scott ist der Autor von Waverly. Utah hat 29 Verwaltungsbezirke. bringen dieselbe Tatsache zum Ausdruck 798

41 Fazit Jeder wahre Satz korrespondiert mit derselben Tatsache. Es gibt daher nur eine große Tatsache, die mit jedem wahren Satz korrespondiert. 799

42 Tarskis semantische Theorie der Wahrheit 800

43 Alfred Tarski ( ) Tarski ist ein polnisch-amerikanischer Logiker. Er gilt als der Begründer der formalen Semantik ( Modelltheorie ). Seine Arbeiten zum Problem der Definition der Wahrheit waren bahnbrechend und hatten einen großen Einfluss auf die Philosophie. Der Wahrheitsbegriff in den formalisierten Sprachen (1936); The Semantic Conception of Truth and the Foundations of Semantics (1944) 801

44 Etwas ist wahr, wenn es mit der Welt im Einklang steht. Eine Satz ist wahr, wenn es sich so verhält, wie er sagt. x ist wahr in L genau dann, wenn p. 802

45 T-Sätze x ist wahr in L gdw. p Grass is green ist wahr im Englischen gdw. Gras grün ist. Neapel liegt südlich von Rom ist wahr im Deutschen gdw. Neapel südlich von Rom liegt. 803

46 Wir können nur sagen, daß jede Äquivalenz der Form (T), die wir nach Ersetzung von p durch eine partikuläre Aussage und von x durch den Namen dieser Aussage erhalten, als eine partielle Definition der Wahrheit betrachtet werden kann, die erklärt, worin die Wahrheit dieser einen individuellen Aussage besteht. Tarski, Die semantische Definition der Wahrheit und die Grundlagen der Semantik 804

47 Die Konvention T 805

48 (T-1) Gras ist grün ist wahr im Deutschen gdw. Schnee weiß ist. 806

49 Konvention T (Adäquatheitskriterium) Eine Wahrheitsdefinition für eine Sprache L impliziert alle korrekten Sätze des Schemas (T) x ist wahr in L gdw. p so dass x ein Satz der Objektsprache L und p eine Übersetzung von x in die Theoriesprache ist. 807

50 (T-2) Gras ist grün ist wahr im Deutschen gdw. Gras grün ist. Dieser T-Satz stellt eine adäquate Definition der Wahrheit für den deutschen Satz Gras ist grün dar, denn Gras ist grün (p) ist eine Übersetzung von Gras ist grün (x). 808

51 Das ist aber noch nicht das, was wir eigentlich haben wollen: eine allgemeine Definition des Wahrheitsbegriffs für alle Sätze der untersuchten Sprache. 809

52 Die allgemeine Definition muß in einem gewissen Sinne die logische Konjunktion all dieser partiellen Definitionen sein. Tarski, Die semantische Definition der Wahrheit und die Grundlagen der Semantik 810

53 Rekursive Definitionen 811

54 Atomare Sätze (Rekusionsanfang) Falls S ein Satz der Form F(a) in L ist, dann ist S in L wahr gdw. das Individuum, welches a denotiert, Element der Klasse von Individuen ist, welche F denotieren. 812

55 Komplexe Sätze (Rekursionsschritt) Falls S ein Satz der Form G und H in L ist, dann ist S in L wahr gdw. G wahr ist und H wahr ist. Falls S ein Satz der Form G oder H in L ist, dann ist S in L wahr gdw. G wahr ist oder H wahr ist. Falls S ein Satz der Form Für alle x, Fx in L ist, dann ist S in L wahr gdw. F(i) für alle Belegungen i für die Variable x wahr ist. 813

56 Abschluss (Rekursionsabschluss) Nichts sonst ist wahr in L. 814

57 Zusammenfassung 815

58 Welche Form muss eine Theorie der Wahrheit haben? Sie muss Sätze der Form T liefern. 816

59 Wann ist eine Definition von ist wahr in L adäquat? Wenn die Konvention T erfüllt ist. 817

60 Wie kann man eine allgemeine Definition dieser Art aufstellen? Durch eine induktive Definition, in der zuerst die Wahrheitsbedingungen für die Basissätze einer Sprache und danach aufbauend für alle anderen, komplexen Sätze formuliert werden. 818

61 Epistemische Wahrheitstheorien (Antirealismus) 819

62 Wahrheit gibt es nicht außerhalb unserer Erkenntnis. Es gilt daher ein Kriterium für die Wahrheit unserer Überzeugungen zu finden. 820

63 Rationale Akzeptierbarkeit Eine Proposition ist wahr, wenn sie unter idealen Bedingungen von einer vollständig rationalen Person akzeptiert werden würde. Charles Sanders Peirce 821

64 Wahr ist demzufolge das, was vollständig vernünftige Menschen nach ausreichender Nachforschung für wahr halten. 822

65 Wahrheit übersteigt die Perspektive rationaler Personen grundsätzlich nicht. 823

66 Wahrheit ist eine immanente Eigenschaft unserer Erkenntnispraxis. 824

67 Konsenstheorie Eine Proposition ist wahr, wenn sie unter idealen Bedingungen für alle Mitglieder einer Sprechergemeinschaft rational akzeptierbar ist. Karl-Otto Apel, Jürgen Habermas 825

68 Wahrheit ist nicht nur eine immanente, sondern auch eine soziale Eigenschaft unserer Erkenntnispraxis. 826

69 Probleme 827

70 Idealisierungen Wir sind keine vollständig rationalen Personen. Auch die Bedingungen sind niemals ideal. 828

71 Akzeptanz Man kann etwas aus unterschiedlichen Gründen akzeptieren (Authentizität, Vernünftigkeit, Autorität). Der relevante Begriff der Akzeptanz muss hier lauten: Etwas als wahr akzeptieren. 829

72 Rationalität Eine Person ist rational, wenn sie in ihrem Denken und Handeln Prinzipien folgt, die Wahrheit erhalten bzw. zur Wahrheit führen. Man kann also den Begriff der Rationalität nicht explizieren, ohne dabei den Begriff der Wahrheit zu verwenden. 830

73 Konsens Bestätigt Konsens nicht bestenfalls manchmal (und bestimmt nicht immer) eine Wahrheit, anstatt sie allererst zu begründen? 831

74 Kohärenztheorie Eine Überzeugung ist wahr, wenn sie ein Element in einem kohärenten System von Überzeugungen ist. Blanshard, Neurath, Davidson 832

75 Wenn wir uns fragen, ob ein Satz oder eine Überzeugung wahr ist, haben wir dann nicht immer nur andere Sätze oder Überzeugungen, auf die wir uns dabei stützen können? 833

76 Kohärenz (1) Die Überzeugungen müssen zueinander logisch konsistent sein und dürfen sich nicht widersprechen. (2) Die Überzeugungen müssen untereinander in einem Schlussfolgerungs-, Rechtfertigungs- und Erklärungszusammenhang stehen. 834

77 Probleme 835

78 Alternativsysteme Zu jedem kohärenten System von Überzeugungen gibt es mindestens ein anderes, ebenfalls kohärentes System von Überzeugungen derart, dass beide Systeme sich gegenseitig logisch ausschließen. 836

79 Märchen und Geschichten Man kann kohärente Märchen erzählen. Man kann überhaupt irgendein beliebiges kohärentes System von Überzeugungen konstruieren, das nichts mit unserer Wirklichkeit gemein haben muss. 837

80 Holismus Eine Überzeugung kann nur in Bezug auf ein System von Überzeugungen auf ihre Wahrheit/Falschheit beurteilt werden. kontraintuitiv 838

81 Zirkel Wie kann man erklären, was mit logischer Konsistenz, Schlussfolgerung oder Erklärung gemeint ist, ohne dabei schon den Begriff der Wahrheit in Anspruch zu nehmen? 839

82 Wahrheitsdeflationismus 840

83 Das Wort wahr liefert durch seinen Sinn keinen wesentlichen Beitrag zum Gedanken. Wenn ich behaupte es ist wahr, daß das Meerwasser salzig ist, so behaupte ich dasselbe wie wenn ich behaupte das Meerwasser ist salzig. Hierin ist zu erkennen, daß die Behauptung nicht in dem Worte wahr liegt, sondern in der behauptenden Kraft, mit der der Satz ausgesprochen wird. Danach könnte man meinen, das Wort wahr habe überhaupt keinen Sinn. Frege: Nachgelassene Schriften 841

84 Wenn wir von einem Satz sagen, er sei wahr, dann sprechen wir ihm nicht die Eigenschaft der Wahrheit zu. 842

85 Redundanztheorie Das Prädikat ist wahr ist überflüssig und trägt nichts zur Satzbedeutung bei. Es lässt sich in allen Aussagen eliminieren, ohne deren Inhalt zu verändern. Frege, Ramsey, Ayer 843

86 Es ist wahr, dass Caesar ermordet wurde. = Caesar wurde ermordet. 844

87 Es ist falsch, dass Caesar ermordet wurde. = Caesar wurde nicht ermordet. 845

88 Caesar wurde ermordet ist wahr. = Caesar wurde ermordet. 846

89 Caesar wurde ermordet ist falsch. = Caesar wurde nicht ermordet. 847

90 Performative Theorie Das Wahrheitsprädikat ist kein eigenständiges Prädikat, sondern ein performativer Operator, mit dem wir so etwas wie Zustimmung ausdrücken. Strawson 848

91 Mit dem Satz Caesar wurde ermordet ist wahr sagen wir nicht mehr, als mit dem Satz Caesar wurde ermordet. 849

92 Darüber hinaus signalisieren wir unsere Zustimmung zu diesem Satz. Die Wahrheitszuschreibung ist ein performativer Akt. 850

93 Disquotationale Theorie Das Prädikat ist wahr stellt den Realitätsbezug von zitierten Sätzen wieder her. Quine 851

94 Wenn wir in einer Theorie etwas über sprachliche Ausdrucke (Sätze) sagen wollen, dann müssen wir sie zitieren. 852

95 Caesar wurde ermordet. Hier benutzen wir den Satz, um etwas über die Welt zu sagen. 853

96 Caesar wurde ermordet. enthält 3 Worte. Hier erwähnen wir den Satz und sprechen über eine Eigenschaft, die er selbst besitzt. 854

97 Syntax Caesar wurde ermordet. ist ein wohlgeformter Satz. 855

98 Semantik Besondere Schwierigkeit: Zwar sprechen wir auch hier z.b. über einen Satz und dessen Eigenschaften, aber dabei geht es nicht um Eigenschaften des Satzes selbst, sondern um seine Bedeutung, d.h. seinen Bezug zur Welt. 856

99 Caesar wurde ermordet. ist wahr. Hier erwähnen wir den Satz und sagen zugleich etwas darüber aus, welchen Bezug er zur Welt hat. Wir müssen die Anführungszeichen setzen und zugleich eliminieren. 857

100 Wir brauchen das Wahrheitsprädikat, um den Realitätsbezug von zitierten Sätzen herzustellen. semantischer Aufstieg 858

101 Minimalismus Wenn man aus einem oder mehreren Sätzen Nominalausdrücke macht, dient "ist wahr" einzig dazu, daraus wieder ganze Sätze zu machen. Paul Horwich 859

102 Caesar wurde ermordet. Nominalausdruck die Aussage, dass Caesar ermordet wurde 860

103 E = m x c 2, Nichts ist schneller als das Licht., Nominalausdruck Einsteins Theorie 861

104 Die Aussage, dass Caesar ermordet wurde, ist wahr. Einsteins Theorie ist wahr. 862

105 Probleme 863

106 Verallgemeinerungen Alles, was der Papst sagt, ist wahr. ist wahr ist nicht redundant 864

107 Sätze Der Satz Caesar wurde ermordet ist wahr. = Caesar wurde ermordet. Nicht wirklich korrekt wegen der Relativität auf eine Sprache. 865

108 Propositionen Die Proposition Caesar wurde ermordet ist wahr. = Caesar wurde ermordet. Trivial, da die Wahrheit einer Proposition genau so definiert wird. 866

109 Worin besteht Rechtfertigung? 867

110 In aller Regel sind gerechtfertigte Überzeugungen eher wahr als ungerechtfertigte. 868

111 Aber es gibt Überzeugungen, die gerechtfertigt und trotzdem falsch sind. 869

112 Und es gibt Überzeugungen, die ungerechtfertigt und trotzdem wahr sind! 870

113 Rechtfertigung ist ein geeignetes Mittel zur Erzielung wahrer Überzeugungen. fallibilistische Auffassung der Rechtfertigung 871

114 Eigenschaften der Rechtfertigung 872

115 Eine gerechtfertigte Überzeugung kann durch den Erwerb zusätzlicher Informationen zu einem späteren Zeitpunkt aufgehoben werden. Rechtfertigung ist zeitrelativ 873

116 Zwei Personen können zwar dieselbe Überzeugung besitzen, es ist aber nicht (noch nicht einmal meistens) so, dass beider Überzeugung gleichermaßen gerechtfertigt ist! Rechtfertigung ist personenrelativ 874

117 Gerechtfertigt ist jemand, wenn er gute Gründe für seine Überzeugungen besitzt. Rechtfertigung ist evaluativ 875

118 Eine Meinung kann mehr oder weniger gerechtfertigt sein. Sie kann durch zusätzliche Belege verstärkt oder abgeschwächt werden. Rechtfertigung ist graduell 876

119 Definition der Rechtfertigung 877

120 (1) Die Rechtfertigung einer Überzeugung setzt voraus, dass es Rechtfertiger für diese Überzeugung, d. h. Gründe für sie gibt. 878

121 (2) Überzeugungen und Gründe dürfen in keinem beliebigen Verhältnis zueinander stehen, d.h. die Gründe müssen die Überzeugung tatsächlich stützen. 879

122 (3) Gründe können eine Überzeugung nur dann stützen, wenn es gute Gründe sind. 880

123 Eine Person S ist gerechtfertigt zu glauben, dass p, genau dann, wenn: (1) S Gründe für seine Meinung hat; (2) die Gründe seine Meinung stützen; (3) diese Gründe adäquat sind. 881

124 Die Definition der Rechtfertigung ist nicht hinreichend. 882

125 Irene glaubt, dass es regnet. 883

126 Sie hört, wie der Regen auf das Vordach ihrer Veranda tropft. Sie hätte damit einen exzellenten (adäquaten) Grund für ihre Meinung. 884

127 Allerdings ist Irene unaufmerksam. Sie glaubt, dass es regnet, weil sie es in der lokalen Wettervorhersage gehört hat, die in ihren Breiten sehr unzuverlässig ist. 885

128 Irene hat einen Grund für ihre Überzeugung: sie hört, wie die Regentropfen auf das Verandadach trommeln. 886

129 Der Grund ist adäquat und stützt auch ihre Meinung: Das Hören von Regengeräuschen ist ein guter Indikator für die betreffende Überzeugung. 887

130 Irene kommt jedoch nicht zu der Überzeugung, dass es regnet, weil sie diesen guten Grund hat, sondern weil sie die Wettervorhersage gehört hat, die ein schlechter Grund für ihre Überzeugung ist. 888

131 Damit eine Meinung gerechtfertigt ist, reicht es nicht aus, dass man für diese Meinung gute und stützende Gründe hat. Die Gründe und die Meinung müssen richtig aufeinander bezogen sein. 889

132 Eine Person S ist gerechtfertigt zu glauben, dass p, genau dann, wenn: (1) S Gründe für seine Meinung hat; (2) die Gründe seine Meinung stützen; (3) die Gründe adäquat sind;und (4) S gerechtfertigt ist zu glauben, dass die Stützungsbeziehung besteht. 890

133 Die kausale Theorie der Rechtfertigung Alvin I. Goldman, William P. Alston 891

134 Eine Person S ist gerechtfertigt zu glauben, dass p, genau dann, wenn: (1) S Gründe für seine Meinung hat; (2) die Gründe seine Meinung stützen; (3) die Gründe adäquat sind; und (4) die Gründe die Überzeugung verursachen. 892

135 Externalismus Rechtfertigung muss einer Person selbst nicht kognitiv zugänglich sein. Eine Überzeugung kann gerechtfertigt sein, ohne dass die Person die Überzeugung rechtfertigen bzw. begründen kann. Epistemische Rechte ohne epistemische Pflichten sind möglich. Internalismus Rechtfertigung setzt kognitive Zugänglichkeit voraus. Eine Überzeugung ist nur dann gerechtfertigt, wenn man sie tatsächlich rechtfertigen bzw. begründen kann. Keine epistemischen Rechte ohne epistemische Pflichten. 893

136 Welche Gründe sind adäquat (angemessen, gut)? 894

137 Ein Kommissar ist mit der Untersuchung eines Mordfalls beschäftigt. Er glaubt, dass der Gärtner den Grafen umgebracht hat. Er begründet das so: Es gibt nur drei weitere mögliche Täter: den Fahrer, den Butler und den Koch. Alle drei haben handfeste Alibis und es besteht kein Zweifel daran, dass der Graf tatsächlich umgebracht worden ist und nicht Selbstmord beging oder eines natürlichen Todes starb. 895

138 Sind diese Gründe gute Gründe für die Überzeugung, dass der Gärtner den Grafen umgebracht hat? 896

139 Ist die Annahme, dass es nur drei weitere mögliche Täter gibt, gerechtfertigt? 897

140 Ist die Annahme, dass die Alibis der anderen wasserdicht sind, selbst wasserdicht? 898

141 Sind die Annahmen, dass der Gärtner kein gutes Alibi hat und der Graf tatsächlich umgebracht worden ist, gut begründet? 899

142 Rechtfertigungstrilemma 900

143 Eine gerechtfertigte Überzeugung setzt voraus, dass es für diese Überzeugung einen Grund G 1 gibt. Überzeugung Grund 1 901

144 Ob dieser Grund G 1 adäquat (gut) ist, hängt davon ab, ob sich dieser selbst rechtfertigen lässt. Grund 1 Grund 2 902

145 Welche Implikationen hat das? 903

146 Dogmatischer Abbruch Ü G 1 G 2 G 3 Es ist dogmatisch, an einer bestimmten Stelle mit dem Begründen aufzuhören. 904

147 Circulus Vitiosus Ü G 1 G 2 G 3 Ü Eine sich selbst begründende Meinung macht das Rechtfertigen überflüssig. 905

148 Infiniter Regress Ü G 1 G 2 G 3 Menschen sind endliche Wesen und können keine unendliche Anzahl von Überzeugungen haben. 906

149 Positionen 907

150 Fundamentalismus Es gibt bestimmte Überzeugungen (Regress-Stopper), die keiner weiteren Begründung bedürfen. Dogmen sind nicht immer schlecht. 908

151 Kohärentismus Ein Rechtfertigungszirkel kann vermieden werden, wenn wir unsere Überzeugungen und ihre Gründe vor dem Hintergrund eines ganzen Systems von Überzeugungen vor dem Hintergrund einer Theorie betrachten. Ein Rechtfertigungszirkel ist nicht immer schlecht. 909

152 Kontextualismus Es gibt keinen wirklichen infiniten Regress des Rechtfertigens. In der Praxis hängt es vom Kontext und unseren Konventionen ab, welche Gründe wir für adäquat halten. Praktisch gibt es keinen infiniten Regress. 910

153 Fundamentalismus 911

154 Gewissheitsargument Wissen kann nur dann infallibel sein, wenn es auf einer unfehlbaren Rechtfertigung beruht. Unfehlbare Rechtfertigung ist jedoch nur möglich, wenn es unfehlbare basale Meinungen gibt. 912

155 Regressargument Da es Rechtfertigung wirklich gibt und diese weder durch einen Zirkel, noch durch einen infiniten Regress möglich wäre, muss es basale Meinungen geben. 913

156 Isolationsargument Wir besitzen empirisches Wissen. Nur wenn es unmittelbar durch die Erfahrung gerechtfertigte, basale Meinungen gibt, kann man dieses überhaupt erlangen. 914

157 Typen des Fundamentalismus 915

158 Intuitionistischer Fundamentalismus Die Basis der Rechtfertigung bilden selbstevidente Meinungen, die unmittelbar einleuchtend und nicht sinnvoll anzweifelbar sind. Platon, Pythagoras, Euklid 916

159 Die Wissenschaftsgeschichte liefert jede Menge Beispielmaterial dafür, dass auch scheinbar selbstevidente Meinungen falsch sein können. Die Sonne bewegt sich um die Erde. Euklidische Geometrie 917

160 Doxastischer Fundamentalismus Die Basis der Rechtfertigung bilden Meinungen über die eigenen mentalen Zustände. Descartes 918

161 Lernen wir nicht zuerst, über die Welt zu urteilen, und dann erst über unser Erleben der Welt? Überzeugungen über die eigenen mentalen Zustände allein können keine Überzeugungen über etwas anderes (die Welt) rechtfertigen. Es entsteht ein Außenwelt-Problem. 919

162 Empiristischer Fundamentalimus Die Rechtfertigung hat ihr Fundament im Gegebenen, d.h. den unmittelbaren Erfahrungen, die wir machen. Klassischer und Logischer Empirismus 920

163 Das Gegebene ist keine Überzeugung, sondern eine Art unmittelbares Erlebnis. Ein Erlebnis als solches aber kann nichts rechtfertigen. Nur die Überzeugungen, die ich mir aufgrund eines Erlebnisses bilde, können Gründe für Meinungen sein. 921

164 Kohärentismus 922

165 Wie Schiffer sind wir, die ihr Schiff auf offener See umbauen müssen, ohne es jemals in einem Dock zerlegen und aus besten Bestandteilen neu errichten zu können. (Otto Neurath, 1932/33) 923

166 Eigenschaften der Kohärenz Logische Konsistenz (Widerspruchsfreiheit) Inferentielle Beziehungen (Prämissen Konklusionen) Explanatorische Beziehungen (Annahmen Begründungen) 924

167 Probleme 925

168 Relativismuseinwand Wer es ernst meint mit der Kohärenz als alleiniges Kriterium der Wahrheit, muss beliebig erdichtete Märchen für ebenso wahr halten wie einen historischen Bericht oder Sätze in einem Lehrbuch der Chemie, wenn nur die Märchen so gut erfunden sind, dass nirgends ein Widerspruch auftritt. Moritz Schlick,

169 Isolationseinwand Die anderen können... nicht etwa einwenden, dass dieses Verfahren den Beobachtungen widerstreite, denn nach der Kohärenzlehre kommt es auf irgendwelche Beobachtungen gar nicht an, sondern allein auf die Verträglichkeit der Aussagen. Moritz Schlick,

170 Konsistenz zu stark In der Regel sind die meisten realen und reichhaltigen Wissenssysteme oder Datenbanken an irgendeiner Stelle inkonsistent. 928

171 Komplexität Die Kohärenz eines umfangreichen Meinungssystems ist eine so komplexe Eigenschaft, dass wir sie in der Regel gar nicht erfassen, geschweige denn beweisen können. 929

172 Kontextualismus 930

173 Kurt ist Hobby-Archäologe und findet einen alten Krug. Mehrere Anzeichen sprechen dafür, dass es sich um einen spätmittelalterlichen Krug handelt und Kurts Handbuch bestätigt diesen Eindruck. Kurt hat gute Gründe für die Annahme, dass es sich um einen spätmittelalterlichen Krug handelt. In seiner Situation gibt es keine besseren Gründe. 931

174 Maria ist professionelle Archäologin. Für sie sind Kurts Gründe allenfalls Indizien. Um zu einer begründeten Meinung zu gelangen, muss sie einige raffinierte Methoden anwenden. Kurts Indizien zählen für sie nicht. Sie sind inadäquat. Ihre Standards der Begründung sind in dieser Situation viel höher. 932

175 Ob ein Grund eine Überzeugung rechtfertigt und wie stark diese Rechtfertigung ist, hängt vom Kontext ab und variiert mit dem Kontext. 933

176 Wer von einem Kontext in einen anderen wechselt, kann plötzlich Rechtfertigung erwerben oder verlieren. 934

177 Gegen die Kugelform der Erde spricht, dass die Antipoden auf der jeweils anderen Seite des Globus mit dem Kopf nach unten hängen würden. 935

178 Dies ist nur solange ein gutes Argument, wie es die von uns heute akzeptierte Gravitationstheorie und Astronomie nicht gibt. 936

179 Gründe sind nicht absolut gut oder schlecht. 937

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

Korrespondenztheorie Wittgensteins Bild-Theorie

Korrespondenztheorie Wittgensteins Bild-Theorie Korrespondenztheorie Wittgensteins Bild-Theorie Semantische Bedingung: Die Teilelemente eines Satzes stehen für entsprechende Elemente der Tatsachen. Bedingung der Strukturgleichheit: Die Teilelemente

Mehr

Erkenntnistheorie. Eigenschaften der Wahrheit

Erkenntnistheorie. Eigenschaften der Wahrheit Erkenntnistheorie Was ist Wahrheit? Folie 254 Eigenschaften der Wahrheit Objektivität: Die Wahrheit einer Proposition hängt nicht davon ab, ob sie irgendjemand für wahr hält oder nicht. Es besteht eine

Mehr

PD Dr. Christoph Jäger. Institut für Christliche Philosophie

PD Dr. Christoph Jäger. Institut für Christliche Philosophie Vorlesung Erkenntnistheorie PD Dr. Christoph Jäger Universität i Innsbruck Institut für Christliche Philosophie 1 Vorlesung II Fundamentismus und Kohärentismus 2 Das Regressproblem Ausgangsfrage: Können

Mehr

Wissenschaftliches Arbeiten. Teil 6: Wahrheitstheorien

Wissenschaftliches Arbeiten. Teil 6: Wahrheitstheorien Wissenschaftliches Arbeiten Teil 6: Wahrheitstheorien Wissenschaftliches Arbeiten SS2010 - Teil 6/Wahrheitstheorien 01.06.2010 1 Übersicht Was ist Wahrheit? Drei Theorien über Wahrheit Offene Fragen Wissenschaftliches

Mehr

Philosophische Fakultät Institut Institut für für Philosophie, Lehrstuhl für für Theoretische Philosophie, Holm Holm Bräuer Bräuer M.A. M.A.

Philosophische Fakultät Institut Institut für für Philosophie, Lehrstuhl für für Theoretische Philosophie, Holm Holm Bräuer Bräuer M.A. M.A. Philosophische Fakultät Institut Institut für für Philosophie, Lehrstuhl für für Theoretische Philosophie, Holm Holm Bräuer Bräuer M.A. M.A. 3. Erkenntnistheorie Wissen Wissen praktisches Wissen propositionales

Mehr

Christian Nimtz // 1. Ein Einwande gegen den Fundamentalismus. 2 Die Kohärenztheorie der Rechtfertigung

Christian Nimtz  // 1. Ein Einwande gegen den Fundamentalismus. 2 Die Kohärenztheorie der Rechtfertigung Programm Christian Nimtz www.nimtz.net // lehre@nimtz.net Grundfragen der Erkenntnistheorie 1 Ein Einwand gegen den Fundamentalismus 2 Die Kohärenztheorie der Rechtfertigung 3 Die drei Grundprobleme des

Mehr

1 Philosophische Argumente

1 Philosophische Argumente 1 Philosophische Argumente 1.1 Gültigkeit Ein Argument kann entweder formal oder material gültig sein: 1. formale Gültigkeit: die in der Konklusion übermittelte Information ist in der von den Prämissen

Mehr

Donald Davidson ( )

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

Mehr

Motivation und Geschichte. Geschichte der Logik Logik und Informatik

Motivation und Geschichte. Geschichte der Logik Logik und Informatik Motivation und Geschichte Geschichte der Logik Logik und Informatik Logik für Informatiker, M. Lange, IFI/LMU: Motivation und Geschichte Geschichte der Logik 12 Aufgaben der Logik Logik (aus Griechischem)

Mehr

Motivation und Geschichte. Geschichte der Logik Logik und Informatik

Motivation und Geschichte. Geschichte der Logik Logik und Informatik Motivation und Geschichte Geschichte der Logik Logik und Informatik Theoretische Informatik: Logik, M. Lange, FB16, Uni Kassel: 2.1 Motivation und Geschichte Geschichte der Logik 13 Aufgaben der Logik

Mehr

Logik erster Stufe FO

Logik erster Stufe FO Logik erster Stufe FO Sonderstellung als die Logik für die Grundlegung der Mathematik natürliche Semantik (Tarski) und große Ausdrucksstärke vollständige Beweiskalküle (Gödelscher Vollständigkeitssatz)

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

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

Kohärenz und juristische Interpretation

Kohärenz und juristische Interpretation Susanne Bracker Kohärenz und juristische Interpretation Nomos Verlagsgesellschaft Baden-Baden Gliederung 1. Teil: Kohärenzkonzeptionen in der Literatur 15 A. Kohärenzkonzeptionen in der Philosophie 16

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

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

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

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

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

Mehr

THEORETISCHE INFORMATIK UND LOGIK

THEORETISCHE INFORMATIK UND LOGIK Rückblick: Logelei Wir kehren zurück auf das Inselreich mit Menschen von Typ W (Wahrheitssager) und Typ L (Lügner). THEORETISCHE INFORMATIK UND LOGIK 14. Vorlesung: Modelltheorie und logisches Schließen

Mehr

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

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

Mehr

Philosophische Semantik

Philosophische Semantik Erst mit Frege kam es zur endgültigen Bestimmung des eigentlichen Gegenstandes der Philosophie: Nämlich erstens, daß das Ziel der Philosophie die Analyse der Struktur von Gedanken ist; zweitens, daß die

Mehr

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

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

Mehr

Referenten: Tim Dwinger, Sven Knoke und Leon Mischlich

Referenten: Tim Dwinger, Sven Knoke und Leon Mischlich Kurs: GK Philosophie 12.2 Kurslehrer: Herr Westensee Referatsthema: Wahrheit vs. Logik Referenten: Tim Dwinger, Sven Knoke und Leon Mischlich Gliederung 1. Einleitung 2. Wahrheit 2.1.Thomas v. Aquin 2.1.1.

Mehr

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

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

Mehr

Aussagenlogik: Lexikon, Syntax und Semantik

Aussagenlogik: Lexikon, Syntax und Semantik Einführung in die Logik - 2 Aussagenlogik: Lexikon, Syntax und Semantik Wiederholung: Was ist Logik? Logik : Die Lehre» vom formal korrekten Schließen» von den Wahrheitsbedingungen von Sätzen Unter welchen

Mehr

Descartes, Dritte Meditation

Descartes, Dritte Meditation Descartes, Dritte Meditation 1. Gewissheiten: Ich bin ein denkendes Wesen; ich habe gewisse Bewusstseinsinhalte (Empfindungen, Einbildungen); diesen Bewusstseinsinhalten muss nichts außerhalb meines Geistes

Mehr

Logik I. Symbole, Terme, Formeln

Logik I. Symbole, Terme, Formeln Logik I Symbole, Terme, Formeln Wie jede geschriebene Sprache basiert die Prädikatenlogik erster Stufe auf einem Alphabet, welches aus den folgenden Symbolen besteht: (a) Variabeln wie zum Beispiel v 0,v

Mehr

Kapitel 1. Aussagenlogik

Kapitel 1. Aussagenlogik Kapitel 1 Aussagenlogik Einführung Mathematische Logik (WS 2012/13) Kapitel 1: Aussagenlogik 1/17 Übersicht Teil I: Syntax und Semantik der Aussagenlogik (1.0) Junktoren und Wahrheitsfunktionen (1.1) Syntax

Mehr

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

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

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

6. AUSSAGENLOGIK: TABLEAUS

6. AUSSAGENLOGIK: TABLEAUS 6. AUSSAGENLOGIK: TABLEAUS 6.1 Motivation 6.2 Wahrheitstafeln, Wahrheitsbedingungen und Tableauregeln 6.3 Tableaus und wahrheitsfunktionale Konsistenz 6.4 Das Tableauverfahren 6.5 Terminologie und Definitionen

Mehr

Satzsemantik. Semantik und Pragmatik. Satzsemantik. Satzsemantik

Satzsemantik. Semantik und Pragmatik. Satzsemantik. Satzsemantik Satzsemantik 8. Mai 2007 Gerhard Jäger Erklärungsanspruch der Satzsemantik Wahrheitsbedingungen von Aussagensätzen Bedeutungsbeziehungen zwischen (Aussage-)Sätzen Kompositionale Berechnung von Satzbedeutungen

Mehr

Semantik und Pragmatik

Semantik und Pragmatik 1/17 Semantik und Pragmatik 15. Mai 2006 Gerhard Jäger Satzsemantik 2/17 Erklärungsanspruch der Satzsemantik Wahrheitsbedingungen von Aussagensätzen Bedeutungsbeziehungen zwischen (Aussage-)Sätzen Kompositionale

Mehr

Wissenschaftstheorie und Ethik

Wissenschaftstheorie und Ethik Wissenschaftstheorie und Ethik Kritischer Rationalismus (KR) Doz. Dr. Georg Quaas: Vorlesung zur Wissenschaftstheorie und Ethik 1 Wissenschaftstheorie - Vorlesung 2 und 3 [Vorlesung 1: 1. Einführung 2.

Mehr

7 Bedeutung und Logik

7 Bedeutung und Logik 7 Bedeutung und Logik 7.1 Logische Eigenschaften von Sätzen 7.2 Logische Beziehungen zwischen Sätzen 7.3 Logische Beziehungen und Bedeutungsbeziehungen 7.4 Formale Semantik Johannes Dölling: Semantik und

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 0. Organisatorisches Leistungsnachweis: Klausur in der letzten Vorlesungswoche (6 10 Fragen) Gegenstand

Mehr

Logic in a Nutshell. Christian Liguda

Logic in a Nutshell. Christian Liguda Logic in a Nutshell Christian Liguda Quelle: Kastens, Uwe und Büning, Hans K., Modellierung: Grundlagen und formale Methoden, 2009, Carl Hanser Verlag Übersicht Logik - Allgemein Aussagenlogik Modellierung

Mehr

Christian Nimtz //

Christian Nimtz  // Programm Christian Nimtz www.nimtz.net // lehre@nimtz.net Klassische Fragen der Sprachphilosophie Kapitel 10: Grice über Bedeutung 2 Grices Erklärung von Sprecherbedeutung 3 Probleme für Grices Erklärung

Mehr

1.1 Motivation. Theorie der Informatik. Theorie der Informatik. 1.1 Motivation. 1.2 Syntax. 1.3 Semantik. 1.4 Formeleigenschaften. 1.

1.1 Motivation. Theorie der Informatik. Theorie der Informatik. 1.1 Motivation. 1.2 Syntax. 1.3 Semantik. 1.4 Formeleigenschaften. 1. Theorie der Informatik 19. Februar 2014 1. Aussagenlogik I Theorie der Informatik 1. Aussagenlogik I Malte Helmert Gabriele Röger Universität Basel 19. Februar 2014 1.1 Motivation 1.2 Syntax 1.3 Semantik

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

Epistemische Logik Epistemische Prädikate

Epistemische Logik Epistemische Prädikate Epistemische Logik Epistemische Prädikate Dr. Uwe Scheffler [Technische Universität Dresden] Januar 2011 Zukommen und Zuordnen Aussagen und Sätze: 1. Anna mag Ben. 2. Ben wird von Anna gemocht. 3. Anna

Mehr

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

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

Mehr

Logik für Informatiker Logic for computer scientists

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

Mehr

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

Nur Aussagesätze, d.h. Deklarativ-, nicht aber Frage- oder Aufforderungs-sätze bringen das Zutreffen einer Aussage (oder Proposition) zum Ausdruck.

Nur Aussagesätze, d.h. Deklarativ-, nicht aber Frage- oder Aufforderungs-sätze bringen das Zutreffen einer Aussage (oder Proposition) zum Ausdruck. 2 Aussagenlogik (AL) 2. Wahrheitsfunktionale Konnektoren Nur Aussagesätze, d.h. Deklarativ-, nicht aber Frage- oder Aufforderungs-sätze bringen das Zutreffen einer Aussage (oder Proposition) zum Ausdruck.

Mehr

Essaypreis des Zentrums für Wissenschaftstheorie, Münster im Wintersemester 2010/ Platz. Helen Wagner

Essaypreis des Zentrums für Wissenschaftstheorie, Münster im Wintersemester 2010/ Platz. Helen Wagner Essaypreis des Zentrums für Wissenschaftstheorie, Münster im Wintersemester 2010/11 3. Platz Helen Wagner Ein Vergleich zwischen Pragmatismus und Rationalismus anhand der Pragmatismustheorie von William

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

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

THEORETISCHE INFORMATIK UND LOGIK

THEORETISCHE INFORMATIK UND LOGIK THEORETISCHE INFORMATIK UND LOGIK 14. Vorlesung: Modelltheorie und logisches Schließen Markus Krötzsch Lehrstuhl Wissensbasierte Systeme TU Dresden, 31. Mai 2017 Rückblick: Logelei Wir kehren zurück auf

Mehr

Boolesche Algebra. Hans Joachim Oberle. Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2

Boolesche Algebra. Hans Joachim Oberle. Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2 Universität Hamburg Department Mathematik Boolesche Algebra Hans Joachim Oberle Vorlesung an der TUHH im Wintersemester 2006/07 Montags, 9:45-11:15 Uhr, 14täglich TUHH, DE 22, Audimax 2 http://www.math.uni-hamburg.de/home/oberle/vorlesungen.html

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

TECHNISCHE UNIVERSITÄT MÜNCHEN

TECHNISCHE UNIVERSITÄT MÜNCHEN TECHNISCHE UNIVERSITÄT MÜNCHEN Zentrum Mathematik PROF. DR.DR. JÜRGEN RICHTER-GEBERT, VANESSA KRUMMECK, MICHAEL PRÄHOFER Höhere Mathematik für Informatiker II (Sommersemester 2004) Lösungen zu Aufgabenblatt

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

Voransicht. Bilder: Optische Täuschungen.

Voransicht. Bilder: Optische Täuschungen. S II A Anthropologie Beitrag 5 1 Eine Einführung in die Erkenntnistheorie Juliane Mönnig, Konstanz Bilder: Optische Täuschungen. Klasse: 11/12 Dauer: 12 Stunden Arbeitsbereich: Anthropologie / Erkenntnistheorie

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

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

Kapitel 5: Rechtfertigung 2 Kohärentismus

Kapitel 5: Rechtfertigung 2 Kohärentismus Vorlesung SS 2001: Was können wir wissen? Kapitel 5: Rechtfertigung 2 Kohärentismus Text BonJour, L. (1976) The Coherence Theory of Empirical Knowledge. Philosophical Studies 30, 281-312. Dt. in Bieri

Mehr

Über das Lesen mathematischer Texte Teil 2: Definition, Satz, Beweis

Über das Lesen mathematischer Texte Teil 2: Definition, Satz, Beweis Über das Lesen mathematischer Texte Teil 2: Definition, Satz, Beweis Hagen Knaf Prof. Dr. H. Knaf, Mathematisches Beweisen 1 Struktur mathematischer Texte Ein mathematischer Text enthält neben dem fortlaufenden

Mehr

Dallmann, H. & Elster, K.H. (1991). Einführung in die höhere Mathematik, Band I. Jena: Fischer. (Kapitel 1, pp )

Dallmann, H. & Elster, K.H. (1991). Einführung in die höhere Mathematik, Band I. Jena: Fischer. (Kapitel 1, pp ) Logik Literatur: Dallmann, H. & Elster, K.H. (1991). Einführung in die höhere Mathematik, Band I. Jena: Fischer. (Kapitel 1, pp. 17-30) Quine, W.V.O. (1964 / 1995). Grundzüge der Logik. Frankfurt a.m.:

Mehr

Proseminar. Wissenschaftliches Arbeiten. Mathias Lux. Universität Klagenfurt, Austria

Proseminar. Wissenschaftliches Arbeiten. Mathias Lux. Universität Klagenfurt, Austria Proseminar Wissenschaftliches Arbeiten Mathias Lux Universität Klagenfurt, Austria This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 3.0 Agenda Verteilung der Themen

Mehr

7 Bedeutung und Logik

7 Bedeutung und Logik 7.1 Logische Eigenschaften von Sätzen 7.2 Logische Beziehungen zwischen Sätzen 7.3 Logische Beziehungen und Bedeutungsbeziehungen 7.4 Formale Semantik 7.1 Logische Eigenschaften von Sätzen Ein Satz φ ist

Mehr

WAHRHEITSTHEORIEN IN DER NEUEREN PHILOSOPHIE

WAHRHEITSTHEORIEN IN DER NEUEREN PHILOSOPHIE LORENZ BRUNO PUNTEL WAHRHEITSTHEORIEN IN DER NEUEREN PHILOSOPHIE Eine kritisch-systematische Darstellung Dritte, um einen ausführlichen Nachtrag erweiterte Auflage WISSENSCHAFTLICHE BUCHGESELLSCHAFT DARMSTADT

Mehr

Einführung in die Ethik. Neil Roughley (WS 2006/07)

Einführung in die Ethik. Neil Roughley (WS 2006/07) Einführung in die Ethik Neil Roughley (WS 2006/07) J.L. Mackie: Ethics Inventing Right and Wrong (1977) metaphysisch epistemisch semantisch Irrealismus Kognitivismus Deskriptivismus Werte existieren nicht

Mehr

Informatik A. Prof. Dr. Norbert Fuhr auf Basis des Skripts von Prof. Dr. Wolfram Luther und der Folien von Peter Fankhauser

Informatik A. Prof. Dr. Norbert Fuhr auf Basis des Skripts von Prof. Dr. Wolfram Luther und der Folien von Peter Fankhauser Informatik A Prof. Dr. Norbert Fuhr fuhr@uni-duisburg.de auf Basis des Skripts von Prof. Dr. Wolfram Luther und der Folien von Peter Fankhauser 1 Teil I Logik 2 Geschichte R. Descartes (17. Jhdt): klassische

Mehr

Motivation. Formale Grundlagen der Informatik 1 Kapitel 14 Aussagenlogik Syntax & Semantik. Motivation. Motivation

Motivation. Formale Grundlagen der Informatik 1 Kapitel 14 Aussagenlogik Syntax & Semantik. Motivation. Motivation Formale Grundlagen der Informatik 1 Kapitel 14 Aussagenlogik & Frank Heitmann heitmann@informatik.uni-hamburg.de Mit der Aussagenlogik lassen sich einfache Verknüpfungen zwischen (atomaren) Gebilden ausdrücken

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

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

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

Modelltheorie (Einige Impulse)

Modelltheorie (Einige Impulse) Modelltheorie (Einige Impulse) Formale Systeme werden oft entworfen, um mathematische Strukturen zu beschreiben. In der Modelltheorie geht es um das Studium der Beziehungen zwischen formalen Systemen und

Mehr

Die Prädikatenlogik erster Stufe: Syntax und Semantik

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

Mehr

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

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

Zum Verhältnis von Glaube und Vernunft

Zum Verhältnis von Glaube und Vernunft Zum Verhältnis von Glaube und Vernunft»Seid stets bereit, jedem Rede und Antwort zu stehen, der nach der Hoffnung fragt, die euch erfüllt.«[1petr 3,15] 1 Worum geht s eigentlich? Begriffsklärung 1.1 Was

Mehr

Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Holm Bräuer M.A.

Philosophische Fakultät Institut für Philosophie, Lehrstuhl für Theoretische Philosophie, Holm Bräuer M.A. 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. 3.

Mehr

5. Ist Wissen gerechtfertigte wahre Überzeugung?

5. Ist Wissen gerechtfertigte wahre Überzeugung? Die traditionelle Analyse von Wissen 5. Ist Wissen gerechtfertigte wahre Überzeugung? Teil 2 (W t ) Eine Person weiß, dass p, genau dann, wenn (i) sie davon überzeugt ist, dass p, wenn (ii) p wahr ist

Mehr

ERSTER TEIL Symbolische Ordnungen und kulturelle Tatsachen. Positionen grammatischer Metaphysikkritik 39

ERSTER TEIL Symbolische Ordnungen und kulturelle Tatsachen. Positionen grammatischer Metaphysikkritik 39 Inhalt Die symbolische Reflexion der Sprache 1. Sprache als Thema und Medium der Philosophie 11 2. Mentalistische und instrumentalistische Sprachmodelle 16 3. Symbolische Reflexion (1): Differentialität

Mehr

Einführung in die Logik

Einführung in die Logik Einführung in die Logik Klaus Madlener und Roland Meyer 24. April 2013 Inhaltsverzeichnis 1 Aussagenlogik 1 1.1 Syntax................................. 1 1.2 Semantik............................... 3 1.3

Mehr

Logik und modelltheoretische Semantik. Was ist Bedeutung?

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

Mehr

Wir suchen Antworten auf die folgenden Fragen: Was ist Berechenbarkeit? Wie kann man das intuitiv Berechenbare formal fassen?

Wir suchen Antworten auf die folgenden Fragen: Was ist Berechenbarkeit? Wie kann man das intuitiv Berechenbare formal fassen? Einige Fragen Ziel: Wir suchen Antworten auf die folgenden Fragen: Wie kann man das intuitiv Berechenbare formal fassen? Was ist ein Algorithmus? Welche Indizien hat man dafür, dass ein formaler Algorithmenbegriff

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

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

Metasprache und Sprache

Metasprache und Sprache Metasprache und Sprache Womit und worüber wir reden Prädikatenlogik Uwe Scheffler [Technische Universität Dresden] Oktober 2012 Theorien als sprachliche Objekte Eine Theorie ist eine Menge von Sätzen.

Mehr

Vorsemesterkurs Informatik

Vorsemesterkurs Informatik Vorsemesterkurs Informatik Vorsemesterkurs Informatik Mario Holldack WS2015/16 30. September 2015 Vorsemesterkurs Informatik 1 Einleitung 2 Aussagenlogik 3 Mengen Vorsemesterkurs Informatik > Einleitung

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

Martin Goldstern Der logische Denker Kurt Gödel und sein Unvollständigkeitssatz. 6.

Martin Goldstern Der logische Denker Kurt Gödel und sein Unvollständigkeitssatz.  6. Martin Goldstern Der logische Denker Kurt Gödel und sein Unvollständigkeitssatz http://www.tuwien.ac.at/goldstern/ 6.September 2006 1 Kurt Gödel, 1906-1978 1906: geboren am 28.April in Brünn (heute Brno)

Mehr

Verwendung von Methoden der formalen Logik in der Linguistik

Verwendung von Methoden der formalen Logik in der Linguistik 1.1 Logik und Linguistik 1 Einführung 1.1 Logik und Linguistik [ Gamut 9-27, Partee 93-95, Chierchia 17-52 ] Natürliche Sprachen sind durch Ambiguitäten und Vagheiten beim Ausdruck von Denkinhalten charakterisiert.

Mehr

Bedeutung und psychischer Gehalt

Bedeutung und psychischer Gehalt Gianfranco Soldati Bedeutung und psychischer Gehalt Eine Untersuchung zur sprachanalytischen Kritik von Husserls früher Phänomenologie Ferdinand Schöningh Paderborn München Wien Zürich Gedruckt mit Unterstützung

Mehr

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18

Vorkurs Mathematik. Prof. Udo Hebisch WS 2017/18 Vorkurs Mathematik Prof. Udo Hebisch WS 2017/18 1 1 Logik 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

Christian Nimtz //

Christian Nimtz  // Programm Christian Nimtz www.nimtz.net // lehre@nimtz.net Klassische Fragen der Sprachphilosophie Kapitel 8: Davidson I: Bedeutung und Wahrheitsbedingungen 1 Die Grundidee der wahrheitskonditionalen Semantik

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

Kategoriale Ontologie. Dinge Eigenschaften Sachverhalte Ereignisse

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

Mehr

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

Logik. Ernest Peter Propädeutikum Mathematik Informatik/Wirtschaftsinformatik, Block Aussage

Logik. Ernest Peter Propädeutikum Mathematik Informatik/Wirtschaftsinformatik, Block Aussage Logik Die Logik ist in der Programmierung sehr wichtig. Sie hilft z.b. bei der systematischen Behandlung von Verzweigungen und Schleifen. z.b. if (X Y und Y>0) then Oder beim Beweis, dass ein Algorithmus

Mehr

Logische Grundlagen der Mathematik, WS 2014/15

Logische Grundlagen der Mathematik, WS 2014/15 Logische Grundlagen der Mathematik, WS 2014/15 Thomas Timmermann 16. Oktober 2014 1 Einleitung Literatur Paul.R. Halmos, Naive Set Theory Ralf Schindler, Logische Grundlagen der Mathematik Peter J. Cameron,

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

Kapitel 1.0. Aussagenlogik: Einführung. Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1

Kapitel 1.0. Aussagenlogik: Einführung. Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1 Kapitel 1.0 Aussagenlogik: Einführung Mathematische Logik (WS 2011/12) Kapitel 1.0: Aussagenlogik: Einführung 1/ 1 Ziele der Aussagenlogik In der Aussagenlogik analysiert man die Wahrheitswerte zusammengesetzter

Mehr

Semantik einiger Konjunktionen. Arnim von Stechow Einführung in die Semantik

Semantik einiger Konjunktionen. Arnim von Stechow Einführung in die Semantik Semantik einiger Konjunktionen Arnim von Stechow Einführung in die Semantik Programm Syntax und Semantik einiger AL-Junktoren Epistemisches müssen und können Strukturellen Mehrdeutigkeiten Extensionale

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