数理逻辑 （3.docxVIP

数理逻辑 (3) 模型论初步 公理系统 一个公理系统首先必须具备的性质是协调性，即无矛盾。 最好具有完备性。 自明性不再像欧式几何那样是必须的。但是数学柏拉图主义决定了公理系统必须有“意义”。 希尔伯特1862-1943 德国 欧式几何的公理化。 皮亚诺1858-1932 意大利 皮亚诺算术公理系统(PA): ∀n(n+1≠0) ∀n∀m(m+1=n+1→m=n) ∀m(m+0=m) ∀m(m0=0) ∀n∀m(m(n+1)=(mn)+m) ∀n(n⊀ 0) ∀m∀n(mn+1→(mn∨ m=n)) (φ(0) ∧ ∀ n(φ(n) →φ(n+1))) →∀ nφ(n)。 协调性的证明 一个理论T是指一个句子的集合。 T是协调的(consistent)，如果没有句子φ使得T┠φ∧¬φ。 T是完全的(complete)，如果它是极大的协调理论。 证明理论T协调性的方法:(1)模型论。(2)证明T是不完备的。 语言的结构 给定一个语言L，它的一个结构M=（M，…)包含一个定义域(Domain)M，并且所有常量，谓词，函数作用在这个定义域上。 （Z,+,0）就是群论语言的一个结构。 (N, +,,,0,1)就是算术语言的一个结构。 指派 给定一个语言L和它的一个结构M=（M，…）。 一个指派(assignment)是一个从变量集到M的函数s。 有了指派，则每一个项t都有一个值s(t)。 在一个指派s下，我们可以归纳地定义满足关系Mㅑ ϕ[s]。 Mㅑt[s]=t’[s]如果s(t)=s(t’)。 MㅑR(u_0,u_1,…u_n)[s]如果u_0[s],u_1[s],…u_n[s] ∈RM。 Mㅑ¬ϕ[s]如果¬Mㅑϕ[s]。 Mㅑφ∨ψ[s]如果Mㅑφ[s]或者Mㅑψ [s]。 Mㅑφ∧ψ[s]如果Mㅑφ[s]并且Mㅑψ [s]。 Mㅑxϕ[s]如果对每一个d∈M,我们让新指派s’（x）=d但是s’对于其它变量的值与s相同，则Mㅑϕ[s’]。 Mㅑxϕ[s]如果存在一个d∈M,我们让新指派s’（x）=d但是s’对于其它变量的值与s相同，则Mㅑϕ[s’]。 理论的模型 定理：对于一个句子ϕ以及任意的指派s,s’,Mㅑ ϕ[s] 当切仅当 Mㅑ ϕ[s’]。 因此句子的满足关系不依赖于指派。 对于一个句子ϕ,我们可以定义Mㅑ ϕ。 一个理论T，MㅑT,如果对于T中每一个句子ϕ，Mㅑ ϕ。 M称为T的一个模型. T是可满足的，如果T有一个模型。 哥德尔1906-1978,奥地利 歌德尔完备性定理：T是可满足的当切仅当T是协调的。 证明：φ┠ψ并且Mㅑφ， 则Mㅑψ。 因此可满足性蕴含协调性。 协调性蕴含可满足性：韩钦(Henkin)常量法。 一个重要推论 Tㅑ ϕ 如果 T的每一个模型都是ϕ的一个模型。 推论：Tㅑ ϕ当且仅当 T┠ϕ。 证明：如果T┠ϕ,则存在X有穷子集Y使得∧ψ∈Yψ ┠ϕ。因此Tㅑ ϕ。 如果T不证明ϕ，则T与¬ϕ是协调的，因此由完备性定理，T∪｛¬ϕ｝存在模型。 QED 紧致性定理 紧致性定理：T是可满足的当切仅当它的每一个有穷子集都是可满足的。 证明：歌德尔完备性定理的直接推论。 QED 推论：如果T有任意大有穷模型，则模型可以任意大。 证明：对于任何无穷基数κ, T∪{cα≠ cβ｜α≠βκ}是可满足的。 QED 因此一个理论不可能完全决定它的模型。 几个例子 PA的任何模型必然包含所有自然数。 PA的模型可以任意大。 PA的非标准模型。 PA∪{0c,1c,…}。 子模型 给定同一语言的两个结构M=（M，…)和N=（N，…)，记为M⊆N，如果M⊆N，并且M所有的谓词，函数限制在N上都与N中的对应谓词，函数一致，则M称为N的子模型。 如果M⊆N并且对于所有公式ϕ(v0, v1,…)以及M中所有元素a0, a1,…, Mㅑϕ(a0, a1,…)当且仅当Nㅑϕ(a0, a1,…),则M称为N的初等子模型,记为M≺N。 模型的关系 给定同一语言的两个结构M=（M，…)和N=（N，…)，记为M≡ N，如果对于所有句子ϕ， Mㅑϕ当且仅当Nㅑϕ，则称M与N初等等价。 如果存在一个双射函数f:M-N使得对于所有公式ϕ(v0, v1,…)以及M中所有元素a0, a1,…, Mㅑϕ(a0, a1,…)当且仅当Nㅑϕ(f(a0),f(a1)…),则称M与N同构，记为M≅N。 显然M≺N和M≅N蕴含M≡ N。