康德自己又是怎样论证“两点之间直线最短”是先天综合判断的？

之前LZ介绍了一种对“两点之间直线最短”是先天综合判断的批评，现在我把康德自己的论证重构以下，让大家对比对比，看看究竟是康德有道理，还是Georges Dicker有道理。 康德的论证大致如下： 1，“直线”这个概念描述的是一个不可量化的性质。 2，“最短”这个概念描述了一个可以量化的性质。 3，对于任意两个概念x和y，如果x描述的是一个不可量化的性质，而y描述了一个可以量化的性质，那么x逻辑上不蕴涵y。 —————————————————————— 4，因此，主词“直线”不蕴涵谓词“最短”。“两点之间直线最短”是综合句。 5，后天判断没有必然性。 6，“两点之间直线最短”这句话有必然性。 7，这句话不是后天判断。 8，任何一个命题不是先天的，就是后天的。 ——————————————————————— 9，“两点之间直线最短”是先天判断。 把9和4做合取，得到10： 10，“两点之间直线最短”是先天综合判断。 Georges Dicker的批评见http://www.douban.com/group/topic/36206223/