摘要

基于模态谓词逻辑核心概念的澄清可以发现,严格指示根本上是一个形而上学问题。理解此概念需诉诸指称对象自身同一的逻辑必然性,个体起源为把握这种必然性提供了手段和标准,同一关系必然性定律的代入例只适用于严格指示词。通过对归类行动及其产品的实在性的理解,自然种类本体论问题上的约定论立场更具解题功能。由归类属性与第二实体的关联所决定,自然种类词本身即兼具指称和谓述功能。基于起源对个体与内部结构对自然种类不同作用的比较,通过区分逻辑必然和并非逻辑必然,可以从“是”型陈述中区分出真正同一性陈述和属性陈述,进而可以为“后验必然理论”提供辩护,客观上突显区分形而上学与认识论的方法论价值。