您的位置: 专家智库 > >

陈鹏

作品数:13 被引量:45H指数:4
供职机构:北京语言大学信息科学学院更多>>
发文基金:国家社会科学基金上海市哲学社会科学规划课题更多>>
相关领域:哲学宗教自然科学总论自动化与计算机技术理学更多>>

文献类型

  • 13篇中文期刊文章

领域

  • 8篇哲学宗教
  • 3篇自然科学总论
  • 1篇自动化与计算...
  • 1篇理学

主题

  • 4篇逻辑
  • 3篇哲学
  • 2篇道德
  • 2篇图灵
  • 2篇主义
  • 2篇伦理
  • 2篇逻辑发展
  • 2篇逻辑学
  • 2篇莱布尼茨
  • 2篇区块链
  • 1篇当代马克思主...
  • 1篇道德行为
  • 1篇道德责任
  • 1篇德行
  • 1篇学系
  • 1篇亚稳态
  • 1篇研究会
  • 1篇言和
  • 1篇意蕴
  • 1篇义学

机构

  • 13篇北京语言大学
  • 5篇中国社会科学...
  • 3篇中国社会科学...
  • 2篇牛津大学
  • 1篇上海交通大学
  • 1篇湘潭大学
  • 1篇上海大学

作者

  • 13篇陈鹏
  • 3篇陈鹏
  • 1篇邹崇理
  • 1篇杨庆峰
  • 1篇闫宏秀

传媒

  • 3篇洛阳师范学院...
  • 3篇哲学分析
  • 1篇自然辩证法研...
  • 1篇中国社会科学...
  • 1篇湖南科技大学...
  • 1篇长沙理工大学...
  • 1篇逻辑学研究
  • 1篇重庆理工大学...
  • 1篇科学与社会

年份

  • 1篇2022
  • 1篇2021
  • 2篇2020
  • 1篇2019
  • 4篇2018
  • 3篇2017
  • 1篇2016
