论法律推理的形式化

法律推理的形式化,作为法理学研究中的一个重要内容,在国内一直饱受质疑.在系统分析国内外法律推理形式化研究不同特点的基础上,探索“形式理性”与“实质理性”相结合的途径,即基于语用推理的视角,从法律规范推理及适用推理两大方向进行面向法律实践的形式化研究.     

国外时态道义逻辑研究探析

义务的时效性特点及道义悖论的存在,使构建时态道义逻辑系统成为道义逻辑研究的新趋向.通过对国外不同类型时态道义逻辑系统的比较与分析,提出一种新的解悖方案:构建弱时态道义逻辑系统TDL0,并注重探究其研究成果在相关实践领域中的应用价值.     

重庆市高等教育对地方经济发展的贡献作用分析

研究和探讨高等教育的经济功能,对于更好地发挥高等教育在经济社会协调发展中的作用,具有重要的现实意义.立足于内生经济增长理论,利用Cobb-Douglas生产函数构造教育投入的劳动增长型生产函数,对重庆市1990-2000年,2000-2004年两个时期的高等教育对地方经济发展的贡献率进行了估计,借以分析重庆市高等教育对地方经济发展的贡献作用,并提出相应的政策建议.     

重庆市工业化推进城市化的绩效分析

工业化是推动城市化的基本动力,是承载城市化的主要经济基础。城市化必须建立在工业化的基础上,两者之间的协调发展是现阶段中国经济社会实现可持续发展的必然选择。立足于微观角度,从工业化内部结构出发,运用数量分析方法研究重庆市工业化推进城市化的动力机制问题,对促进两者之间的协调发展具有借鉴意义。     

规范推理中的义务冲突问题探析

义务冲突问题是规范推理发展过程中所必须解决的主要问题.通过分析义务冲突问题的产生根源及其主要类型,首次提出规范推理的研究应进行语用转向,建立多种类型的语用规范推理系统,这有助于使规范推理的研究更加具体地推进到法学实践领域.     

优先道义逻辑研究

出于解决悖论及其他应用的目的,引入优先语义学构建优先道义逻辑系统便成为道义逻辑发展的新途径.其中,本·汉森的优先二元道义逻辑系统DSDL1-3有较大影响,它在处理温柔的谋杀者悖论方面具有很大的优势.尽管在处理其他类型的道义悖论方面并不完善,其解决方案存在一定的缺憾,但不可否认的是,本·汉森的优先道义理论为道义逻辑的发展提供了新的灵感.在他的影响下,可从不同角度建立多种类型的优先道义系统,以促进道义逻辑的发展.首先,优先道义逻辑的建立可在一定程度上解决道义悖论问题,消除人们对道义逻辑的质疑.其次,优先道义理论使用的结合其他分支理论进行道义逻辑研究的方法,可为逻辑学其他分支的发展提供方法论意义,从而促进整个逻辑学科的繁荣和发展.最后,目前的优先道义逻辑研究,已不再局限于对道义悖论问题的处理,而是尝试建立多种实用型的优先道义系统,着重于它在法学、计算机和信息科学等多个相关领域的应用型研究,取得的很多重要成果,在建立法律专家系统、处理电子商务中的贸易合同等很多方面也都显示出其重要的实践价值.     

基于Copula函数的金融时间序列模型述评

结合当前Copula函数及其应用的热点问题,着重评述了基于Copula函数的金融时间序列模型的应用。鉴于利用Copula可以将边际分布和变量间的相依结构分开来研究这一优良性质,在设定和估计模型时便显得极为方便和灵活。从模型的构造、Copula函数的选择、模型的估计以及拟合优度检验等几方面展开阐述和评价,介绍了Copula模型在金融领域中的几类应用,并对Copula理论和应用的新视角进行了展望。     

国外非单调道义逻辑研究探析

受人工智能理论的启发,结合非单调推理建立非单调道义逻辑系统成为道义逻辑研究的新趋势.通过对国外两种主要类型的非单调道义系统进行分析与比较,进而从三个方面界定了冲突义务与可替代义务之间的辩证关系,并提出道义分离规则应作为可废止性规则使用的观点,这更有利于建立面向实践领域的道义系统,从而为非单调道义逻辑研究提供了新的视角.     

剖析项目教学法在《.NET软件工程师实训》课程教学中的应用研究

本文首先剖析了项目教学法在《.NET软件工程师实训》课程教学中存在的主要问题,然后通过笔者教育实践较为详细的介绍了从项目选取、项目设计、项目小组分配、项目实施、项目考核的实施过程,以期为同行进行高职《.NET软件工程师实训》课程的教学提供参考。     

云存储在高职信息化教学资源建设中的应用研究

本文分析了云存储对高职教学资源信息化建设的作用,介绍了三所国内有特色的、专门教育资源云,从高职院校实际的角度建议了如何选择云存储方式,最好汇总了云存储在高职信息化教学资源建设中的应用的实施步骤。