Sie sind auf Seite 1von 10

GEORG PLYA

MATHEMATIK U N D PLAUSIBLES SCHLIESSEN


BAND 2

Typen und Strukturen plausibler Folgerung


INS D E U T S C H E BERSETZT VON LULU B E C H T O L S H E I M

Z W E I T E , ERWEITERTE AUFLAGE

1975 BIRKHUSER VERLAG UND STUTTGART BASEL

INHALTSVERZEICHNIS Vorwort Winke an den Leser Kapitel XII. Die nchstliegenden Strukturen 1. Verifizierung einer Konsequenz 2. Sukzessive Verifizierung mehrerer Konsequenzen 3. Verifizierung einer unwahrscheinlichen Konsequenz 4. Polgerung auf Grund von Analogie 5. Vertiefung der Analogie 6. Nuancierte Folgerung auf Grund von Analogie Aufgaben und Bemerkungen zu Kapitel XII, 1 14. [14. Induktive Folgerung aus erfolglosen Bemhungen.] Kapitel XIII. Weitere Strukturen und erste Zusammenhnge 1. Untersuchung einer Konsequenz 2. Untersuchung eines mglichen Beweisgrundes 3. Untersuchung einer widersprechenden Vermutung 4. Logische Termini 5. Logische Zusammenhnge zwischen Schemata plausibler Folgerung 6. Nuancierte Folgerung 7. Tafel 8. Kombination einfacher Schemata 9. Folgerung auf Grund von Analogie 10. Folgerung mit Zusatzbedingung 11. ber sukzessive Verifizierungen 12. ber Konkurrenzvermutungen 13. ber gerichtliche Beweise Aufgaben und Bemerkungen zu Kapitel XIII, 120; [Erster Teil, 1 10; Zweiter Teil, 1120]. [9. ber induktive Untersuchungen in der Mathematik und den exakten Naturwissenschaften. 10. Verallgemeinerungsversuche. 11. Persnlicher, schwieriger. 12. Eine Gerade ist durch zwei Punkte bestimmt. 13. Eine Gerade ist durch Richtung und einen Punkt bestimmt. Ziehen einer Parallellen. 14. Der nchsthegende Fall ist vielleicht der einzig mgliche Fall. 15. Wer gibt hier den Ton an ? Macht des Wortes. 16. Dies ist ist zu unwahrscheinlich, um reiner Zufall zu sein. 17. Vervollkommnung der Analogie. 18. Eine neue Vermutung. 19. Noch eine neue Vermutung. 20. Was ist typisch ?] Kapitel XIV. Zufall, die immer gegenwrtige Konkurrenzvermutung . . . . 1. Zufallsartige Massenerscheinungen 2. Der Wahrscheinlichkeitsbegriff 9 11 13 13 15 19 21 23 26 26 34 34 35 36 37 40 41 44 45 46 48 51 52 54

62 87 87 90

Inhaltsverzeichnis 3. Anwendung des Urnenschemas , . 4. Die Wahrschemlichkeitsrechnung. Statistische Hypothesen. . . 5. Direktes Voraussagen von Hufigkeiten 6. Erklrung beobachtbarer Erscheinungen 7. Die Beurteilung statistischer Hypothesen 8. Die Wahl zwischen verschiedenen statistischen Hypothesen . . 9. Die Beurteilung nichtstatistischer Hypothesen 10. Die Beurteilung mathematischer Vermutungen Aufgaben und Bemerkungen zu Kapitel XIV, 133; [Erster Teil, 1 18; Zweiter Teil, 1933.]. [19. ber den Begriff der Wahrscheinlichkeit. 20. Wie man den Hufigkeitsbegriff der Wahrscheinlichkeitslehre nicht interpretieren soll. 24. Wahrscheinlichkeit und die Lsung von Aufgaben. 25. Regelmig und unregelmig. 26. Die Grundregeln der Wahrscheinlichkeitsrechnung. 27. Unabhngigkeit. 30. Permutationen auf Grund von Wahrscheinlichkeit. 31. Kombinationen auf Grund von Wahrscheinlichkeit. 32. Die Wahl einer konkurrierenden statistischen Hypothese: ein Beispiel. 33. Die Wahl einer konkurrierenden statistischen Hypothese: allgemeine Bemerkungen.] 95 100 101 109 114 120 130 147

151

Kapitel XV. Die Wahrscheinlichkeitsrechnung und die Logik plausiblen Schlieens 1. Gibt es Regeln plausiblen Schlieens ? . 2. Ein gewisser Aspekt demonstrativen Schlieens 3. Ein entsprechender Aspekt plausiblen Schlieens 4. Ein gewisser Aspekt der Wahrscheinlichkeitsrechnung. Schwierigkeiten 5. Ein gewisser Aspekt der Wahrscheinlichkeitsrechnung. Ein Versuch 6. Untersuchung einer Konsequenz 7. Untersuchung eines mglichen Beweisgrundes 8. Untersuchung einer widersprechenden Vermutung 9. Sukzessive Untersuchung mehrerer Konsequenzen 10. ber Indizienbeweise Aufgaben und Bemerkungen zu Kapitel XV, 19. [4. Wahrscheinlichkeit und Glaubwrdigkeit. 5. Likelihood und Glaubwrdigkeit. 6. Der Laplacesche Versuch, Induktion mit Wahrscheinlichkeit zu verbinden. 7. Warum nicht quantitativ? 8. Infinitesimale Glaubwrdigkeiten? 9. Zulssigkeitsregeln.] Kapitd 1. 2. 3. 4. 5. 6. 7. XVI. Plausibles Schlieen in Entdeckung und Unterricht Ziel des gegenwrtigen Kapitels Die Geschichte einer kleinen Entdeckung Der Lsungsproze Deus ex machina Heuristische Rechtfertigung Die Geschichte einer anderen Entdeckung Typische Anzeichen , . . .

