看板 logic 關於我們 聯絡資訊
※ 引述《MathTurtle (恩典)》之銘言: : 你問到大問題了, 目前有很多文獻在討論真之理論, : 簡單講(非常簡略), 亞里斯多德的那段引言表達了我們對「真」這個概念的直覺, : 而要把這個直覺用一個formal language 表述出來, : Tarski 提出了所謂的 truth-scheme: : 'p' is true if and only if p; : 或是 : X is true if and only if p : 左邊的 'p'或 X是在語言當中的句子, 而後面其餘的是一個後設語言中的表達, : 舉例而言: : '雪是白的' is true if and only if snow is white, : 當中我們用英文當作後設語言來給出 '雪是白的' 這句中文句子的真假條件, : 把語言當中所有的句子所形成恰當的truth-scheme集合起來, : (再處理一下語義paradox的問題), 就成為一個真理的定義。 我稍微瞭解了 多謝 另外我想問, 在科學的領域有很多數字是"估計"出來的, 比如當我說"地球上的螞蟻大約有XX隻"這句話 -- 事實上我們不可能知道正確的數字 -- 即使窮盡了所有的人力金錢與技術, 我們得到的只能是最精確的估計值. 在這種情況之下, "地球上的螞蟻大約有XX億隻"這個語句不就是永遠為假? 類似這種情形很多, 甚至有一些人造的經濟指標, 如國民生產毛額GDP -- 世界上本來是沒有這個指標的, 是人們硬性規定出來的 -- 同樣, 我們永遠也不 可能正確的估計出GDP的數字, 得到的也只是很精確的估計值, 在這種情況之下, 每年 政府公佈的GDP數字不也是永遠為假? -- ※ 發信站: 批踢踢實業坊(ptt.cc) ◆ From: 124.8.238.64
aletheia:你有兩個假定 1.世界上有一類東西A 03/11 22:13
aletheia:2.A是人類無法得知的 03/11 22:13
aletheia:我想問的是 這樣的A跟三太子有甚麼不同呢 03/11 22:14
aletheia:當然這是比較極端的問句就是了 03/11 22:30
Jer1983:不太懂你說的... 03/11 23:01
aletheia:這樣說好了 在科哲中 你的問題是科學實在論和工具論不同 03/11 23:56
aletheia:科學有沒有一個所指的實在? 兩種想法對此回答不一樣 03/11 23:57