什么是正式證據(Formal Proof)？

形式證明是一系列的陳述，無論是口頭的還是數學的，用來證明一個給定結論的邏輯必然性。這種證明需要嚴格而精確地使用語言，因為語言的模糊性很容易使證明失去意義。在許多情況下，為了避免這個問題，為了盡可能避免語言帶來的...

形式證明是一系列的陳述，無論是口頭的還是數學的，用來證明一個給定結論的邏輯必然性。這種證明需要嚴格而精確地使用語言，因為語言的模糊性很容易使證明失去意義。在許多情況下，為了避免這個問題，為了盡可能避免語言帶來的混亂，人們可以用符號或數學的方式提出形式證明。這種嚴格形式的證明一般都是從一個或多個已確立的或理論上的前提開始的。這些前提后面是從前提邏輯上接出的公理或語句~在一個最終的結論或被證明的定理中終止，就像前面的陳述一樣，它是最初前提和公理的邏輯必然結果。女人站在一堆書后面，與一個正式的證據形成對比，日常生活中的大多數論據都依賴于共同語言，通常邏輯上并不嚴謹，例如，它們可能并非出自一套構造良好的前提條件，或者他們可能依賴于修辭上的訴求，比如情感或權威，而這些在正式的證據中是沒有地位的。雖然正式證據是有價值的，因為它能夠證明基于一系列前提的陳述的正確性，重要的是要記住，當討論在邏輯領域中無法最終證明的任何事情時，形式證明幾乎沒有或根本沒有用處。而且，它們只適用于原始前提的上下文中，因此，不能證明普遍真理。大多數形式證明都是以"形式語言"為基礎的正規語言的一個子集或符號的一個子集。例如，數學形式證明是用數學中使用的符號表示的，完全不依賴語言在許多情況下，用詞來代替符號，這樣即使是非數學形式的證明也可以用簡單的符號邏輯的形式來理解，而不必使用潛在的歧義詞。許多不同的領域，通常在學術界，都使用形式證明。最明顯的例子是數學，一個很大程度上基于證明的使用。同樣地，計算機科學依賴于使用嚴格的、形式化的邏輯級數，以確保計算機得到絕對精確的指令。哲學，特別是分析哲學，也依賴于使用形式證明來證明在各種先前建立的或理論上的前提。

發表于 2020-09-16 01:36
閱讀 ( 1212 )
分類：社會民生

什么是正式證據(Formal Proof)？

你可能感興趣的文章

相關問題

0 條評論

作家榜 ?

推薦文章