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