同一性是指矛盾的对立面相互之间不可分割的联系,是对立面之间相互联结、相互吸引、相互渗透的倾向。 同一性是指两种事物或多种事物能够共同存在,具有同样的性质。生物信息学中,同一性是指两序列在同一位点核苷酸或氨基酸残基完全相同的序列比例。
同一问题:
逻辑中的“同一”问题是“同一性的可替换原理”能否成立的问题。洛克在《人类理解论》中引入了“同一”概念,他说:“我们如果把一种事物在某个时间和地点存在的情形,同其在另一种时间和地点时的情形加以比较,则我们便形成同一性(identity)和差异性(persity)的观念。我们如果看到任何事物在某地某时存在,则我们一定会相信(不论它是什么),它就是它,不是别的——虽然别的东西在同时在别的地方存在,而且在其他各方面都和它似。”[3]在这里,洛克所强调的是一个事物与其自身同一,应当是不成问题的。莱布尼兹也思考了相同的论题,他解释说,词项是同一的或一致的,就是说它们能在随便什么地方,以一个代之以另一个而不改变任何命题的真值。A=B表示A和B是同一的。这样,“同一”便成了指代同一对象的两个词项或名称之间的关系。例如“三角形”与“三边形”表示同一个东西,那么这两个名称或表达式可以随时互相替代。莱布尼兹的这一“同一东西的不可分辨性”思想后来被弗雷格引进到逻辑当中,成了现代逻辑十分重要的运算原理,即“同一性的可替换原理”。但是这一原理引入逻辑当中并没有经过严格论证。正如涅尔所说:“同一理论被认为是逻辑的一部分,但是为什么它被包含在逻辑当中,这并不十分清楚,敌对的批评家可以提出以下的异议:弗雷格并没有给予我们对逻辑的一般的解释。”当然弗雷格对此也不是毫无解释,他的论文《论涵义和所指》[6]就是对“同一”问题所作的专题解释。他在文中感叹道:“‘同一’(sameness)观念令人深思。它提出了一些颇不易解答的问题。同一是一种关系吗?是对象之间的关系呢,还是对象的名称或指号之间的关系?”他选择了后一种说法,并提出了“涵义与指称”理论对“同一”问题作出了解答。但是,以逻辑中的同一理论来考察,现代逻辑属于共时性形式逻辑,形式逻辑在运用它的概念时严格讲究概念间的差异区分,求异而不求同,因此不存在运用概念的所谓“同一”关系;概念具有结构系统的观点认识到,在形式逻辑的概念结构系统中不存在完全相同的概念;弗雷格的解答不能令人信服;“同一性的可替换原理”并不成立。
世界万物“莫不相同”,它们有相同的本原,相互一致,相互依存,构成统一的整体;世界万物又“莫不相异”,它们各有不同的内容和形式,各有不同的运动和变化,使世界异彩纷呈、斑斓多姿。同与异是对立面的统一,“合异以为同,散同以为异”。“同一论”既考察事物(系统)相同的一面,又考察事物(系统)不同的一面,“是描述、阐发事物(系统)同异关系的哲学理论”。[1]同异关系是事物中最基本的关系,也是人们认识事物,建立逻辑系统的最基本依据。人们认识事物既可以同中求异,也可以异中求同。同中求异,认识千差万别的个体事物及其运动形式,形成千差万别的个体概念及其感性概念;异中求同,寻求事物的类型,寻求事物的规律,寻求事物的本原,形成种类概念,形成科学规律,形成物质(或精神)的本体论。分析事物,划分概念是同中求异;综合事物,概括概念或规律是异中求同。由内涵索外延是同中求异,由外延索内涵是异中求同。对现实事物作共时性考察主要采取同中求异,对历史事物作历时性考察主要采取异中求同。形式逻辑对现实事物作共时性考察,可以称为共时性逻辑,主要特征是同中求异;辩证逻辑对历史事物作历时性考察,可以称为历时性逻辑,主要特征是异中求同。共时性的形式逻辑确认事物或概念间的差异区分,“A是A,不是非A”,“同一律”、“矛盾律”、“排中律”起绝对作用;历时性的辨证逻辑探寻事物或概念间的同一演变,“A是A,又是非A”,传统逻辑的基本规律失去了效应。林耐的生物学物种系统以形式逻辑为基础,它的物种区分十分明确;达尔文的生物学物种系统以辩证逻辑为基础,认为生物的进化是连续的,不承认物种的存在。[2]以哲学的“同一论”来考察逻辑现象就可以看到,逻辑中也存在“同一”理论。
欢迎分享,转载请注明来源:内存溢出
评论列表(0条)