简介：<正>模态逻辑(modallogic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truthimplication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“严格
简介：邓小平同志是从世界的开放状态和社会主义的开放性质的统一上提出和论述开放问题的,他关于“现在的世界是开放的世界”的见解和“社会主义是开放的社会”的思想,是对马克思主义社会开放观的继承和发展,他提出的开放政策是大开放政策。
谈谈模态逻辑
谈谈邓小平的社会开放观
