作有效推理。一个推理是有效的,那么在推理中,作为前提的语句真时作为结论的语句不可能假,不会出现前提真结论假的情况。论证则主要是由推理构成的。一个论证是可靠的首先要求构成论证的推理是有效推理。因此从狭义上讲,逻辑学是以推理的有效性及其根据为研究对象的。
一个推理实际上是一个语句的集合,但是这并不意味任意语句集合都可以表达一个推理。一个语句集合表达推理首先要求作为集合元素的语句必须表达的是命题。
命题是描述事件的,一个命题所描述的如果符合事实,它就是真的,如果不符合事实,它就是假的。因此,一个语句表达命题则它或者是真的或者是假的,无所谓真假的语句不表达命题。例如语句“王武当时在案发现场吗?”是一个疑问,它表达的是对某情况的疑问,无所谓真假,因此我们说它不表达命题。
……
不管每个人如何反应,霍崇却明白。孔不更竟然真学明白了。