正名者，彼此：彼此可，彼彼止于^①彼，此此止于此。彼此不可^②,彼且此也。(《經(jīng)說下》)
【注釋】?、僦褂冢褐皇恰H僅。②可：認(rèn)可、允許。
【譯文】　正名，就是要分清彼此。我們能夠認(rèn)可的是“彼僅僅是彼”、“此僅僅是此”,不能夠認(rèn)可的是“彼又等于此”。
【評說】　言辭交際符合邏輯的基本規(guī)律，才能保持思維的確定性、一貫性和無矛盾性。這里提出：
第一，“彼此可”,即彼是彼并限于彼，此是此并限于此。彼=彼，此=此。意思是在同一思維過程中，任何一個(gè)思想與其自身都是同一的。如，A就是A,B就是B,不能A不是A,B不是B。即：A=A,B=B。牛=牛，馬=馬。這體現(xiàn)了形式邏輯的同一律的基本思想。
第二，“彼此不可，彼且此也”,“彼”不能既是彼又是此。意思是在同一條件下，同一個(gè)命題不能既是真的又是假的。換句話說，不能是A又是非A。即：A≠B(?！亳R)。這體現(xiàn)了形式邏輯的矛盾律的基本思想。