关于思维的类型与殊型

定义与界说 1.我将思维定义为发生在智能生物的大脑中,由脑固有的内部语言传递的拓扑结构、逻辑结构与逻辑体系的合成与变换,并可以和人类创造的形式化符号在后者表达非自我相关的问题时同构。 用“智能生物”有三层含义。一是为了给天外文明留下余地;二是承认克勒、珍妮·古多尔、加德纳等人研究的黑猩猩具有智能;三是将思维限定为生物的一种能力,人工智能不在其列。 大脑使用内部语言进行信息传递,“意识处于内部语言与外部语言的界面上”①。因此,思维必然可以在一定的范围内由它自己发明的符号体系(自然语言、数学、逻辑符号,等等)等效…     

A Formal System for the Illocutionary Force and Its Applications in Al

本文以John R.塞尔和D.范德维克关于语用逻辑的研究工作为基础,构造了命题的语用逻辑的形式公理系统PF,证明了PF的三类定理:关于语用行为的定理、关于条件的语用行为的定理以及关于语用力量的定理。作者还构造了PF的语义模型,给出了系统的语义解释,并证明了系统的可靠性、一致性和完全性。本文以语用逻辑的方法,分析了人工智能语言PROLOC的语法和语义,以及语用逻辑在学习策略中的应用。最后讨论了语用逻辑的形式化和语言逻辑在认知科学中的应用等问题。作者的工作是继乔姆斯基的形式语法学、蒙太格的形式语义学之后,对语用学的基础理论语用逻辑的形式化研究所做的尝试。     

论胡塞尔的"真理"及其与逻辑实证主义"真理"的区别

胡塞尔意义上的真理扎根于"前语言"的被动综合、想像力的自由变更以及本质直观等活动,是一个预先已经囊括了所有可能性的领域,不随着视域的展开而"突变"或者被"涂改".这样一来,在胡塞尔那里,命题就从"前语言"活动那里获得了一种预先的证实.从这个意义上讲,胡塞尔意义上的真理是绝对确定的真理.而逻辑实证主义没有看到前语言活动,或者只是看到了前语言活动的某一个环节、某一个阶段而非全部.因此,在逻辑实证主义那里,以语言为其表现形式的命题就不像在胡塞尔那里能够获得预先的证实,而是有待未来经验来证实,这决定了逻辑实证主义的真理只能是个假设.     

植入逻辑虚拟仿真机制的应用电子技术创新实验持续改进方案

应用电子技术创新实验是培养学生实践创新能力的主要科目。课程内容主要从抽象逻辑命题、方案论证分析、设计原理分析、实验测试分析进行设计,它们是层层递进、逐步深入的关系,所以抽象逻辑命题至关重要。针对学生对抽象逻辑命题不理解或理解有偏差导致后续工作进展缓慢等问题,提出了植入状态机抽象逻辑虚拟仿真机制的全新思路,进行教学改革。虚拟仿真机制以抽象逻辑命题为基础,强化学生对选题项目的认知理解,培养学生的创新思维,提高学生的创新实践能力。对比引入机制前后两届选课学生的过程考核数据,分析显示,虚拟仿真机制对学生的抽象逻辑命题能力提升卓有成效,彰显了教学持续改进的效果。     

论现代逻辑

现代逻辑是用形式化的方法研究思维的形式结构及其规律的学科。形式化是指用一套表意符号去表示概念、判断、推理,获得它们的形式及结构,从而把对概念、判断、推理的研究转化为对形式的符号系统的研究。本文论述了现代逻辑的内涵、外延、特征及其发展趋势。     

民俗符号的象征意义

人类生活的经验世界,是一个充满了民俗象征符号的世界。民俗符号系统是由俗民生活中鲜活生动的民俗事象本身固有的结构所构成,由表现体、对象、背景性概念三个要素的关系之间作用而形成规律。民俗符号可分为语言系统的民俗符号和非语言系统的民俗符号,它们都各自蕴含着丰富、深刻的象征意义。     

话语分析中的认知与逻辑

当代话语分析从认知与逻辑的角度对话语的构建进行研究。认知语言学认为话语的产生来源于人类的经验,在这一过程中记忆起着重要作用。话语的语义与信息内容是心理层次表征的体现。运用命题对心理层次划分可以反应话语的结构。逻辑哲学语言学对话语进行分析也有较长的历史,从传统的逻辑三段论到当今的命题方法,对话语分析也做出了贡献。     

