西南大学逻辑与智能研究中心.docVIP

西南大学逻辑与智能研究中心 简 报 大学 应西南大学逻辑与智能研究中心的邀请，印度加尔各答大学退休教授Mihir Kumar Chakraborty 于2015年9月23日14:30——16:30在西南大学政治与公共管理学院逻辑智能中心会议室作了关于“粗糙集与模态逻辑”的讲座。此次讲座由西南大学逻辑智能中心马明辉教授主持。此次前来听讲座的人不仅有西南大学逻辑专业的全体师生，也有其他专业对此感兴趣的学生，其总人数有48人。 Mihir Kumar Chakraborty教授深入浅出地讲解了是什么粗糙集，以及粗糙集与模态逻辑之间的关系等主要内容。他的讲解使同学们对粗糙集有了初步的了解，同时拓宽了同学们的逻辑的学术视野，这也给研究逻辑问题提供了新的研究思路。 他深动的讲解使同学们知道粗糙集在逻辑研究中的重要作用。同时，也使同学们明白了要做好研究，应具备较系统的、全面的知识体系。在讲座的最后，Mihir教授与同学们进行了问答互动，同学们积极地提问，他仔细地解答，讲座现场精彩纷呈，掌声雷动。持续两个小时的讲座在欢乐的交流互动中圆满结束。 Mihir 教授关于“粗糙集与模态逻辑”的讲座 应西南大学逻辑与智能研究中心的邀请，印度加尔各答大学退休教授Mihir Kumar Chakraborty 于2015年9月23日14:30——16:30在西南大学政治与公共管理学院逻辑智能中心会议室作了关于“粗糙集与模态逻辑”的讲座。此次讲座由西南大学逻辑智能中心马明辉教授主持。此次前来听讲座的人不仅有西南大学逻辑专业的全体师生，也有其他专业对此感兴趣的学生，其总人数有48人。 Mihir Kumar Chakraborty教授深入浅出地讲解了是什么粗糙集，以及粗糙集与模态逻辑之间的关系等主要内容。他的讲解使同学们对粗糙集有了初步的了解，同时拓宽了同学们的逻辑的学术视野，这也给研究逻辑问题提供了新的研究思路。 他深动的讲解使同学们知道粗糙集在逻辑研究中的重要作用。同时，也使同学们明白了要做好研究，应具备较系统的、全面的知识体系。在讲座的最后，Mihir教授与同学们进行了问答互动，同学们积极地提问，他仔细地解答，讲座现场精彩纷呈，掌声雷动。持续两个小时的讲座在欢乐的交流互动中圆满结束。 图式逻辑学术会议纪要 2015年10月22日下午3点图式逻辑学术会议在政治与公共管理学院逻辑与智能研究中心多功能厅成功举行。会议由马明辉博士主持，参加会议的人员有政治与公共管理学院哲学系逻辑学专业的部分老师和全部逻辑学硕士、博士，除逻辑学外的哲学系的研究生，接近20人。 会议的主要内容由中国社会科学院逻辑室主任、中国逻辑学会现代逻辑专业委员会主任刘新文呈现。以下是刘新文研究员陈述的主要内容： 一、简要回顾逻辑历史内容涉及从亚里士多德的传统逻辑到弗雷格开创的现代逻辑，以及现代逻辑的发展。 二、介绍图示逻辑的由来和图式逻辑的发展以及图式逻辑的目的和好处。介绍欧拉图和韦恩图以及它们之间的区别以及不同的学者对欧拉图和韦恩图不同态度。呈现一个完整的图式逻辑以及关于图式逻辑的一个证明。 三、图式逻辑发展到后来面临的问题。图式逻辑的主要目的就是为了证明的直观，但是随着图式逻辑的表达能力越强其直观性越弱，加上图式逻辑本身是运用谓词逻辑等现代逻辑的方法，这对发展图式逻辑的必要性提出了质疑。 四、讨论问答。逻辑学研究生就如何学习逻辑学以及如何用英语写作向刘新文研究员咨询，刘新文研究员根据自己的研究经验给予了自己的建议。 以上就是本次图式逻辑会议的主要内容感谢研究员刘新文为本次会议呈现的内容。 马明辉副教授赴台湾参加第五届逻辑、理性与互动国际会议 ? 2015年10月28-31日，基地马明辉副教授应台湾大学哲学系邀请，赴台北参加第五届逻辑、理性与互动国际会议。此次会议有来自大陆7位学者、台湾9为学者、欧洲19位学者、其他地区11位学者参加。马明辉副教授与基地特聘研究员新西兰奥克兰大学哲学系Jeremy Seligman的合作论文Algebraic semantics for dynamic dynamic logic被会议论文集全文收录，并在会议上作报告。与会专家就动态认知逻辑领域的新问题、新方法和新成果进行了深入的交流。 2015年全国形式逻辑研讨会暨川渝黔滇逻辑学会年会在重庆召开 ? 10月24日，2015年全国形式逻辑研讨会暨首届川渝黔滇逻辑学会年会在重庆第二师范学院召开，来自中国社会科学院、西南大学、四川大学、重庆大学、西南政法大学、河北大学、云南师范大学、西南财经大学、四川师范大学、贵州理工学院和重庆第二师范学院等二十余所研究机构和高校的专家学者以及逻辑学研究生80余人齐聚一堂，就逻辑学在在法治国家背景下的研究和教学等问题展开了深入研讨。 会议开幕式由全国形式逻辑专业委员