因为个人无法把它当本格推理看
所以也是以后设文学的角度去欣赏这部作品
当然也牵涉到哲学的部分
试回应一些
※ 引述《uyry6 (萝莉是正义 伪娘是真理)》之铭言：
: 海猫这个作品
: 算是个人最喜欢的文字游戏之一
: 我是把它当成哲学而非推理的作品来看
: 里面许多议题是现代分析哲学讨论的东西
: 以下我从我个人认为碰触到分析哲学的部分来讨论海猫
: 我会先简单介绍哲学议题再来讨论海猫碰触到的地方
: ==================================
: 我认为海猫涉及"科学哲学" "逻辑" "形上学"
: ==================================
: 会不会有种可能
: 科学理论只是对于这世界的一种"说明"
: 我们只是"发明"一套理论来解释这个世界
: 而非"发现"科学真理?
: ******************************
以自然哲学来说, 科学的确无法触及真理
当一个假说反复被验证成为理论的时候
他仍是可推翻的
所以认识为"对世界的一种合理解释"是可以的
: "科学的说明和魔法说明其实是可以并存的。"
: "举例来说，据说，电视机之所以会有画面和声音，是因为有小精灵在里面工作。"
: "这种事，当然是打开电视机就能知到有没有。"
这里的说法其实有点诡辩
科学的信任并不是凭空而来
而是根据前人"可复制的行为"来预测现象和重现现象
所以科学的说明可以比喻为堆积木, 堆到很高的高度
而我们没有魔法的基础, 所以魔法的说明就很像是直接浮一座城在空中
文字并不是叙述就能产生说明的效果
也就是科学是真的说明, 而魔法则是毫无基础根据的臆测, 甚至连假说也算不上
当然两者都是可以打开电视来验证的
: 魔法是什么?
: 魔法只是对于所观测到"现象"的一种"解释"
: 那它跟科学有什么本质上的不同呢?
: 如果对于一个结果
: 如海猫中的"凶杀案"
: "魔法"跟"科学"都能给予良好的解释
: 为什么我们会倾向于去接受"科学"的解释 而非"魔法"的解释呢?
: 选择只接受"科学"的立场
: 可以说是一种科学哲学上的"实在论"的立场
: 也就是认为科学是一种真理 而非只是一种说明
: 而愿意去接受"魔法"也是一种理论的
: 可以说是科学哲学上"反实在论"的立场
: 也就是认为 "科学"只不过是给一套解释而已 若"魔法"也能提供良好的说明 我何不能相
: 信魔法呢?
: 我们可以说
: 在游戏中
: 战人代表的是一种科学哲学上实在论的立场
: 而魔女们则是科学哲学反实在论的立场
: 最有趣的点在于第三句话
: "这种事，当然是打开电视机就能知到有没有。"
: 问题在于
: 怎么打开电视机?
: 对于战人他们来说
: 电视机就是那座岛
: 而他们能观测到的只有岛上的现象
: 而他们无法打开电视机
: 对于我们来说
: 整个世界就是电视机
: 我们无法去"打开它"
: 我们能的只有观测它演示出来的种种现象
: 因此才会有科学哲学上实在论与反实在论之争
: =================================
如果无法观测到结果, 其实科学本身是无力的
科学是必须能够在现实中验证的学问
所以当一个人说:"这世界上有一台魔法电视用魔法运作"时
科学的确无法反驳
不过,却也没有反驳的必要
因为一个现象的证明必须在立论者本身而不是反驳者的反证
所以其实海猫的恶魔的证明, 只是一种诡辩技法
可惜战人太无能没办法破解...
以结论来说,
唯心论在现实世界其实立足点是很薄弱的
: 接下来讲讲逻辑的部分
: 也就是海猫中的"红字蓝字"系统
: 在逻辑中
: 一个很重要的问题是
: 给定一组条件 检定这组是否是satisfiable的
: 是否存在一组模型可以satisfy这组条件
: 这是什么意思呢?
: 我用日常的语言来说明
: 假如我给定一组条件
: "我没出门买便当" "我中午有便当吃"
: 这组条件
: 我可以设想一个情况
: "我中午有便当吃是因为我叫外卖"
: 那我们说
: 在日常语句这个系统中
: "我没出门买便当" "我中午有便当吃" 这段话是satisfiable的
: 因为存在"我中午有便当吃是因为我叫外卖" 这种情况 满足上面两个条件
: 我们称"我中午有便当吃是因为我叫外卖"是一个"我没出门买便当" "我中午有便当吃"的
: 一个模型
: 另外给一个不是satisfiable的例子
: 简单来说就是条件互相矛盾
: 如"我今天有出门" "我今天没有出门"
: 当然在讨论逻辑的时候
: 通常不会使用日常语言
: 而是什么P Q R ~P之类的那种型式化语言
: 而我们如何规则的证明一组条件是satisfiable或不是
: 是逻辑上一个重要的问题
: 那跟海猫有什么关系呢?
: 海猫最重要的系统
: "红字蓝字"
: 就是类似这种概念
: "红字"我们可以说是一堆的条件
: 基于这些红字下
: 人类方要用"蓝字"构筑出一组可能情况
: 而战人使用这些"蓝字" 比魔女方多了一个条件
: 也就是 "魔法是不存在的"
: 魔女方提出的红字
: 在没有"魔法是不存在的"这个条件下
: 都能良好的提出一组模型来说明
: 但是加入了"魔法是不存在的"这个条件下的人类方
: 要提出一组可以说明的"蓝字"变的非常困难
: 整个海猫的战斗
: 就是在看战人对于魔女给的条件句
: 找出一组又一组的模型来解释
: 当战人找出一组模型 也就是"蓝字"
: 魔女又会给出新的"红字" 也就是新的条件来否定刚刚那组"蓝字"
: 但是当"红字"给的越多 能满足情况的模型 "蓝字"也就越来越少
: 但却会更接近"真相"
: 以便当作例子
: 对于"我没出门买便当" "我中午有便当吃" 这组红字
: 我们给出"我中午有便当吃是因为我叫外卖"这组蓝字当作模型
: 而魔女方可以提出新的红字"你家里所有电话都坏了 不可能叫外卖"
: 当这个新的条件出现
: "我中午有便当吃是因为我叫外卖"这组蓝字就被否定掉了
: 但我们可以提出新的模型
: "我中午有便当吃是因为我妈妈出去帮我买"
: 然后魔女又提出新的红字"没有人帮你买便当"
: 虽然条件越来越严苛
: 但是我们最后可能可以达到一个新的真相
: 新的模型
: "我中午有便当吃是因为我家开便当店!!!!"
例子写得很海猫XDDD给赞
: 整个红蓝字的操作方式
: 类似逻辑系统的运作
: 对文字的要求非常严谨
: 这也是我认为海猫非常有趣的一个点
: ======================================
在哲学讨论上对于文字的要求
就是必须双方要有完全一致的共识
不能有任何文意上的歧意
所以我觉得海猫可惜的地方在于它是一个电子小说
而不是一款互动性的游戏
若以文字的交相诘问来看, 最终还是会引出红字设定者(GM)给的真相
红字固然能反驳蓝字, 却也是把理络往真相更推进一步
海猫的战斗其实打从一开始魔法方就是输的了
这边又再一次让我们看到战人是多么的无能
: 最后谈谈形上学的部分
: 今天海猫之所以评价如此两极
: 因为他算是一个倾向反实在论的作品
: 反实在论的精神贯穿整个游戏
: 什么是反实在论?
: 反实在论是说
: 并不存在什么真实
: 你所认为的真实
: 只不过是基于你的观测
: 真实世界并不存在
: 存在的只有你的想法
: 最有名的大概是骇客任务那种情况
: 也就是你所认为的真实世界
: 可能其实只是你躺在一个机器里面
: 而那个机器直接刺激你的脑
: 给你许多幻想
: 而那些东西都不是真实
: 这就牵涉到一个问题
: 既然有这种可能
: 我们无法确认我现在看到的是真实还是幻想
: 那我如何去定义真实?
: 以真理亚为例
: 剧中他不断的宣称"贝阿朵利切是有的喔! 魔法是存在的"
: 剧中人基本上会认为
: 那只不过是她的幻想罢了
: 这是一种实在论的立场
: 认为真实世界有如我所认识的世界
: 并不存在魔法魔女之流
: 但随着剧情的推演
: 作者想要引导我们从实在论的立场转向反实在论
: EP4最明显
: 缘寿一开始可以说是实在论者
: 她对于真理亚宣称的魔法
: 一直觉得只是真理亚姐姐的幻想
: 但是越到后面
: 作者借由剧情
: 把缘寿从不相信魔法
: 到最后变成魔女
: 也就是从一个实在论者 变成一个反实在论者
: 既然我们无法确定 我们看到的世界就是真实的
: 那我又为何要去否定魔法的存在呢?
: ===============================
唯心论之所以能和其他理论分割出来
很大一部分的原因就是对"真实"的定义不同
前面提到
哲学讨论必须建立在双方共有相同文意的情况下才能进行
也就是如果唯心论主张的真实, 是每个人相对上的感知的真实时
他也就变成不可讨论的了
就像有上帝论者说上帝的定义是全能全有的
不存在的上帝不是全能的(有瑕疵的), 故上帝一定是存在的
这其实是一种诡辩技巧
在提出一个"真实"的定义时
首先就是必须要让对方相信
也不仅仅是"自以为的真实"
提出理论者有立证的义务
海猫里面的魔女,在大家不相信的情况下(人类毒素)就很难存在
或许是在暗示唯心论最根本的痛脚:它无法观测亦无法对他人论证
至于里面角色的心态转变就不再话下
: 另外还有真理的实在与反实在论
: 实在论会认为
: 真实是唯一的
: 而反实在论则对这点提出质疑
: 从EP8的开放式双结局
: 还有对于各种谜题
: 作者不想给出所谓的"正确答案"来看
: 作者在真理上面也是持反实在论的立场
: 而这也是比较难被一般大众所接受的
: 实在论是非常直觉的
: 几乎一般人没有特别思考的话 都会是实在论者
: 但它也面临不少问题
: 我认为整个故事
: 想带领大家去思考
: 龙骑07想要引导大家至反实在论的观点
: 不管是科学哲学上
: 或是形上学上的反实在论
: 这也是我给海猫极高评价的原因
: 我认为海猫是"推理皮 哲学骨"。
龙七确实给人的感觉是唯心论者
不过却又不敢离真实太远
所以他创造出威拉德这样的角色
一方面强调心跟动机、另一方面又用真实的刀剑斩断虚假
然而他犯的错在于他一开始便表明了这是部可推理的作品
不管是介绍、内容，都把读者引入推理的范围
推理本身是非唯心论的
只能达到唯一真相(严格来说)
最后的结果大家都心知肚明了。