思想与实在

如果达米特知道现在的逻辑学在用概率研究的话04-09

相比《形而上学的逻辑基础》，这本的核心思路要清楚很多：语言和本体论关联（事实就是真命题），并且通过对语义学做比真值条件语义学更强的要求（对说该语言的人如何理解和使用语言提出有可操作性的说明）来反推本体论层面的性质，在坚持弗雷格的语义组合性原理的基础上，通过强调后期维特根斯坦关于语言习得和语言使用的观点为直觉主义逻辑做辩护。达米特认为二值逻辑有一个过度奢侈的实在论预设，但这只是人从理论和生活实践中得到的实在论结果的类推。然而达米特需要放宽正当性的要求，使得关于过去命题是二值的，但未来命题则可以不是。总体而言，采取达米特立场带来的好处似乎并不足以弥补所导致的额外的麻烦。最后部分关于三值逻辑的上帝和直觉主义的人的想法挺有意思07-28

偶尔会出现一些很生硬的表达01-01