如何判断某个具体的推理形式是正确的(里面涉及的东西很多,主要是逻辑学方面的)
判定某个具体的推理形式是否正确的依据是什么?在思考并解决这个问题之前,先要搞清楚什么是推理形式.
什么是推理形式呢?先让我们来看一下什么是命题形式.如果你看过一些逻辑书籍的话,肯定看到过"命题形式(propositional form)"这样的词汇.什么是命题形式呢?命题形式是对命题(包括简单命题和符合命题)符号化的结果,从另外一个角度来说,如果某个命题形式是写在纸上的,如果你看到它的话,你会发现你看到的是一个字符串.
说到这,看这个帖子的人,可能会意识到推理形式也是字符串了,没错,推理形式写在纸上又被你看到的话,你所看到的就是一个字符串,不过与推理形式相对应的字符串和与命题形式相对应的字符串是不同的,它们的不同之处在于,与命题形式相对应的字符串中的字符来源于对象语言,而与推理形式相对应的字符串中的字符来源于对象语言(objection language)和元语言(metalanguage).
先写到这,该吃饭了,对了,还要说一下,语词"命题形式"和"合式公式(well-formed formula)"表示的是同一个概念.
吃过饭,会继续深入写.欢迎您也发表您的观点,如果感觉写的可以的话,您也可以顶一下.
[最优解释]
正在等待您的下一回....
[其他解释]
什么是推理形式呢? 也可以参看一下别人怎么说:
http://www.ggdn.net/zzwu/math/vaivod.htm
