面向人工智能的形式伦理及其逻辑基础

欲使人工智能体具备道德决策能力,一种可设想的工作是基于形式伦理,即把伦理原则或规则形式化。形式伦理学的初衷并不是面向人工智能,但其做法却适用于人工智能。伦理规范的形式表达必须基于某种逻辑语言及其推理规则,经典逻辑是不够的,所以有必要发展和道德、行动相关的逻辑来适应人工智能道德决策的需求。最为著名道义逻辑为形式伦理提供了一定的基础,应该把它和心智逻辑结合起来。从人工智能体实施行动的过程来看,能动性逻辑是表达机器的道德行动与推理比较有前景的逻辑。     

分情形证明── 一种常用的思维方法

在众多的逻辑推理问题的解决方法中，除了我们在《思维与智慧》９８年第６期的“求婚、辩人和断案中的推理”一文中谈到的排除法以外，还有一种经常运用的思维方法，这就是分情形证明。与排除法相比，分情形证明是一种直接推导方法，从逻辑推理上来看，它是二难推理或多难推理的运用。下面我们以两个例子来加以说明。例１．在美国芝加哥，有一家大百货商店被人盗窃了一批贵重财物，警察局经过侦察，拘捕了三个重大嫌疑犯，他们是山姆、汤姆、吉宁士。后来经过审问，查明了如下事实：（１）罪犯是带着赃物驾车逃掉的。（２）不伙同山姆，吉宁…     

基于模型推理的科学认知论题

