一階邏輯和高階邏輯的區別

《邏輯哲學九章》p362： 　　一階邏輯的語義解釋依賴於個體域，而模態邏輯的語義解釋依賴於可能世界域。一階邏輯的個體域包含的是不一樣的個體，而模態邏輯的可能世界域中包含的是不一樣的可能世界，在這些不一樣的可能世界中，又有各自的個體域。所以能夠看出，一階邏輯與模態邏輯的層次是不一樣的。也就是說，含有模態詞的命題與不含模態詞的命題是有層次區別的。其次，一階邏輯從真假的角度，從個體域的角度，對句子提供一

>>阅读原文<<