語法和語義畢業(yè)論文外文翻譯-其他專業(yè)-閱讀頁
2025-02-08 02:12本頁面
【正文】 There is a definite sense in which it is impossible to define the concept of truth within a language itself. This is proved by the liar paradox: if the sentence “I am lying,” or alternatively (1) This sentence is not true. is considered, it is clear—since (1) is “This sentence”—that if (1) is true, then (1) is false。del) it would be possible to obtain in“ N ” a sentence that amounts to (1) and that thereby yields a contradiction. 外文文獻(xiàn)原文 語法和語義 一份正式的語言通常需要一套形成 ,齊全的規(guī)格的種類中 ,作為規(guī)范的表達(dá)方式 ,要計(jì)算公式 (句子或有意義的表達(dá) ),適用的機(jī)械 ,在這個(gè)意義上說 ,機(jī)器就會(huì)檢查是否滿足要求的候選人。 語言的一個(gè)解釋是由一個(gè)正式制定的解釋語言的原子句關(guān)于某個(gè)領(lǐng)域的 objects.,通過規(guī)定哪些物體的領(lǐng)域得到用這常數(shù)之語言與這關(guān)系和功能是通過引入 ,謂詞的字母和功能的符號(hào)。例如 ,p?問是真的 ,當(dāng)且僅當(dāng) p和 q是真實(shí)的。 )因此 ,給出任何解釋一套正式的語言 ,一 種是真理的形式概念設(shè)計(jì)提供了依據(jù)。 此外 ,如果一個(gè)正式的制度形式語言的概念 ,介紹了某種特定的句法規(guī)則 ,公理 ,即產(chǎn)生的推論 ,和定理。這些都是 (基本 )定理。如果 p 和 q” 或 “ 要么 notp～ p∨ (q)是定理 ,舉個(gè)例子 ,然后問是一個(gè)定理。 1931年哥德爾做出了基本的發(fā)現(xiàn) ,在大 部分的有趣 (或重要 )正規(guī)制度 ,并不是所有真正的句子都是定理。大致來說 ,語法 ,作為孕育于哲學(xué)的一個(gè)分支 ,4 是數(shù)學(xué)數(shù)論、和語義集合論的一個(gè)分支 ,這涉及到自然及兩者的關(guān)系蘊(yùn)。通過這種方式 ,邏輯 ,在公理化方法 (如 ,雇用了幾何 ),和符號(hào) (一般科學(xué)向元邏輯 )聚合的跡象。原本打算的 ,或者標(biāo)準(zhǔn)的 ,普通的解釋體制 { 0、 相對(duì)于這個(gè)解釋的話 ,那么可以比較真實(shí)的語言定義的 N。一個(gè)開放的句子 ,如 x = 1,是一種 ,可能為真或假根據(jù) x的價(jià)值 ,而是一種封閉的句子 ,如 ? 0 = 1和 (x)(x = 0),或 “ 所有的 x是零 ” ,是假 (預(yù)期解釋 )，在這種情況下指一個(gè)明確的 真值 。一個(gè)封閉的原子的句子是真的當(dāng)且僅當(dāng)它是真的在直覺上的觀念 。 本規(guī)格書正如眼下的不是句法 ,但是 ,跟一些照顧 ,就有可能給出一個(gè)明確的和機(jī)械規(guī)格的原子的句子是真的關(guān)閉在直覺上說得過去。一個(gè)封閉的句子一句是真的 ～ 當(dāng)且僅當(dāng)一個(gè)是不正確的 5 3。 (? ν )A(ν ) 當(dāng)且僅當(dāng) 對(duì)于每一個(gè) ν — i 的值都是真的： A(0), A(1), A(1 + 1), . . .全真 上述定義的真相并不是一個(gè)顯式定義 。利用概念 fromset 理論 ,然而 ,它有可能獲得一個(gè)顯式定義能夠產(chǎn)生一個(gè)的句子 ,由所有的真實(shí)的故事 ,只有他們。 有明確的意義上 ,它是不可能在界定概念真理的一種語言本身。 ” 被認(rèn)為是 ,很明顯 的 ,因?yàn)?(1),是 “ 這句話里的 如果 (1)是真實(shí)的 ,那么 (1)是 虛假的 。在這個(gè)例子中 ,如果系統(tǒng) N 的概念等等真理 ,都是系統(tǒng)本身 ,然后 (利用哥德爾發(fā)明的裝置 ) 在 “ N” 來獲得一個(gè)句子這樣多的 (1),從而產(chǎn)生一個(gè)矛盾是可能的
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1