Professional Documents
Culture Documents
Z W E I T E , ERWEITERTE AUFLAGE
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
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
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
13 15 16 17 19 19
23
25
Introduction Some examples Modal algebras Various correspondences The diamond Operation The structure regained Exercises
v
25 27 28 30 32 34 35
CONTENTS 39
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
61 61 64 66 69
77
77 79 82 83 84 89
91
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
CONTENTS
vii
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
12 Filtrations
filtration filtration
Introduction The fmp explained The classic Systems have the fmp The basic temporal System has the fmp Exercises
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
15 Lob logic
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
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