天才一秒记住【梧桐文学】地址:https://www.wtwx.net
P?q
“这样一写,我们不难知道,前一个子句写作P,后一个子句写作q。
于是P和q不独可以各别地代表‘某人嗜吸鸦片烟’和‘某人面黄肌瘦’,而且可以代表任何两个表示事物之关联的陈述辞。”
“吴先生在这里所说的‘事物之关联’,所指的是不是事物之因果关联呢?”
王蕴理问。
“逻辑的正身根本不过问因果关联。”
老教授摇摇头,“这里所说的,也不是任何事物之间的任何关联,而是两个可以表示任何事物的语句之间的关联,这种关联是纯形式的关联。
不过,为求应用起见,逻辑家常给纯形式以种种经验的解释(iions)。
如果没有种种经验的解释,逻辑恐怕只为少数逻辑家在系统的建构上或演算方面的兴趣而建立,与我们一般人恐怕就无缘了。
当然,在一种解释之下,我们在此所说的关联,可以解释为因果的关联。
……不过,这只是种种可能的解释之一而已,我们还可以提出别的许许多多的解释。”
“什么叫作‘解释’呢?”
周文璞连忙问。
“对于一个纯形式演算系统之解释问题,在现代逻辑里,是一个非常麻烦的问题,直到目前为止,现代逻辑学家们,或语意学家们,未能下个界说。
……不过,这是顶层问题,这个顶层问题主要是一理论问题。
顶层的理论问题没有妥善解决,对于我们现在所进行的讨论没有相干,因为,我们现在所进行的讨论,是实际上如何解释的问题。
从这一方面着眼,我们可以不太严格地说,对于逻辑形式套上一组表示经验内容的语句,叫作该逻辑形式之解释。
上面所举的逻辑形式‘P?q’,我们可以给予种种解释。
例如,‘如果探险队到达喜马拉雅山的最高峰,那么便可得奖’、‘如果你刻苦用功,那么你会成功’、‘如果她行为失检,便会声名扫地’……
“我们已经在前面说过,在通常情形之下,每一语句不是真的,便是假的。
语句之真假,现代逻辑家叫作真值(truth-value)。
当着只有一个语句,比如说P时,它的真假值很容易看出,即P是真的,或者P是假的。
在现代逻辑中,表示真与假都有记号,如果P是真的,我们简单地写作P,这好像普通代数式前面第一个‘a’如系‘正a’,我们就径直写作‘a’而不写作‘+a’一样。
如果P是假的我们就这样写。”
吴先生拿起铅笔在纸上画着:
~P
“另外,为了便于一目了然起见,现代逻辑家常列一个表格来表示语句的真值。”
吴先生说,“在这种表格中,真就写作T,T系取True字的第一个字母;假就写作F,F系取False的第一个字母。
依照这种记号法,一个语句P的真值可以用表格这样表示出来。”
他又画在纸上:
“我们要会读这个表格,”
老教授说道,“我们先直着看两行。
P底下有TF两个字母,这表示P有真和假两个真值。
~P底下有FT两个字母,这也表示非P也有两个真值,即假、真。
明白了这些,我们再横着看。
第1行表示:如果P是T,即真的,那么非P便是F,即假的。
这是一定的道理。
本章未完,请点击下一章继续阅读!若浏览器显示没有新章节了,请尝试点击右上角↗️或右下角↘️的菜单,退出阅读模式即可,谢谢!