語(yǔ)法和語(yǔ)義畢業(yè)論文外文翻譯-其他專(zhuān)業(yè)-資料下載頁(yè)
2025-01-19 02:12本頁(yè)面
【正文】 出任何解釋一套正式的語(yǔ)言 ,一 種是真理的形式概念設(shè)計(jì)提供了依據(jù)。真理、意義以及外延是語(yǔ)義的概念。 此外 ,如果一個(gè)正式的制度形式語(yǔ)言的概念 ,介紹了某種特定的句法規(guī)則 ,公理 ,即產(chǎn)生的推論 ,和定理。某些句子都是選作公理系統(tǒng)。這些都是 (基本 )定理。每一個(gè)規(guī)則的推理是一種感應(yīng)條款 ,說(shuō)明 ,如果某些句子相似定理 ,然后另一個(gè)句子與他們相關(guān)的是在一種合適的方式也 atheorem。如果 p 和 q” 或 “ 要么 notp～ p∨ (q)是定理 ,舉個(gè)例子 ,然后問(wèn)是一個(gè)定理。一般來(lái)說(shuō) ,一個(gè)定理要么是一個(gè)公理或結(jié)論法治的推理的前提定理。 1931年哥德?tīng)栕龀隽嘶镜陌l(fā)現(xiàn) ,在大 部分的有趣 (或重要 )正規(guī)制度 ,并不是所有真正的句子都是定理。有發(fā)現(xiàn) ,不可能被簡(jiǎn)化到句法語(yǔ)義語(yǔ)法 ,這是 ,因此密切相關(guān)理論 ,常常需要證明 ,這是區(qū)別于語(yǔ)義模型理論密切相關(guān)。大致來(lái)說(shuō) ,語(yǔ)法 ,作為孕育于哲學(xué)的一個(gè)分支 ,4 是數(shù)學(xué)數(shù)論、和語(yǔ)義集合論的一個(gè)分支 ,這涉及到自然及兩者的關(guān)系蘊(yùn)。 從歷史上看 ,邏輯和公理系統(tǒng)變得越來(lái)越精確 ,出現(xiàn)了 ,這是為了回應(yīng)明朗了 ,想要更多地傾向于更加關(guān)注人的句法特點(diǎn)的語(yǔ)言雇傭而不是專(zhuān)注于直觀的意義。通過(guò)這種方式 ,邏輯 ,在公理化方法 (如 ,雇用了幾何 ),和符號(hào) (一般科學(xué)向元邏輯 )聚合的跡象。 給定語(yǔ)言的真理定義 正式制度 N承認(rèn)的不同的解釋 ,根據(jù)調(diào)查結(jié)果 ,從 1931年拍攝 )和哥德?tīng)?(挪威數(shù)學(xué)家 Thoralf先驅(qū)、斯柯林元邏輯 (從 1933 年 )。原本打算的 ,或者標(biāo)準(zhǔn)的 ,普通的解釋體制 { 0、 。 }是本領(lǐng)域 ,0和 1 作為符號(hào)表示零的一個(gè) ,和標(biāo)志 +和 ?成站立為普通的加法和乘法。相對(duì)于這個(gè)解釋的話 ,那么可以比較真實(shí)的語(yǔ)言定義的 N。 有必要先區(qū)分開(kāi)啟和關(guān)閉的句子。一個(gè)開(kāi)放的句子 ,如 x = 1,是一種 ,可能為真或假根據(jù) x的價(jià)值 ,而是一種封閉的句子 ,如 ? 0 = 1和 (x)(x = 0),或 “ 所有的 x是零 ” ,是假 (預(yù)期解釋 )，在這種情況下指一個(gè)明確的 真值 。 1。一個(gè)封閉的原子的句子是真的當(dāng)且僅當(dāng)它是真的在直覺(jué)上的觀念 。例如 ,0 = 0 為真 ,0 + 1 = 0 是假的。 本規(guī)格書(shū)正如眼下的不是句法 ,但是 ,跟一些照顧 ,就有可能給出一個(gè)明確的和機(jī)械規(guī)格的原子的句子是真的關(guān)閉在直覺(jué)上說(shuō)得過(guò)去。 2。一個(gè)封閉的句子一句是真的 ～ 當(dāng)且僅當(dāng)一個(gè)是不正確的 5 3。一個(gè)封閉的判 ∨ B是真的 ,當(dāng)且僅當(dāng)要么 A或 B 是真實(shí)的。 (? ν )A(ν ) 當(dāng)且僅當(dāng) 對(duì)于每一個(gè) ν — i 的值都是真的： A(0), A(1), A(1 + 1), . . .全真 上述定義的真相并不是一個(gè)顯式定義 。它是一種感應(yīng)。利用概念 fromset 理論 ,然而 ,它有可能獲得一個(gè)顯式定義能夠產(chǎn)生一個(gè)的句子 ,由所有的真實(shí)的故事 ,只有他們。如果哥德?tīng)柕姆?hào)和句子的表達(dá)方式由編號(hào)被錄用 ,然后你就可以獲得在集合論一套自然的數(shù)字 ,只是哥德?tīng)柕木幪?hào)的真正的句子 N。 有明確的意義上 ,它是不可能在界定概念真理的一種語(yǔ)言本身。這是證明的說(shuō)謊者悖論 :如果這句話我說(shuō)謊 ,” 或干脆 ： “ (1)這句話是不正確的。 ” 被認(rèn)為是 ,很明顯 的 ,因?yàn)?(1),是 “ 這句話里的 如果 (1)是真實(shí)的 ,那么 (1)是 虛假的 。另一方面 ,如果 (1)是假的 ,然后是 (1)是真實(shí)的。在這個(gè)例子中 ,如果系統(tǒng) N 的概念等等真理 ,都是系統(tǒng)本身 ,然后 (利用哥德?tīng)柊l(fā)明的裝置 ) 在 “ N” 來(lái)獲得一個(gè)句子這樣多的 (1),從而產(chǎn)生一個(gè)矛盾是可能的 。
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1