同一性陈述的本体论分析

同一性陈述作为自然语言中一种重要的陈述形式,受到很多哲学家的关注。早在巴门尼德就有了同一思想,亚里士多德提出同一律,而莱布尼茨将其形式化并且明确地提出它的符号形式,后人称它为莱布尼茨定律。

关于同一性陈述的思想发展

本文探讨了通过同一性陈述与相似几个概念的区分,使同一性陈述的概念更加清晰,并且论述了关于同一性陈述思想的发展。

自然种类词与理论同一性

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