一阶逻辑和高阶逻辑的区别

《逻辑哲学九章》p362： 　　一阶逻辑的语义解释依赖于个体域，而模态逻辑的语义解释依赖于可能世界域。一阶逻辑的个体域包含的是不一样的个体，而模态逻辑的可能世界域中包含的是不一样的可能世界，在这些不一样的可能世界中，又有各自的个体域。所以能够看出，一阶逻辑与模态逻辑的层次是不一样的。也就是说，含有模态词的命题与不含模态词的命题是有层次区别的。其次，一阶逻辑从真假的角度，从个体域的角度，对句子提供一

>>阅读原文<<