什么是正式证据(Formal Proof)？

形式证明是一系列的陈述，无论是口头的还是数学的，用来证明一个给定结论的逻辑必然性。这种证明需要严格而精确地使用语言，因为语言的模糊性很容易使证明失去意义。在许多情况下，为了避免这个问题，为了尽可能避免语言带来的...

形式证明是一系列的陈述，无论是口头的还是数学的，用来证明一个给定结论的逻辑必然性。这种证明需要严格而精确地使用语言，因为语言的模糊性很容易使证明失去意义。在许多情况下，为了避免这个问题，为了尽可能避免语言带来的混乱，人们可以用符号或数学的方式提出形式证明。这种严格形式的证明一般都是从一个或多个已确立的或理论上的前提开始的。这些前提后面是从前提逻辑上接出的公理或语句~在一个最终的结论或被证明的定理中终止，就像前面的陈述一样，它是最初前提和公理的逻辑必然结果。女人站在一堆书后面，与一个正式的证据形成对比，日常生活中的大多数论据都依赖于共同语言，通常逻辑上并不严谨，例如，它们可能并非出自一套构造良好的前提条件，或者他们可能依赖于修辞上的诉求，比如情感或权威，而这些在正式的证据中是没有地位的。虽然正式证据是有价值的，因为它能够证明基于一系列前提的陈述的正确性，重要的是要记住，当讨论在逻辑领域中无法最终证明的任何事情时，形式证明几乎没有或根本没有用处。而且，它们只适用于原始前提的上下文中，因此，不能证明普遍真理。大多数形式证明都是以"形式语言"为基础的正规语言的一个子集或符号的一个子集。例如，数学形式证明是用数学中使用的符号表示的，完全不依赖语言在许多情况下，用词来代替符号，这样即使是非数学形式的证明也可以用简单的符号逻辑的形式来理解，而不必使用潜在的歧义词。许多不同的领域，通常在学术界，都使用形式证明。最明显的例子是数学，一个很大程度上基于证明的使用。同样地，计算机科学依赖于使用严格的、形式化的逻辑级数，以确保计算机得到绝对精确的指令。哲学，特别是分析哲学，也依赖于使用形式证明来证明在各种先前建立的或理论上的前提。

发表于 2020-09-16 01:36
阅读 ( 1213 )
分类：社会民生

什么是正式证据(Formal Proof)？

你可能感兴趣的文章

相关问题

0 条评论

作家榜 »

推荐文章