三级提纲就比较难了,Hilbert Program 在语言学中可视为复杂谓词的共轭问题(conjugation)和超轭问题(super-conjugation),可穿插、也可单列一章。大意是:6类一阶谓词逻辑空间的复杂联立和建构。比如,说"Existence(存在)",这个单词的谓词词性就是"康托集谓词和玻尔兹曼集谓词的共轭简并",主流做智能语义分析的凭"证明论和模型论"出的一系列"Mereology"也可供参考(但只是冰山一角, 洛克的人类知性论在这块依然是很值得做的题目,因为很明显 I Know: nosco → notum|noto → notatio 是个典型的Mereological分步谓词; +Tractatus 也是),再如超轭的典型问题就是"Philosophy of Action",其中的Action在词源上是"Ago & Ego 的共轭",等等等等。。。并且,还是按照"word-sentence-article"逐级展开。