论文部分内容阅读
弗雷格在创建现代逻辑之时就已分析了蕴涵怪论。他强调＂对于思想只应该考虑它是真的还是假的,而实际上根本不应该考虑思想内容本身＂,否则,要么将问题复杂化而无实际益处;要么前后件不是真正的句子。后一情形乃是使概念或关系联系起来,融合了普遍性与实质蕴涵。这也正是充分条件的表达方式。相干逻辑欲借助前后件共享命题变元来体现二者在内容及意义上的联系。一阶逻辑通过共享个体变元比相干逻辑更好地做到了这一点。