13 条 记 录,以下是 1-10
排序方式:
无过失责任:论分布式道德行为的道德责任之本质与分配被引量:4
2018年
分布式道德责任(distributed moral responsibility,DMR)的概念由来已久。如果将分布式道德责任的诠释彻底还原为(某些)人、个体和负道德责任的行为(morally loaded actions)总和时,那么DMR的分配,无论是赞赏和奖励或谴责和惩罚,从概念的角度而言是没有问题的,但从实际操作上则是非常困难的。然而,在分布式的环境中,代理网络、某些人类、人工体(譬如程序)和混合体(譬如基于一个软件平台在一起工作的一群人)都可能带来分布式道德行为(distributed moral actions,DMAs)。DMAs是有善恶之分(即,负载道德的)的行为,它们是由一些其自身既非善也非恶(道德中立的)的局部交互所导致的。在本文中,我将分析由DMAs而引发的DMRs,并为完全道德责任(无过失责任)默认地分配给网络中所有节点/代理提供辩护,这些节点/代理对于所探讨的DMA在因果上相关,但与其意向性无关。所提出的机制受如下三个概念的启发,并从中汲取了相关内容:网络理论中的反向传播(back propagation from network theory)、法理学中的严格责任原则(strict liability from jurisprudence)和认识论逻辑中的常识(common knowledge from epistemic logic)。
卢西亚诺·弗洛里迪陈鹏闫宏秀
关键词:无过失责任常识
伦理基质--论道德成为可能的条件
2018年
人类时代的物质根据正在由原子转向比特,以比特为根基的时代就是信息时代。如同社会建设需要基础设施一样,信息时代中的道德行为也需要类似于基础设施的东西。作者把这种东西称为伦理基质。它是有助于或者阻碍道德或者非道德的评价、决策、行动的框架,是以正确的和成功的方式润滑道德机制的润滑剂。设计、维护和更新伦理基质也成为信息时代面临的重要挑战。
卢西亚诺·弗洛里迪杨庆峰陈鹏
关键词:道德伦理学
组合范畴语法(CCG)的计算语言学价值被引量:6
2016年
组合范畴语法(CCG)是在AB演算基础上进行扩展而产生的范畴语法。从语法理论视角看,CCG是一种词汇形式化的方法;从计算语言学视角看,CCG属于一类适度上下文相关文法;从逻辑语义学视角看,CCG在句法与语义的接口方面非常融洽。无论是CCG语言的、计算的,还是逻辑的特征,都使得CCG非常适用于自然语言信息处理,对于计算语言学具有很好的理论和实际价值。
陈鹏
关键词:语法理论计算语言学逻辑语义学
告别区块链神话:区块链价值及其限度的理性分析被引量:6
2021年
区块链技术至今已有十数年的发展历史,在这个过程中,区块链技术从一个默默无闻的小众技术一跃成为炙手可热的科技新宠。人们对区块链技术赋予了太多的期望,以至于在区块链头上闪现了无数的光环,甚至被视为拯救网络空间的灵丹妙药,更有甚者,诞生了不少区块链神话,例如,区块链是完全匿名且不可篡改的、区块链将取代社会中的所有法律和法规等等。然而,如果理性而审慎地分析,我们就不难发现区块链技术有其不可替代的应用价值,然而盲目迷信,将区块链技术奉若神明,显然违背了科学精神,也不利于区块链健康良性发展。理性地分析区块链,能让我们避开区块链的一些炼金术般的应用,转而引导我们深入探究区块链技术更为本质与核心的结构,会让我们重新地审视和深刻地理解我们人类经济社会中的信任关系和信任结构。如此这般,区块链技术才能够真正地融入人类社会与网络空间中,为人类更加美好的未来而存在。
陈鹏
关键词:区块链
从莱布尼茨到图灵的逻辑发展
2017年
莱布尼茨的逻辑学纲领17世纪,逻辑学发生了变化,莱布尼茨提出了逻辑学应该做些什么。莱布尼茨旨在为科学建立一种普遍语言,这种语言对科学是理想的、合适的,以便用语句形式反映实体的性质。莱布尼茨认为,所有科学的思想,能化归为较少的、简单的、不可分解的思想,利用它们能定义所有其他思想,通过分解和组合思想,新的发现将成为可能,如同数学中的演算过程。
陈鹏
关键词:莱布尼茨逻辑学语言
个体的创生
2022年
以往的个体理论,主要分为原子论和形质论。然而,无论是原子论还是形质论,其本质上都是假定个体化原则的存在,而忽视了个体化过程本身。事实上,要想把握个体的本质,应该从个体化过程的视角去理解个体,并进而理解个体创生。为了思考个体化,首先必须认识到亚稳态均衡的思想,它与稳态均衡和静态都不同,是一种持续待消解的潜能性,它也是认识到前个体的基础。晶体的结晶过程是理解亚稳态和前个体概念的一个很好的示例,物理领域的个体化过程就是一个亚稳态系统的两极能量的组织和分散过程。其次,生物领域的个体中,实存着一个需要持久通信的内部共振域,这个共振域动态维持生命体的亚稳定性。生命个体通过不断创造新的内在结构来改变自身。生命个体是一个个体化系统,是一个不断个体化的系统。再次,前个体在个体化过程中,会形成个体-环境的二元组,而前个体化实在也会被个体化为精神领域的存在和集体存在。通过个体创生理论,可以重新架构对形式和逻辑的理解。形式的概念应该由信息的概念所替代,转导是与演绎和归纳所不同的更基本的逻辑概念。
陈鹏
关键词:个体化转导
人机关系的哲学反思被引量:11
2017年
以往的人机关系大体上可以分为奴役论或者工具论两大类。然而这两种典型的观点对于解释人与计算机的关系而言都是乏力且苍白的。要解读现代意义下的人与计算机的关系,其关键在于理解软件的概念,厘清软件的本质。从动态的信息观视角下,软件的本质是人机交互界面,正是通过这个交互界面,使得计算机更加智能,使得计算机与人类的关系更加亲密,同时也促使计算机更深地渗透进人类存在,改变人类认知、思考和追求的方式。通过将软件定义为人机交互界面,我们将重新认识人机关系,计算机通过软件携带了人类的意图与智能属性,人与计算机之间的转导所形成的人机关系会产生出未来人类栖息的信息圈。人机关系更接近于人际关系,人与计算机将平等地栖居于信息圈中,人与计算机彼此交互配合,共同奏响人类文明的交响曲。
陈鹏
关键词:交互界面人机关系
数字方法的兴起:Web在社会与文化研究中的重定位被引量:1
2018年
数字方法是理查德·罗杰斯等人提出的一种新的网络研究方法。按照罗杰斯的话来说,数字方法是相对于虚拟方法而言的,数字方法旨在将Web重新应用于社会和文化研究中。数字方法与以往的互联网研究存在的本质差异源于认识论的分野,数字方法对互联网的认识基础是虚拟已经终结,网络空间时代已经结束,我们正在进入后网络空间时代。此外,数字方法与传统的互联网研究中所采取的方法论也存在着差异,数字方法的本质进路是遵从媒体,遵从互联网本质的演变特性,遵从互联网的各类原生数字对象,遵从互联网的主流工具和平台。基于遵从媒体的进路,数字方法开发了距离方法、截屏纪录片、跨圈分析方法、后人口统计方法等许多具体的研究方法,并综合地利用这些方法,对搜索引擎的权利、国家Web特征、维基百科的文化参照以及社交媒体的后人口统计等进行了创新性的研究与分析。
陈鹏
逻辑的计算进路——从莱布尼茨到图灵的逻辑发展被引量:4
2017年
现代逻辑肇始于莱布尼茨,在布尔和弗雷格处发生了分流,形成了所谓的逻辑的代数传统和逻辑的语言传统,然而,无论是代数传统亦或者是语言传统都与莱布尼茨的逻辑学纲领(即:"作为科学、数学和哲学"的基础)相去甚远。在图灵机理论中,图灵核心阐述了"自动机"和"指令表语言"这两个概念,这两者很好地契合了莱布尼茨关于"理性演算"和"普遍语言"的构想,可以说,图灵机理论最为接近莱布尼茨的逻辑学纲领,也跳出代数传统和语言传统,另辟蹊径,形成了一种新的"作为计算的逻辑"传统(也可以称为"计算传统")。"作为计算的逻辑"实质上是一种"主体转向","以往的逻辑"是当仁不让地以人类为主体,研究的对象是人的思维、自然语言种种,"作为计算的逻辑"则是将计算机作为信息处理的主体,研究的是计算机的处理方式以及人与计算机的互动关系。
陈鹏
关键词:图灵机
语法与语义接口理论的两条进路
2020年
或许人类语言的最大秘密就隐藏在洪堡的一段论述中,可以概括为:“语言是‘有限方法的无穷应用’”。根据对有限方法的理解,语言学分野为句法主义和词汇主义。沿着这两个路线,语法与语义界面理论形成了两条进路,一条是语言传统下的以句法为中心的句法主义进路,另一条则是逻辑传统下的以词法为中心的词汇主义进路。句法主义进路和词汇主义进路在处理语法与语义不匹配时候采取的策略有差异,句法主义倾向于在语法层次进行更多地抽象,同时通过语法生成过程来解决不匹配问题,而词汇主义则倾向于通过丰富词库和语义本体来解决不匹配问题。
陈鹏
关键词:逻辑形式
共2页<12>
聚类工具0