海猫这个作品
算是个人最喜欢的文字游戏之一
我是把它当成哲学而非推理的作品来看
里面许多议题是现代分析哲学讨论的东西
以下我从我个人认为碰触到分析哲学的部分来讨论海猫
我会先简单介绍哲学议题再来讨论海猫碰触到的地方
==================================
我认为海猫涉及"科学哲学" "逻辑" "形上学"
==================================
首先是科学哲学的部分
在科学哲学中
一个问题是
"科学的目标是描述真实世界的定律 或只是对于世界给出一个良好的说明?"
"科学是被[发现] 还是[发明]呢? "
这两个陈述想问的其实是类似的问题
这是什么意思呢?
简单来说
像现代科学大家公认正确的
就是量子力学 相对论之类
而什么是正确?
究竟是量子力学是世界运行的规则
或者只是它恰恰好有助于我们人类实用?
有些人会说 科学当然是真理 当然是真实的描述我们的世界
我们会说"量子力学是对的" 是因为它确实是这个世界运行的规则
但是让我们回想牛顿力学
在人类还未理解量子力学之前
牛顿力学一直被当作世界运行的规则
后来我们发现了一些牛顿力学无法解释的现象
然后我们提出了量子力学来解释
这边有个可能
也许有一天我们发现了量子力学又有无法说明的现象
之后又提出一种新的科学理论
对于所有的科学理论
我们都有可能在某一天发现他是错的 有些现象无法解释
而提出新的修正理论
那我们要如何说"科学理论是真理"呢?
会不会有种可能
科学理论只是对于这世界的一种"说明"
我们只是"发明"一套理论来解释这个世界
而非"发现"科学真理?
******************************
这个议题跟海猫有什么关系呢?
在EP3中
战人对于"魔法"提出质疑
战人认为他看到的魔法大战
是非常荒谬的 不科学的
对此瓦尔基莉亚给出了一套论述
"科学的说明和魔法说明其实是可以并存的。"
"举例来说，据说，电视机之所以会有画面和声音，是因为有小精灵在里面工作。"
"这种事，当然是打开电视机就能知到有没有。"
魔法是什么?
魔法只是对于所观测到"现象"的一种"解释"
那它跟科学有什么本质上的不同呢?
如果对于一个结果
如海猫中的"凶杀案"
"魔法"跟"科学"都能给予良好的解释
为什么我们会倾向于去接受"科学"的解释 而非"魔法"的解释呢?
选择只接受"科学"的立场
可以说是一种科学哲学上的"实在论"的立场
也就是认为科学是一种真理 而非只是一种说明
而愿意去接受"魔法"也是一种理论的
可以说是科学哲学上"反实在论"的立场
也就是认为 "科学"只不过是给一套解释而已 若"魔法"也能提供良好的说明 我何不能相
信魔法呢?
我们可以说
在游戏中
战人代表的是一种科学哲学上实在论的立场
而魔女们则是科学哲学反实在论的立场
最有趣的点在于第三句话
"这种事，当然是打开电视机就能知到有没有。"
问题在于
怎么打开电视机?
对于战人他们来说
电视机就是那座岛
而他们能观测到的只有岛上的现象
而他们无法打开电视机
对于我们来说
整个世界就是电视机
我们无法去"打开它"
我们能的只有观测它演示出来的种种现象
因此才会有科学哲学上实在论与反实在论之争
=================================
接下来讲讲逻辑的部分
也就是海猫中的"红字蓝字"系统
在逻辑中
一个很重要的问题是
给定一组条件 检定这组是否是satisfiable的
是否存在一组模型可以satisfy这组条件
这是什么意思呢?
我用日常的语言来说明
假如我给定一组条件
"我没出门买便当" "我中午有便当吃"
这组条件
我可以设想一个情况
"我中午有便当吃是因为我叫外卖"
那我们说
在日常语句这个系统中
"我没出门买便当" "我中午有便当吃" 这段话是satisfiable的
因为存在"我中午有便当吃是因为我叫外卖" 这种情况 满足上面两个条件
我们称"我中午有便当吃是因为我叫外卖"是一个"我没出门买便当" "我中午有便当吃"的
一个模型
另外给一个不是satisfiable的例子
简单来说就是条件互相矛盾
如"我今天有出门" "我今天没有出门"
当然在讨论逻辑的时候
通常不会使用日常语言
而是什么P Q R ~P之类的那种型式化语言
而我们如何规则的证明一组条件是satisfiable或不是
是逻辑上一个重要的问题
那跟海猫有什么关系呢?
海猫最重要的系统
"红字蓝字"
就是类似这种概念
"红字"我们可以说是一堆的条件
基于这些红字下
人类方要用"蓝字"构筑出一组可能情况
而战人使用这些"蓝字" 比魔女方多了一个条件
也就是 "魔法是不存在的"
魔女方提出的红字
在没有"魔法是不存在的"这个条件下
都能良好的提出一组模型来说明
但是加入了"魔法是不存在的"这个条件下的人类方
要提出一组可以说明的"蓝字"变的非常困难
整个海猫的战斗
就是在看战人对于魔女给的条件句
找出一组又一组的模型来解释
当战人找出一组模型 也就是"蓝字"
魔女又会给出新的"红字" 也就是新的条件来否定刚刚那组"蓝字"
但是当"红字"给的越多 能满足情况的模型 "蓝字"也就越来越少
但却会更接近"真相"
以便当作例子
对于"我没出门买便当" "我中午有便当吃" 这组红字
我们给出"我中午有便当吃是因为我叫外卖"这组蓝字当作模型
而魔女方可以提出新的红字"你家里所有电话都坏了 不可能叫外卖"
当这个新的条件出现
"我中午有便当吃是因为我叫外卖"这组蓝字就被否定掉了
但我们可以提出新的模型
"我中午有便当吃是因为我妈妈出去帮我买"
然后魔女又提出新的红字"没有人帮你买便当"
虽然条件越来越严苛
但是我们最后可能可以达到一个新的真相
新的模型
"我中午有便当吃是因为我家开便当店!!!!"
整个红蓝字的操作方式
类似逻辑系统的运作
对文字的要求非常严谨
这也是我认为海猫非常有趣的一个点
======================================
最后谈谈形上学的部分
今天海猫之所以评价如此两极
因为他算是一个倾向反实在论的作品
反实在论的精神贯穿整个游戏
什么是反实在论?
反实在论是说
并不存在什么真实
你所认为的真实
只不过是基于你的观测
真实世界并不存在
存在的只有你的想法
最有名的大概是骇客任务那种情况
也就是你所认为的真实世界
可能其实只是你躺在一个机器里面
而那个机器直接刺激你的脑
给你许多幻想
而那些东西都不是真实
这就牵涉到一个问题
既然有这种可能
我们无法确认我现在看到的是真实还是幻想
那我如何去定义真实?
以真理亚为例
剧中他不断的宣称"贝阿朵利切是有的喔! 魔法是存在的"
剧中人基本上会认为
那只不过是她的幻想罢了
这是一种实在论的立场
认为真实世界有如我所认识的世界
并不存在魔法魔女之流
但随着剧情的推演
作者想要引导我们从实在论的立场转向反实在论
EP4最明显
缘寿一开始可以说是实在论者
她对于真理亚宣称的魔法
一直觉得只是真理亚姐姐的幻想
但是越到后面
作者借由剧情
把缘寿从不相信魔法
到最后变成魔女
也就是从一个实在论者 变成一个反实在论者
既然我们无法确定 我们看到的世界就是真实的
那我又为何要去否定魔法的存在呢?
===============================
另外还有真理的实在与反实在论
实在论会认为
真实是唯一的
而反实在论则对这点提出质疑
从EP8的开放式双结局
还有对于各种谜题
作者不想给出所谓的"正确答案"来看
作者在真理上面也是持反实在论的立场
而这也是比较难被一般大众所接受的
实在论是非常直觉的
几乎一般人没有特别思考的话 都会是实在论者
但它也面临不少问题
我认为整个故事
想带领大家去思考
龙骑07想要引导大家至反实在论的观点
不管是科学哲学上
或是形上学上的反实在论
这也是我给海猫极高评价的原因
我认为海猫是"推理皮 哲学骨"。