作者luciferii (路西瓜)
看板logic
标题Re: 吵架专用的悖论
时间Mon Oct 29 01:44:07 2007
: 请选出下列何者恒真?
: (1) 「如果本句为真,上帝存在。」
: (2) 「如果本句为真,上帝不存在。」
: 答案就是1对2也对。
答案1是对的,可以勾
答案2是对的,也可以勾
你作题目还要管答案2会不会影响答案1吗?
之前跟我质疑单句为真要如何证明?
我抄书出来就装没看见,然後再自顾自继续硬扯...
(1对)和(2对)都是可以证,出问题的是想把它 & 在一起时。
: 推 somedoubt:古人不懂逻辑你也不懂逻辑啊? 10/24 08:41
: → somedoubt:1,2皆不可为假,因为为假会导致矛盾。 10/24 08:44
: → somedoubt:但若两者皆真亦会导致矛盾。所以两句话若以"&"相连,则 10/24 08:45
: → somedoubt:成悖论语句。你真的没掌握何谓悖论啊。 10/24 08:46
: → somedoubt:你们逻辑老师跟你说这两句话都对吗?我可否私下向你请教 10/24 09:01
: → somedoubt:其名?抑或他在讲解时,你因为某些原因而未能理解悖论? 10/24 09:02
(1)(2)两句在一起可不可以,我逻辑学老师倒是没说,
但是你的逻辑学老师 Priest 说,说他们都对也未尝不可。
(true and not true)本来就是 paradox 定义的一种,本来就是都对,
不然哪来的 paradox ?
: → somedoubt:再说一遍喔:矛盾句指的是p&~p形式的语句,你可以说矛盾 10/25 10:01
: → somedoubt:句是既真又假的语句,也可以说它是恒为假的语句。如果 10/25 10:03
: → somedoubt:你因此而将矛盾句理解为悖论语句,那就错了。 10/25 10:04
: → somedoubt:悖论语句是指既不为真亦不为假的语句。一语句是悖论语句 10/25 10:05
: → somedoubt:若且唯若 不论该语句为真或为假皆会导致矛盾语句。 10/25 10:06
: → somedoubt:当我宣称形式"p&~p"的语句时,我不是在说p真且~p真不然 10/28 23:12
: → somedoubt:我在说啥?当我说"明天清大既下雨又不下雨"难道我不是认 10/28 23:14
: → somedoubt:为明天清大下雨是真,且明天清大不下雨也是真? 10/28 23:15
你真的话说得一团乱,
你前文说的是「既真且假的语句」
你又赶忙解释说你讲的是(P&~P),
请问(P&~P)要怎麽解释才能叫「既真且假的语句」?
(1) (P既真)且(~P既假)?
(2) (语句既真)且(语句既假)?
不管是哪种意思解释,这个「既真且假的语句」都不会是矛盾句。
什麽叫「既真且假的语句」不存在,所以矛盾句恒假?
我已经说过了,你根本把真值本身跟命题本身混在一起。
「既真且假的语句」不会是矛盾句,也不会恒假。
矛盾句的意义是,无论 (P为真亦或P为假),本语句都为假。
你对矛盾句的意义真是理解得乱七八糟。
A恒真可证
B恒真可证
但 A&B 产生矛盾,
paradox是A"&"B,不是A本身也不是B本身
我已经讲过好几次。
: → somedoubt:你也没啥料,不用呛别人没料。 10/28 23:16
: → somedoubt:还有啊,你会不会搞错啊?找个开不了的大陆网页翻译就要 10/28 23:18
: → somedoubt:栽赃prist?线上百科全书看一下好不好? 10/28 23:18
我真的也想知道你们上了他几节课倒底学到些什麽?
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 218.166.108.65
※ 编辑: luciferii 来自: 218.166.108.65 (10/29 02:08)
1F:推 somedoubt:中文果然很差,"p&~p"的语意是啥你都不能掌握? 10/29 07:58
2F:→ somedoubt:你根本不懂(1)要在什麽情况下才能为真:不会导致矛盾时. 10/29 07:59
3F:→ somedoubt:既然你否定了语句有真值的必要条件,那就没啥好说了。 10/29 08:00
4F:推 somedoubt:你真的很惨,早就跟你说了不是某句话的否定会导致矛盾就 10/29 08:22
5F:→ somedoubt:是恒真句。就算有人只问你(1)是否为真,而没说出(2), 10/29 08:22
6F:→ somedoubt:你依旧要考量当(1)为真时,是否为导致矛盾。 10/29 08:23
7F:→ somedoubt:谁不知道设(1)为假会导致矛盾啊?重点在於:否定A导致 10/29 08:24
8F:→ somedoubt:矛盾,不代表A就是恒真。 10/29 08:25
9F:→ somedoubt:还有,哪来paradox?因为它为真或为假都会导致矛盾。 10/29 08:25
10F:→ luciferii:书上的证明都装没看到吗? 10/31 01:00
11F:→ somedoubt:不要跟我说书上写,哪本书讲出来。 10/31 01:01
12F:→ somedoubt:连具有真值的必要条件是啥都不知道的人还谈啥形式系统 10/31 01:02
13F:推 luciferii:早抄在前面了... 10/31 01:13