1、“重要之处是要小心,因为当我们面对的是一些不能以直接观察来核实的事物时,就很容易落入空谈的境地,很容易落入循环逻辑的陷阱,即赘述tautologies,然后引向复杂的胡说八道之门就敞开了伊芙拉,你知道什么是赘述吗?” 一句话他们输掉了比赛,因为他们没有足够的取胜动机’ 而在整篇文章中都没有丝毫直接证据来。
2、一阶逻辑Firstorder logic在这个意义下是完备的特别的,所有逻辑的重言式tautologies都可以被证明即使在经典逻辑中,这与前述的完备性是不同的即一个陈述和否定陈述对于这个逻辑而言不可能是重言式相反的概念被称为可靠性soundness。
发表评论
◎欢迎参与讨论,请在这里发表您的看法、交流您的观点。