”是自我涉及的，但它并没导致矛盾；又如，“我说的这句话是真话”明显也是自我涉及的，被论断者与论断者混而为一；还有，“本语句共用了十个汉字”也是自我涉及，但这些自我涉及的语句并没有造成悖论。非但没造成悖论，在日常生活和一些学科（如人工智能、计算机科学等）中还是经常出现，并且有重要的实用意义。所以，有人批评罗素的“恶性循环原则”是为泼洗澡水连孩子一块也倒掉了。但是，一个自我涉及的命题再加上否定概念就不同了，这时，命题会直接导致悖论。那么，为什么肯定概念如“真”的自我涉及却不会造成悖论呢？这是由形式逻辑的特点决定的。在形式逻辑概念形成的过程中，否定概念必在肯定概念之后，否定概念在形式逻辑的概念中要比肯定概念多了点儿内容。如果用A代表肯定概念，而代表否定概念的非A显然多了点东西，它包含着A。“假”也是一种“真”：即真的“假”。单独的肯定概念绝不能表述它自身的二重性。例如，“不属于”这一概念本身包含着各种“不属于”的关系，因此，“不属于”也是一种属于；“不可形容”已经是一种形容，“不可解”本身也是一种解，“非概念”本身也明明是一个概念。另外如“不可说”、“不包括”、“谎话”、“最大”等否定概念也都包含着它们的肯定概念。因此，自我涉及的命题加否定概念会立即导致自我否定，而任何命题都暗含着自我肯定，这样，自我否定的命题就会形成悖论。

    在梵学者悖论中，如果他的女儿在纸上写出“今天下午3点以前你将写一个‘是’字在卡片上”，那么，这虽然是自我涉及的，但它并不能造成悖论，因为这是肯定概念“是”的自我涉及。假如梵学者写了“是”字，说明他的预言正确，而如果他写了“不”字，那就说明他的预言不正确，并不能由正确推出不正确，而由不正确又推出正确。同样，“自身列入的目录的总目”也不会形成悖论，因为“自身列入”是一肯定概念。如果要问：“自身列入的目录的总目’是否列入自身呢？”那么，肯定或否定的回答都不会造成困难。如果它是自身列入的目录，那么，正好它应列入总目，而如果它不是自身列入的目录，那么，它就不应列入自身。但“自身不列入的目录的总目”就不同了。它是一个否定概念，本身包含它的对立面——肯定概念，因为总目作为总目，它列入了所有“自身不列入的目录”，不列入本身就是一种列入。因此，如果要问“‘自身不列入的目录的总目’是否列入自身？”这就是否定概念的自我涉及，造成自我否定，出现悖论。

    西班牙塞万提斯的名著《唐吉诃德》中有一个故事：

    巴拉塔里亚岛的总督桑差做官问案时曾遇到一些复杂案件的考验，其中有这样一件事：在这位总督的辖境内有座桥，是一个富人为了旅客的便利而建造的，不过桥旁还立了一个绞架，行人必须满足一个条件才能被允许通过这座桥，这个条件是：旅客必须说出他真正要干什么去；如果他说了谎，那就必须放在绞架上吊死。后来有一个人来到桥上，在回答干什么去的问题时，他说他到这里来是为了在绞架上吊死。守桥的人对这个回答迷惑了，因为如果把他吊死，那他就说了真话，应该放他过去；如果放他走了，那他就是说了假话。他们无法解决，于是请总督明断。总督说了一句聪明话：在如此疑难的情况下，应该采取最温和的处置，因此应放他走。

    因为如果说了谎，就须放在绞架上吊死，所以，这人说他来是为了放在绞架上吊死，意思也就是说他是来撒谎的，这显然是说谎者悖论的翻版。如果说是真话，即真的在撒谎，那么就既是真话又是谎话，因而是矛盾的；如果说是谎话，而他来是为了说谎，因此，这又成了真话，也是矛盾的。之所以造成悖论，也是因为“我来是为了说谎”（或“我在说谎”）是在说自己是谎话，因而是否