六十年代以来的人类学理论

六十年代:符号,自然结构五十年代末期的人类学,其理论格局由三大学派组成:沿袭拉德克里大—布朗和马林诺夫斯基的英国结构功能主义;师承米德和本尼迪克特的美国心理文化人类学;以及以怀特和斯蒂德为代表的美国进化主义人类学。他们的追随者从六十年代起就试图以新的分析程序、新的操作定义,来保持和发扬各自理论的长处及其解释能力。共同的动力和实践倾向逐渐形成三个派别:符号人类学、文化生态学和结构主义。符号人类学是被反对派们用以指称芝加哥的济慈、他的同事和康纳尔的特纳。严格说来,二者有着重要的区别。济慈接受了韦伯和帕森斯的影响,代     

真值浅议

(一) “真值”是个表示认识的价值的概念,但它也是逻辑科学所普遍使用的概念之一。形式逻辑是以思维形式及其规律为研究对象的,它并不研究思维内容即认识自身。所以,“真值”并不是属于逻辑科学对象语言系统内的概念,而是属于用以研究对象语言的元语言系统内的概念。真值是仅属于命题的,是命题与事实的关系的抽象。这正如罗素所说:“真理是……表示信念的句子(即命题——引者)的一个性质。真理是一个信念与这个信念以外的一件或更     

形式语言的生成性质研究

乔姆斯基用数学工具严格给出了形式语言的生成定义,使语言学的研究进入到一个崭新的阶段。尽管这一定义非常广泛,但研究的主体却大多集中在自然语言与人工语言方面。自然语言与人工语言是形式语言的重要组成部分。语言的直线性促成了语言的生成性或创造性。语言具有符号性、意义性和交际性的特征。这些特征决定了语言应该具有相应的性质:符号性、意义性和交际性。而符号性这一生成性质,使得语言具有无限可扩展性、离散性、结构层次性。生成特性以外,形式语言显然也具有更新性。     

论语言共同体

语言是人类最有力最多能的交际工具，虽然交际并非全凭语言。所有已知的人类集团都掌握语言。语言与其他系统不同，它能通过语法和语义结构上的细微差异指示各种各样的物体和概念。同时，言语是一个社会过程。在此过程中，人们按着社会公认的规范和期望选择语言。因此语言现象既可以在语言本身的上下文中，也可在更广阔的社会行为环境中加以分析。在分析语言形式时，注意的目标是从语境中抽象出来的特殊的语言素材，主要研究其指代功能，分析社会定义范畴内的语言运用。这个社会定义的范畴就是语言共同体，即凭借共同使用的言语符号进行经常…     

“新理学”形上学的展开路向与内在缺失

"新理学"的形上学是冯友兰哲学中"最哲学的"部分.冯友兰从经验世界出发,通过对逻辑分析方法的运用推导出四组命题和四个观念,并借助神秘主义方法建构了完整的形上学.文章从逻辑分析方法的视角解读冯友兰的形上学,探讨其展开路向与内在缺失.     

传统逻辑与现代逻辑对量词研究的比较

本文从传统逻辑与现代逻辑对量词研究的比较中,阐述了量词在逻辑学中的重要意义,并从量词研究的角度上揭示了传统逻辑与现代逻辑的一些重大区别。本文认为,传统逻辑“没有量词的明确观念”,对量词的研究极不充分。谓词逻辑的形式和规律都和量词的特征密切相关,量词的使用,是数理逻辑发展的重大突破口,是数理逻辑成熟的重要标志,解决了长期以来影响逻辑学发展的一个障碍。文中进而从命题内部结构的分析,全称命题存在命题的表述式,命题函项转变为命题、单称命题与全称、存在命题的关系四个方面具体分析了现代逻辑使用量词的特点、作用以及较之传统逻辑的优越性。     

中国传统文化与语言符号系统

语言符号是传统传播、交流和延续的工具,同时也是传统与现代沟通的主要媒介。传统制约、影响语言符号,语言符号反过来影响传统。正是这种相互作用,使语言符号系统能够成为主体观念把握传统的中介和工具。而人作为文化与传统的存在,只有通过语言符号系统才能获得并改造和超越传统。作者在最后探讨了传统精神与文字符号的关系,肯定了中国文字符号的优越性。     

