Through the intensional interpretation, first-order language gets more close to the semantics of natural language, and is truly neutral to all kinds of subject matter.

 
  • 比之于外延语义的解释,内涵语义的解释使一阶语言更接近于自然语言的语义,而且也使一阶逻辑对各种题材真正保持了逻辑的中立性。
今日热词
目录 附录 查词历史