中国古一个比较完整的逻辑体。于它是围绕着辩辩论（论）而开的，所以也称为墨辩逻辑。逻辑和体主要映在《墨经》一书中。

本内容：后墨家逻辑以辩为核心，中包括名、辞、说三种本的维和故、理、类三物构成的逻辑推理。

辩：在后墨家逻辑中具有论的性质，《墨经》把辩定义为“争彼也“，把辩作是关于“谓之牛，谓之非牛“、“谓之是，谓之非“的一对矛盾的是非之争，而且认为辩必有胜和负，要分胜负。辩的目的和作用在于“将以是非之分，审乱之纪，同异之处，察名实之理，处害，决嫌疑“（《小》）。

辩具有名、辞、说三种本维。在后墨家逻辑中，对这三种维的理，当于方传统逻辑中的概念、判断、推理。后墨家逻辑中的名是用来摹拟、称谓物的所与所以之性质的，《小》说：“以名举实“；《经上》说:“告以文名，举彼实故也“。这样的名就具有概念的性质。名又是言词（）的构成元素，而也具有语词的性质。后墨家首从概念延上把名分为达、类、私三种，“达名“当于范畴，如“物“；“类名“当于普遍概念，如“马“；“私名“是限于对某一个体物之称谓，包括专名姓名，近于单独概念。后墨家还从概念的内涵上把“名“分为当于具体概念的“貌之名“和当于抽概念的“非貌之名“，以当于时空概念的“居运之名“和“量数之名“，等等。

辞是用来达人们上的断定的。《小》说：“以辞抒“，所以“辞“又是构成推理的要素，用作、结论论的论。如《小》把“白马，马也；乘白马，乘马也“这种推理叫“比辞而俱行“，把论叫“立辞“。辞有时与“言“用，言辞是对物的陈述，它是名构成的。后墨家还出了“尽“、““、“假“、“必“，全称、选言、假言、必等，尤对词项在中的周延性问出了精辟的见。它认为，肯定的谓项是不周延的，“乘马，不待周乘马，后为乘马也“；而否定判断的谓项是周延的，“逮至不乘马，待周不乘马，而后为不乘马“。后墨家对辞的矛盾关也有了初步的认识和揭示，如将“辩“限于一对矛盾的一是一非之争，在“止“推论中出用称否定驳全称肯定和用全称否定驳称肯定等。

后墨家逻辑调“以说出故“，过说的方以确“立辞“的和理。《经下》诸条有“说在“字样，着极简要地标出理例，后在《经说下》加以释，这就是“以说出故“的运用。后墨家把识按来源分为闻、说、亲三种。说源于亲和闻，是已到未的间推理之。《经说下》举例说，已亲室之物的颜色是白的，又闻室内之物的颜色与室之物的颜色同，就可以推出室内之物的颜色也是白的。后墨家还从当时的辩论中，总结出多种推论，主要有：具有选言性质的““、具有假言性质的“假“、当于言推理的“效“、当于复杂概念推理的“侔“、当于对当关中矛盾之间推理的“止“，以“辟“、“援“、“推“等一般类推。

故、理、类三物：后墨家认为立辞必须故、理、类三物，“三物必具，后（辞）足以生“。故是一物产生的和条，《经说上》将“故“分为“大故“和“小故“两种。大故就是有之必，无之必不；“小故“则是有之不必，无之必不。它们当于假言的言推理中的小。“理““法“，有规律、模、本质之。“类“是类之同。故、理、类三物是立辞必须确“辞“，确论结论之所以能成立的理和条，又必须确物之间关条关的一般规律，还必须类同。这三物既是后墨家逻辑推理论的则，也是推理论的本，故、理、类三物而推出“辞“的本过和。

逻辑规律：后墨家对逻辑的本规律也有比较确的论述。在同一律方面，《经说下》中出，“名，彼彼止于彼，止于，彼不可“，认为“彼“之名能彼之实，““之名能之实，彼之名都不能既彼又。这是后墨家的“名“则，从中揭示了同一律的本内容。它还十分视同一律的应用，出了“后对“的则，在辩论中必须确概念（），后才能论辩（后对）。

后墨家也把“辩“定义为争论一对矛盾中的是非。如针对同一动物，甲说“这是牛“，乙说“这不是牛“，就叫“争彼“。后墨家出，这样的争彼是“不俱当，必不当“的，也就是不能同真，必有一假。这当于矛盾律的内容。后墨家曾用矛盾律分析了当时行的一论点的逻辑谬误。例如，《经说下》在批驳“言尽悖“之谬误时出，如“以言为尽悖“这个为真，则存在着不荒谬的言论；如这个为假，也有言论不是荒谬的。不怎说，这个都是不确的。

后墨家还揭示了排中律的内容，出“谓辩无胜，必不当“，认为矛盾不能同假，中必有一真。

逻辑谬误：后墨家对推理论中的谬误问作了仔细研究。《小》出，物有同的性质，不一定在一切方面都同；物的现同，导致这一现的不一定同等等。，对譬、侔、援、推这论辩方运用不慎，作为到处搬用，就会出现“行而异、转而危、远而失、而离本“的谬误。后墨家把侔推论的谬误，分为1“是而不“，肯定的是确的，肯定的结论则是错误的。2“不是而“，否定的是确的，否定的结论则是错误的。同时还规定了“异类不比“的类推则。对，《经说下》举例说，如出木头与夜间哪个更长，智慧与粮食哪个更多，爵、亲属、操行和物价哪个更贵这样的问，显是荒谬的。

影响：后墨家逻辑是中国古逻辑可以同古希腊亚里士多德的逻辑、古印度（见印度逻辑史）媲美的科学体，在中国逻辑史和界逻辑史上占有要的地。从秦汉以后，这份宝贵的遗产长忽视。晋朝时，鲁胜虽曾作《墨辩注》，仅存“叙“。是到了近以后，孙诒让、梁启超、章炳麟、章士钊、谭戒甫等人才开始把墨辩逻辑与方逻辑和印度进行比较研究，从而使后墨家逻辑到了视，有了的发。

渐渐淡出编辑