现代西方逻辑哲学中的否定思想探析

在西方思想史上,特别是在现代逻辑哲学中,否定问题有着十分重要的地位和意义,可以说,现代西方逻辑哲学是与否定问题的命运休戚相关的,否定问题既是其理论起点之一,又是其核心问题之一,同时也是其理论难点之一。否定问题主要包括否定的定义和本质,是否与否定命题相对应的否定事实(负事实)存在,以及否定命题与肯定命题是否具有同等地位这样互为相关的三个问题。本文着重辨析的是现代西方逻辑哲学中关于否定的定义和本质的思想。     

历史唯物主义的认识论——索恩-雷特尔《脑力劳动与体力劳动》初解

索恩-雷特尔确认了一个极为重要的问题。康德的"认识论革命"披露了先天性观念对经验的预先构架和"向自然立法"的塑形机制,但是他没有透视到所有观念上的先天性预先塑形都是特定历史时空中的现实结果,观念的抽象塑形在现实社会关系中的生成是一个历史过程,先验的社会塑形是先验的观念塑形的基础。康德的先天综合构架真正现实基础是商品生产与交换生成的社会综合,商品生产中由货币的中介功能所生成的社会组织原则同时具有思想认识功能,或者说,这种客观的抽象和组织就是康德发现的"先天综合判断"的神秘先验统摄机制。     

当代西方哲学中的无神论问题

无神论是涉及当代西方哲学、科学和宗教的一个重要议题.逻辑实证主义从语言分析入手否认了有神论宗教命题的意义;弗洛伊德从心理分析方面揭示了上帝的本质与人的幻觉关系;大爆炸理论则以科学的假说推测了宇宙形成的确实性和膨胀的无限性,否定了上帝创世和救赎的可能性.当代无神论的旨趣在于说明有神论在理性上的荒谬成分,但同时指出宗教仍然具有表达人的超越性情感的功能.     

罗素论否定事实

在罗素的相关哲学著述中,我们可以根据事物"是否具有"某种特定属性,这些特定属性是否"被知道"以及是否为主体所"感兴趣"等标准,分别从本体论、认识论和价值论角度将事实区分为肯定事实与否定事实两类。事实的逻辑结构是:事实=事物±属性;F=±G(a)或F=±R(a,b)。事实的逻辑结构决定命题的逻辑结构。事实是命题的真值制造者:真的肯定(否定)命题因指向肯定(否定)事实而真,假的肯定(否定)命题因指离肯定(否定)事实而假。因此,肯定事实是真的肯定命题之真与假的否定命题之假的制造者,否定事实则是真的否定命题之真与假的肯定命题之假的制造者。与肯定事实一样,否定事实也是人们决策和行动的客观依据。由于罗素没有将时空状态作为事实分类的标准,没有揭示出否定事实的发现机制,因而对许多否定命题的真假无法做出有效证明,他的否定事实理论有待于进一步完善。     

灵感发生规律论

本文认为灵感思维同抽象(逻辑)思维、形象(直感)思维一样,不仅是人类的基本维思形式,而且还遵循着某些相似的发生规律。并且都已成为当代哲学、美学、心理学、脑科学、系统科学、模糊数学和人工智能等学科综合研究的对象。本文借助于现代脑科学、认知心理学、模糊数学、协同学的积极成果,从灵感发生的特异性入手,比较充分地论述了灵感发生的五条规律:显意识与潜意识融通律;选择与建构重组律;精确与模糊隶属律;无序与有序协同律;逻辑与非逻辑互补律。这五条规律既是对灵感发生过程的辩证揭示,又给人们探索抽象思维、形象思维的规律,乃至整个大脑思维的逻辑规范以崭新的启迪。     

初探数学建模在初中数学的应用

所谓数学模型，就是根据特定的研究目的，采用形式化的数学语言，去抽象地概括所研究对象的主要特征及其关系所形成的一种数学结构。在初中数学中，用字母、数字及其他数学符号建立起来的代数式、方程、函数、不等式，及各种图表、图形等都是数学模型。数学模型结构有两个主要特点：其一，它是经过抽象出对象的一些非本质属性以后所形成的一种纯数学关系结构。其二，这种结构是借助数学符号来表示，并能进行数学推演的结构。数学模型思想作为建立数学与外部世界的联系，是学生必须要掌握的基本数学思想之一。