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

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