167 167 171 173 178 181 183 188 189 191 194

196 218 218 219 221 224 225 227 232

Inhaltsverzeichnis

8. Induktion im Erfindungsproze 234 9. Ein paar Worte an den Lehrer 240 Aufgaben und Bemerkungen zu Kapitel XVI, 1 13. [1. Fr den Lehrer: ein paar Aufgabentypen. 7. Qui mimium probat, nihil probat. 8. Nhe und Glaubwrdigkeit. 9. Numerische Rechnung und plausibles Schlieen. 13. Strenges Beweisen und plausibles Schlieen.] 244 Lsungen Bibliographie Anhang 1 II 257 280 283 296

First steps in Modal Logic

Sally Popkorn

i CAMBRIDGE
W UNTVERSITY PRESS

Contents

Introduction Acknowledgements

vii ix

I
1

Preliminaries
Survey of propositional logic

1
3

1.1 1.2 1.3 1.4 1.5 1.6 2.1 2.2 2.3 2.4 2.5 2.6

Introduction The language Two-valued semantics The proof theory Completeness Exercises Introduction The language defined Some particular formulas Substitution Two remarks Exercises

3 4 6 7 9 11
13

2 The modal language

13 15 16 17 19 19

II Transition structures and semantics


3 Labelled transition structures

23
25

3.1 3.2 3.3 3.4 3.5 3.6 3.7

Introduction Some examples Modal algebras Various correspondences The diamond Operation The structure regained Exercises
v

25 27 28 30 32 34 35

vi 4 Valuation and satisfaction

CONTENTS 39

4.1 4.2 4.3 4.4 4.5 4.6


5

Introduction The basic satisfaction relation Some examples The three satisfaction relations Semantics for modal algebras Exercises Introduction Some examples The confluence property Some non-confluence properties Exercises Introduction The structural property The set of formulas The result Exercises

39 41 42 46 48 51
61

Correspondence theory

5.1 5.2 5.3 5.4 5.5


6

61 61 64 66 69
77

The general confluence result

6.1 6.2 6.3 6.4 6.5 IM


7

77 79 82 83 84 89
91

Proof theory and completeness


Some consequence relations

7.1 7.2 7.3 7.4


8

Introduction Semantic consequence The problem Exercises Introduction Formal Systems defined Some monomodal Systems Some polymodal Systems Soundness properties Exercises Introduction Statement of the result Maximally consistent sets The canonical structure The canonical valuation

91 92 93 94
97

Standard formal Systems

8.1 8.2 8.3 8.4 8.5 8.6


9

97 98 102 106 108 110


119

The general completeness result

9.1 9.2 9.3 9.4 9.5

119 120 121 124 125

CONTENTS

vii

9.6 Proof of the result 9.7 Concluding remarks 9.8 Exercises


10 Kripke-completeness

126 126 127


129

10.1 10.2 10.3 10.4

Introduction Some canonical Systems Confluence induced completeness Exercises

129 130 133 137

IV

Model constructions
11.1 11.2 11.3 11.4 11.5 11.6 11.7 11.8 12.1 12.2 12.3 12.4 12.5 12.6 12.7 13.1 13.2 13.3 13.4 13.5 Introduction Zigzag morphisms Bisimulations The largest bisimulation A hierarchy of matchings An example Stratified semantic equivalence Exercises Introduction The canonical carrying set The left-most The right-most Filtrations sandwiched Separated structures Exercises

139
141

11 Bisimulations

141 142 144 147 148 150 151 154


157

12 Filtrations

filtration filtration

157 159 160 161 163 164 166


169

13 The finite model property

Introduction The fmp explained The classic Systems have the fmp The basic temporal System has the fmp Exercises

169 169 172 180 182

More advanced material


14.1 Introduction 14.2 The *-closure of a relation

185
187

14 SLL logic

187 189

viii

CONTENTS

14.3 14.4 14.5 14.6 14.7 15.1 15.2 15.3 15.4 15.5 16.1 16.2 16.3 16.4 16.5 16.6 16.7 17.1 17.2 17.3 17.4 17.5 VI

The axioms for SLL SLL is not canonical A filtration construction The completeness result Exercises Introduction The System defined The rule of disjunction The fmp Exercises Introduction The System defined The characteristic properties Canonicity The finite modeis A particular model Exercises Introduction The System KZ The System KY A particular structure Exercises

189 191 193 197 197


201

15 Lob logic

201 206 206 209 214


217

16 Canonicity without the fmp

217 217 218 219 220 222 222


225

17 Transition structures aren't enough

225 226 227 228 232 235


237

Two appendices A.l A.2 A.3 A.4 A.5 B.l B.2 B.3 B.4 B.5 Introduction Beginning About this book What next? Some uses of modal logic Chapter Chapter Chapter Chapter Chapter 1 2 3 4 5

A The what, why, where,... of modal logic

237 237 239 241 242


247

B Some Solutions to the exercises

247 250 252 254 260

CONTENTS

ix

B.6 Chapter B.7 Chapter B.8 Chapter B.9 Chapter B.10 Chapter B.ll Chapter B.12 Chapter B.13 Chapter B.14 Chapter B.15 Chapter B.16 Chapter B.17 Chapter
Bibliography

6 7 8 9 10 11 12 13 14 15 16 17

266 267 267 278 280 286 289 293 299 304 306 308
311