简介：<正>模态逻辑(modallogic)的出现,可追溯至亚里士多德提出的模态命题和模态三段论。但是,对亚氏模态逻辑的著述,后人长期没有给予足够的注意。直到近现代,随着数理逻辑的发展,模态逻辑才重新受到重视。这主要是由于古典数理逻辑所讲的真值蕴涵(truthimplication)不反映命题之间意义上的必然联系,只是前件与后件真假关系的抽象,要反映命题之间意义上的联系,需提出一种新的蕴涵,在这种情况下,“严格

简介：典范框架的思想来自于Henkin对经典逻辑完全性的证明，它依赖于语法对象。同样，模态逻辑的典范框架也依赖于语法对象的构造。每个一致的正规模态逻辑都有对应于它的典范框架，典范框架包含着相对应逻辑的性质信息；另外，典范框架本身作为自然得到的数学对象也有很多逻辑性质值得研究。典范框架的论域由极大一致的公式集构成，因此，典范框架的构成以语言为参数。对于同一个逻辑，它的基于不同语言的典范框架之间有着非常密切的关系，逻辑之间包含关系的信息也反映在典范框架上。极小逻辑的典范框架是相当庞大的，对每个正规逻辑，其典范框架也都是足够“宽”的。

简介：针对本质的模态主义解释,范恩发展了一个著名论证来反驳它。范恩试图证明,成为必然属性是成为本质属性的必要条件,而非充分条件。通过对范恩的论证给出新的分析,文章将表明,范恩的反例都建立在＂对象反身性＂属性的构造上,其论证贯穿着＂同一性本质＂和＂识别性本质＂的混淆,从而其针对模态主义解释的挑战是不成立的。

简介：2013年7月22日至26日，由广西壮族自治区司法厅、人力资源社会保障厅主办，区监狱管理局和天津市腾龙职业培训学校承办的全区监狱罪犯心理矫治工作高级研修班在桂林市召开。来自全区各监狱的监狱长、监区长、心理矫治中心主任和部分国家资格二级心理咨询师共计80余人参加了研修班的学习。

简介：<正>辩证模态推理是关于事物发展变化的可能性或必然性趋势的辩证推理。辩证模态推理也是依据一定的条件,推出相应的结论。辩证模态推理在日常生活中广泛存在,在科学理论中也不乏其例。毛泽东的《论持久战》就是一个范例。本文根据笔者关于辩证模态推理的研究成果。注对《论持久战》的推理过程进行初步分析。

简介：2005年中国（鹰潭）道教文化节暨第九届龙虎山道教文化旅游节在江西省鹰潭市龙虎山正一观隆重举行。中央统战部朱维群副部长在开幕式上致词。中国道教协会任法融会长在道教节开幕式上讲话。

简介：6月7日,海门教区沈斌主教在上海教区重庆南路圣伯多禄堂主礼,为四位执事举行晋铎典礼。4月30日,汕头教区黄炳章主教在主教座堂为李哲抄执事举行隆重的晋铎典礼,18位神父、13位修女及近千名教友参与了祝圣仪式。

简介：

简介：

简介：

简介：2010年11月19日，五台山研究会成立25周年暨今后五年规划会议在五台山召开。山西省人大常委会原副主任、五台山研究会长李玉明致辞，

简介：

简介：

简介：3月31日上午,赵朴初会长在北京广济寺会见台湾华藏精舍住持净空法师暨该精舍图书馆馆长韩瑛居士一行。赵朴老与净空法师原属同乡,宾主之间交谈分外亲切。赵朴老对净空法师在台先后执教于“中国文化大学”及各佛学院,并往来于欧美、香港等地弘法,创建华藏精舍及佛陀教育基金会馆

简介：

简介：

简介：

简介：

简介：2016年8月16日上午，应国务院侨办邀请访华的新疆籍华人华侨代表团一行27人拜访中国伊协，受到中国伊协副会长杨志波的热情接待。（董塞漠摄）2016年7月30至8月1日，中央政府驻香港联络办协调部、广州市民族宗教事务局与广州市伊协联合举办主题为“加强友好往来共促和谐发展”穗港伊斯兰教界代表人士恳亲活动。（通联员冯玲玲）

简介：