在中国,形式逻辑的产生基本与欧洲同时。代表学派有墨家与名家,此外还有儒家的荀子。有意思的是,墨家研究逻辑为的是找到逻辑的原则,而名家为的是建立诡辩体系。墨家对于逻辑的认识集中体现在《墨经》中,该书对于逻辑已有了系统地论述。例如它区分了充分条件与必要条件,提出“大故(充分条件),有之必然,无之必不然”与“小故(必要条件),有之不必然,无之必不然”。而名家的惠施则提出了“合同异”的诡辩原则,目的是取消概念的边界。与惠施相反,同属名家的公孙龙则提出了“离坚白”的诡辩原则,认为任何独立的概念都有且只能有单一的属性。名家提出了许多诡辩命题,例如“白马非马”、“鸡有三足”、“孤犊无母”、“连环无扣”、“白狗黑”以及“今适越而昔来”等等。