第一部分 1
一、1929年12月18日，星期三（在石里克家） 1
1．〈数学证明〉 1
目录 1
2．在数学中寻找某物意味着什么？ 2
1）实例：角的三等分 4
2）明喻：解结 4
3．作为句法的几何学Ⅰ 5
4．一致性Ⅰ 5
1．“所有”Ⅰ 6
二、1929年12月22日，星期日（在石里克家） 6
1）对象 9
2）“所有”是什么意思？ 11
2．唯我论 12
1）命题的意义是它的证实 14
2）空转轮 15
3）〈“我不能感到你的痛”〉 16
3．〈语言与世界〉 17
Ⅰ．“所有”Ⅱ 18
三、1929年12月25日，星期三（在石里克家） 18
2．时间 20
外在的——内在的 21
3．视觉空间 22
补录，1929年12月30日，星期一 26
4．作为句法的几何学Ⅱ 28
5．物理学和现象学 29
6．颜色系统 30
1）每个命题都是系统的一部分吗？Ⅰ 31
补录，1929年12月30日，星期一 32
2）〈世界是红色的Ⅰ〉 32
7．反胡塞尔 33
四、1929年12月30日，星期一（在石里克家） 34
1．关于海德格尔 34
2．狄德金的定义 36
3．实数Ⅰ 38
五、1930年1月2日，星期四（在石里克家） 40
1．〈原初命题〉 40
2．“数学知识的现状” 47
1）自由展开的序列 48
2）〈杂论〉 49
六、1930年1月5日，星期日（在石里克家） 50
1．肯定命题和否定命题 50
2．记忆中的蓝色 52
3．“世界是红色的”Ⅱ 53
4．每个命题都是系统的一部分吗？Ⅱ 54
5．推理 56
6．关于伦理学的演讲 57
7．概率Ⅰ 58
8．骰子 60
第二部分 61
七、1930年3月22日（在石里克家） 61
1．〈证实和当下所与〉 61
〈证实和时间〉 62
2．概率Ⅱ 62
3．假设Ⅰ 63
1）几何学的双重意义 64
2）关于假设的不同评论 64
1．〈在哥尼斯堡该讲些什么〉 66
八、1930年6月19日，星期四（在石里克家） 66
第三部分 66
1）形式主义 67
2）等式和重言式Ⅰ 69
九、1930年9月25日，星期四 71
1．〈杂论〉 71
2．变元 72
3．证明 73
4．实数Ⅱ 73
5．理念化 76
6．阐释 77
第四部分 79
十、1930年12月17日，星期三（在诺伊瓦尔德克） 79
1．论石里克的伦理学 79
2．价值 80
3．宗教 81
4．应该 82
5．一致性Ⅱ 83
一致性Ⅲ 85
十二、1930年12月28日，星期日（在石里克家） 85
思想风格 85
十一、1930年12月26日，星期五（在石里克家） 85
1）谢菲尔的发现 86
2）〈游戏的规则和配置〉 88
3）应用一个演算意味着什么？ 90
4）〈独立性Ⅰ〉 92
十三、1930年12月30日，星期二（在石里克家） 94
一致性Ⅳ 94
1）〈弗雷格和维特根斯坦Ⅰ〉 94
2）希尔伯特的证明 100
十四、1931年1月1日，星期四（在石里克家） 105
美国。大学体制 105
一致性V 106
1）独立性Ⅱ 108
2）小结 111
3）希尔伯特的公理1.1和1.2 111
4）〈演算与闲语〉 112
5）〈弗雷格和维特根斯坦Ⅱ〉 112
1．〈等式和替换规则Ⅰ〉 115
十五、1931年1月4日，星期日（在石里克家） 115
等式和重言式Ⅱ 121
2．物理学命题的证实 121
1）假设Ⅱ 122
2）〈作为句法的几何学Ⅲ〉 125
3．补录 126
1）下棋 126
2）关于哥尼斯堡 126
3）数的定义 127
1．意向，意指，意谓 129
第五部分 129
十六、1931年9月21日，星期一（先在阿根廷街，然后在街上） 129
2．〈演算和应用〉 133
3．在日记中查寻某物 134
4．建造一个锅炉 134
5．对存在的证明 135
6．一致性Ⅵ 136
隐含的矛盾 136
7．矛盾 138
1）〈等式和替换规则Ⅱ〉 140
2）间接证明Ⅰ 141
第六部分 144
十七、1931年12月9日，星期三（在诺伊瓦尔德克） 144
1．论独断论 144
2．论无限 149
3．论拉姆齐对同一性的定义 151
4．一致性Ⅶ 154
插入的口述内容 158
5．一致性Ⅷ 158
1）一种类比——π的“展开” 163
2）〈演算的概念〉 163
3）〈几何和算术中的证明〉 164
6．角的二等分 165
7．几何学中的普遍性 167
8．间接证明Ⅱ 168
附录B 170
附录A 170
十八、1932年7月1日星期五（在阿根廷街） 170
第七部分 170
假设Ⅲ 171
1．整体和系统 173
2．等式和重言式 177
3．概念和形式 179
4．数是什么？ 180
5．意义和意谓 186
6．论无限 187
狄德金的定义 191
1．事态，事实，实在 192
论点 费里德里希·魏斯曼归纳（约1930年） 192
2．语言 194
3．句法 198
4．对称和非对称 201
5．同一性 202
6．证实 203
7．定义 205
8．对象 213
9．逻辑空间 219
后记 221