模态判断
定义
模态词指的是描摹事物状态的词。如本体论模态词有“可能”、“必然”、“偶然”等等,认识论模态词有“相信”、“知道”、“怀疑”等等,时间模态词有“一直”、“永远”、“曾经”、“将会”等等,道义模态词有“应该”、“允许”、“禁止”等等。模态判断指的是包含模态词的判断。
例4.5.1 (1)长安曾经非常繁华。
(2)正义的事业必然胜利。
(3)禁止任何极端的暴力行为。
(4)人们怀疑这座大墓是三国时期的。
(5)大家都相信天上是不会掉下馅饼的。
(6)奔跑的野兔撞到树上折断了脖子这是非常偶然的事情。 上面例子中的句子都是模态判断。
模态判断中的模态词有作用于词项之上的,有作用于语句之上的。 例4.5.2 (1)应该有人当选。
(2)有人应该当选。
(3)可能这座山里有野兔。
(4)这座山里可能有野兔。
(5)必然有人在摸彩票获奖。
(6)有人在摸彩票中必然获奖。 在上例(1)、(3)、(5)中,模态词是作用于语句之上的,在例(2)、(4)、(6)中,模态词是作用于词项之上的。 以上所讨论的是广义的模态判断。
种类
下面讨论的是狭义的模态判断 根据对事情情况的肯定或者否定所做的必然性或者或然性的断定,可以将狭义模态判断分为必然肯定判断、必然否定判断、或然肯定判断和或然否定判断四种。
1.必然肯定判断 必然肯定判断是对事情情况的肯定作出必然性的断定的判断。
例4.5.3 (1)必然是适者生存,不适者消亡。
(2)人要经历生离死别,这是必然的。 上例中的两个句子都是必然肯定判断。
必然肯定判断的命题形式是:
必然p 现代逻辑通常用符号“□”表示“必然”,这样,必然肯定判断的命题形式也写作: □p 读作:必然p。
2.必然否定判断 必然否定判断是对事情情况的否定作出必然性的断定的判断。
例4.5.4 (1)必然不是人人都主动愿意修行。
(2)刘邦依靠德行在楚汉相争中获胜,必然不是这样的。 上面例子中的两个句子都是必然否定判断。 必然否定判断的命题形式是: 必然¬p。
在现代逻辑中,必然否定判断的命题形式也写作: □¬p 读作:必然并非p。
3.或然肯定判断 或然肯定判断是对事情情况的肯定作出或然性的断定的判断。
例4.5.5 (1)可能麻烦都是自找的。
(2)通过不懈的努力获得成功,这是可能的。 上面例子中的两个例子都是或然肯定判断。 或然肯定判断的命题形式是: 可能p。 现代逻辑通常用符号“¬”来表示“可能”,这样,或然肯定判断的命题形式也写作: ◇p 读作:可能p。
4.或然否定判断 或然否定判断是对事情情况的否定作出或然性的断定的判断。 例4.5.6 (1)可能不是通过别人救赎自己。
(2)快乐是永恒的,可能并非如此。 上面例子中的两个句子都是或然否定判断。 或然否定判断的命题形式是: 可能¬p。 在现代逻辑中,或然否定判断的命题形式也写作: ◇¬p 读作:可能并非p。 [1]
判断
如何正确地运用真值模态判断 1.要准确地把握各种模态判断的逻辑特性 例如:
⑴ 这部小说写得这样好必然是专业作家写的。
⑵ 一个人的成长可能要经历一个发展过程。
2.必须准确地把握真值模态判断间的对当关系
含义
模态判断是断定事物可能性和必然性的判断。它可以分为可能模态判断和必然模态判断。断定事物可能存在或可能不存在某种情况的判断就叫可能模态判断。常用的模态词是“可能”、“或许”、“也许”等。可能模态判断又可以分为肯定可能模态判断和否定可能模态判断。断定事物可能存在某种情况的判断叫肯定可能模态判断,如“长期大量吸烟可能致癌”。断定事物可能不存在某种情况的判断叫否定可能模态判断,如“感冒可能不会发烧”,断定事物必然存在或必然不存在某种情况的判断就叫必然模态判断。常用的模态词是“必然”、“一定”等。必然模态判断又可以分为肯定必然模态判断和否定必然模态判断。断定事物必然存在某种情况的判断叫肯定必然模态判断,如,“生物必然要新陈代谢”。断定事物必然不存在某种情况的判断叫否定必然模态判断,如,“谎言必然不会长久骗人”。
参考文献
- ↑ 逻辑第三讲(模态命题)管联何老师