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