简介:二十世纪后期以来,再也没有哪一种逻辑像次协调逻辑那样,在取得丰富研究成果的同时,也领略到了极为尖锐的批判,仿佛其本身就是一种意味深长的“矛盾”。依照次协调逻辑“真矛盾”的观点所构建的次协调逻辑系统,夷非所思地试图要容纳我们所认知的悖论、辩证矛盾、甚至逻辑矛盾。次协调逻辑试图要和悖论永久共存,但我们可以为了暂时的搁置这种矛盾,发展某理论的其他方面而接受这种逻辑技术。次协调逻辑在反映人脑的容错机制上具有重要的描述功能,这对提高计算机的智能化具有十分重要的实践意义。
简介:那个会腾云驾雾的会腾云驾雾吗?对于这个问题,从常识出发的人们会很自信地回答:当然能。也就是说,命题“那个会腾云驾雾的会腾云驾雾”是真的。而罗素的回答却恰恰相反,在他看来这个命题是假的。在回答之先,罗素首先分析指出这个命题面临
简介:在《算术基础》中,弗雷格追溯了数学表达式之不变的逻辑基础的同时,清理了带有主观性和相对性的心理主义。但心理主义并没有因此销声匿迹,反而在蒯因那里得到复兴,而且蒯因还基于自然主义的心理主义,否定了弗雷格对数学基础的探寻。本文试图借由解读弗雷格和蒯因的文本,展示数学哲学中的基础主义与心理主义之争,并借由弗雷格的文本对蒯因的心理主义做出回应。
简介:明代岭南思想家湛若水1537年途经滕县写下的《吊文公词》,既是一篇被作者的各种文集失收的佚文,有其自不待言的文献学价值;又是一篇罕见地高度评价滕文公的孟子学文献,在人们几乎不把评价滕文公当作问题意识的孟子解释史中,饱含耐人寻味的思想史价值。
试论“真矛盾”及次协调逻辑的哲学价值
浅析罗素的摹状词理论——从一个真命题谈起
数学哲学中的基础主义与心理主义之争——从《算术基础》到《真之追求》
一篇罕见地高度评价滕文公的孟子学文献——湛若水佚文《吊文公词》考释