怎样理解自指自指是否有啥深刻内涵
狭义的“自指”是一种很重要的构造逻辑悖论的技术。当然光靠“自指”还不能构造出这种悖论，还需要结合另一项逻辑技术——否定。以如此方式构造出来的逻辑悖论都很不好解决，有的算是解决了（如罗素悖论），但其背景也很深刻。我没有办法面面俱到，只能通过以下介绍大体呈现出我自己的一个观点：如此逻辑悖论之所以难以解决，是因为它们都有一个哲学根源——语言上的谓词在“概念化”时的合理性在哪里。因此，光靠自指和否定还未必能构造出悖论，悖论成立肯定会引发我们对其中包含的某些谓词是否“合式概念”（模仿逻辑学的“合式公式”造的词），以及什么是合式概念的思考。而后两者都是很深刻的哲学问题。————————————分割线————————————先介绍两个很多人比较熟悉（可能至少听说过）的“自指否定”式悖论：1，说谎者悖论；2，罗素悖论。————————————说谎者悖论：（通俗版）“我正在说谎。”这句话是对的还是错的？（逻辑专业版）“本句子为假。”这个句子是为真还是为假？（如果没记错的话，参考自Blackwell《哲学逻辑》一书的第5章“真”……）。**注意上面有个下划线的用词。我们对逻辑专业版做一个形式化改写：以P指向句子“本句子为假”，以~T（）指向否定性的真值谓词“为假”（相应的，以T（）指向肯定性的真值谓词“为真”）。于是该悖论改写为：P：~T（P）那么P为真或为假？若为真——即T（P），则T（P）
P（据Tarski真理论），T（P）
~T（P）。矛盾。若为假——即~T（P），则~T（P）
~T（~T（P））（同义替代）。由于直观上看（两个否定叠加即肯定），~T（~T（P））
T（P），~T（P）
T（P）。矛盾。**不要嫌上面的形式化改写繁琐，这个改写的每一个角落都能帮助我们理清问题。跟之前一样，注意上面每一段下划线标明的话，这些话里隐藏着与之前提到的悖论根源有关的哲学问题。容我先卖个关子。当然有兴趣的话，熟悉分析哲学、逻辑哲学的同学可以自行思考。————————————罗素悖论：给定集合论的二元关系谓词“不属于”，以符号（）~S（）指向该谓词（相应的，谓词“属于”则是（）S（））。再定义一个集合Q，令：
x（x）~S（x）
（x）S（Q）这时，若x取为Q（注意变元x的域没有任何限制），则（Q）~S（Q）
（Q）S（Q）。矛盾。**同上，每段下划线都有相关的哲学问题。————————————————————（待更新……）
■网友
自指不是悖论的必要条件。Yablo构造了一个悖论：(S1) for all k \u0026gt;1, Sk is untrue (S2) for all k \u0026gt;2, Sk is untrue(S3) for all k \u0026gt;3, Sk is untrue……(Sn) for all k \u0026gt;n, Sk is untrue这一序列中的每个语句既不是直接指称的，也不是间接指称的，但它却蕴含矛盾。假设S1为真，那么S2为假，S2以后的语句也为假，但这样S2即为真。假设S1为假，那么存在Sn为真，这样
为假，
以后的语句也为假，但这样
推荐阅读
![[五商玩卡]网友：库克真会偷懒！，苹果始料不及！代工小哥冒险曝光](https://imgcdn.toutiaoyule.com/20200305/20200305224210891354a_t.jpeg)
- 聪明人养花，这3种“花”怎样也要养一盆，每年能省不少医药费
- 互联网怎样解决“家政服务上门速度慢”的问题
- 怎样看待从1月8号起，QQ钱包开始提现收费
- 银行it人怎样转型
- 汽车|冬天怎样让车内温度快速升高？座椅加热的最佳使用方式二，外循环的作用总结
- 怎样进入通信行业
- 怎样评价扶他柠檬茶的小说《云养汉》的结尾
- 怎样成为一名合格的Python程序员?
- 怎样评价华为、诺基亚、中兴中标中国移动高端路由交换设备扩容集采
- 怎样评价类似前橙会、百老汇、南极圈这样类型的离职帮抱团，对企业的积极意义和消极意义