“白马非马”这句话，常被人当作笑谈，认为不过是诡辩。可若仔细分析，它触及了概念的内涵与外延、个别与一般的关系——这已是相当精密的逻辑思考。提出它的人，属于先秦一个独特的学派：名家。
一、名家是什么
名家，又称“辩者”，以擅长概念分析与辩论著称。代表人物有惠施、公孙龙。他们关注名（概念）与实（事物）的关系，讨论“同异”“坚白”“有穷无穷”等抽象问题。名家是先秦诸子中最接近逻辑学的一支。
二、公孙龙：白马非马
公孙龙的论证是：“马”是用来指形的，“白”是用来指色的；指色的概念不等于指形的概念，所以白马不等于马。又说：若只求马，黄马黑马都可以；若求白马，黄黑马就不可。可见“马”的外延大于“白马”，两者不能等同。
三、惠施：合同异
惠施与公孙龙倾向不同，主张“合同异”，强调事物的相对性与统一性。《庄子·天下》记载他的十个命题，如“至大无外，谓之大一；至小无内，谓之小一”“天与地卑，山与泽平”。他善于从更高视角消解对立。
四、坚白之辩
公孙龙还有“离坚白”之说：一块白石，用眼只能见其白，用手只能触其坚，视觉与触觉不能同时把握坚与白，故“坚”“白”可以相离。这是在分析感觉与属性的关系，逻辑上颇具深度。
五、为何后世失传
名家过于抽象，与治国安邦的现实关切距离较远，故不受重视，著作散佚严重。但他们的思考，是中国古代逻辑学的珍贵遗产。近代学者重新发掘《公孙龙子》，才发现其中蕴含的思辨光芒。名家之“诡辩”，其实是超前了两千年的逻辑学。
