An Intensional Semantics for First-order Logic
Xiong Ming · Journal of Hunan University of Science & Technology · 2006
The familiar semantics for first-order logic is extensional in that it is involved in individual objects rather than in any property entities.But besides being characterized by the extensional semantics,first-order logic can be characterized soundly and completely by such an intensional semantics that includes nothing but the property entities.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.