Re: [請益] 真與假
※ 引述《Jer1983 (stanley)》之銘言：
: 最近在看林照田老師所著的邏輯學入門，在第二章第三節談論什麼叫做真和假
: 的問題。他首先引述了亞里斯多德的話：
: 把是什麼說成是什麼，把不是什麼說成不是什麼，便是真；反之。。。便是假。
: （所以上面這句話是當成真理的定義？）
: 接著他說上面這句話可以這樣表示：
: "P"是真的 =df P
: 這邊就不懂作者想表達的意思了。
: **********************************************************************
: 還有最後一段：
: "X"是真的 =df P（此處X代表P之名）
: 這邊也看不懂。
: **********************************************************************
: 最後我想問，有人可以幫忙點出這節在講什麼嗎？標題為：什麼叫做真和假。
: 可是我看不出來作者在這節想傳達的概念？ 謝謝。
你問到大問題了, 目前有很多文獻在討論真之理論,
簡單講(非常簡略), 亞里斯多德的那段引言表達了我們對「真」這個概念的直覺,
而要把這個直覺用一個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的問題), 就成為一個真理的定義。
--
※ 發信站: 批踢踢實業坊(ptt.cc)
◆ From: 131.111.224.87
推
02/23 03:23, , 1F
02/23 03:23, 1F
→
02/23 15:11, , 2F
02/23 15:11, 2F
→
02/23 15:12, , 3F
02/23 15:12, 3F
推
02/23 17:14, , 4F
02/23 17:14, 4F
→
02/23 17:27, , 5F
02/23 17:27, 5F
討論串 (同標題文章)
本文引述了以下文章的的內容：
請益
以下文章回應了本文：
請益
6
7
完整討論串 (本文為第 2 之 8 篇)：
請益
請益
2
5
請益
8
9
請益
6
7
請益
1
2
請益
1
2
請益
1
1