“梅斯普莱在推理逻辑上有很深的造诣,我当然比不上。
我只是教书,必须得会这些。
梅斯普莱是尝试用推理逻辑构建圣殿法术体系。
试图从里面找出让圣殿发展的途径。”
牛x啊,梅斯普莱。
冯茂被岳父的讲述震动到了。
“这个以后再说,你从梅斯普莱那边学到了什么。”
“推理逻辑只管是不是有效。
命题要考虑的只有真假。
梅斯普莱阁下还强调了,一切都有立场的观点。”
岳父听完立刻解释道:“所谓立场,是针对命题真假而言。
同样的事情,对于不同的人就有不同的真假。
譬如杀人偿命,被害者的家属和被抓的杀人者立场不同,对于真假值的看法不同。
推理逻辑本身没有立场,只考虑是否有效,命题即便有立场,也只考虑真假。
两者共通点在于绝不考虑对错。”
冯茂连连点头,自己对逻辑完全是门外汉。
光是听了梅斯普莱阁下简短的讲述,就觉得受益颇多。
其中最深刻的的莫过于‘推理逻辑不讨论对错’这句话。
以前冯茂就觉得用对错来判断事物太狭隘,可直觉完全是个人感受。
根本没办法拿出一个科学方式。
现在,方法就在面前。
冯茂屏息凝神,认真听讲。
“逻辑有自己的论证方法,若没有论证方法,就绝不是逻辑。
你既然知道了基本知识点,接下来就是命题的真值表。
所有论证靠的是真值表内。”
岳父说着,就在幻境里拉出一个简单的论证p推导出q。
“p和q是什么都无所谓,推理本来就不在乎推理的具体内容是什么。
譬如,我没有手,所以我不能用手拿东西。
命题只有真假,命题的真值表里面只包含真值与假值。”
冯茂没想到真值表还包括‘假’这个值,忍不住咦了一声。
“这个推理的真值表包含真和假,我没有手是真值t,推理结论的真值是我不能用手拿东西t。
命题假值是,我有手f,推理结论是我能用手拿东西,这对于命题的真值而言是假值,是f。
你明白么?”
看着岳父用手操纵幻境,却在推理中以没有手为真值,冯茂一面点头,一面觉得这个推理挺搞。
就听岳父继续说道:“你看这个表,你看出了什么?”
“……t对应t,f对应f。”冯茂把幻境中的真值表念出来。
“光有真值表没用。
推理判断就在于对真值表的判断,t对t,是真值对真值。
这是真。
f对f,是假值对假值,也是真。
既然真值表里面所有对应的判断都是真,这个推理就是有效的。”
冯茂呆住了。
岳父讲述真的例题超简单,但是自己以前绝不会这么考虑问题。
本章未完,请翻下一页继续阅读.........