上海万圣节的“鬼符”

世上本无鬼，鬼是一个没有内容的符号，因为没有内容，它是形式的，类似数学符号、计算机语言符号。

每个人都可以向这个符号里面加入自己的内容和理解，证明自己的存在和思考。

上海万圣节的特点是cosplay这个内容元素的注入，因为cos已经发展很长时间，从汉服等民族服装开始，年轻人将更多角色扮演带上了上海夜晚的街头，从巨鹿路、复兴公园、158广场到南京西路兴业广场，各种奇装异服出现在上海夜晚街头。

向“鬼”符号中填入得内容：不仅仅是西方上下文的僵尸，还有中国文化上下文的清服僵尸、湘西赶尸，只要自己玩得嗨就好。

关键是有这样一个“无以为用”的符号，才得以让每个人发挥自己的创造力。

形式主义在绘画艺术中更加明显，从完全类似拍照的写实主义，以前一幅画好不好，就以画得像不像为判断标准，因为大部分人思维都是以内容为主，因此这也是大众艺术审美，但是自从相机发明以后，印象派会崛起，印象画是使用光线、色彩、线条和色块等语言单词表达艺术家自己的想法，如果你是一个注重内容的人，会觉得印象派画模糊，看不清，其实你被自己的思维误导了，印象画就是让你看不清，它是一种印象，它的美丽是光线和色彩。

自此现代艺术走上了形式主义的开挂狂奔之路。

形式与内容的分离是一个文明开始的标志。

无以为用，有以为利，不要以为“无”内容就什么都没用，其实有大用。

数学是一种形式逻辑，数学与语文的分离实际就是形式与内容的分离，数学在形式上一骑绝尘，从牛顿力学到爱因斯坦，它是科学的语言，没有数学语言，就没有科学思想，就没有今天的技术推动社会的持续发展。

但是人类不太擅长形式上抽象和思考，语言模型和人类的推理都依赖内容

人们解决问题的三种思考模式：背诵（考试文凭）、直觉（最经常使用）和推理（慢思考）。

从语言形式看：

• 直觉：视频门槛最低，适合直觉思维的人，如快手、抖音，受众面广，因为人类注重内容为主；
• 背诵：文字门槛适中，适合上过学的人思考，如推特、微博，这类人群虽然基于语言文字思考，但是教条主义，也容易被文字中“因为、所以”这样的字眼迷惑，以为讲得有道理。容易掉入诸如“人生意义”等词语陷阱(上下文)而不能自拔，无论你认为人生有或无意义，都表明你已经身在庐山而不自知，陷入当局迷。
• 推理：计算机语言，门槛最高，适合理性慢思考。形式与语言完全分离，甚至可以用形式验证内容：数学家陶哲轩在形式证明帮助下发现论文中错误