※ [本文转录自 W-Philosophy 看板] 作者: krisnight (krisnight) 看板: W-Philosophy 标题: Re: [心得] 上帝举不起来的石头与直观主义逻辑 时间: Wed Jan 30 10:21:28 2008 这是我在写了原文大约半个月後写的文章 -------------------------------------- 我现在觉得试图用直观主义逻辑系统来为信仰者开脱是一件蠢事︰ 1. 直观主义逻辑是基於数学研究的相关理由开发出来的逻辑系统，基本上，在日常推论 中是找不到什麽支持直观主义逻辑系统（相较於古典逻辑系统）的例子的。（一个语言的 例子支持直观主义逻辑系统而非古典逻辑系统，当且仅当这个例子蕴含某些符合直观主义 逻辑且符合直觉，但不符合古典逻辑的现象。）事实上的确存在着一些例子使得大家对古 典逻辑有所不满，例如说谎者悖论以及条件句的真值问题等等，但是这些例子也一样不相 容於直观主义逻辑。所以，石头论证作为一个诉诸日常推论直觉的论证，我们一开始并没 有好理由使用直观主义逻辑（而非其他逻辑系统）来检视它。 2.一个可能的方向是说，我们（假设我是铁齿信仰者）秉持着这样的态度︰「无神论者 认为我们这些相信上帝超越逻辑的人应该要对於自己的推论规则给出一个明确的系统，好 吧，那我们试试直观主义逻辑」，纯粹把直观主义逻辑当作一个可能的替代方案，虽然不 知道会不会出问题，总比脸色惨白说不出话要强一些。但是如此一来我们便必须背负证成 「直观主义逻辑对日常推论直觉背後的规则的刻划是恰当的」这个主张的责任，对於不特 别青睐直观主义逻辑的日常推论直觉来说，这个工作不会太容易。 3.就算直观主义逻辑事实上是有道理的，对於大多数信仰者，我也不期望他们会因为觉 得应该认真对待自己的推论原则没有被刻划清楚的这个问题而严肃地检视任何逻辑系统。 -- http://callmecallme.blogspot.com/ --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 218.162.216.230 -- http://callmecallme.blogspot.com/ --

※ 发信站: 批踢踢实业坊(ptt.cc) ◆ From: 218.162.216.230