楼主:
std92050 (不想去上学)
2021-11-16 22:52:17※ 引述《std92050 (熊猫大学劣等生)》之铭言:
: "人应该相信P if only if P为真"
: 乍看之下好像蛮合理的,如果P应该被相信,那P必须是真的
: 如果P是真的,那人们就应该相信P,两边好像可以互推
: 但这个命题也可推得 "若P为假,那人们并非应该相信P"
: 也就是不一定要相信P,因此允许人们相信假的事,这又违反我们的直觉
无聊继续把这个问题推下去 如果从集合的想法来看可能具体一点
另外重新调整一下用词避免混淆
对任何事物P , P∈{人们必须相信的事物} 则 P∈{为真的事物}
P∈{为真的事物} 则 P∈{人们必须相信的事物}
因此{为真的事物}={人们必须相信的事物}
另外,逻辑上有 {人们必须相信的事物}⊆{人们可以相信的事物}
{为假的事物}={为真的事物}的补集={人们必须相信的事物}的补集
={人们不必须相信的事物}
而要不违反直觉,要有 {人们不必须相信的事物}∩{人们可以相信的事物}=空集合
如此一来,我们会得出 {人们可以相信的事物}={人们必须相信的事物}
其实这个命题有一个问题"有些为真的事人们不一定有能力知道"
违反了"应该可推得能够"(ought implies can)这个原则
但若修改一下把"人们" 改成 "全能者"或"应该相信所有为真事物的人"
逻辑上应能通吧