量化 (數理邏輯)

在語言和邏輯中，量化是用量詞指定一個謂詞的有效性的廣度的構造，就是說指定謂詞在一定範圍的事物上成立的程度。產生量化的語言元素叫做量詞。結果的句子是量化的句子，我們稱我們已經量化了這個謂詞。量化在自然語言和形式語言中都使用。在自然語言中，量詞的例子有“所有”、“某些”；“很多”、“少量”、“大量”也是量詞。在形式語言中，量化是從舊公式產生新公式的公式構造子。語言的語義指定了如何把這個構造子解釋為一個有效性的廣度。量化是變數約束操作的例項。在謂詞邏輯的兩類基本量化是全稱量化和存在量化。這些概念被更詳細的敘述於在單獨文章中；下面我們討論適用於二者的特徵。其他種類的量化包括唯一量化。自然語言中的量化.所有已知人類語言都使用量化，即使是那些沒有完整的數字系統的語言。例如：不存在簡單的方式把這些表達重新公式化為句子們的合取或析取，它們每個都有個體的簡單謂詞如“酒杯碎了”。這些例子也暗示了在自然語言中的量化表示式構造可以是語法上非常複雜的。幸運的是，對於數學斷言，量化過程在語法上是更加直接的。研究自然語言中的量化比研究形式語言的量化要難很多。這部分的由於自然語言句子的文法結構可能隱藏了邏輯結構的事實。而數學約定嚴格的為形式語言量詞指定了有效範圍；為自然語言指定有效性的範圍要求處理不平凡的語義問題。Montague文法給出了新穎的自然語言的形式語義。它提起爭論說它比弗雷格、羅素和蒯因的傳統處理更加自然的對自然語言的形式化表現。數學論斷中的量詞.我們開始討論在非正式數學討論中的量化。考慮下列陳述1·2 = 1 + 1，且2·2 = 2 + 2，且3 · 2 = 3 + 3，...，且"n" · 2 = "n" + "n"等等。在外觀上這是命題的"無限合取"。從形式語言的觀點看這立即是一個問題，因為我們希望語法規則生成有限個物件。把這個缺陷放到一邊，還要注意在這個例子中我們幸運的有一個生成所有結合項的過程。但是，如果我們想要斷言關於無理數的某個事物，我們沒有辦法列舉所有結合項，因為無理數不能被列舉。避免這些問題的一個簡潔的公式化是使用全稱量化：對於任何自然數"n", "n"·2 = "n" + "n"。類似的分析適用於析取，1是素數，或2是素數，或3是素數等等。它可以使用存在量化重組：對於某些自然數"n", "n"是素數。量詞的巢狀.考慮下列語句：對於任何自然數"n"，有一個自然數"s"使得"s" = "n"×"n"。這明顯是真的；它只是斷言了所有自然數都有一個平方。下面這個斷言中的量詞的意義就非常不同了：有一個自然數"s"使得對於所有自然數"n"，有"s" = "n"×"n"。這明顯是假的；它斷言了有一個單一的自然數是"s"是"所有"自然數的平方。這展示了量詞巢狀的時候的基本要點：量詞間隔的次序是絕對重要的。不平常些的例子是來自數學分析的一致連續的概念，只是透過對換了兩個量詞的位置，它就不同於更加熟悉的逐點連續的概念。量詞的範圍.每個量詞都涉及一個特定的變數和這個變數的論域或“量化範圍”。量化的範圍指定這個變數採用的值的集合。在上面的例子中，量化的範圍是自然數的集合。量化範圍的指定允許我們表達出，在斷言一個謂詞對某些自然數成立和對某些實數成立之間的區別。說明性的約定經常保留某些變數名字，比如"n"保留給自然數，"x"保留給實數，儘管依賴於命名約定一般不能工作，因為變數的範圍在數學論證過程中是可以變更的。限制論域的更自然的方式是使用“監控量化”。例如：對於某些自然數"n"，"n"是偶數且"n"是素數。意味著對於某些偶數"n"，"n"是素數。早某些數學理論中你可以預先假定一個固定的單一論域。例如，在Zermelo Fraenkel集合論中，變數範圍是在所有集合之上。在這種情況下，可以監控量詞來模擬更小的量化範圍。如上述例子中對於所有自然數"n"，"n"·2 = "n" + "n"在Zermelo-Fraenkel集合論中，你可以說對於任意"n"，如果"n"屬於N，則"n"·2 = "n" + "n"，這裡的N是所有自然數的集合。量詞的記號.全稱量詞的傳統符號是∀，它倒過來的字母A，表示單詞“all”。存在量詞的相應的符號是∃，它是反過來的字母E，表示單詞“exists”。相應的量化表示式構造如下：formula_1這裡的"P"指示一個公式。有很多變體被使用了，比如formula_2所有這些變體都同樣適用於全稱量化和存在量化。二十世紀早期的使用∀符號。典型的記號是用"P""表示"存在"x"使得"P""。∃符號是皮亞諾在1890年左右提出的。後在，在1930年左右，Gerhard Gentzen介入了∀符號來表示全稱量化。弗雷格的《概念文字》使用完全不同記號，它根本就不包括存在量詞；∃"x":"P"總是用概念文字表達為等價的¬∀"x":¬"P"。注意某些版本的記號明確的提及了量詞的範圍。量詞的範圍總是必須指定，但是對於給定的數學理論，可以用多種方式來做：在不發生"變數捕獲"的限制條件下，可以使用任何變數作為量化變數，替代任何其他變數。即使這種記號使用了有型別的變數，你仍可以使用這種型別的任何變數。變數捕獲的問題是極其重要的，並在下面的形式語義章節中討論。非正式地，"∀"x""或"∃"x""也可以出現在"P"的中間，如果它是個長短語的話。正式而言，介入虛擬變數的短語在標準上要位於前面。注意數學公式混合了量詞的符號表達和自然語言量詞，比如：對於任何自然數"x", ...存在一個"x"使得...對於至少一個"x"...唯一量化的關鍵字包括：對於正好一個自然數"x", ...有一個且只有一個"x"使得...你使用代名詞來避免變數名字如"x"。例如：對於任何自然數，它乘以2等於它加以自身某些自然數是素數。形式語義.數理語義是用形式化的數學上的特定語言表達的研究意義的數學應用。它有三個要素：透過語法的一類物件的數學規定，各種語義域的數學規定，和在二者之間的關係，它通常表達為從語法物件到語義物件的函式。在本文中，我們只致力於描述量詞元素如何解釋的問題。在本文中，我們只考慮帶有函式符號的一階邏輯。我們建議讀者看模型論的文章獲得關於在這個邏輯框架內公式釋義的更詳細資訊。公式的語法可以用語法樹給出。量詞有範圍，而變數"x"是自由的，如果它不在這個變數的量化範圍內。所以在formula_3中，"x"和"y"二者在"C"中的出現是自由的。一階謂詞演算的釋義假定給出一個個體域"X"。自由變數是"x"1, ..., "x"n的一個公式"A"被解釋為"n"個引數的一個布林值函式"F"中的一個。公式formula_4的釋義是"n"-1個引數的函式"G"，使得"G" = F。類似的，公式formula_5的釋義為"n"-1個引數的函式"H"，使得"H" = F。唯一量化的語義要求帶有等號的一階謂詞演算。這意味著這裡要有一個顯著的二元謂詞"="；語義也要相應的修改來使"="總是被解釋為在"X"上的二元等價關係。formula_6被解釋為"n"-1個引數的函式，它是如下兩個釋義的邏輯"與"formula_7formula_8幾個、多個和其他程度的量詞.我們只考慮了在數學中的全稱、存在和唯一量化。它們都不能用來量化如下儘管在本文中我們沒有考慮自然語言的語義，我們將嘗試用如下型別的自然語言為斷言提供語義一種可能的解釋機制可以獲得如下：假設除了語義域"X"之外，我們還給出在"X"上定義一個機率測度P和截斷數0 &lt; "a" ≤ "b" ≤ 1。如果"A"是帶有自由變數"x"1...,"x""n"的公式，它的釋義是變數"v"1...,"v""n"the的函式"F"，則formula_9的釋義是"v"1...,"v""n"-1的函式，它是T當且僅當formula_10，否則是F。類似的，formula_11的釋義是"v"1...,"v""n"-1的函式，它是T當且僅當formula_12，否則是F。我們已經完全避免了關於釋義函式的測度性的技術問題的討論；其中某些技術問題要求Fubini定理。我們還要警告讀者這種語義相應的"邏輯"是非常複雜的。形式化的歷史.在形式邏輯中的量化的第一個基於變數的處理直到19世紀才出現，儘管詞項邏輯以同在自然語言很緊密的方式處理量化，但不適合於形式分析。亞里士多德邏輯在公元前1世紀給出了“所有”、“某些”和“沒有”量詞和對真勢模態的處理。第一個基於變數的邏輯處理是弗雷格的《概念文字》，緊隨在查爾斯·皮爾士獨立的公式化了存在圖之後。弗雷格的方法被證明更有影響，因為它被皮亞諾接受，儘管Pierce的邏輯最近更加引起邏輯學家對異類推理和圖表推理的興趣。量化的第一個嚴格的表示法出現在弗雷格的《概念文字》。弗雷格使用在變數名下劃的曲線來指示在它隨後的公式中這個變數是被全稱量化的。弗雷格沒有給存在量化特殊的記號，而是使用等價的formula_13。在懷特海和羅素的《數學原理》中，弗雷格的記號被簡化了。使用公式“formula_14”來指示這個公式φ對於"x"的所有的值都是真的。存在量化被寫為“formula_15”；∃符號自身是皮亞諾在1897年首次使用的。∀符號是後來發明的，它是格哈德·根岑在1935年模仿皮亞諾的∃符號而發明。