“郢有天下”是中国战国时期名家学派提出的一个辩论命题。
“郢有天下”的意思是郢的存在包含着天下的存在。郢，楚国的都城。有，包含的意思。常识认为，天下的存在包含着郢的存在，而郢的存在不会包含天下的存在。
该命题用现代思维的方式表达为：如果郢是天下的一个元素，如果“存在天下就一定存在郢”这个命题为真，那么，“存在郢就一定存在天下”这个命题也一定为真。
通过反证法来论证“不存在天下就一定不存在郢”，如果“不存在天下”的情况下，“郢”能够存在的话，“郢”存在于什么地方呢？“郢”必然存在于“天下”之外，这便与“郢是天下的一个元素”这个前提相矛盾，所以“不存在天下就一定不存在郢”这个命题一定为真。“不存在天下就一定不存在郢”的逆否命题就是“存在郢就一定存在天下”。如果两个命题互为逆否命题，则这两个命题同真。所以“存在郢就一定存在天下”这个命题为真。所以说郢的存在包含着天下的存在。
“郢有天下”这个命题论述的是部分与整体的关系。怎样看待部分与整体这种关系，或许是形式逻辑和辩证逻辑争论的焦点之一，形式逻辑认为部分与整体是两个不同的事物，部分的叠加就是整体，部分可以离开整体而单独存在。中国古代的辩证逻辑则认为部分和整体具有相互依存关系，部分和整体不能单独存在。两种逻辑分别从不同的层面来论述部分和整体的关系。文中的“有”、“包含”在两种逻辑中的含义也是不同的。
在部分和整体的关系这个问题上，形式逻辑与中国古代的辩证逻辑相比，中国古代的辩证逻辑的思维应该更有效率。这或许是中国古代没有产生形式逻辑学的各种原因的一个方面。
顺便说一下：如果把“郢”看作“天下”的一部分或一个元素，如果没有“天下”，“郢”便无处存身，如果认为“郢”能够存身于“天下”之外，则此“郢”非彼“郢”；如果没有“郢”，无郢的“天下”和有郢的天下分别是不同的“天下”，两个不同的集合或概念不能混为一谈。可见中国古人对这个命题的思维并不是什么诡辩或一塌糊涂，而是思维的清楚得很！
