數理邏輯中,布林值模型是普通的塔斯基主義者的結構模型概念的推廣,在其中命題真值不被限定為"真"和"假",而是從某個固定的完全布林代數中取值,布林值模型是 Dana ScottRobert M. SolovayPetr Vopěnka 在1960年代為了幫助理解 Paul Cohen力迫方法而介入的。

定義

編輯

固定一個完全布林代數 B一階語言 L,後者由一組常量符號函數符號關係符號構成。L 的布林值模型因此就由全集 M,它是元素(或名字)的集合,和對這些符號的釋義組成。特別是,這個模型必須為 L 的每個常量符號指派一個 M 的元素,並為 L 的每個 n-元函數符號 fn-元組 <a0,...,an-1> 中的每一個指派 M 的元素,這個模型必須為項 f(a0,...,an-1) 指派 M 的元素。

關係符號和等式的釋義是更加複雜的: 對 M 每對元素 a, b,模型必須為表達式 a=b 指派一個真值 ||a=b|| ;這個真值取自 B。類似的,對於 L 的每個 n-元關係符號 Rn-元組 <a0,...,an-1> 中的每一個指派 M 的元素,這個模型必須指派 B 的一個元素為 ||R(a0,...,an-1)|| 的真值。

需要寫些文字來解釋在釋義等式上的額外限制,保證它是等價關係並且這個關係顧及了等價事物的代換。

其他公式和句子的釋義

編輯

其他公式可以使用布林代數來釋義;對於命題連結詞這是很容易的;你可以簡單的在子公式的真值上應用對應的布林運算符。例如,如果 φ(x) 和 ψ(y,z) 分別是帶有一個和兩個自由變量的公式,並且是要代換 xyz 為模型的全集的元素 abc,則

 

的真值簡單的是

 

對於量化的公式,我們需要利用布林代數 B 的完全性。如果 φ(x) 是帶有自由變量 x(可能還有其他我們忽略的自由變量),則

 

這裏右手端要被理解為在 B 中所有真值 ||φ(a)|| 的上確界,這裏 a 的範圍在 M 之上。

一個公式的真值有時被稱為它的可能性。它不能理解為一般意義上概率,它們不是實數而是完全布林代數的 B 的元素。

集合論的布林值模型

編輯

給定一個完全布林代數 B,有一個指示為 VB 的布林值模型,它是馮·諾伊曼全集 V 的布林取值的類似者。(嚴格的說,VB真類,所以我們需要適當的重新解釋對於模型意味着什麼)。非形式的說,我們認為 VB 是像「布林值集合」的某種東西;換句話說,布林值集合,不再有定義分明的元素和非元素,而有帶有是這個集合的元素的特定「可能性」的對象。這個「可能性」是 B 的一個元素,不是實數。這不同於模糊集合的概念。

布林值集合的(「可能的」)元素,依次也是布林值集合,它的元素也是布林值集合,以此類推。要得到布林值集合的非循環定義,我們需要有層次的建造它們。所以對於 V 的每個序數 α 我們定義集合 VαB 為:

VαB 是 β<α 的 VβB 的併集,如果 α 是極限序數(包括 0)。
Vα+1B 是從 VαBB 的所有函數的集合。(這種函數表示 VαB 的「可能的」子集;如果 f 是這種函數,則對於任何 xVαBf(x) 是 x 在這個集合中的可能性)。

我們定義類 VB 是所有集合 VαB 的併集。

有可能相對化這個完整構造於 ZF (或者有時它的片段)的某個傳遞模型 M。在這種情況下我們通過應用上述構造於 M 內部而構造布林值模型 MB。對傳遞模型的限制是不嚴重的,因為Mostowski塌陷引理蘊涵了所有合理的(良基的外延)模型同構於傳遞模型。(如果模型 M 不是傳遞事物而使其變得更加雜亂,因為 M 對什麼意味着是「函數」或「集合」的釋義可能不同於「外延」釋義)。

接着我們需要在集合 VB 上定義兩個 B-值的等於關係和成員關係。(在 VB 上的 B-值關係是從 VB×VBB 的函數)。為了避免混淆於通常的等式和成員關係,對於在 VB 中的 xy,它們指示為 ||x=y|| 和 ||xy||。它們定義如下:

||xy|| 被定義為 ∑t∈Dom(y) ||x=t|| ∧ y(t)   ("xy 中如果它等於在 y 中的某個東西")
||x=y|| 被定義為 ||xy||∧||y⊆x||   ("x 等於 y 如果 xy 相互都是對方的子集"),這裏的
||xy|| 被定義為 ∏t∈Dom(x) x(t)⇒||ty||   ("xy 的子集如果所有 x 的元素都在 y 中")

符號 ∑ 和 ∏ 意味着我們在完全布林代數 B 中採用最小上界和最大下界。第一眼看來上述定義好像是循環的: ||  ∈ || 倚賴於 || = ||,它依賴於 || ⊆ ||,它依賴於 || ∈ ||。但是閉合檢查證實了 || ∈ || 的定義只對於更小階的元素依賴於 || ∈ ||,所以 || ∈ || 和 ||  = || 是從 VB×VBB 的良好定義的函數。

最後我們需要檢查在 VB 上的這兩個 B-值的關係 || ∈ || 和 || = || 使 VB 成為集合論的布林值模型。沒有自由變量的每個一階集合論的句子都在 B 中有一個值,我們需要檢查等式的所有公理和 ZF 集合論的所有公理(沒有自由變量的)有 B 的元素「真」的值。這是直接了當的,但是要花很長時間因為有很多不同的公理需要檢查。

引用

編輯

參見

編輯