亚里士多德(Aristotle):真假命题和真命题的集合抽象思维的形式语言
作者:禅与计算机程序设计艺术
1.简介
1980年的某一天,西欧知名科学家亚里士多德(Aristotle)在一次著名演讲中提到,人的判断可以分为两类——实际情况和一般性质。一个命题(proposition)是一个陈述句,它声称某些特定条件成立或不成立,或者它所揭示的观点与事实存在关系。这种判断方法被称为判决论(deductive reasoning)。关于命题的真假也有两种表述:真命题指的是某个命题本身就是真的;假命题则是排除了其中的某种可能性,例如“所有人都是生而平等”。这种判断方法被称为逻辑(mathematical logic),在数学、哲学、文学、艺术等方面都有应用。
1980年代,随着计算机技术的发展,人们对抽象的思维能力越来越重视,并开始思考抽象思维的形式语言。抽象思维就是从复杂问题中找出简单的规律,通过模糊化的方式建立起新概念,并最终用简单的方法解决问题。抽象思维是一门研究领域,涉及数学、逻辑学、语音学、心理学、神经科学、物理学、工程学、法学等多个学科。
1980年,达尔文和海森堡把抽象思维引入了进化论。在进化论中,人类的行为是由基因的变异引起的,基因序列对应于抽象思维中的模式,不同的模式导致不同的个体。人类一直试图寻找更简单的生存方式,同时保持高度的适应性和自我复制能力。
1980年,“抽象语言”这一术语第一次出现,它代表了一类用来描述抽象思维能力的词汇。在该领域,早期的科学家们还倾向于将抽象语言理解为一种抽象模式,但是随着时间的推移,抽象语言逐渐意识到可以用来描述非抽象的问题、过程和对象。“抽象语言”这一概念很快扩展到了更广泛的范围,包括信息处理、认知和决策。
2.基本概念术语说明
本文来自互联网用户投稿,文章观点仅代表作者本人,不代表本站立场,不承担相关法律责任。如若转载,请注明出处。 如若内容造成侵权/违法违规/事实不符,请点击【内容举报】进行投诉反馈!