本文把近20年来在科学哲学中发展起来的、关于科学推理本质的一种新观点叫做“基于模型推理的科学认知论题”(the Scientific Cognition as Model-Based Reasoning Thesis)。按照这个论题,科学推理实质上是语义过程。对于逻辑实证主义科学哲学的科学理论陈述观和科学推理句法观来说,这种观点是一种有别于历史学派和其他后现代科学哲学思潮的挑战和修正,它也可以纠正库恩科学革命理论(特别是早期基于格式塔转换的间断性革命变化学说)的极端性。然而,现有相关研究主要限于用科学发现和概念变化的课题来阐述基于模型推理的概念架构(简称为“…     

辩证逻辑推理与形式逻辑推理

逻辑主要是研究推理的科学,辩证逻辑推理与形式逻辑推理有什么区别?有的讲到以下两点:第一,辩证逻辑是“动态”的逻辑,它用唯物辩证法的发展观看待事物之间的逻辑关系;而形式逻辑是“静态”的逻辑,它用相对静止的观点看待事物之间的逻辑关系。第二,辩证逻辑是“内容”的逻辑,推理是内容的推理;形式逻辑是“形式”的逻辑,推理是撇开了思维具体内容的推理。按照以上两点,能否区分辩证逻辑推理     

小学生数学推理能力结构的验证性因素分析

1　前言小学数学教学中 ,培养逻辑推理能力是培养学生数学能力的中心任务。而且 ,掌握比较完善的逻辑推理能力是儿童智力发展的重要环节和主要标志。国外心理学界对儿童推理的研究是很重视的。英国心理学家福勒 (Ｆｏｗｌｅｒ)曾通过 50 0名小学儿童以归纳、演绎、归纳和演绎结合三种推理进行实验教学。我国心理学界对小学儿童的推理特点也开展了一些研究 ,但对推理能力的结构成分划分大致仍为归纳、演绎、类比推理能力三种。小学数学教学大纲虽提出了推理能力的培养要求 ,但至于包括哪几方面的推理能力 ,并未进一步说明。鉴于此 ,本文欲对…     

儿童推理能力的新发现——儿童的道义推理

逻辑推理是人类特有的能力。人们利用推理可以从已知知识中推出新知识，从事实或假设中得到新结论。掌握正确的逻辑推理规则无疑会提高人分析和解决问题的能力。正因为推理能力对人类的重要性，心理学对人的推理的研究从未中断过。     

大数据时代下经典绘画作品的重构转向

随着信息化与数字化等技术的飞速发展,当代社会已然步入大数据时代,艺术与科技开始高度结合,这对具体的艺术学科发展而言,是机遇也是挑战。同时,基于"作品"的意义重新回归至美术史研究的前沿,大数据时代也为经典绘画作品的重构带来了诸多可能性。具体而言,大数据时代下对经典绘画作品的重构包括由现场观看转向图像转译,由二维图式转向三维动画,由虚拟模仿转向真实再现,由经典拜读转向名作戏仿四种主要方式与途径。     

中学生直言性质三段论推理能力发展的调查研究

一、研究目的、方法和被试用逻辑推理题对中学生进行测试,将测试结果作数理统计处理,可以对各年级学生、男女学生、文理科学生之间的推理水平进行比较研究;并对学生推理能力与不同格的推理形式之间关系,以及与学生的推理能力与学习成绩的关系等问题进行一些探索,从而探求学生思维发展的某些规律.为此,我们设计并进行了这次调查研究.采用问卷法。内容是20道直言性质三段论推理(以下简称三段论推理)题.其中包括:1、四个格的推理题,各四题,每格含推论正确和推论错误的试题各两题.如:“所有的物体都是有重量的,所有的气体都是物体,所以,所有的气体都是有重     

《逻辑推理集锦》已出版

由中国逻辑与语言研究会会员,复旦大学郑伟宏与上海社科院倪正茂二同志共同编著的《逻辑推理集锦》最近已由光明日报出版社出版。本书精选了古今中外七十多个故事。这些故事中所包含的推理包括了普通逻辑中所有的推理类型。书中详尽地分析了每个故事中所包含的逻辑推理的种类、是否正确,如不正确,错在何处,如何正确运用等。本书的突出特点或主要目的是帮助读者提高运用推理知识解决实际问题的能力。所以无论是对初学者还是需进一步提高逻辑修养的同志都不失为一本好的参考书。本书行文流畅,     

类比和联想

类比不是逻辑推理的方法,而是一种猜测的方法。因为真正意义上的逻辑推理,其结论必须是通过一定的逻辑程序从它的前提中必然地引伸出来的。但类比根本不具有这种特征。所以,在现代逻辑的意义上,一般是不承认类     

侦查俘设中推理形式的或然性——刑侦工作与逻辑之三

刑事侦查过程实际就是一个侦查假设的提出和验证过程假设必须借助于逻辑推理,它是诸种推理形式的综合运用,由于侦查假设只是对破案有关事项的一些推测,而不就是定论,因此,它的推理形式是带有或然性     

不同层次的逻辑多元论

Beall与Restall提出了基于后承关系考虑的逻辑多元论。后承关系的一般模式含有参数x-情形。对x做不同解释,就获得不同的后承关系,也即不同的逻辑。这种观点基于"真"概念。如果对"真"概念的理解有分歧,那么,从"真"概念出发,将获得一种更为基本的逻辑观。由此区别出经典逻辑与直觉主义逻辑。这是第一层次的区分。这种区分源自对何为正确推理的解答不同。其差别是哲学观的不同。而对正确推理该如何采用当代逻辑研究范式去刻画,亦有不同理解。这造成第二层次的多元。其他众多非经典逻辑即属此层次。第二层次的多元是不争的事实,多元论与一元论的争论可以消解。真正争议是指第一层次上的,它是形而上学之争,难以消解甚至不可消解。     

论布里丹的有效推论思想

根据布里丹基于指号的唯名论语义学,一个推论是有效的,当且仅当,不论前件以何种方式意谓事物是它所意谓的那样,后件都以同样的方式意谓事物是它所意谓的那样。这一结论不仅意味着经典逻辑对于有效推理定义的不一致,而且揭示了布里丹可以无须在严格区分对象语言与元语言的情况下,无矛盾地建立关于真以及逻辑有效性的基于指号的唯名论概念。     

缜密思考 多角度分析——逻辑综合题分析解答一例

在形式逻辑的内容里,推理是学习的重点。推理当中,演绎推理又是核心,逻辑考试中,让学生进行推理分析,占有较大比重,培养较快的分析解答能力,是逻辑教和学两个方面重要的任务。 一些逻辑推理综合题,往往可以从不同角度进行分析解答,或可以用不同的推理形式去分析解答。如     

因果条件中儿童社会信息推理的发展

采用因果条件性逻辑推理研究的一般模式,研究了儿童社会信息因果推理发展状况。实验结果表明：(1)儿童社会信息推理能力呈年级性递增。(2)社会信息的内容会影响儿童社会信息推理的能力。(3)儿童四种逻辑形式推理能力之间的差异显著．AC、DA在年级水平上差异都十分显著,但MP和MT在年级水平上差异不显著,儿童在各个年级四种推理能力之间的差异都显著,确定型和非确定型逻辑推理能力之间的差异显著。(4)逻辑形式的难度、儿童的年龄影响儿童合理化解释的类型。     

政治算法、“幻影公众”与大数据的政治逻辑

大数据形成了一种基于"算法"的政治,它通过建立数据之间的相关性,预测公众行为以及进行社会分类。大数据的分配和使用是不平等的,政府和大型企业拥有更多的权力,因此大数据有可能强化现有的权力结构。大数据的搜集和使用多是"隐蔽"的,公众被"数据化",成为"沉默的数据"和"幻影公众",这可以被视为一种"数据精英主义"。在民主政治中,在大数据强化监控权力的同时,公众也不断要求政府公开公共数据,加强对政府的监督。     

选言推理的语言表达

选言推理是经常运用的一种推理形式。它是以一个选言判断和直言判断(或联言判断)为前提,推出一个结论为直言判断(或联言判断)的演绎推理。它包括相容的选言推理和不相容的选言推理,前者只有否定肯定式一种推理形式,而后者却有肯定否定式和否定肯定式两种推理形式。它的语言表述形式是多样的: 一、限选复句表达选言推理限选复句是一种“非此即彼”的选择复句。在特定的语境中,当结论是不言面喻时,就可以用这种复句表达省略小前提     

20世纪语言逻辑的发展:世界与中国

语言逻辑(The Logic of Language)又叫自然语言的逻辑(The Logic of Natural Language),是以自然语言中的逻辑问题为研究对象的一门新兴学科。逻辑是研究推理的科学,语言逻辑就是研究自然语言中的推理问题的科学。它与一般逻辑之间的区别就在于它以自然语言为研究对象,是自然语言的语形学、语义学、语用学三者的综合。研究自然语言中的推理问题,既可以用描述的方法,说明推理的过程,阐述推理的机制;也可以用形式化的方法,构建形式系统和语义模型,证明形式系统的一致性和完全性。用前一种方法形成的语言逻辑可以称为描述的语言逻辑,用后一…     

巧用推理 智断疑案

逻辑与人们的现实生活密切相关,现实生活中许多棘手的看似复杂的问题只要用一下逻辑马上就可以迎刃而解。当然,逻辑包括很多方面,这里只介绍逻辑推理中的充分条件假言推理。 充分条件假言推理就是一个前提为充分条件假言判断,另一个前提和结论为直言判断的假言推理。根据真的充分条件假言判断的逻辑特征:前件真时,后件必真;后件假时,前件必假,我们可以得出充分条件假言推理有两种正确形式,即肯定前件式和否定后件式。下面就具体案例谈一下第一种形式。     

科学发现的概念逻辑——兼评爱因斯坦的“思维自由创造”

随着现代自然科学的兴起,以往的自然科学成了所谓的“经典自然科学”。现代科学描绘了一幅新的自然图景。思维是存在的反映。现代科学所揭示的新的自然图景带来了科学思维方式的变革。不妨可以说,它使以往的科学思维方式也成为“经典科学思维方式”。科学思维方式的集中表现在于获得新知识的思维方法,亦即科学发现的思维方法。相应地,科学思维方式的改变也集中表现在科学发现的思维方法的变革上。科学思维的历史告诉我们,这场变革可以归结为科学发现使用的逻辑工具从推理发展到概念。