共归纳数据类型上的共递归操作及其计算定律

范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定...     

道德认知神经科学对道德教育的启示

道德教育在教育中占有极其重要的地位.新兴学科--道德认知神经科学研究发现了大脑中与道德相关的神经网络,对理性在道德功能中的地位进行了重新审视,特别强调情绪和直觉在道德功能中的重要作用,提出了独特的道德发展观和整合的道德教育体系.该学科认为道德为大脑的功能之一,良好的道德需要健全的大脑、理性的思辨、健康的情感反应和敏锐的直觉判断,这些发现对如何进行有效的道德教育有着重要的启示和实践价值.     

计算机伦理学的道德方法论启示探析

信息技术领域出现了反思转向,与之相对应,在道德哲学领域出现了实践转向。无论是一般伦理学还是应用伦理学,就道德方法论而言主要有对立的两派,一派是道德一般论者,一派是道德特殊论者。道德一般论者提出的工程模式倡导理论立场,而道德特殊论者则反对这样的立场。这两种立场都是比较极端的。广泛反思平衡方法是第三种道德方法论。它既可以克服一般主义工程模式的缺陷,也可以弥补特殊主义和反理论的不足,这正是其平衡一词体现出来的内在哲学意蕴。在从事计算机伦理学的研究中,计算机伦理学家或是道德哲学家们也要贯彻广泛反思平衡这一方法论,只有这样才能使得计算机伦理学的研究获得真正的辩护。     

工程演化论的研究内容、范畴、方法与意义

工程演化论是工程哲学研究的新领域,它是探索工程演化进程机理和规律的理论。本文讨论了工程演化论研究的缘起、研究对象与内容,提出了工程演化论的基本范畴和研究方法,指出工程演化论研究具有重要的理论意义和现实意义。     

管理必须回归道德

在中国一些企业中,员工层与运营管理层的对抗在不断加剧。这种冲突的根源有很多,但最基本原因是经营管理层“权力文化”的形成。偏离目标的管理是“暴政”企业是个经济组织,员工与企业之间是一种特殊的交换关系。按英国经济学家科斯的说法：“企业的显著特征就是作为价格机制的替代物。”也就是说,     

陈宜瑜:负责任的科研行为有赖教育

<正>系统完整的科学道德和行为规范教育的缺失,是引发科研不端行为的重要原因之一。加强科研诚信建设,需要进一步健全、完善科研评价体系和监督惩处机制,但更需要加强科研诚信和科研行为规范教育。科研不端行为有一个要处理一个,但是要做好教育工作。不教,出了问题就惩处,绝对不是一个     

群与模范畴中的积和余积

积和余积是范畴学中的一对对偶概念,作为范畴学的一对基本概念自然在其具体对象中就会有所体现,以群,模为对象来讨论它们的积和余积。     

医疗改革挑战道德底线

针对现行的医疗制度,特别是在现行医疗制度下生存的广大的老百姓,现行医疗制度给他们带来了什么,他们的医疗救治状况如何,我们的同行们给予了极大的关注,他们是怎么想的呢,让我们一起来看看吧。     

函子范畴与幂等完备化构造的相容性

讨论函子范畴和范畴的幂等完备化构造的相容性,证明小范畴D到任意范畴C的函子范畴C D的幂等完备化范畴等价于D到幂等完备化范畴C～的函子范畴(C～)D.进一步得到函子范畴CD是幂等完备的,当且仅当C是幂等完备的.     

植物源杀虫剂苦皮藤素

<正>植物源农药属生物农药范畴内的一个分支.植物源农药是指利用植物中所含的稳定的有效成分,按一定的方法对受体植物进行施用后,使其免遭或减轻病、虫、杂草等有害生物危害的植物源制剂.