今天看啥  ›  专栏  ›  Cat Who

「我不是认真,我是特别认真」

Cat Who  · 知乎专栏  ·  · 2015-11-23 03:12
谨以此文作为坑了很久的对曾加知友的命题和命题的否定可以同时成立吗? - 看!你身边有一只数学! - 知乎专栏一文的隔空回应——不过其实在期刊上隔了四个月吵架好像挺常见的嘛,我要向上一回观测到的 Geoffrey Pullum 和 Adriaan Neeleman 两位教授致敬。———— 前情提要我就不说了,如果非常想知道的话可以查阅曾加的专栏文章,我也不是那种特别喜欢「 previously on MeowTV 」的那种,我们单刀直入:从单纯的形式语义上来说,一个命题和命题的否定可以同时为真么?哪怕是问我这样的形式语义半瓶醋「『 p 且非 p 』能不能为真」,估计得到的回答也是「你……没问题吧?」因为现在的形式语义虽然基于蒙塔格语法,但亚里士多德的老规矩还是一点没掉,矛盾律一出谁与争锋。至少在自然语言形式语义里,单纯的「 p 且非 p 」是不可能成立的。所以 ………………………………

原文地址:访问原文地址
快照地址: 访问文章快照