模态逻辑是对“必然”与“可能”模态词的逻辑研究
模态逻辑是研究模态命题及其推理的, 模态命题则是包含模态词的命题。一般地说, 模态词有广义与狭义之分, 广义的模态词既包括真值模态词" 必然" 与" 可能" , 也包括规范模态词" 必须" 、" 允许" 、" 禁止" 等, 狭义的模态词则专指真值模态词" 必然" 与" 可能" 。本章所指的模态词是狭义的, 因此本章所言的模态命题也是狭义的, 即指包含" 必然" 与" 可能" 模态词的命题。
模态逻辑是对" 必然" 与" 可能" 模态词的逻辑研究, 在对" 必然" 与" 可能" 的解释中, " 可能世界" 这一概念起着十分重要的作用。
最早提出" 可能世界" 这一概念的是德国哲学家、数学家莱布尼茨, 他指出:" 世界是可能的事物组合, 现实世界就是由所有存在的可能事物所形成的组合( 一个最丰富的组合) 。可能事物有不同的组合, 有的组合比别的组合更加完美。因此, 有许多的可能世界, 每一由可能事物所形成的组合就是一个可能世界。
以极乐观的心态去对待不幸, 不幸就可以转化为幸运
成功者能够用积极的心态去眶释成败得失, 对未来充满信心。伟大发明家爱迪生在发明电灯过程中, 经历了9 9 9 9 次失败, 工作难度出乎他的意料, 当时全世界的人民都在等待他的成果, 半年过去了, 他一无所获, 人们都对他失去了信心, 开始对他产生怀疑, 纽约《先驱报》说:" 爱迪生的失败现在已经完全证实, 这个感情冲动的家伙从去年秋天就开始电灯研究, 他以为这是一个完全新颖的问题, 他自信已经获得别人没有想到的用电发光的办法, 可是, 纽约的著名电学家们都相信, 爱迪生的路走错了。" 爱迪生并没有因此而放弃。人们的议论声也变得越来越强烈, 有人说:" 不管爱迪生有多少电灯, 只要有一只寿命超过2 0 分钟, 我情愿付1 0 0 美元, 有多少买多少。" 有人说:" 这样的灯, 即使弄出来, 我们也点不起。" 爱迪生并没有被人们的言语所左右, 他坚信自己终有一天能够成功。又过了半年, 他终于造出了能够持续照明4 5 小时的电灯。曾经有人问他:" 难道你还想经历第一万次失败吗? " 爱迪生笑着回答说:" 我那不叫失败, 只是我发明灯的方法不对, 我把不对的方法都排除了, 剩下的就是对的。" 面对每一次失败, 他都能给这个失败的发明找出额外的用途, 从而诞
生了新的发明。对他来说, 根本没有失败而言。
生活对于每个人都是公平的, 命运在向人们关闭一扇门的时候, 同时又会为人们打开另一扇窗户。这个世界就像个多棱镜一般, 这一面是不幸, 另一面可能就是幸运, 如果能以一颗积极乐观的心态去对待, 不幸就可以转化为幸运。
The perfect video converter can convert MPEG to Zune, convert MPEG to PSP, convert MPEG to Xbox, convert MPEG to PS3 and convert MPEG to Zen.