广义量词的推理模式研究

基于Peters和Westersthl(2006)、Moss(2010, 2011)、Chow Ka Fat(2012)等相关文献的工作,可进一步概括出广义量词的三种主要推理模式：论元结构推理、单调性推理和广义三段论推理。可以用大量实例对这些推理模式加以说明。由于广义量词在自然语言中普遍存在,这些研究对计算机科学中的知识表示和知识推理等方面具有重要意义。     

群体研讨支持系统中的智能可视化研究

时间和共识是群体研讨的两个重要因素.提出一种共识评价、分析及预测智能可视化技术.在界定研讨信息属性、定义信息结构及其关系的基础上,按照语义关系,提出共识点、分歧点和争议点的概念,结合共识水平及共识状态、关注水平及关注状态、共识水平变化趋势、关注水平变化趋势四个指标,建立智能可视化模型,并用Java和XML技术设计并实现了基于Web的共识评价、预测及分析智能可视化.以一个实例给出了以人-机结合的系统思想为指导的共识评价和预测方法以及通过共识分析,形成群体注意力聚焦的示范应用.最后用实验的方法分析了智能可视化的应用效果.     

查莫斯型二维语义学研究述评

查莫斯型二维语义学的原初目的是用来反对物理主义，而随着该理论的不断成熟，查莫斯将他的二维语义理论广泛地用于解决心灵哲学与语言哲学中的一些难题，从而引起了学界的热烈讨论。近年来，国内学者也开始关注查莫斯型二维语义学，从不同的视角去解读这一理论，并取得了富有独特见解的系列成果，同时也使问题的症结逐步得以呈现。这预示着二维语义学研究将成为学界持续关注的一个重要领域。     

非形式逻辑的理论成就及其对法律论证的意义

非形式逻辑30多年的发展紧贴论证实际，发展了不同于形式演绎逻辑的新逻辑工具。它所建立的论证分析、评估、批评和构建理论，大有成为普遍适用各领域的一般逻辑的势头。从图尔敏“法学模型”发源的非形式逻辑的理论可以应用于法律论证，形成一种面貌全新的法律应用逻辑。     

辩说与治辨：论荀子之“辩”

“辩”是荀子正名思想的重要环节，具有沟通“名”与“事”的作用，然荀子之“辩”无意于构建逻辑体系，展现为“辩说”与“治辨”的统一，是以维护儒家伦理道德与政治理想为目的，具有非常强烈的针对性与现实精神。为了使“辩”更为有序有效，“仁”“礼”“义”等儒家价值规范就成为“辩”必须坚持的原则。荀子之“辩”还呈现为“君子必辩”与“小人勿辩”两个层面，在这种“辩”与“不辩”的两难抉择中，荀子希望通过“辩”诸子之学为“邪说”,儒家思想为正道，从而说服世人摒弃诸子遵从儒家规范，但政治权力作为决定因素的参与，又使荀子之“辩”蒙上独断论色彩。