学科分类
/ 25
500 个结果
  • 简介:逻辑公式是不含命题变元的逻辑公式,运用它们可以定义结构类。反过来,某些结构类却不能以常逻辑公式集定义。模态逻辑中一阶可定义的框架类可被常模态公式集定义的充分必要条件是,该框架类对满射互模拟象、不相交并封闭,并且其补类对超滤扩张封闭。有穷传递框架类相对可由常模态公式集定义的充分必要条件是,它对满射互模拟象和不相交并封闭。这两条定理中后一条可推广至直觉主义逻辑

  • 标签: 模态逻辑 定义 公式 充分必要条件 直觉主义逻辑 封闭
  • 简介:V-ing由动词原形加上-ing构成,依照传统语法的说法,它又可分为动名词和现在分词。尽管两者形式完全相同,但在用法上却有很大差异。动名词在句中起名词作用,主要用作主语和宾语,也可用作定语和表语;而现在分词在句中起形容词、副词作用,可作定语、表语、状语或补足语。

  • 标签: 定语 表语 动名词 传统语法 补足语 起名
  • 简介:政府机关中的街头官僚是指处于基层或一线,直接公民打交道的政府公务员。他们处于政策执行的末梢环节,掌握一定的自由裁量权,能够对公民实施赏罚决断。街头官僚特殊的身份、地位和工作性质.决定了他们与众不同的行动逻辑。街头官僚一般的行动逻辑可以归纳为四个典型的方面:激励不足,职务晋升机会的缺乏导致激励不足;规则依赖,安全和自我保护的需要促使他们在照章办事的逻辑中寻求免责;选择执行,即在约束条件下选择理性的资源配置方式和最有利可图的政策执行;一线弃权,即刻意规避某些麻烦的、危险的、需要更多付出但难以见成效的工作,并日益远离一线或现场。对街头官僚的责任控制,必须从管理的、法律的、政治的和道德的四个方面入手,并运用相应的控制工具。

  • 标签: 街头官僚 行动逻辑 责任控制
  • 简介:本文分析了2018年《审计署关于内部审计工作的规定》出台的重要意义,同时指出理论认知容易产生的陷阱和局限,认为从内部审计的受托关系出发,厘清本原逻辑,回归价值创造初心,能够帮助内部审计人员走出迷局。

  • 标签: 内部审计 价值 逻辑 理论研究
  • 简介:人工智能技术的不断繁荣令其在产业领域的渗透程度全面提高,互联网技术则逐步从消费领域的主导者转变为全产业发展的参与者,经济社会经历了信息化的过渡阶段之后正步入新的常态化阶段——智慧社会。如何准确把握产业在这一阶段的发展逻辑,塑造企业的核心能力对企业未来发展至关重要。

  • 标签: 产业领域 社会经历 核心能力 逻辑 智慧 人工智能技术
  • 简介:辩论是用语言判断是非、探求真理的活动,具有论点的针对性、主体的攻守性、角色的表现性、语言的逻辑性、思维的敏捷性等特征;逻辑思维是辩论的思想基础,辩论是逻辑的灵活应用,求异思维是应用逻辑思维的创造性表现;辩论逻辑相互推进的内在关联历史修久,源远流长。

  • 标签: 辩论 内在关联 历史渊源 逻辑 辩证逻辑
  • 简介:通过对开放教育逻辑教学实践情况的客观描述,从学生自主学习、教师面授辅导、网络学习条件、平时作业管理、期末考试试题、电大系统管理等方面进行了认真的诊断剖析,提出在开放教育逻辑教学中,应着重解决学生自主学习的指导监控、有效教学模式的研究实践、网络教学资源的建设利用、平时作业质量的监控评价、教学内容考试内容的统一、电大管理系统的建设监督等问题。

  • 标签: 开放教育 逻辑教学 自主学习 网络学习 作业管理 期末考试
  • 简介:摘 要:社会经济水平的提升,推动了我国各个领域快速发展。当前,我国正处于实现“两个一百年”奋斗目标的历史交汇期,脱贫攻坚进入全面收官的关键时期,乡村振兴战略已经开局,但仍处于初步实施阶段。在此背景下,实现二者的有效衔接,对于打赢脱贫攻坚、巩固脱贫成果和实施乡村振兴战略具有重要意义。

  • 标签: 脱贫攻坚 乡村振兴 有机衔接 实施路径
  • 简介:摘要逻辑哲学同根异枝,作为人类最古老的两门学科在人类认知发展史上有着举足轻重的作用。在当前学科划分日趋精细、学术派系林立、理论突破难度变大的学科发展新时期,探讨逻辑哲学之间互动关系可以促进各自的学科进步,同时创造学科相互交叉渗透的环境和条件,以期突破理论发展的瓶颈,开辟新的发展空间。

  • 标签: 逻辑学哲学学科发展
  • 简介:算法媒体作为信息受众之间的中介,是具有中介权力的把关人,是知识认知主体间传递的桥梁和纽带,具有重要的现实社会建构意义。算法媒体的社会建构运作依靠一套隐秘的可见性生产逻辑,这套逻辑贯穿于信息生产、分发和审核等价值链环节中。面对具有中介权力的算法媒体的社会建构作用,我们需要从国家规制、平台自律、算法素养等方面建立算法媒体的综合协同治理体系。

  • 标签: 算法 中介权力 可见性生产 社会建构 协同治理
  • 简介:西方逻辑在传入中国之初曾经历了一个“逻辑名辩化”的过程,即用中国旧有名辩的语汇和理论来翻译诠释传统逻辑的术语,以便后者更容易地为中国社会与中国文化所接受。尽管逻辑的名辩化在一定程度上促进了传统逻辑在中国的传播。刺激了对中国古代名辩的研究,但其本身在总体上并未取得成功。其中所存在的问题对于深入思考传统逻辑名辩的关系、反思“名辩逻辑化”的理论得失具有重要的意义。

  • 标签: 逻辑 名辩 中国逻辑史
  • 简介:Datalog作为关系数据模式中用来扩充逻辑查询语言的一种重要形式.提出并解决了Datalog规则、Datalog规则的安全条件、Datalog规则对关系代数查询的表达和Datalog规则中的递归查询等相关问题.

  • 标签: 数据库逻辑 规则 安全条件 查询 递归查询
  • 简介:10月4~5日在北海道大学召开,由日本北海道大学哲学系主办,中户川孝治教授(KojiNakatogawa)主持。与会学者分别来自日本、中国、意大利、美国。受日方组织者邀请与资助,北京大学陈波教授及辽宁大学青年教师刘靖贤(北京大学博士)、安徽大学青年教师赵震(北京大学博士)、北京大学博士研究生朱薇和王海若共5人出席了此次会议并发言。

  • 标签: 哲学系 工作坊 博士研究生 北海道大学 北京大学 逻辑
  • 简介:本文以"改变受训者的行为、提高组织绩效、使培训真正成为业务部门的伙伴"为指导原则,以丰富的培训经验为基础,分析了培训方案4个基本要素的设计逻辑和方法。培训目标和培训内容设计,要明确设计起点、确立逻辑结构;培训方法设计要结合学习风格和学员情绪;学习路径设计要抓住学习循环效果转化两个关键点。

  • 标签: 培训方案 培训目标 培训内容 培训方法 学习路径
  • 简介:本年度举办第32—49期。(1)第32期,3月8日,中山大学哲学系文学锋主讲“从逻辑的聚合到逻辑聚合”。(2)第33期,3月21日,中山大学哲学系王莹莹主讲“同情汉语长距离反身代词‘自己’——评吉尔吉(Giorgi,2006、2007)”。(3)第34期,4月8日,浙江理工大学胡觉亮主讲“漫谈匹配问题”。

  • 标签: 大学逻辑 中山大学 论坛 认知 浙江理工大学 反身代词
  • 简介:以社会管理创新为契机,全国各地推行了多姿多彩的公安改革。理解这些改革实验试图解决的现实问题、理论假设和制度选项,解释其背后的逻辑,将为全面深化公安改革提供科学决策的经验基础和制度细节。多案例分析的结果表明:在编制和经费“硬约束”的前提下,公安改革倾向于通过组织体系变革来提高运行效率,即组织和效率逻辑成为改革的主导逻辑。零星的个案涉及互动治理来优化警务职能和社会效果,实现制度驱动的改革。未来的改革选项中,公安组织结构体系的变革依然有很大空间;社会分权和治理转型能释放社会活力以提供更多的改革选项;改革的复杂性需要考量不同逻辑选项在制度框架上的嵌套性和兼容性。

  • 标签: 公安改革 社会资本 地方实验 改革逻辑