按照逻辑系统标准,他们的体系漏洞百出,支离破碎,是伪系统,只能说他们在科普股票投资,不能作为系统直到我们的投资,什么是逻辑系统标准:
逻辑系统的性质
逻辑系统可具有下列性质:
有效性(validity)
依系统的推理规则,若所有前提皆为真则结论必为真(保真)。所有命题之前提皆语义蕴涵(semantic consequence)结论。
自洽性(consistency)
系统中任一定理都不与其他定理相矛盾。不存在命题P,P和非P皆可在系统中证明。
可靠性(soundness)
系统中所有定理(有效且可证明的命题)皆为真。可靠性与完备性互为逆命题。
完备性(completeness)
系统中不存在无法证明或证否的有效命题。系统中真命题皆可证明(真命题皆为定理)且假命题皆可证否。 |